On the Type-Free Paracoherent Foundation of Mathematics with the Sedate Extension of Classical Logic by the Librationist Set Theory £, and Specifically on Why £Is Neither Inconsistent nor Contradictory nor Paraconsistent

DOI10.1007/978-81-322-2719-9_23zbMath1423.03022OpenAlexW2493188588MaRDI QIDQ5241538

Frode Bjørdal

Publication date: 31 October 2019

Published in: Springer Proceedings in Mathematics & Statistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-81-322-2719-9_23

zbMATH Keywords

paradoxesset theorycomplementarityfoundations of mathematicsmathematical optimismbialethismparasistencycontrasistencylibrationismmathematicalismnominismparacoherency

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notes on naive semantics
• Set theory. An introduction to large cardinals
• Truth and paradox
• Logical frameworks for truth and abstraction. An axiomatic study
• The consistency of classical set theory relative to a set theory with intu1tionistic logic

This page was built for publication: On the Type-Free Paracoherent Foundation of Mathematics with the Sedate Extension of Classical Logic by the Librationist Set Theory £, and Specifically on Why £Is Neither Inconsistent nor Contradictory nor Paraconsistent