The Church-Fitch knowability paradox in the light of structural proof theory

DOI10.1007/S11229-012-0061-7MaRDI QIDQ2443327zbMATH OpenOpenAlexFDO

Authors Paolo Maffezioli, Alberto Naibo, Sara Negri

Publication date 7 April 2014

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-012-0061-7

zbMATH Keywords

Church-Fitch's paradoxintuitionistic bimodal logicknowability principlelabelled sequent calculusproof analysisstructural proof theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Structure of proofs (03F07)

Recommendations

• Closure on knowability
• New essays on the knowability paradox.
• The knowability paradox and truths dependent on their epistemic status
• Truth, demonstration and knowledge: a classical solution to the paradox of knowability
• The paradox of idealization

Cites work

• A logical analysis of some value concepts
• Clues to the paradoxes of knowability: reply to Dummett and Tennant
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Cut Elimination in the Presence of Axioms
• Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
• Does the deduction theorem fail for modal logic?
• Fitch's paradox and ceteris paribus modalities
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 1281125 (Why is no real title available?)
• scientific article; zbMATH DE number 1301807 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• Intuitionistic epistemic logic, Kripke models and Fitch's paradox
• Models for normal intuitionistic modal logics
• New essays on the knowability paradox.
• Proof Analysis
• Proof analysis in intermediate logics
• Proof analysis in modal logic
• Proof analysis in non-classical logics
• Proof and Paradox
• Structural proof theory. With an appendix by Aarne Ranta
• Victor's error

Cited in

(21)

• On a new tentative solution to Fitch's paradox
• Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
• Proofs and countermodels in non-classical logics
• Knowability and other onto-theological paradoxes
• Discovering knowability: a semantic analysis
• Geometrisation of first-order logic
• The Fitch-Church paradox and first order modal logic
• Knowability principle and disjunction property
• Labeled sequent calculi for modal logics and implicit contractions
• Closure on knowability
• The knowability paradox and truths dependent on their epistemic status
• From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
• Sequent Calculus for Intuitionistic Epistemic Logic IEL
• Truth, demonstration and knowledge: a classical solution to the paradox of knowability
• A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic
• From the knowability paradox to the existence of proofs
• Logics for knowability paradox with a non-normal possibility operator
• A terminating intuitionistic calculus
• A proof-theoretic approach to formal epistemology
• A simple loopcheck for intuitionistic K
• Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: The Church-Fitch knowability paradox in the light of structural proof theory

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