Non-monotonic set theory as a pragmatic foundation of mathematics

DOI10.1007/S10699-012-9296-5zbMATH Open1339.03042OpenAlexW2007022195MaRDI QIDQ301346FDOQ301346

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

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

zbMATH Keywords

foundations of mathematicsadaptive logicnon-classical logicset theorycomprehensionpragmatic foundations

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

• Tutorial on Inconsistency-Adaptive Logics
• Adaptive Fregean set theory
• Some Adaptive Contributions to Logics of Formal Inconsistency
• Remarks on naive set theory based on \(\mathbf{LP}\)
• NON-CLASSICAL FOUNDATIONS OF SET THEORY
• Carnapian structuralism
• Title not available (Why is that?)

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)