History
Here is Peirce's own statement of the law:
- A fifth icon is required for the principle of excluded middle and other propositions connected with it. One of the simplest formulae of this kind is:
| {(x → y) → x} → x. |
- This is hardly axiomatical. That it is true appears as follows. It can only be false by the final consequent x being false while its antecedent (x → y) → x is true. If this is true, either its consequent, x, is true, when the whole formula would be true, or its antecedent x → y is false. But in the last case the antecedent of x → y, that is x, must be true. (Peirce, the Collected Papers 3.384).
Peirce goes on to point out an immediate application of the law:
- From the formula just given, we at once get:
| {(x → y) → a} → x, |
- where the a is used in such a sense that (x → y) → a means that from (x → y) every proposition follows. With that understanding, the formula states the principle of excluded middle, that from the falsity of the denial of x follows the truth of x. (Peirce, the Collected Papers 3.384).
Warning: ((x→y)→a)→x is not a tautology. However, → is a tautology.
Read more about this topic: Peirce's Law
Famous quotes containing the word history:
“This is the greatest week in the history of the world since the Creation, because as a result of what happened in this week, the world is bigger, infinitely.”
—Richard M. Nixon (1913–1995)
“In history the great moment is, when the savage is just ceasing to be a savage, with all his hairy Pelasgic strength directed on his opening sense of beauty;—and you have Pericles and Phidias,—and not yet passed over into the Corinthian civility. Everything good in nature and in the world is in that moment of transition, when the swarthy juices still flow plentifully from nature, but their astrigency or acridity is got out by ethics and humanity.”
—Ralph Waldo Emerson (1803–1882)
“The history of philosophy is to a great extent that of a certain clash of human temperaments.”
—William James (1842–1910)