The paradox of the knower revisited

DOI10.1016/J.APAL.2013.07.010zbMATH Open1348.03057OpenAlexW1965242431MaRDI QIDQ392283FDOQ392283

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

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

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)

Cites Work

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

Cited In (9)

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

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)