Thesaurus:logic

Thesaurus

logic

English

Noun

Sense: study of correct inference

Synonyms

• logic

Holonyms

• philosophy    [⇒ thesaurus]
• mathematics    [⇒ thesaurus]

Meronyms

• formal logic
• Aristotelian logic
• classical logic
• symbolic logic
• propositional logic
• predicate logic
• first-order logic
• second-order logic
• modal logic
• temporal logic
• fuzzy logic
• intuitionistic logic
• deductive logic
• inductive logic
• logical calculus
• propositional calculus
• predicate calculus

Various

Key concepts

• inference
• argument    [⇒ thesaurus]
• fallacy
• premise
• conclusion
• validity
• proposition
• atomic proposition
• predicate
• relation    [⇒ thesaurus]
• inference rule
• syllogism
• modus ponens
• modus tollens
• definition    [⇒ thesaurus]
• axiom
• theorem    [⇒ thesaurus]
• proof
• derivation
• antecedent
• consequent
• necessity
• possible world
• formula
• sentence
• variable    [⇒ thesaurus]
• free variable
• bound variable
• tautology
• contradiction
• Boolean algebra
• truth value
• interpretation
• model    [⇒ thesaurus]
• set

Names of logical connectives

• conjunction
• disjunction
• negation
• implication
• material implication
• equivalence
• quantifier    [⇒ thesaurus]

Words for logical connectives

• and
• or
• not
• if
• when
• unless
• thus    [⇒ thesaurus]
• therefore    [⇒ thesaurus]
• it follows
• for each
• exists

Symbols for logical connectives

• ¬
• ~
• ∧
• &
• ∨
• →
• ↛
• ⇒
• ⇏
• ⊃
• ↔
• ⇔
• ≡

People

• logician
• Aristotle
• Frege
• Russell
• Gödel

See also

• Appendix:Glossary of logic

Further reading

• “logic” in Roget's Thesaurus, T. Y. Crowell Co., 1911.
• “logic” in Moby Thesaurus II, Grady Ward, 1996.
• "logic" in WordNet 3.1, Princeton University, 2011.
• logic on Wikipedia.Wikipedia
• Outline of logic on Wikipedia.Wikipedia
• Template:Common logical symbols on Wikipedia.Wikipedia
• List of logic symbols on Wikipedia.Wikipedia
• Classical Logic in Stanford Encyclopedia of Philosophy, and many other articles on logic
• logic, britannica.com