Identity of indiscernibles

Identity of indiscernibles
Name	Identity of indiscernibles
Other names	Leibniz's Law
Field	Philosophy, Metaphysics, Logic
Proponent	Gottfried Wilhelm Leibniz
Related concepts	Principle of sufficient reason, Principle of identity

Identity of indiscernibles is a metaphysical principle asserting that no two distinct entities can have all their properties in common. It is commonly associated with Gottfried Wilhelm Leibniz and appears in debates involving Aristotle, René Descartes, Baruch Spinoza, Immanuel Kant, and modern figures such as Bertrand Russell, G.E. Moore, and Willard Van Orman Quine. The principle has driven discussion across University of Oxford, University of Cambridge, Princeton University, and Harvard University faculties concerning individuation, substance, and persistence.

Definition and formulation

The principle is often formulated as: if for every predicate P applicable to entities x and y, P(x) iff P(y), then x = y. This formulation connects to positions defended by Gottfried Wilhelm Leibniz in correspondence with Samuel Clarke and later analyzed by John Locke, David Hume, and Bertrand Russell. Alternate formulations involve qualitative versus numerical identity debates found in the works of Arthur Schopenhauer, Edmund Husserl, and Martin Heidegger. Related formulations include the Principle of sufficient reason defended by Gottfried Wilhelm Leibniz and critiqued by David Hume and the notion of haecceity discussed by David Lewis and W.V.O. Quine.

Philosophical origins and proponents

The principle traces to Aristotle's ontological discussions and receives explicit endorsement from Gottfried Wilhelm Leibniz in letters and the Monadology. Supporters include Samuel Clarke, Bertrand Russell, and analytic philosophers like G.E. Moore and Willard Van Orman Quine at various points. Continental antecedents arise in René Descartes' dualism and Baruch Spinoza's monism; later proponents and reformulations appear in the work of Alfred North Whitehead, Ludwig Wittgenstein, Gottlob Frege, and Rudolf Carnap.

Logical and metaphysical implications

Endorsing the principle has implications for debates about substance in Thomas Aquinas's scholastic tradition, identity conditions in John Locke and Derek Parfit's accounts of personal identity, and modal metaphysics explored by Saul Kripke and Hartry Field. It influences the treatment of possible worlds in the work of David Lewis and affects discussions of indeterminacy and vagueness addressed by Michael Dummett and Kit Fine. In metaphysical ontology, it bears on Plato-style universals, Aristotle's categories, and modern ontology as in Willard Van Orman Quine's ontology debates at Yale University.

Formal treatments in logic and mathematics

Formalizations appear in first-order logic with identity as well as in modal logics used by Saul Kripke and Georg Henrik von Wright. Mathematicians and logicians including Gottlob Frege, Bertrand Russell, Alfred Tarski, and Kurt Gödel have analyzed formal identity, while set-theoretic treatments intersect with the work of Ernst Zermelo, Abraham Fraenkel, Paul Cohen, and Georg Cantor. In model theory and category theory—developed by Samuel Eilenberg and Saunders Mac Lane—issues of isomorphism versus identity invoke debates involving Henri Poincaré and Felix Hausdorff. Quantum mechanics discussions reference Niels Bohr, Albert Einstein, Erwin Schrödinger, and Werner Heisenberg to question particle indistinguishability and permutation symmetry formalized by Paul Dirac and Enrico Fermi.

Objections and alternative principles

Notable objections come from thought experiments like Max Black's symmetrical universe and critiques by David Hume, prompting alternatives such as haecceitism defended by David Lewis and narrative approaches by Derek Parfit. Philosophers including Gideon Rosen, Amie Thomasson, Peter van Inwagen, and Kit Fine propose weakened or modal variants, while Arthur Fine and Bas van Fraassen offer empiricist critiques. Physics-inspired challenges arise from Albert Einstein's indistinguishable particles, addressed by John Bell and Julian Schwinger, and spark proposals for individuation grounded in spatiotemporal or causal relations associated with Isaac Newton and Gottfried Wilhelm Leibniz's relationalism.

Applications and influence in philosophy of science

The principle impacts debates in Thomas Kuhn's philosophy of science, theory individuation in Imre Lakatos, scientific realism disputes involving Hilary Putnam, and structural realism defended by John Worrall. It informs taxonomy and species individuation in biology discussed by Ernst Mayr and Theodosius Dobzhansky, and particle identity in quantum theory debates involving Paul Dirac, Richard Feynman, and Murray Gell-Mann. In ethics and legal theory, discussions of personhood reference John Rawls, Jürgen Habermas, and Martha Nussbaum when considering identity persistence, while cognitive science work at Massachusetts Institute of Technology and Stanford University touches on individuation in perception through research connected to Noam Chomsky and Daniel Dennett.

Category:Metaphysics