On the factivity of implicit intersubjective knowledge

Synthese 191 (8):1909-1923 (2014)
Download Edit this record How to cite View on PhilPapers
Abstract
The concept of knowledge can be modelled in epistemic modal logic and, if modelled by using a standard modal operator, it is subject to the problem of logical omniscience. The classical solution to this problem is to distinguish between implicit and explicit knowledge and to construe the knowledge operator as capturing the concept of implicit knowledge. In addition, since a proposition is said to be implicitly known just in case it is derivable from the set of propositions that are explicitly known by using a certain set of logical rules, the concept of implicit knowledge is definable on the basis of the concept of explicit knowledge. In any case, both implicit and explicit knowledge are typically characterized as factive, i.e. such that it is always the case that what is known is also true. The aim of the present paper is twofold: first, we will develop a dynamic system of explicit intersubjective knowledge that allows us to introduce the operator of implicit knowledge by definition; secondly, we will show that it is not possible to hold together the following two theses: (1) the concept of implicit knowledge is definable along the lines indicated above and (2) the concept of implicit knowledge is factive
PhilPapers/Archive ID
GIOOTF-2
Revision history
Archival date: 2013-12-03
View upload history
References found in this work BETA
Reasoning About Knowledge.Fagin, Ronald; Y. Halpern, Joseph; Moses, Yoram & Vardi, Moshe
Modal Logic.Blackburn, Patrick; de Rijke, Maarten & Venema, Yde

View all 6 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2013-12-03

Total views
197 ( #16,156 of 41,600 )

Recent downloads (6 months)
28 ( #21,126 of 41,600 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.