propositional calculus, which can be used as an substitute for the law of excluded middle in implicational propositional calculus.' name='description'> Peirce's law - definition and meaning

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun 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.

Etymologies

from Wiktionary, Creative Commons Attribution/Share-Alike License

Named after the logician and philosopher Charles Sanders Peirce.

Support

Help support Wordnik (and make this page ad-free) by adopting the word Peirce's law.

Examples

    Sorry, no example sentences found.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.