Non-monotonic set theory as a pragmatic foundation of mathematics

DOI10.1007/S10699-012-9296-5zbMath1339.03042OpenAlexW2007022195MaRDI QIDQ301346

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

set theoryfoundations of mathematicsadaptive logicnon-classical logiccomprehensionpragmatic foundations

Mathematics Subject Classification ID

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

Related Items (5)

Adaptive Fregean set theory ⋮ Carnapian structuralism ⋮ Tutorial on Inconsistency-Adaptive Logics ⋮ Some Adaptive Contributions to Logics of Formal Inconsistency ⋮ REMARKS ON NAIVE SET THEORY BASED ONLP

Cites Work

• 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
• A universal logic approach to adaptive logics
• Extensionality and restriction in naive set theory
• 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
• Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• Whitehead's Problem is Undecidable
• Strong, universal and provably non-trivial set theory by means of adaptive logic
• The inconsistency of certain formal logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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