From the knowability paradox to the existence of proofs

DOI10.1007/s11229-009-9490-3zbMath1216.03021OpenAlexW1980308847MaRDI QIDQ625705

Hidenori Kurokawa, Walter Dean

Publication date: 25 February 2011

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-009-9490-3

zbMATH Keywords

intuitionistic logiclogic of proofsverificationismFitchBHK interpretationbivalenceexistence predicateexplicit modal logic with proof quantifiersknowability paradoxpotential proof

Mathematics Subject Classification ID

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

The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ A new framework for justification logic ⋮ A substructural approach to explicit modal logic ⋮ The Logic of Justification ⋮ On a new tentative solution to Fitch's paradox ⋮ Discovering knowability: a semantic analysis ⋮ The ontology of justifications in the logical setting ⋮ Manifestability and epistemic truth

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
• Unnamed Item
• Unnamed Item
• The logic of proofs, semantically
• The intended interpretation of intuitionistic logic
• Constructions, proofs and the meaning of logical constants
• The incarnation and the knowability paradox
• Belief, awareness, and limited reasoning
• A paradox regained
• On intuitionistic modal epistemic logic
• Constructivism in mathematics. An introduction. Volume II
• Knowledge and necessity
• Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
• Explicit Provability and Constructive Semantics
• Conceptions of truth in intuitionism
• Two incomplete anti-realist modal epistemic logics
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Victor's error
• A logical analysis of some value concepts
• Fitch and Intuitionistic Knowability
• Clues to the paradoxes of knowability: reply to Dummett and Tennant
• The Logic of Provability
• The Knowability Paradox and the Prospects for Anti-Realism
• The basic intuitionistic logic of proofs
• Some theorems about the sentential calculi of Lewis and Heyting
• Provability logics with quantifiers on proofs