The Fitch-Church paradox and first order modal logic

DOI10.1007/S10670-015-9730-5zbMATH Open1346.03039OpenAlexW2039321415MaRDI QIDQ320315FDOQ320315

Authors: Carlo Proietti 

Publication date: 6 October 2016

Published in: Erkenntnis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10670-015-9730-5

Recommendations

• scientific article; zbMATH DE number 2236614
• The ambiguity of knowability
• Defending the possibility of knowledge
• Fitch's paradox and ceteris paribus modalities
• The Church-Fitch knowability paradox in the light of structural proof theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Cites Work

• Modal logic
• Title not available (Why is that?)
• Hybrid languages
• First-order modal logic
• Expressive power of ``now and ``then operators
• Knowledge and necessity
• Natural deduction for first-order hybrid logic
• Hierarchies of modal and temporal logics with reference pointers
• 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
• On Knowledge of the Unknowable
• Title not available (Why is that?)
• Clues to the paradoxes of knowability: reply to Dummett and Tennant
• Defending the possibility of knowledge
• The Knowability Paradox and the Prospects for Anti-Realism
• Hybrid logic and its proof-theory
• In the mood
• An essay in combinatory dynamic logic
• Possible knowledge of unknown truth
• The incarnation and the knowability paradox

Cited In (6)

• Fitch's paradox and ceteris paribus modalities
• Defending the possibility of knowledge
• On a side effect of solving Fitch's paradox by typing knowledge
• Title not available (Why is that?)
• The ambiguity of knowability
• Knowability as potential knowledge

This page was built for publication: The Fitch-Church paradox and first order modal logic

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