Reasoning-based introspection

&
Theory and Decision 73 (4):513-523 (2012)
  Copy   BIBTEX

Abstract

We show that if an agent reasons according to standard inference rules, the truth and introspection axioms extend from the set of non-epistemic propositions to the whole set of propositions. This implies that the usual axiomatization of partitional possibility correspondences is redundant, and provides a justification for truth and introspection that is partly based on reasoning

Categories

Keywords

Reprint years

DOI

10.1007/s11238-011-9284-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Awareness and partitional information structures.Salvatore Modica & Aldo Rustichini - 1994 - Theory and Decision 37 (1):107-124.
Introspection and Free Will.Stewart E. Kelly - 1991 - Grazer Philosophische Studien 39 (1):155-164.
?k: a Non-Fregean Logic of Explicit Knowledge.Steffen Lewitzka - 2011 - Studia Logica 97 (2):233-264.
The Many Faces of Closure and Introspection: An Interactive Perspective.Patrick Allo - 2013 - Journal of Philosophical Logic 42 (1):91-124.
Epistemic closure and commutative, nonassociative residuated structures.Sebastian Sequoiah-Grayson - 2013 - Synthese 190 (1):113-128.
Introspection and self-knowledge.Gerald E. Myers - 1986 - American Philosophical Quarterly 23 (2):199-207.
Introspection and its objects.Denis G. Arnold - 1997 - Journal of Philosophical Research 22 (April):87-94.
Introspection and Consciousness.Declan Smithies & Daniel Stoljar (eds.) - 2012 - , US: Oxford University Press.
A Simple Theory of Introspection.I. What is Introspection - 2012 - In Declan Smithies & Daniel Stoljar (eds.), Introspection and Consciousness. Oxford University Press.
Decidability for some justification logics with negative introspection.Thomas Studer - 2013 - Journal of Symbolic Logic 78 (2):388-402.
A perceptual theory of knowledge: Specifying some details.Aaro Toomela - 1999 - Behavioral and Brain Sciences 22 (4):633-634.
Reasoning about information change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.
Mind gauging: Introspection as a public epistemic resource.Gualtiero Piccinini - 2001 - PhilSci Archive.

Analytics

Added to PP
2013-12-01

Downloads
96 (#181,437)

6 months
12 (#223,952)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.
A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
An Introduction to Modal Logic.George Edward Hughes & M. J. Cresswell - 1968 - London, England: Methuen. Edited by M. J. Cresswell.

View all 6 references / Add more references