From the knowability paradox to the existence of proofs

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

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

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• A substructural approach to explicit modal logic
• The Logic of Justification
• 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
• 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)