OBJECTIVES | RESEARCH HYPOTHESES |EXPECTED RESULTS | DELIVERABLES | FUNDED POSITIONS | ACTIVITIES | REFERENCES
Objectives
The relationship between axioms and definitions has been a key turning point in the contemporary transformation of logic, mathematics and science, following the birth and development of modern axiomatics and the radical changes in the definitions of the fundamental notions of mathematics: number, size, set. It is often said that definitions play no role in axiomatic systems except as abbreviations. Axioms are often considered as implicit definitions or characterizations of the primitive terms that appear in axioms. The project approaches the study of axiomatic definitions from two complementary perspectives: historical and theoretical. Accordingly, the project will have two main objectives, respectively 1) to investigate the origin of the notion of axiomatic definitions, and 2) to classify axiomatic definitions and study the kind of problems they are applied to in logic and philosophy of mathematics.
Research hypotheses
1. The history of axiomatic definitions, their relation to deduction and adequacy criteria. The historical inquiry is based on the general research hypothesis that definitions, together with a larger spectrum of factors, contributed to the transformation of axiomatics into an investigation of hypothetico-deductive systems. This hypothesis will be tested by verifying three more specific claims: 1) the belief that axioms serve to define or characterize mathematical entities did not arise abruptly in the 19th century, but was the result of complex debates about the distinction between axioms and definitions and on the role of deduction; 2) there is no unique sense in which axioms can be considered as implicit definitions in the debates by 19th and 20th century mathematicians and logicians; 3) several criteria for the adequacy of definitions have been discussed in the history of axiomatics, and there is no one theory that has gathered general consensus.
2. The classification and the epistemic role of axiomatic definitions. The theoretical inquiry is based on the general research hypothesis that a more rigorous understanding of the role played by axiomatic definitions would highly contribute to a better understanding of several contemporary debates in philosophy of logic, mathematics and in the philosophy of science. Two specific research hypotheses will guide this workpackage: 1) definitions might play both an inferential and a semantic role; 2) axiomatic definitions are philosophically crucial to understand the contemporary debate on formal and informal provability.
Expected results
1) the appraisal of the role of definitions in the development of hypotethico-deductive axiomatic
2) a detailed history of the relation between axioms and definitions in logic and in mathematics from the Renaissance to early 20th century
3) a classification of definitions occurring in axiomatic presentations
4) a better understanding of the relationship between definitions and deduction
5) an analysis of the epistemic roles played by definitions in formal and informal probability.
Deliverables
1) A monography on the history of axiomatic definitions codirected by Paola Cantù, Vincenzo De Risi and Georg Schiemer to be submitted to the series Frontiers in History of Science. The volume will offer a first comprehensive view on definitions, as well as new insights on the roles and perspectives of deduction and axiomatic.
2) A wide range of scientific articles to be published in international peer-reviewed journals discussing specific historical issues, alternative classifications of axiomatic definitions and how the axioms might have further epistemic functions beside their inferential role.
3) A doctoral dissertation on Bernard Bolzano’s theory of axioms and definitions.
4) A doctoral dissertation on a taxonomy of different kinds of definitions and adequacy criteria in 20th century philosophy of logic and mathematics.
Funded positions
The project will open two 3-year PhD positions at CGGG and SPHERE and one 18-month postdoc at IHPST. Details on the call for a postdoctoral position and the selection of candidates will be published on this website. Research topics are strictly related to the project.
- Paola Cantù will supervise one doctoral student at CGGG. The candidate will be asked to investigate adequacy criteria for axiomatic definitions between the end of the 19th century and the early 20th century.
- One doctoral student will be supervised by Vincenzo de Risi at SPHERE and will engage in research on the epistemology of definitions and axioms in Bolzano.
- A postdoctoral student will be hosted by IHPST and will be asked to investigate the role of axiomatic definitions in contexts of formal and informal provability and determine their epistemic costs.
Activities
See the section Événements à l’adresse https://axdef.hypotheses.org/evenements
References
Andreas, H. (2010). A modal view of the semantics of theoretical sentences. Synthese, 174: 367-383.
Arana, A. (2014). Purity in arithmetic: some formal and informal issues. In: G. Link (ed.), Formalism and Beyond. On the Nature of Mathematical Discourse, de Gruyter, pp. 315–336
Belnap, N. (1993). On rigorous definitions. Philosophical Studies, 72: 115-146.
Ben–Menahem, Y. (2006). Conventionalism. New York: Cambridge University Press.
Biagioli, F. (2020). Ernst Cassirer’s Transcendental Account of Mathematical Reasoning, Studies in History and Philosophy of Science Part A, 79: 30-40.
Cantù, P. (2006). “Bolzano et les propositions en soi: une théorie objective des vérités”, in J. Benoist (ed.), Propositions et états de choses, Paris, Vrin 2006, pp. 51-66.
Cantù P. (2014). Bolzano versus Kant: Mathematics as a Scientia Universalis, In: A. Reboul (ed.), Mind, Values and Metaphysics, Philosophical Papers Dedicated to Kevin Mulligan, Vol. I, Springer, pp. 295-316.
Cantù, P. (2018). Mathematics: Systematical Concepts, In: R. Theis and A. Aichele (eds.), Handbuch Christian Wolff, Springer, pp. 357-379.
Cantù, P. (2022a). Peano’s philosophical views between structuralism and logicism, In: F. Boccuni, A. Sereni (eds.), Origins and Varieties of Logicism. A Foundational Journey in the Philosophy of Mathematics, Routledge, Studies in the Philosophy of Mathematics and Physics series, chap 9.
Cantù, P. (2022b). What is axiomatics? Annals of Mathematics and Philosophy, 1. https://mxphi.com/wp-content/uploads/2022/10/cantu.pdf.
Cantù, P. (2023). Syllogism and beyond in the Peano School. In Verburgt, L. M. and Cosci, M., editors, Aristotle’s Syllogism and the Creation of Modern Logic: Between Tradition and Innovation. Bloomsbury.
Cantù, P. and Patras, F. (2023a). Les structures bourbakistes : objets ou concepts épistémiques ? Philosophia Scientiae, forthcoming.
Cantù, P. and Patras, F. (2023b). Russell and Carnap or Bourbaki? Two ways towards structures. In Cantù and Schiemer (eds.), INTEREPISTEME: Logic, Epistemology, and Scientific Theories, forthcoming.
Cantù, P., Halimi, B., Heinzmann, G., and Patras, F. (2022) (eds). L’objectivité en mathématiques. Noesis 38.
Confalonieri, S. (2015a). The Casus Irreducibilis in Cardano’s Ars Magna and De Regula Aliza. Archive for History of Exact Sciences, 69, 257-289. doi: 10.1007/s00407-015-0149-9
Cantù, P. and G. Schiemer (eds.) (2023). INTEREPISTEME: Logic, Epistemology, and Scientific Theories. Springer, forthcoming
Confalonieri, S. (2015b). The Unattainable Attempt to Avoid the Casus Irreducibilis for Cubic Equations. Girolamo Cardano’s De Regula Aliza. Wiesbaden: Springer. doi: 10.1007/978-3-658-09275-7
Confalonieri, S. (2018). A Further Analysis of Cardano’s Main Tool in the De Regula Aliza: on the Origins of the Splittings. Archive for History of Exact Sciences, 72, 303-352. doi: 10.1007/s00407-018-0209-z
Crocco, G. and Engelen, E.-M. (eds.) (2016), Kurt Gödel: Philosopher-Scientist. Presses Universitaires de Provence : Aix-en-Provence.
Crocco G., Van Atten, M., Cantù, P. and Rollinger, R., (2017-2021), Kurt Gödel Maxims and Philosophical Remarks Volumes IX-XII, deposited on HAL.
Crocco, G. and Piccolomini d’Aragona, A. (2019), Inferences and Proofs, Special issue, TOPOI, 38/3.
De Risi, V. (2015). Leibniz on the Parallel Postulate and the Foundations of Geometry, Basel/Boston, Birkhäuser.
De Risi, V. (2023). “The Direction-Theory of Parallels. Geometry and Philosophy in the Age of Kant”, in K. Chemla, J. Ferreirós, Lizhen Ji, E. Scholz, Chang Wang (eds.), The Richness of the History and Philosophy of Mathematics, Berlin, Springer forthcoming.
Debuiche, V. (2019). Leibniz’s principle of (sufficient) reason and principle of identity of indiscernibles. In Stetter, J. and Ramond, C., editors, Spinoza in Twenty-First-Century American and French Philosophy: Metaphysics, Philosophy of Mind, Moral and Political Philosophy. Bloomsbury Academic.
Debuiche V. and Rabouin, D. (2019). Unité et pluralité de l’espace mathématique chez Leibniz, Archiv für Geschichte der Philosophie, 101/3, 354-375.
Debuiche V. and Rabouin, D. (eds.) (2021), Mathématique et philosophie leibniziennes à la lumière des manuscrits inédits, Special issue, Philosophia scientiæ 25/2.
Dudman, V. H., 1973, “Frege on Definitions,” Mind, 83: 609–610.
Ebert, P. (2016). A Framework for Implicit Definitions and the A Priori. In: P. Ebert & M. Rossberg (eds.), Abstractionism. Essays in Philosophy of Mathematics, Oxford: Oxford University Press: 134-160.
Gentzen, G. (1935). Untersuchungen über das logische Schliessen. Mathematische Zeitschrift, 39, 176-210, 405-431. English translation by M. Szabo, in The Collected Papers of Gerhard Gentzen, Amsterdam: North- Holland, 1969.
Giedymin, J., (1982). On the Origin and Significance of Poincaré’s Conventionalism. In: Giedymin, J. Science and convention. Essay on Henri Poincaré’s philosophy of science and the conventionalist tradition, Pergamon.
Giovannini, E. and Schiemer, G., (2019). What are Implicit Definitions?. Erkenntnis, DOI: 10.1007/s10670-019-00176-5: 1-31.
Gray J. and S.A. Walter (eds.) (1997), Henri Poincaré: Trois suppléments sur la découverte des fonctions fuchsiennes, Berlin: Akademie-Verlag.
Hahn, H. (1933), “Die Krise der Anschauung”. In: Krise und Neuaufbau in den exakten Wissenschaften. Leipzig und Wien: Franz Deuticke 1933, pp. 41–64. (Engl.) The Crisis in Intuition. In: J.R. Newman (Ed.), The World of Mathematics, New York: Simon and Schuster, pp. 1956–1976.
Halimi, Brice (2014), “Un principe caché de l’Analytique transcendantale : l’équivalence posée par Kant entre l’universalité et la nécessité”, Philosophie 121, pp. 29-49.
Heinzmann, G. (1995). Zwischen Objektkonstruktion und Strukturanalyse. Zur Philosophie der Mathematik bei Henri Poincaré, Gottingen: Vandenhoek & Ruprecht.
Heinzmann, G. (2017). Couturat : “Poincare, mon savant collaborateur” (?). Le debat sur le statut philosophique de l’espace geometrique, In: M. Fichant and S. Roux (eds.), Louis Couturat (1868-1914) – Mathematiques, langage, philosophie, Paris, Classiques Garnier2017, 87-108.
Hilbert, D. (1899). Grundlagen der Geometrie. In Festschrift zur Feier der Enthüllung des Gauss–Weber Denkmals in Göttingen. Herausgegeben von dem Fest–Comitee. Leipzig: Teubner. Reprinted in Hallett & Majer 2004: 426-525.
Hodges, W., 1993, “Tarski’s Theory of Definition,” in New Essays on Tarski and Philosophy, edited by D. Patterson, Oxford: Oxford University Press, pp. 94–132.
Joinet, J.-B. (2019). Collusions and quotients: generalizing equivalence relations and definitions by abstraction, Preprint deposited on 20/11/2019 at HAL Archives (https://hal.archives-ouvertes.fr/hal-02369662)
Joinet, J. and Seiller, T. (2021). From abstraction and indiscernibility to classification and types. Kagaku Tetsugaku, 53(2):65–93.
Joray P. (2004). Should definitions be internal? In: Bilkova M. & Behounek L. (eds.), The Logica Yearbook 2004. Prague: Filosofia: 189-199.
Joray P. (2005). What is wrong with creative definitions?. Logika 23(Wrocław) : 39-49.
Joray P. (2006). La définition dans les systèmes logiques de Łukasiewicz, Leśniewski et Tarski. In: Pouivet R. & Rebuschi M. (éds). La philosophie en Pologne 1918-1939. Paris: Vrin: 203-222.
Krantz, S.G. and Parks, H.R., (2002). A primer of real analytic functions. Springer Science & Business Media.
Leitgeb, H. (2009). On formal and informal provability. In Bueno, O. and Linnebo, Ø. (eds.), New Waves in Philosophy of Mathematics, Palgrave Macmillan, 263-299.
Maronne S. (2010). Pascal versus Descartes on solution of geometrical problems and the Sluse-Pascal correspondence. Early Science and Medicine, 2010, 15 (4-5), pp.537-565. ⟨10.1163/157338210X516314⟩.
Maronne S. (2014). Pierre Samuel et Jules Vuillemin : mathématiques et philosophie. Thierry Lambre. Des mathématiques en Auvergne: histoire, progrès, interactions, t. 1, Revue d’Auvergne, pp.151-173, (2014). ⟨hal-01082189⟩
Maronne S. and Mélès, B. (dir.) (2020), Lectures et postérités de La Philosophie de l’algèbre de Jules Vuillemin, Philosophia Scientiæ, 24/3.
Mawhin, J., (2014). The implicit function theorem and its substitutes in Poincaré’s qualitative theory of differential equations. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, 47: 124-130.
Mélès B. et Heinzmann, G. (dir.), (2020). Special Issue Jules Vuillemin face à la philosophie analytique, Revue de synthèse, 141
Naibo, A. (2016). On the computational meaning of axioms. (with Mattia Petrolo and Thomas Seiller). In: O. Pombo, A. Nepomuceno, J. Redmond (Eds.) Epistemology, Knowledge and the Impact of Interaction, Logic, Epistemology, and the Unity of Science, Vol. 38, Berlin: Springer: 141–184.
Pasch M. (1921). Die Begründung der Mathematik und die implizite Definition. Annalen der Philosophie, 2:145-162. Engl. transl. by Stephen Pollard in Essays on the Foundations of Mathematics by Moritz Pasch. Springer Netherlands, 2010.
Patras, F. (2001). La Pensée mathématique contemporaine. Paris, P.U.F., 2001 (transl. Il pensiero matematico contemporaneo. Trad. It. G. de Vivo e P. Pagli, Milan, Bollati-Boringhieri, Collana Saggi Scienze, 2006, reed. Bollati Boringhieri, Collana I Grandi Pensatori (ed. tascabile), 2017.)
Patras, F., (2008). Carnap, l’Aufbau, et l’idée mathématique de structure. in Mathématiques et expérience. L’empirisme logique à l’épreuve (1918-1940). Dir. J. Bouveresse et P. Wagner, Odile Jacob– Collège de France, 2008 : 33-54.
Patras, F. (2014). La Possibilité des nombres. Coll. Science, histoire et société, P.U.F., 2014. Engl. Transl. The Essence of Numbers. Lecture Notes in Mathematics. History of Mathematics Subseries. Springer, 2020.
Peregrin, J. (2014). Inferentialism. Why Rules Matter. (Hampshire: Palgrave Macmillan)
Poggiolesi, F (2016). “On defining the notion of complete and immediate formal grounding”, Synthese, 193: 3147-3167, 2016.
Poggiolesi, F. (2022). “Conceptual (and hence mathematical) explanations, conceptual grounding and proof” (together with F. Genco), Erkenntnis, 1-37.
Rav, Y. (1999). Why do we prove theorems? Philosophia Mathematica, 7:5-41.
Schiemer G. and Giovannini, E. (2019). What are implicit definitions?, Erkenntnis, https://doi.org/10.1007/s10670-019-00176-5: 1-31.
Schiemer G. and Korbmacher, J. (2018). What are structural properties?, Philosophia Mathematica, (2018), 26/3: 295-323.
Schiemer G. and Reck, E. 2020 (eds.). The Prehistory of Mathematical Structuralism, Oxford University Press.
Schiemer G. and Wigglesworth, J. (2019). The structuralist thesis reconsidered, The British Journal for the Philosophy of Science, 70/4: 1201-1226.
Schlimm, D. (2013). Axioms in mathematical practice, Philosophia Mathematica, 21/1: 37-92.
Shapiro, S. (1997). Philosophy of mathematics: Structure and ontology. New York: Oxford University Press.
Smadja, I. and Michel Nicolas (forthcoming). The Ancients and the Moderns: Chasles on Euclid’s Lost Porisms and the Pursuit of Geometry. Science in Context.
Suppes, P. (1957). Introduction to Logic. Princeton, NJ: Van Nostrand.
Urbaniak, R., and Hämäri, K. S., 2012, “Busting a Myth about Leśniewski and Definitions,” History and Philosophy of Logic, 33: 159–189.
Wagner, P., (2022). Construction et fiction dans l’Aufbau de Carnap, In: J. Farges, D. Pradelle, J.-B. Fournier, (eds.), La notion d’Aufbau, Sorbonne Université Presses.
Wagner, P. (2023). Schlick and Carnap on definitions, in Cantù P. and G. Schiemer (eds.) (2023). INTEREPISTEME: Logic, Epistemology, and Scientific Theories. Springer, forthcoming.
Walter S. A. (ed.) (2016), La correspondance entre Henri Poincaré, les astronomes, et les géodésiens. Basel: Birkhäuser, 2016, isbn 978-3-7643-7168-8.
Walter S. A. (2019), Poincaré-week in Göttingen, in light of the Hilbert-Poincaré correspondence of 1908-1909, in Mathematical Correspondences and Critical Editions, Borgato, Maria Teresa and Neuenschwander, Erwin and Passeron, Irène, editors, Springer: Cham, 297-310.