Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

classical logic en · NOUN

Meanings

  1. (countable, uncountable) 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.
    • The Lindenbaum-Tarski algebra of propositional classical logic is a Boolean algebra.

Forms

SpellingFeaturesLabelsSource
classical logics Number=Plur lexicographic

Antonyms

ternary logic · non-classical logic · intuitionistic logic

Hyponyms

Boolean logic

Synonyms

Frege-Russell logic

Translations (5)

ro logică clasică (Translations) · pl logika klasyczna (Translations) · de klassische Logik (Translations) · fr logique classique (Translations) · fi klassinen logiikka (Translations)