The paradox of the knower revisited

DOI10.1016/j.apal.2013.07.010zbMath1348.03057OpenAlexW1965242431MaRDI QIDQ392283

Hidenori Kurokawa, Walter Dean

Publication date: 13 January 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.07.010

zbMATH Keywords

provability logicreflection principlesexplicit modal logicjustification logicknower paradox

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40)

Related Items (2)

The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ Solutions to the knower paradox in the light of Haack's criteria

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• How truthlike can a predicate be? A negative result
• Self-reference and modal logic
• Paris-Harrington principles, reflection principles and transfinite induction up to \(\epsilon _ 0\)
• Proof theory. 2nd ed
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• An axiomatic approach to self-referential truth
• Hilbert's program. An essay on mathematical instrumentalism
• A paradox regained
• The knower paradox and epistemic closure
• Operators in the paradox of the knower
• Undecidability without arithmetization
• Montague's paradox, informal provability, and explicit modal logic
• A quantified logic of evidence
• Explicit Provability and Constructive Semantics
• Reflection principles and provability algebras in formal arithmetic
• Gödel's Second incompleteness theorem for Q
• Outline of a Theory of Truth
• Axiomatizing Kripke's theory of truth
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Transfinite recursive progressions of axiomatic theories

This page was built for publication: The paradox of the knower revisited