MoL-2018-05: Leibniz's Principle and the Problem of Nonindividuality

MoL-2018-05: Nizzardo, Matteo (2018) Leibniz's Principle and the Problem of Nonindividuality. [Pre-print]

[thumbnail of MoL-2018-05.text.pdf]

Download (571kB) | Preview


With the emergence of contemporary formal logic, it has become customary to formalise Leibniz’s Principle of the Identity of Indiscernibles (pii) by means of the following second order formula: ‘∀x∀y(∀p(p(x) ↔ p(y)) → x = y)’. Under the assumption that this formula captures the ontological meaning of Leibniz’s Principle, the relation between a second order formalisation of the scenario presented in Black (1952) as a counterexample to pii and Leibniz’s Principle becomes interesting to explore. Furthermore, once shown that the objects described in Black’s scenario are nonindividuals, the question arises if and how it is possible to build a theory of collections that does not restrict (as zfc does) the possibility of being a member of a collection only to individuals. We will present a first attempt to formulate such theory of collections, and some interesting facts will be proved as theorems about collections containing nonindividuals as elements.

Item Type: Pre-print
Report Nr: MoL-2018-05
Series Name: Master of Logic Thesis (MoL) Series
Year: 2018
Subjects: Logic
Depositing User: Dr Marco Vervoort
Date Deposited: 02 Aug 2018 15:13
Last Modified: 16 Aug 2018 13:48

Actions (login required)

View Item View Item