For all your dictionary needs!
Tip. You can look up words, expressions, names, titles...
Header of peirce's law

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 ((P \to Q) \to P) \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:

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

Next...

Go to the wordplay of Peirce's law for some fun with words!


Privacy Policy | Cookies Policy
Keyword Tool | Romanian-English Dictionary