Tip. You can look up words, expressions, names, titles...

# Peirce's law

## Definition of the noun Peirce's Law

What does Peirce's Law mean as a name of something?

noun

1. [logic] The classically valid but intuitionistically non-valid formula $\left(\left(P \to Q\right) \to P\right) \to P$ of propositional calculus, which can be used as an substitute for the law of excluded middle in implicational propositional calculus.

## Explanation

Peirce's law: 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.

• also known as 皮尔士定律

## Online dictionaries and encyclopedias with entries for Peirce's law

Click on a label to prioritize search results according to that topic:

Peirce's law Meaning

Video shows what Peirce's law means. The classically valid but intuitionistically non-valid formula ((P \to Q) \to P) \to P of propositional calculus, which can be ...

## Anagrams of PEIRCE'SLAW

What do you get if you rearrange the letters?