Abstract
This paper defines provably non-trivial theories that characterize Frege’s notion of a set, taking into account that the notion is inconsistent. By choosing an adaptive underlying logic, consistent sets behave classically notwithstanding the presence of inconsistent sets. Some of the theories have a full-blown presumably consistent set theory T as a subtheory, provided T is indeed consistent. An unexpected feature is the presence of classical negation within the language.
Similar content being viewed by others
References
Batens, D., A survey of inconsistency-adaptive logics, in D. Batens, C. Mortensen, G. Priest, and J. Van Bendegem, (eds.), Frontiers of Paraconsistent Logic, Research Studies Press, 2000, pp. 49–73.
Batens, D., A general characterization of adaptive logics, Logique et Analyse 173–175: 45–68, 2001.
Batens, D., A universal logic approach to adaptive logics, Logica Universalis 1: 221–242, 2007.
Batens, D., Towards a dialogic interpretation of dynamic proofs, in C. Dégremont, L. Keiff, and H. Rückert, (eds.), Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, College Publications, London, 2009, pp. 27–51.
Batens, D., The consistency of Peano Arithmetic. A defeasible perspective, in P. Allo, and B. Van Kerkhove, (eds.), Modestly Radical or Radically Modest. Festschrift for Jean Paul van Bendegem on the Occasion of His 60th Birthday, College Publications, London, 2014, pp. 11–59.
Batens, D., Tutorial on inconsistency-adaptive logics, in J. Béziau, M. Chakraborty, and S. Dutta, (eds.), New Directions in Paraconsistent Logic, Springer, 2015, pp. 3–38.
Batens, D., Spoiled for choice?, Journal of Logic and Computation 26: 65–95, 2016. E-published 2013: https://doi.org/10.1093/logcom/ext019.
Batens, D., and K. De Clercq, A rich paraconsistent extension of full positive logic, Logique et Analyse 185–188: 227–257, 2004.
Batens, D., K. De Clercq, P. Verdée, and J. Meheus, Yes fellows, most human reasoning is complex, Synthese 166: 113–131, 2009.
Brady, R., Universal Logic, CSLI Publications, 2006.
da Costa, N. C. A., and E. H. Alves, A semantical analysis of the calculi \(\mathbf{C}_n\), Notre Dame Journal of Formal Logic 18: 621–630, 1977.
Odintsov, S. P., and S. 0. Speranski, On algorithmic properties of propositional inconsistency-adaptive logics, Logic and Logical Philosophy 21: 209–228, 2012.
Odintsov, S. P., and S. 0. Speranski, Computability issues for adaptive logics in multi-consequence standard format, Studia Logica 101: 1237–1262, 2013. https://doi.org/10.1007/s11225-013-9531-2.
Priest, G., Minimally inconsistent LP, Studia Logica 50: 321–331, 1991.
Priest, G., Is arithmetic consistent?, Mind 103: 337–349, 1994.
Priest, G., Inconsistent models of arithmetic. Part I: Finite models, Journal of Philosophical Logic 26: 223–235, 1997.
Priest, G., In Contradiction. A Study of the Transconsistent, Oxford University Press, 2:2006.
Quine, W. V. O., On the theory of types, The Journal of Symbolic Logic 3: 125–139, 1938.
Shapere, D., Logic and the philosophical interpretation of science, in P. Weingartner, (ed.), Alternative Logics. Do sciences need them?, Springer, 2004, pp. 41–54.
Straßer, C., Adaptive Logic and Defeasible Reasoning. Applications in Argumentation, Normative Reasoning and Default Reasoning, Springer, 2014.
Van Bendegem, J., Strict, yet rich finitism, in Z. W. Wolkowski, (ed.), First International Symposium on Gödel’s Theorems, World Scientific, 1993, pp. 61–79.
Van Bendegem, J., Strict finitism as a viable alternative in the foundations of mathematics, Logique et Analyse 145: 23–40, 1994.
Verdée, P., Adaptive logics using the minimal abnormality strategy are \(\Pi ^1_1\)-complex, Synthese 167: 93–104, 2009.
Verdée, P., Non-monotonic set theory as a pragmatic foundation of mathematics, Foundations of Science 18: 655–680, 2013.
Verdée, P., Strong, universal and provably non-trivial set theory by means of adaptive logic, Logic Journal of the IGPL 21: 108–125, 2013.
Weber, Z., Extensionality and restriction in naive set theory, Studia Logica 94: 87–104, 2010.
Weber, Z., Transfinite numbers in paraconsistent set theory, Review of Symbolic Logic 3: 71–92, 2010.
Weber, Z., Transfinite cardinals in paraconsistent set theory, Review of Symbolic Logic 5: 269–293, 2012.
Acknowledgements
Part of the ideas and results were presented in conferences. My gratitude goes (i) to the audience of the 5th World Congress on Universal Logic (Istanbul, Turkey, 20–30 June 2015) for questions and suggestions, especially to Graham Priest with whom I also corresponded on the matter afterwards; (ii) to the attentive and helpful audience of an \(\exists \)ntia et Nomin \(\forall \) Workshop (Krakow, Poland, 9–11 September 2015); and (iii) to both referees for pointing out ways to improve the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Batens, D. Adaptive Fregean Set Theory. Stud Logica 108, 903–939 (2020). https://doi.org/10.1007/s11225-019-09882-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-019-09882-1