The paradox of the knower revisited

DOI10.1016/J.APAL.2013.07.010MaRDI QIDQ392283zbMATH OpenOpenAlexFDO

Authors Walter Dean, Hidenori Kurokawa

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

justification logicreflection principlesprovability logicexplicit modal logicknower paradox

Mathematics Subject Classification ID

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

Recommendations

• The knower paradox and epistemic closure
• The knower paradox in the light of provability interpretations of modal logic
• Operators in the paradox of the knower
• Knowledge-to-fact arguments (bootstrapping, closure, paradox and KK)
• The Knowability Paradox in the Light of a Logic for Pragmatics

Cites work

• scientific article; zbMATH DE number 3668596 (Why is no real title available?)
• scientific article; zbMATH DE number 107511 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• scientific article; zbMATH DE number 1764654 (Why is no real title available?)
• scientific article; zbMATH DE number 910749 (Why is no real title available?)
• scientific article; zbMATH DE number 3216178 (Why is no real title available?)
• scientific article; zbMATH DE number 3188505 (Why is no real title available?)
• scientific article; zbMATH DE number 3190337 (Why is no real title available?)
• A paradox regained
• A quantified logic of evidence
• An axiomatic approach to self-referential truth
• Axiomatic theories of truth
• Axiomatizing Kripke's theory of truth
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• Explicit provability and constructive semantics
• Gödel's Second incompleteness theorem for Q
• Hilbert's program. An essay on mathematical instrumentalism
• How truthlike can a predicate be? A negative result
• Inexhaustibility: A non-exhaustive treatment
• Montague's paradox, informal provability, and explicit modal logic
• On formal and informal provability
• Operators in the paradox of the knower
• Outline of a Theory of Truth
• Paris-Harrington principles, reflection principles and transfinite induction up to \(\epsilon _ 0\)
• Proof theory. 2nd ed
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Reflection principles and provability algebras in formal arithmetic
• Self-reference and modal logic
• The autonomy of mathematical knowledge. Hilbert's program revisited.
• The knower paradox and epistemic closure
• Transfinite recursive progressions of axiomatic theories
• Undecidability without arithmetization

Cited in

(9)

• New essays on the knowability paradox.
• The logic of justified belief, explicit knowledge, and conclusive evidence
• Clues to the paradoxes of knowability: reply to Dummett and Tennant
• Operators in the paradox of the knower
• Solutions to the knower paradox in the light of Haack's criteria
• A Kripkean approach to unknowability and truth
• scientific article; zbMATH DE number 1301763 (Why is no real title available?)
• McKinsey paradoxes, radical scepticism, and the transmission of knowledge across known entailments
• The skeptical paradox and the indispensability of knowledge-beliefs

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392283)