On the factivity of implicit intersubjective knowledge

Synthese 191 (8) (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
Revision history
Archival date: 2013-12-03
View upload history
References found in this work BETA
Modal Logic.Blackburn, Patrick; de Rijke, Maarten & Venema, Yde
Reasoning About Knowledge.Fagin, Ronald (ed.)

View all 8 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2013-12-03

Total views
141 ( #17,657 of 38,075 )

Recent downloads (6 months)
18 ( #19,877 of 38,075 )

How can I increase my downloads?

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