Expertise and information: an epistemic logic perspective

Singleton, Joseph and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381 2023. Expertise and information: an epistemic logic perspective. Synthese 201 , 64. 10.1007/s11229-023-04064-y

Preview

PDF - Published Version Available under License Creative Commons Attribution. Download (512kB) | Preview

Abstract

In this paper we present a modal logic framework to reason about the expertise of information sources. A source is considered an expert on a proposition φ if they are able to correctly refute φ in any possible world where φ is false. Closely connected with expertise is a notion of soundness of information: φ is said to be “sound” if it is true up to lack of expertise of the source. That is, any statement logically weaker than φ on which the source has expertise must in fact be true. This is relevant for modelling situations in which sources make claims beyond their domain of expertise. Particular attention is paid to the connection between expertise and knowledge: we show that expertise and soundness admit precise interpretations in terms of S4 and S5 epistemic logic, under certain conditions. We go on to extend the framework to multiple sources, defining two notions of collective expertise. These also have epistemic interpretations via distributed and common knowledge from multi-agent epistemic logic. On the technical side, we give several sound and complete axiomatisations of various classes of expertise models.

Item Type:	Article
Date Type:	Publication
Status:	Published
Schools:	Computer Science & Informatics
Publisher:	Springer
ISSN:	0039-7857
Date of First Compliant Deposit:	24 January 2023
Date of Acceptance:	25 January 2023
Last Modified:	03 May 2023 07:23
URI:	https://orca.cardiff.ac.uk/id/eprint/156198

Actions (repository staff only)

Edit Item