Word Type

Noun

Verb

Adjective

The word "logic" can be used as noun, verb and adjective.

Word Relationships

Typical Location

school

Capable Of

help

Defined As

bane of irrational people evaluation of arguments into conclusions set of rules by which axioms can manipulated to derive true statements

Derived Terms

Aristotelian logic Boolean logic Brazilian logic Floyd-Hoare logic Gunning transceiver logic Hoare logic antilogic application logic arithmetic logic unit business logic cacologic chop logic chop-logic choplogic chopped logic classical logic combinational logic combinatory logic computability logic computation tree logic constructive logic deontic logic description logic diode logic diode-transistor logic domain logic doxastic logic emitter-coupled logic epistemic logic erasable programmable logic device fat logic first-order logic formal logic fridge logic fuzzy logic horologic hyperlogic illogic informal logic intensional logic interpretability logic intuitionistic logic kettle logic ladder logic linear logic logic analyzer logic board logic bomb logic chopper logic diagram logic error logic fallacy logic form logic high logic level logic low logic programming logic-chopper logicaster logicism logicist logicize logicker logicless magnetologic many-sorted logic many-valued logic material logic mathematical logic metalogic modal logic modern logic monadic predicate logic monadic second-order logic moon logic multi-valued logic musicologic mytho-logic negative logic nigger logic non-Aristotelian logic non-classical logic nonlogic paraconsistent logic paralogic philosophical logic positive logic predicate logic prelogic presentation logic programmable logic array programmable logic controller propositional logic provability logic pseudologic quantificational logic quantum logic quantum logic gate relevance logic resistor-transistor logic second-order logic sentential logic sequential logic sublogic symbolic logic t-norm fuzzy logic temporal logic term logic ternary logic time-loop logic traditional logic transistor-transistor logic uncommitted logic array unlogic zero-order logic

Context

computer science mathematics pejorative philosophy

Part Of (Holonyms)

mathematics philosophy

Broader Terms (Hypernyms)

common sense good sense gumption horse sense mother wit philosophy principle sense system system of rules

Type Of (IsA)

common sense philosophy principle science system system of evaluating arguments system of reasoning way of thinking

Parts (Meronyms)

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

Related Terms

& Appendix:Glossary of logic Aristotle Boolean algebra Frege Gödel Russell and antecedent argument atomic proposition axiom bound variable conclusion conjunction consequent contradiction definition derivation disjunction equivalence exists fallacy for each formula free variable if implication inference inference rule interpretation it follows logical logician material implication model modus ponens modus tollens necessity negation not or possible world predicate premise proof proposition quantifier relation sentence set syllogism tautology theorem therefore thus truth value unless validity variable when ~ ¬ → ↔ ↛ ⇏ ⇒ ⇔ ∧ ∨ ≡ ⊃

Related Terms

deductive define demonstration formal inference informal language linear logic circuit logic gate logical logician make make sense mathematical mathematical thinking model theory philosophy philosophy study productive proof reasoning rigorous scientific method semantics sense statement study system thinking thought

Synonym Network

formal logic formal system predicate logic

Used For

reasoning

Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.