Abstract
In this paper I propose a new approach to the foundation of mathematics: non-monotonic set theory. I present two completely different methods to develop set theories based on adaptive logics. For both theories there is a finitistic non-triviality proof and both theories contain (a subtle version of) the comprehension axiom schema. The first theory contains only a maximal selection of instances of the comprehension schema that do not lead to inconsistencies. The second allows for all the instances, also the inconsistent ones, but restricts the conclusions one can draw from them in order to avoid triviality. The theories have enough expressive power to form a justification/explication for most of the established results of classical mathematics. They are therefore not limited by Gödel’s incompleteness theorems. This remarkable result is possible because of the non-recursive character of the final proofs of theorems of non-monotonic theories. I shall argue that, precisely because of the computational complexity of these final proofs, we cannot claim that non-monotonic theories are ideal foundations for mathematics. Nevertheless, thanks to their strength, first order language and the recursive dynamic (defeasible) proofs of theorems of the theory, the non-monotonic theories form (what I call) interesting pragmatic foundations.
Similar content being viewed by others
References
Batens D. (2004) The need for adaptive logics in epistemology. In: Gabbay D., Rahman S., Symons J., Van Bendegem J. P. (eds) Logic, epistemology and the unity of science. Kluwer, Dordrecht, pp 459–485
Batens D. (2007) A universal logic approach to adaptive logics. Logica Universalis 1: 221–242
Batens, D. (2012). Adaptive logics and dynamic proofs. A study in the dynamics of reasoning (forthcoming).
Batens, D., & De Clercq, K. (2004). A rich paraconsistent extension of full positive logic. Logique et Analyse, 185–188, 227–257 (appeared 2005).
Batens D., De Clercq K., Verdée P., Meheus J. (2009) Yes fellows, most human reasoning is complex. Synthese 166: 113–131
Brady R. T. (1983) The simple consistency of a set theory based on the logic CSQ. Notre Dame Journal of Formal Logic 24: 431–449
Brady R. T., Routley R. (1989) The non-triviality of extensional dialectical set theory. In: Priest G., Routley R., Norman J. (eds) Paraconsistent logic: Essays on the inconsistent. Philosophia Verlag, Munich, pp 415–436
Curry H. (1942) The inconsistency of certain formal logics. Journal of Symbolic Logic 7: 115–117
Eklof P. C. (1976) Whitehead’s problem is undecidable. The American Mathematical Monthly 83(10): 775–788
Field H. (2008) Saving truth from paradox. Oxford University Press, Oxford
Fraenkel A. A., Bar-Hillel Y., Lévy A. (1973) Foundations of set theory. North Holland, Amsterdam
Gödel K. (1931) Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. Monatshefte für Mathematik und Physik 38: 173–198
Kelley J. L. (1975) General topology. Springer, Berlin
Kennedy J. C., van Atten M. (2004) Gödel’s modernism: on set-theoretic incompleteness. Graduate Faculty Philosophy Journal 25(2): 289–349
Libert, T. (2004). More studies on the axiom of comprehension. PhD thesis, University Libre de Bruxelles, Faculté des Sciences.
Petersen U. (2000) Logic without contraction as based on inclusion and unrestricted abstraction. Studia Logica 64(3): 365–403
Priest G. (1987) In contradiction: A study of the transconsistent. Martinus Nijhoff, The Hague
Quine W. V. (1937) New foundations for mathematical logic. American Mathematical Monthly 44(2): 70–80
Quine W. V. (1938) On the theory of types. Journal of Symbolic Logic 3(4): 125–139
Restall G. (1992) A note on naïve set theory in LP. Notre Dame Journal of Formal Logic 33(3): 422–432
Restall G. (1993) How to be Really contraction free. Studia Logica 52: 381–391
Vanackere, G. (2000). Preferences as inconsistency-resolvers: the inconsistency-adaptive logic PRL. Logic and Logical Philosophy, 8, 47–63 (appeared 2002).
Verdée P. (2009) Adaptive logics using the minimal abnormality strategy are \({{\Pi}^1_1}\) -complex. Synthese 167: 93–104
Verdée, P. (2012). Strong, universal and provably non-trivial set theory by means of adaptive logic. Logic Journal of the IGPL (submitted). http://logica.ugent.be/centrum/preprints/adaptive_set_theory_foundation.pdf.
Verhoeven, L. (2001). All premisses are equal, but some are more equal than others. Logique et Analyse, 173–175, 165–188 (appeared 2003).
Verhoeven, L. (2003). Proof theories for some prioritized consequence relations. Logique et Analyse, 183–184, 325–344 (appeared 2005).
von Neumann, J. (1967). An axiomatization of set theory. In From Frege to Gödel: A source book in mathematical logic, 1879–1931 (pp. 393–413). Cambridge, MA: Harvard University Press.
Weber Z. (2010a) Extensionality and restriction in naive set theory. Studia Logica 94(1): 87–104
Weber Z. (2010b) Transfinite numbers in paraconsistent set theory. Review of Symbolic Logic 3(1): 71–92
Weir A. (1998) Naïve set theory is innocent!. Mind 107(428): 763–798
White R. (1979) The consistency of the axiom of comprehension in the infinite valued predicate logic of łukasiewicz. Journal of Philosophical Logic 8(1): 503–534
Zermelo E. (1908) Untersuchungen über die grundlagen der mengenlehre. I. Mathematische Annalen 65(2): 261–281
Author information
Authors and Affiliations
Corresponding author
Additional information
I am very indebted to Laszlo Kosolosky, Diderik Batens and two anonymous referees who suggested many useful corrections and improvements on a former version of this paper.
P. Verdée is a post-doctoral fellow of the Fund for Scientific Research-Flanders.
Rights and permissions
About this article
Cite this article
Verdée, P. Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics. Found Sci 18, 655–680 (2013). https://doi.org/10.1007/s10699-012-9296-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10699-012-9296-5