Inconsistency and Incompleteness, Revisited

DOI10.1007/978-3-030-25365-3_22MaRDI QIDQ3305677zbMATH OpenOpenAlexFDO

Authors Stewart Shapiro

Publication date 10 August 2020

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-25365-3_22

zbMATH Keywords

BeallChurch's thesisCurryincompletenessproofsoundness

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• INCOMPLETENESS VIA PARADOX AND COMPLETENESS
• scientific article; zbMATH DE number 1062120
• Incompleteness and fixed points
• scientific article; zbMATH DE number 1339027
• Incompleteness and paradox
• In search of the sources of incompleteness
• Consistency, optimality, and incompleteness
• scientific article; zbMATH DE number 4139718
• On quasi-inconsistency and its complexity
• Modal incompleteness revisited

Cites work

• scientific article; zbMATH DE number 3144511 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• On some recent criticism of Church's thesis
• WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT?

Cited in

(16)

• On interpretation of inconsistent theories
• Inconsistency of a metatheory of Nudel'man
• Conway's question: the chase for completeness
• Incompleteness and fixed points
• THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE
• The inexpressibility of validity
• scientific article; zbMATH DE number 4139718 (Why is no real title available?)
• scientific article; zbMATH DE number 1062120 (Why is no real title available?)
• A note on Gödel, Priest and naïve proof
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS
• Inconsistency in Ceteris Paribus Imagination
• scientific article; zbMATH DE number 7088147 (Why is no real title available?)
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Is there an inconsistent primitive recursive relation?
• Inconsistency and semantic unification
• Remedying inconsistent sets of premises

This page was built for publication: Inconsistency and Incompleteness, Revisited

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