Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Vagueness and Introspection

Abstract : We compare three strategies to model the notion of vague knowledge in epistemic logic. Williamson's margin for error semantics typically uses non-transitive Kripke structures, but invalidates the principle of positive introspection. On the contrary, Halpern's two-dimensional semantics preserves the introspection principle, but using more complex uncertainty relations that are transitive. We present a modification of the standard epistemic semantics, which validates introspection over one-dimensional non-transitive structures, and study its correspondence with Halpern's approach. While the semantics can be seen as the diagonalization of an explicit two-dimensional semantics, it affords a more intuitive representation of the uncertainty characteristic of vague knowledge. We examine the implications of the semantics concerning higher-order vagueness and the status of the non-transitivity of perceptual indiscriminability. We respond to a potential objection against our approach by giving a dynamic model of the way subjects with inexact knowledge make successive approximations of their margin of error.
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://jeannicod.ccsd.cnrs.fr/ijn_00141415
Contributor : Paul Egré <>
Submitted on : Thursday, April 12, 2007 - 5:23:16 PM
Last modification on : Tuesday, March 31, 2020 - 11:46:08 AM
Document(s) archivé(s) le : Friday, September 21, 2012 - 2:06:23 PM

Identifiers

  • HAL Id : ijn_00141415, version 1

Collections

Citation

Denis Bonnay, Paul Egré. Vagueness and Introspection. 2007. ⟨ijn_00141415⟩

Share

Metrics

Record views

397

Files downloads

286