English noun: logic |
| 1. | logic (cognition) the branch of philosophy that analyzes inference |
|
| Broader (hypernym) | philosophy |
|
| Narrower (hyponym) | modal logic |
|
| Domain category members | analytic, analytical, apodeictic, apodictic, arity, axiom, categorematic, completeness, consistency, contradiction, contradiction in terms, corollary, explanandum, explanans, explicandum, extensional, inductive, inferential, intensional, interchangeable, logic operation, logical operation, logical quantifier, logical relation, negation, non sequitur, noninterchangeable, nonmonotonic, paradox, particular, particular proposition, posit, postulate, postulation, predicate, predication, presuppose, proof, proposition, quantifier, quantify, reflexiveness, reflexivity, scopal, subject, suppose, syncategorematic, synthetic, synthetical, tautology, transitivity, universal, universal proposition |
|
| 2. | logic (cognition) reasoned and reasonable judgment |
|
| Samples | It made a certain kind of logic.
|
|
| Broader (hypernym) | common sense, good sense, gumption, horse sense, mother wit, sense |
|
| 3. | logic (cognition) the principles that guide reasoning within a given field or situation |
|
| Samples | Economic logic requires it.
By the logic of war.
|
|
| Broader (hypernym) | principle |
|
| 4. | logic (cognition) the system of operations performed by a computer that underlies the machine's representation of logical operations |
|
| Broader (hypernym) | system, system of rules |
|
| Domain category | computer science, computing |
|
| 5. | logic (cognition) a system of reasoning |
|
| Synonyms | logical system, system of logic |
|
| Broader (hypernym) | system, system of rules |
|
| Narrower (hyponym) | Aristotelian logic, formal logic, mathematical logic, symbolic logic |
|
| Domain category members | contradict, deduce, deduct, derive, elicit, extrapolate, induce, infer, negate |
|
