Reasoning-based introspection

O. Gossner; E. Tsakas

doi:10.1007/s11238-011-9284-1

Reasoning-based introspection

O. Gossner, E. Tsakas^*

^*Corresponding author for this work

Microeconomics & Public Economics

Research output: Contribution to journal › Article › Academic › peer-review

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.

Original language	English
Pages (from-to)	513-523
Number of pages	11
Journal	Theory and Decision
Volume	73
Issue number	4
DOIs	https://doi.org/10.1007/s11238-011-9284-1
Publication status	Published - Oct 2012

Keywords

Knowledge
Introspection
Truth axiom
Partitional information structures
Epistemic game theory
BAYESIAN PLAYERS
EQUILIBRIUM
KNOWLEDGE
DISAGREE
GAMES

Access to Document

10.1007/s11238-011-9284-1Licence: CC BY-NC

Cite this

@article{fc79adc9d5f64ba59270e2aa9e4f4bb6,

title = "Reasoning-based introspection",

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.",

keywords = "Knowledge, Introspection, Truth axiom, Partitional information structures, Epistemic game theory, BAYESIAN PLAYERS, EQUILIBRIUM, KNOWLEDGE, DISAGREE, GAMES",

author = "O. Gossner and E. Tsakas",

year = "2012",

month = oct,

doi = "10.1007/s11238-011-9284-1",

language = "English",

volume = "73",

pages = "513--523",

journal = "Theory and Decision",

issn = "0040-5833",

publisher = "Springer, Cham",

number = "4",

}

TY - JOUR

T1 - Reasoning-based introspection

AU - Gossner, O.

AU - Tsakas, E.

PY - 2012/10

Y1 - 2012/10

N2 - 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.

AB - 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.

KW - Knowledge

KW - Introspection

KW - Truth axiom

KW - Partitional information structures

KW - Epistemic game theory

KW - BAYESIAN PLAYERS

KW - EQUILIBRIUM

KW - KNOWLEDGE

KW - DISAGREE

KW - GAMES

U2 - 10.1007/s11238-011-9284-1

DO - 10.1007/s11238-011-9284-1

M3 - Article

SN - 0040-5833

VL - 73

SP - 513

EP - 523

JO - Theory and Decision

JF - Theory and Decision

IS - 4

ER -