De Re and De Dicto Knowledge in Egocentric Setting
arXiv:2308.00001v11 citationsh-index: 14
Originality Synthesis-oriented
AI Analysis
This work addresses a foundational issue in logic for researchers studying agent-based properties, but it is incremental as it builds on Prior's framework without broad practical impact.
The paper tackles the problem of distinguishing de re and de dicto knowledge in egocentric logical systems, proving that these two modalities are not definable through each other.
Prior proposes the term "egocentric" for logical systems that study properties of agents rather than properties of possible worlds. In such a setting, the paper introduces two different modalities capturing de re and de dicto knowledge and proves that these two modalities are not definable through each other.