Inexact Knowledge with Introspection - HAL-SHS - Sciences de l'Homme et de la Société Accéder directement au contenu
Article Dans Une Revue Journal of Philosophical Logic Année : 2008

Inexact Knowledge with Introspection

Résumé

Standard Kripke models are inadequate to model situations of inexact knowledge with introspection, since positive and negative introspection force the relation of epistemic indiscernibility to be transitive and euclidean. Correlatively, Williamson's margin for error semantics for inexact knowledge invalidates axioms 4 and 5. We present a new semantics for modal logic which is shown to be complete for K45, without constraining the accessibility relation to be transitive or euclidean. The semantics corresponds to a system of modular knowledge, in which iterated modalities and simple modalities are not on a par. We show how the semantics helps to solve Williamson's luminosity paradox, and argue that it corresponds to an integrated model of perceptual and introspective knowledge that is psychologically more plausible than the one defended by Williamson. We formulate a generalized version of the semantics, called token semantics, in which modalities are iteration-sensitive up to degree n and insensitive beyond n. The multi-agent version of the semantics yields a resourcesensitive logic with implications for the representation of common knowledge in situations of bounded rationality
Fichier principal
Vignette du fichier
main_jpl_1.pdf (339.93 Ko) Télécharger le fichier
Loading...

Dates et versions

ijn_00261673 , version 1 (07-03-2008)

Identifiants

  • HAL Id : ijn_00261673 , version 1

Citer

Denis Bonnay, Paul Egré. Inexact Knowledge with Introspection. Journal of Philosophical Logic, 2008, pp.00. ⟨ijn_00261673⟩
176 Consultations
441 Téléchargements

Partager

Gmail Facebook X LinkedIn More