In logic, **Peirce's law** is named after the philosopher and logician Charles Sanders Peirce. It was taken as an axiom in his first axiomatisation of propositional logic. It can be thought of as the law of excluded middle written in a form that involves only one sort of connective, namely implication.

In propositional calculus, **Peirce's law** says that ((*P*→*Q*)→*P*)→*P*. Written out, this means that *P* must be true if there is a proposition *Q* such that the truth of *P* follows from the truth of "if *P* then *Q*". In particular, when *Q* is taken to be a false formula, the law says that if *P* must be true whenever it implies the false, then *P* is true. In this way Peirce's law implies the law of excluded middle.

Peirce's law does not hold in intuitionistic logic or intermediate logics and cannot be deduced from the deduction theorem alone.

Under the Curry–Howard isomorphism, Peirce's law is the type of continuation operators, e.g. call/cc in Scheme.

Read more about Peirce's Law: History, Other Proofs of Peirce's Law, Using Peirce's Law With The Deduction Theorem, Completeness of The Implicational Propositional Calculus

### Other articles related to "peirce, laws":

... On May 14, 1867, the 27-year-old Charles Sanders

**Peirce**, who eventually founded Pragmatism, presented a paper entitled "On a New List of Categories" to the American ... a theory of predication involving three universal categories that

**Peirce**continued to apply in philosophy and elsewhere for the rest of his life ...

...

**Peirce**(crater), a small lunar crater in the western part of Mare Crisium, named for Benjamin

**Peirce**...

... Categories help the reasoner to render signs ready for the application of logical

**laws**... So

**Peirce**'s claim that three categories are sufficient amounts to an assertion that all manifolds of meaning can be unified in just three steps ... The following passage is critical to the understanding of

**Peirce**'s Categories On the contrary, the succession of Predicates of Predicates is different in ...

... In 1982, while on sabbatical leave at the

**Peirce**Edition Project, in Indianapolis (IUPUI), he examined and carefully reordered a 900 page section of ... In 1989, he served the

**Peirce**Edition Project again when he added to the proper sequencing of specific sections of

**Peirce**’s extensive manuscripts ...

... The philosopher Charles Sanders

**Peirce**(1839–1914) did considerable work over a period of years on the classification of sciences (including mathematics) ...

**Peirce**himself was well grounded and produced work in many research fields, including logic, mathematics, statistics, philosophy, spectroscopy, gravimetry, geodesy, chemistry, and experimental psychology ...

### Famous quotes containing the words law and/or peirce:

“The end of *law* is not to abolish or restrain, but to preserve and enlarge freedom. For in all the states of created beings capable of laws, where there is no *law*, there is no freedom.”

—John Locke (1632–1704)

“Generality is, indeed, an indispensable ingredient of reality; for mere individual existence or actuality without any regularity whatever is a nullity. Chaos is pure nothing.”

—Charles Sanders *Peirce* (1839–1914)