From the knowability paradox to the existence of proofs

DOI10.1007/S11229-009-9490-3zbMATH Open1216.03021OpenAlexW1980308847MaRDI QIDQ625705FDOQ625705

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

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

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)

Cites Work

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

Cited In (12)

• 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
• A substructural approach to explicit modal logic
• The Logic of Justification
• A new framework for justification logic
• The knower paradox in the light of provability interpretations of modal logic
• Title not available (Why is that?)
• 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)