A Note on Gödel, Priest and Naïve Proof

DOI10.12775/LLP.2020.017MaRDI QIDQ5013617

Massimiliano Carrara, Enrico Martino

Publication date: 2 December 2021

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

liar paradoxstandard modelincompletenessCurry's paradoxdialetheianaïve proof

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Naive \textit{modus ponens}
• Tolerant, classical, strict
• Logical consequence and the paradoxes
• Priest, the Liar, and Gödel
• The logic of paradox
• Paradox and logical revision. A short introduction
• Anything goes
• Fusion and confusion
• A note on contraction-free logic for validity
• TRUTH WITHOUT CONTRA(DI)CTION
• Inconsistency and Incompleteness, Revisited
• Some Comments and Replies
• The Godel Paradox and Wittgenstein's Reasons
• Dialetheism, logical consequence and hierarchy
• Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics
• An extension of basic logic
• A further consistent extension of basic logic
• A basic logic