What does "classical logic" mean?

A kind of logic based on the principles that each proposition has a truth value of either "true" or "false", but not both, and that if a proposition were to be both true and false or neither true nor false then a result would be that all propositions would be both true and false.

What is a synonym for "classical logic"?

Common synonyms include: syllogistic.

Classical logic

noun

noun ·Rare ·Advanced level

Definitions

Noun

1
A kind of logic based on the principles that each proposition has a truth value of either "true" or "false", but not both, and that if a proposition were to be both true and false or neither true nor false then a result would be that all propositions would be both true and false. countable, uncountable
"The Lindenbaum-Tarski algebra of propositional classical logic is a Boolean algebra."

Synonyms

All synonyms

syllogistic

Antonyms

All antonyms

fuzzy logic theory modal logic modal logics modern logics

Example

More examples

"The Lindenbaum-Tarski algebra of propositional classical logic is a Boolean algebra."

Next best steps

Browse writing guides Explore topic clusters