Logical Formulations
Equality is always defined such that things that are equal have all and only the same properties. Some people define equality as congruence. Often equality is just defined as identity.
A stronger sense of equality is obtained if some form of Leibniz's law is added as an axiom; the assertion of this axiom rules out "bare particulars"—things that have all and only the same properties but are not equal to each other—which are possible in some logical formalisms. The axiom states that two things are equal if they have all and only the same properties. Formally:
- Given any x and y, x = y if, given any predicate P, P(x) if and only if P(y).
In this law, the connective "if and only if" can be weakened to "if"; the modified law is equivalent to the original.
Instead of considering Leibniz's law as an axiom, it can also be taken as the definition of equality. The property of being an equivalence relation, as well as the properties given below, can then be proved: they become theorems. If a=b, then a can replace b and b can replace a.
Read more about this topic: Equality (mathematics)
Famous quotes containing the word logical:
“Grammar is a tricky, inconsistent thing. Being the backbone of speech and writing, it should, we think, be eminently logical, make perfect sense, like the human skeleton. But, of course, the skeleton is arbitrary, too. Why twelve pairs of ribs rather than eleven or thirteen? Why thirty-two teeth? It has something to do with evolution and functionalism—but only sometimes, not always. So there are aspects of grammar that make good, logical sense, and others that do not.”
—John Simon (b. 1925)