classical logic

Definitions

A formal system of logic based on the principles of bivalence, the law of excluded middle, and the law of non-contradiction.

The traditional approach to symbolic logic that assumes every proposition is either true or false and follows standard rules of inference.

Examples

Classical logic is based on the principle of bivalence, which states that every proposition must be either true or false.

While intuitionistic logic rejects the law of excluded middle, classical logic relies on it as a fundamental axiom.

Many foundational problems in mathematics were first addressed using the formal systems of classical logic.

Synonyms

Aristotelian logic Boolean logic bivalent logic standard logic formal logic propositional logic first-order logic

Antonyms

non-classical logic fuzzy logic intuitionistic logic paraconsistent logic multivalued logic quantum logic modal logic