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:
“... in a history of spiritual rupture, a social compact built on fantasy and collective secrets, poetry becomes more necessary than ever: it keeps the underground aquifers flowing; it is the liquid voice that can wear through stone.”
—Adrienne Rich (b. 1929)
“The history of this country was made largely by people who wanted to be left alone. Those who could not thrive when left to themselves never felt at ease in America.”
—Eric Hoffer (1902–1983)
“The history of all Magazines shows plainly that those which have attained celebrity were indebted for it to articles similar in natureto Berenice—although, I grant you, far superior in style and execution. I say similar in nature. You ask me in what does this nature consist? In the ludicrous heightened into the grotesque: the fearful coloured into the horrible: the witty exaggerated into the burlesque: the singular wrought out into the strange and mystical.”
—Edgar Allan Poe (1809–1849)