Abstract
The new system of axioms we propose is based on the foundational theory of De Giorgi et al. Scuola Normale Superiore di Pisa, Preprints di Matematica 26: 1 (1996) slightly modified. In that paper (which is dedicated to a new axiomatic framework for mathematics, informatics and logic) the authors use two kinds of primitive notions: relations and qualities. Since their system is based on the distribution paradigm, they start from distinction. We propose to shift the perspective and to start from unity and then from within unity to pass to distinction; to this end we apply ideas of Lesniewski, Nijhoff International Philosophy Series 44 (1992). We introduce only one kind of entity as a primitive notion, namely relations, and treat qualities as articulations of relations. The new concept of “primary relation” permits the introduction of a dynamic, non-standard form of identity, which we hope will find application in various fields where self-referential structures are required.
Similar content being viewed by others
References
Cantor, G.: Mitteilungen zur Lehre vom Transfiniten, in Zeitschrift für Philosophie und philosophische Kritic, Einundneunzigster Band 91 (1887), 81–125.
Cellucci, C.: Le ragioni della logica, Laterza, Roma, 1998.
Clay, R. E.: Relation of Lesniewski’s mereology to Boolean algebras, Journal of Symbolic Logic 39 (1981), 638–648.
Edgar, G. A.: Measure, Topology and Fractal Geometry, Springer, Berlin Heidelberg New York, 1960.
Forti, M. and Lenzi, G.: A general axiomatic framework for the foundations of mathematics, logic and computer science, Rend. Mat. Acc. Naz. Sci. d. XL (1997), 1–32.
Galleni, L. and Forti, M.: An axiomatization of biological concepts within the foundational theory of Ennio De Giorgi, Biology Forum 92 (1999), 77–104.
De Giorgi, E., Forti, M., and Lenzi, G.: Verso i sistemi assiomatici del 2000 in matematica, logica e informatica, Scuola Normale Superiore di Pisa, Preprints di Matematica 26 (1996), 1–19.
Lesniewski, S.: On the foundations of mathematics, in J. T. J. Srzednicki, S. J. Sturma, and D. Banett (eds.), Nijhoff International Philosophy Series 44, Netherlands, 1992, in original version S. Lesniewski, O podstawach matematyki, Przeglad filozoficzny, XXX (1927) 164–206; XXXI (1928) 261–291.
Slupecki, J.: Lesniewski’s calculus of names in Lesniewski’s systems, ontology and mereology, in J. T. J.Srzednicki and V. F. Rickey (ed.), Nijhoff International Philosophy Series 13, Netherlands, 1984, pp. 59–123.
Russell, B.: Introduction to Mathematical Philosophy, Allen and Unwin, London, 1970.
Russell, B.: The Principles of Mathematics, Norton, New York, 1938.
Stanford Encyclopedia of Philosophy: Mereology (http://plato.stanford.edu/entries/mereology).
Tarski, A.: Zur Grundlegung der booleschen Algebra. I., Fundamenta Mathematicae 24 (1935), 177–198.
Tarski, A.: Pisma logiczno-filozoficznein, J. Zygmunt (ed.), PWN, Warszawa, 1995.
Tworak, Z.: Klamstwo klamcy i zbior zbiorow. O problemie antynomii, Wydawnictwo Naukowe UAM, Poznan, 2004.
Varzi, A. C.: Le strutture dell’ordinario, Logos dell’essere, logos della norma, Editrice Adriatica, Bari, 1999, pp. 489–530.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Obojska, L. “Primary Relations” In a New Foundational Axiomatic Framework. J Philos Logic 36, 641–657 (2007). https://doi.org/10.1007/s10992-007-9053-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-007-9053-3