Project description
Giving Leibniz and his rejection of an infinite number a second chance
The term mereology comes from 'meros', the Greek word for 'part'. In philosophy and in mathematics, it is a formal theory of so-called parthood relations, a type of logic addressing the relationship of part to whole and to other parts within a whole. With its roots in philosophical reasoning prior to the time of Socrates, it was not until Leśniewski in the early 1900s that it received an exact mathematical formulation. The EU-funded REALE project will look at Leibniz's denial of the existence of an infinite number in the 1600s in the context of his mereological theory to demonstrate why it is not simply based on a faulty argument.
Objective
The overall aim of the project is to investigate a neglected, though highly significant, topic in Leibniz’s thought: his general conception of number in light of his mereological theory. Special attention will be given to how this mereological background affects Leibniz’s conception of the infinite, and in particular his denial of the existence of an infinite number. In this way, the project will reshape the standard view according to which Leibniz’s rejection of infinite number is simply based on a faulty argument. On the contrary, the project’s ambition is to bring out – from Leibniz’s reflection on this topic – a (mereological) foundational theory for mathematics that can be seen as an alternative with regard to the standard set theoretical one. This topic has the potential to bridge the gulf now existing between an important mereological foundation of mathematics, as the Leibnizian’ one, with contemporary approaches – made in the 20th century by Lesniesky and his school on one side, and David Lewis’s Parts of Classes, on the other side – which exploit mereology to provide a less ontologically committed foundations for mathematics then set theory. The project can thus fill a gap in Leibniz’s scholarship and, at the same time, shed light on these contemporary attempts, and possibly revive some of their key aspects.
Fields of science
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques.
Programme(s)
Funding Scheme
MSCA-IF - Marie Skłodowska-Curie Individual Fellowships (IF)Coordinator
30123 Venezia
Italy