Cubey
Azazel
Leibniz was a metaphysician and a logician. As a logician he drafted some wonderful theories that unfortunately were the victim of mockery by his jealous contemporaries. Putting that aside let’s talk about what is today known as Leibniz’s Law.
Leibniz’s Law is the syntactic correspondence of two premises. One is “The Identity of Indiscernibles” and the other is “The Indiscernability of Identicals”.
Let’s talk about the former first. The identity of indiscernibles says that if all that is true of X is true of Y, then X and Y are identical.
The latter-
The indiscernability of identicals says that if X and Y are identical, then all that is true of X is true of Y.
These two together make up Leibniz’s Law:
X and Y are identical if, and only if, for every property Z, X has Z if, and only if, Y has Z.
Restated this way it becomes more isomorphic and less recursive:
No two or more distinct things exactly resemble each other.
In other words, the qualities - and quantities of them, of two objects, determine the quantity and identity of the object(s).
Further reading
Leibniz’s Law is the syntactic correspondence of two premises. One is “The Identity of Indiscernibles” and the other is “The Indiscernability of Identicals”.
Let’s talk about the former first. The identity of indiscernibles says that if all that is true of X is true of Y, then X and Y are identical.
The latter-
The indiscernability of identicals says that if X and Y are identical, then all that is true of X is true of Y.
These two together make up Leibniz’s Law:
X and Y are identical if, and only if, for every property Z, X has Z if, and only if, Y has Z.
Restated this way it becomes more isomorphic and less recursive:
No two or more distinct things exactly resemble each other.
In other words, the qualities - and quantities of them, of two objects, determine the quantity and identity of the object(s).
Further reading
Last edited: