Reasoning-based introspection

Reasoning-based introspection — Theory and Decision, 73: 513-523, 2012
Authors

Olivier Gossner

Elias Tsakas

Abstract

We show that if an agent reasons according to standard inference rules, the axioms of truth and introspection extend from the set of non-epistemic propositions to the whole set of propositions. This implies that the usual axiomatization of the partitional possibility correspondence, which describes an agent who processes information rationally, is redundant.

← All research

Theory and Decision, 73: 513-523, 2012

Paper PDF

Citation

BibTeX citation:
@article{gossner2012,
  author = {Gossner, Olivier and Tsakas, Elias},
  title = {Reasoning-Based Introspection},
  journal = {Theory and Decision},
  date = {2012},
  url = {https://gossner.me/papers/reasoning-based-introspection.html},
  langid = {en},
  abstract = {We show that if an agent reasons according to standard
    inference rules, the axioms of truth and introspection extend from
    the set of non-epistemic propositions to the whole set of
    propositions. This implies that the usual axiomatization of the
    partitional possibility correspondence, which describes an agent who
    processes information rationally, is redundant.}
}
For attribution, please cite this work as:
Gossner, Olivier, and Elias Tsakas. 2012. “Reasoning-Based Introspection.” Theory and Decision. https://gossner.me/papers/reasoning-based-introspection.html.