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:

    “A man’s women folk, whatever their outward show of respect for his merit and authority, always regard him secretly as an ass, and with something akin to pity. His most gaudy sayings and doings seldom deceive them; they see the actual man within, and know him for a shallow and pathetic fellow. In this fact, perhaps, lies one of the best proofs of feminine intelligence, or, as the common phrase makes it, feminine intuition.”
    —H.L. (Henry Lewis)

    “The percept is the reality. It is not in propositional form. But the most immediate judgment concerning it is abstract. It is therefore essentially unlike the reality, although it must be accepted as true to that reality. Its truth consists in the fact that it is impossible to correct it, and in the fact that it only professes to consider one aspect of the percept.”
    —Charles Sanders Peirce (1839–1914)

    “Lawyers are necessary in a community. Some of you ... take a different view; but as I am a member of that legal profession, or was at one time, and have only lost standing in it to become a politician, I still retain the pride of the profession. And I still insist that it is the law and the lawyer that make popular government under a written constitution and written statutes possible.”
    —William Howard Taft (1857–1930)