The Fitch-Church paradox and first order modal logic

DOI10.1007/s10670-015-9730-5zbMath1346.03039OpenAlexW2039321415MaRDI QIDQ320315

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Expressive power of ``now and ``then operators
• Defending the possibility of knowledge
• In the mood
• An essay in combinatory dynamic logic
• Possible knowledge of unknown truth
• The incarnation and the knowability paradox
• Knowledge and necessity
• Natural deduction for first-order hybrid logic
• First-order modal logic
• Hybrid languages
• Hierarchies of modal and temporal logics with reference pointers
• A logical analysis of some value concepts
• On Knowledge of the Unknowable
• Clues to the paradoxes of knowability: reply to Dummett and Tennant
• The Knowability Paradox and the Prospects for Anti-Realism
• Hybrid logic and its proof-theory