The knower paradox in the light of provability interpretations of modal logic

DOI10.1007/s10849-004-6406-yzbMath1067.03008OpenAlexW1519910355MaRDI QIDQ1778104

Paul Égré

Publication date: 16 June 2005

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-004-6406-y

zbMATH Keywords

modal logicprovability logicself-referenceepistemic logicfirst-order arithmetichierarchy solutions to semantic paradoxesKnower Paradoxsyntactical treatment of modalities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (6)

The elimination of self-reference: Generalized Yablo-series and the theory of truth ⋮ Solutions to the knower paradox in the light of Haack's criteria ⋮ Some remarks on restricting the knowability principle ⋮ Montague's paradox, informal provability, and explicit modal logic ⋮ Paradoxes of interaction? ⋮ Epistemic logic, monotonicity, and the Halbach-Welch rapprochement strategy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Self-reference and modal logic
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• An axiomatic approach to self-referential truth
• A paradox regained
• A note on syntactical treatments of modality
• Necessity predicates and operators
• Provability: The emergence of a mathematical modality
• Provability interpretations of modal logic
• Saving the truth schema from paradox
• A theorem concerning syntactical treatments of nonidealized belief
• Solution of a problem of Leon Henkin
• Transfinite recursive progressions of axiomatic theories

This page was built for publication: The knower paradox in the light of provability interpretations of modal logic