Leibniz's law

Leibniz's law
Name	Leibniz's law
Othernames	Identity of indiscernibles / Indiscernibility of identicals
Field	Philosophy, Logic, Metaphysics
Introduced	17th century
Introducedby	Gottfried Wilhelm Leibniz

Leibniz's law is a classical principle in philosophy and logic concerning the relation between identity and properties, encapsulating constraints on when two entities can be distinct. It played a central role in debates involving Gottfried Wilhelm Leibniz, René Descartes, Baruch Spinoza, John Locke, David Hume, and later figures such as G. W. F. Hegel, Arthur Schopenhauer, Bertrand Russell, and W. V. O. Quine. The principle has influenced work in mathematics, physics, computer science, cognitive science, and linguistics through formal treatments by Gottlob Frege, G. H. von Wright, Alfred Tarski, Alonzo Church, and Kurt Gödel.

Definition

Leibniz's law traditionally comprises two related claims: the Indiscernibility of identicals and the Identity of indiscernibles. The Indiscernibility of identicals asserts that if x = y then every property true of x is true of y, a formulation discussed by Gottfried Wilhelm Leibniz in correspondence with Samuel Clarke and referenced in debates involving Isaac Newton and Christiaan Huygens. The Identity of indiscernibles claims that if every property of x is also a property of y, then x = y, a principle debated by John Stuart Mill, Ernst Mach, Henri Poincaré, and modern analysts such as Saul Kripke and David Lewis.

Historical background

Leibniz articulated these ideas in the context of his metaphysical system and polemics with Samuel Clarke and Antoine Arnauld, set against the scientific controversies of the Scientific Revolution with figures like Isaac Newton and Robert Boyle. Discussions of identity trace back to Aristotle and were developed by Thomas Aquinas, René Descartes, and Baruch Spinoza; later modern debate invoked John Locke's empiricism and David Hume's skepticism. The principle was central to 19th and 20th century logic and analytic philosophy via Gottlob Frege's Begriffsschrift, Bertrand Russell's theory of descriptions, and Ludwig Wittgenstein's remarks in the Tractatus Logico-Philosophicus, with formal consequences explored by Alfred North Whitehead and Bertrand Russell in Principia Mathematica.

Formal formulations

Formalizations appear in first-order predicate logic and modal frameworks. In classical first-order logic with identity, the Indiscernibility of identicals is formalized as: ∀x∀y(x = y → ∀P(Px → Py)), developed in systems by Frege, Alonzo Church, and Willard Van Orman Quine. The converse, the Identity of indiscernibles, requires stronger ontological or modal assumptions and is rendered using second-order quantification: ∀x∀y((∀P(Px ↔ Py)) → x = y), a form discussed by Gottlob Frege, Kurt Gödel, and Hermann Weyl. Modal variants employ □ and ◇ operators and are analyzed by Saul Kripke in the context of rigid designation, and by David Lewis in counterpart theory. Set-theoretic and model-theoretic treatments invoke work by Ernst Zermelo, Abraham Fraenkel, and Alfred Tarski on identity criteria within Zermelo–Fraenkel set theory and model theory.

Applications and implications

Leibnizian principles inform debates in metaphysics, philosophy of science, and formal ontology. In quantum mechanics the indistinguishability of particles raised puzzles addressed by Paul Dirac, Werner Heisenberg, Max Born, Albert Einstein, and Erwin Schrödinger, prompting reinterpretations of identity for fermions and bosons. In computer science and artificial intelligence they influence identity and hashing algorithms, referenced alongside work by Edsger Dijkstra, Alan Turing, John McCarthy, and Leslie Lamport. In philosophy of language and modal logic the principle intersects with Frege’s sense and reference debates, Saul Kripke’s Naming and Necessity, and Gottlob Frege’s distinction between Sinn and Bedeutung as discussed by Rudolf Carnap and Willard Van Orman Quine.

Objections and counterexamples

Several objections challenge the Identity of indiscernibles using thought experiments and scientific examples. Classic thought experiments include Max Black's symmetric universe of two identical spheres designed to rebut the Identity of indiscernibles, and David Lewis's counterpart critiques. Physics supplies empirical counterexamples involving indistinguishable particles in quantum field theory and entangled states discussed by Niels Bohr, John Bell, Alain Aspect, and David Bohm. Philosophers such as Gottfried Wilhelm Leibniz’s critics, John Stuart Mill, Peter Geach, D. M. Armstrong, and Hilary Putnam have proposed semantic, modal, and relational counterexamples that motivate weaker formulations or contextual restrictions.

Related principles and influence on philosophy of identity

Leibnizian ideas connect to principles such as Hume's bundle theory, Substance theory in the writings of Thomas Aquinas and Baruch Spinoza, and contemporary metaphysical doctrines by David Lewis and D. M. Armstrong. The debates influenced analytic investigations into rigid designation by Saul Kripke, functionalism in the philosophy of mind advocated by Hilary Putnam and Jerry Fodor, and debates about structural realism advanced by John Worrall and Stathis Psillos. The principle also intersects with legal and computational identity issues addressed by institutions like International Organization for Standardization and by applied theorists such as Donald Knuth and Tim Berners-Lee.

Category:Philosophy of identity