From the knowability paradox to the existence of proofs

DOI10.1007/S11229-009-9490-3MaRDI QIDQ625705zbMATH OpenOpenAlexFDO

Authors Walter Dean, Hidenori Kurokawa

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)

Recommendations

• Discovering knowability: a semantic analysis
• Verificationists versus realists: The battle over knowability
• The paradox of idealization
• The Church-Fitch knowability paradox in the light of structural proof theory
• The ambiguity of knowability

Cites work

• scientific article; zbMATH DE number 3124817 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 1281125 (Why is no real title available?)
• scientific article; zbMATH DE number 1301804 (Why is no real title available?)
• scientific article; zbMATH DE number 1301807 (Why is no real title available?)
• scientific article; zbMATH DE number 1078585 (Why is no real title available?)
• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 3437100 (Why is no real title available?)
• scientific article; zbMATH DE number 795160 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 3216178 (Why is no real title available?)
• A logical analysis of some value concepts
• A paradox regained
• Belief, awareness, and limited reasoning
• Clues to the paradoxes of knowability: reply to Dummett and Tennant
• Conceptions of truth in intuitionism
• Constructions, proofs and the meaning of logical constants
• Constructivism in mathematics. An introduction. Volume II
• Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
• Explicit provability and constructive semantics
• Fitch and Intuitionistic Knowability
• Knowledge and necessity
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• On intuitionistic modal epistemic logic
• Provability logics with quantifiers on proofs
• Some theorems about the sentential calculi of Lewis and Heyting
• The Knowability Paradox and the Prospects for Anti-Realism
• The Logic of Provability
• The basic intuitionistic logic of proofs
• The incarnation and the knowability paradox
• The intended interpretation of intuitionistic logic
• The logic of proofs, semantically
• Two incomplete anti-realist modal epistemic logics
• Verificationism then and now
• Victor's error

Cited in

(13)

• The logic of justified belief, explicit knowledge, and conclusive evidence
• Unknown truths and unknowable truths
• The defeater version of Benacerraf's problem for a priori knowledge
• Discovering knowability: a semantic analysis
• The ontology of justifications in the logical setting
• The Logic of Justification
• A substructural approach to explicit modal logic
• A new framework for justification logic
• Montague's paradox, informal provability, and explicit modal logic
• The knower paradox in the light of provability interpretations of modal logic
• scientific article; zbMATH DE number 5558173 (Why is no real title available?)
• Manifestability and epistemic truth
• On a new tentative solution to Fitch's paradox

This page was built for publication: From the knowability paradox to the existence of proofs

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