Peirce's Law - Other Proofs of Peirce's Law

Other Proofs of Peirce's Law

Showing Peirce's Law applies does not mean that P→Q or Q is true, we have that P is true but only (P→Q)→P, not P→(P→Q) (see affirming the consequent).

simple proof: (p \rightarrow q) \rightarrow p \Rightarrow \overline{p \rightarrow q} \or p \Rightarrow \overline{\overline p \or q} \or p \Rightarrow (p \and \overline q) \or p \Rightarrow (p \and \overline q) \or (p \and 1) \Rightarrow p \and (\overline q \or 1) \Rightarrow p \and 1 \Rightarrow p.

Read more about this topic:  Peirce's Law

Famous quotes containing the words proofs, peirce and/or law:

    “To invent without scruple a new principle to every new phenomenon, instead of adapting it to the old; to overload our hypothesis with a variety of this kind, are certain proofs that none of these principles is the just one, and that we only desire, by a number of falsehoods, to cover our ignorance of the truth.”
    —David Hume (1711–1776)

    “... metaphysics, even bad metaphysics, really rests on observations, whether consciously or not; and the only reason that this is not universally recognized is that it rests upon kinds of phenomena with which every man’s experience is so saturated that he pays no particular attention to them.”
    —Charles Sanders Peirce (1839–1914)

    “Law without education is a dead letter. With education the needed law follows without effort and, of course, with power to execute itself; indeed, it seems to execute itself.”
    —Rutherford Birchard Hayes (1822–1893)