Non-monotonic set theory as a pragmatic foundation of mathematics

DOI10.1007/S10699-012-9296-5MaRDI QIDQ301346zbMATH OpenOpenAlexFDO

Authors Peter Verdée

Publication date 30 June 2016

Published in Foundations of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10699-012-9296-5

zbMATH Keywords

foundations of mathematicsadaptive logicnon-classical logicset theorycomprehensionpragmatic foundations

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Nonclassical and second-order set theories (03E70)

Recommendations

• Strong, universal and provably non-trivial set theory by means of adaptive logic
• Foundation of mathematics between theory and practice
• Nonmonotonicity in (the metamathematics of) arithmetic
• Publication:4944346
• scientific article; zbMATH DE number 2101964

Cites work

• scientific article; zbMATH DE number 4130375 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 3479763 (Why is no real title available?)
• scientific article; zbMATH DE number 2170948 (Why is no real title available?)
• scientific article; zbMATH DE number 2096995 (Why is no real title available?)
• scientific article; zbMATH DE number 2213620 (Why is no real title available?)
• scientific article; zbMATH DE number 2236618 (Why is no real title available?)
• A note on naive set theory in LP
• A universal logic approach to adaptive logics
• Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex
• Extensionality and restriction in naive set theory
• Foundations of set theory
• How to be really contraction free
• Logic without contraction as based on inclusion and unrestricted abstraction
• Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL
• Saving truth from paradox
• Strong, universal and provably non-trivial set theory by means of adaptive logic
• The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
• The inconsistency of certain formal logics
• The simple consistency of a set theory based on the logic CSQ
• Transfinite numbers in paraconsistent set theory
• Whitehead's Problem is Undecidable
• Yes fellows, most human reasoning is complex

Cited in

(7)

• Tutorial on Inconsistency-Adaptive Logics
• Adaptive Fregean set theory
• scientific article; zbMATH DE number 1418087 (Why is no real title available?)
• Carnapian structuralism
• Remarks on naive set theory based on \(\mathbf{LP}\)
• Some Adaptive Contributions to Logics of Formal Inconsistency
• NON-CLASSICAL FOUNDATIONS OF SET THEORY

This page was built for publication: Non-monotonic set theory as a pragmatic foundation of mathematics

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