On this page:
Definition of the noun Peirce's Law
What does Peirce's Law mean as a name of something?
- [logic] The classically valid but intuitionistically non-valid formula of propositional calculus, which can be used as an substitute for the law of excluded middle in implicational propositional calculus.
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:
Video about Peirce's law
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'S LAW
What do you get if you rearrange the letters?
See also the blanagrams of Peirce's law!
Share this page
Go to the wordplay of Peirce's law for some fun with words!