logic
noun
Key Types & categories Parts & wholes Related & opposite
- Word type
- noun
- verb
- adjective
- adverb
- Line style
- core relation
- instance, member or derived
- substance, domain or see-also
- Direction
- arrow points to the broader concept
- dashed outline: no word in this language
- Click any word to expand it.
Senses
Sense 1 noun
the branch of philosophy that analyzes inference
Types & categories
- philosophy hypernym
- modal logic hyponym
Related & opposite
- logician derivation
- consistency has domain topic
- completeness has domain topic
- corollary has domain topic
- non sequitur has domain topic
- arity has domain topic
- quantifier has domain topic
- subject has domain topic
- predicate has domain topic
- proof has domain topic
- paradox has domain topic
- postulation has domain topic
- explicandum has domain topic
- explanans has domain topic
- proposition has domain topic
- particular proposition has domain topic
- universal proposition has domain topic
- negation has domain topic
- postulate has domain topic
- axiom has domain topic
- tautology has domain topic
- contradiction in terms has domain topic
- logic operation has domain topic
- logical relation has domain topic
- transitivity has domain topic
- reflexivity has domain topic
- quantify has domain topic
- presuppose has domain topic
- analytical has domain topic
- synthetical has domain topic
- extensional has domain topic
- intensional has domain topic
- inductive has domain topic
- inferential has domain topic
- nonmonotonic has domain topic
- interchangeable has domain topic
- noninterchangeable has domain topic
- apodictic has domain topic
- categorematic has domain topic
- syncategorematic has domain topic
- scopal has domain topic
Sense 2 noun
reasoned and reasonable judgment
it made a certain kind of logic
Types & categories
- gumption hypernym
Sense 3 noun
the principles that guide reasoning within a given field or situation
economic logic requires it
Types & categories
- principle hypernym
Sense 4 noun
the system of operations performed by a computer that underlies the machine's representation of logical operations
Types & categories
- system of rules hypernym
Related & opposite
- computing domain topic
Sense 5 noun
a system of reasoning
Types & categories
- system of rules hypernym
- Aristotelian logic hyponym
- symbolic logic hyponym
Related & opposite
Table view of this graph
| Sense | Relation | Group | Word |
|---|---|---|---|
| 1 | derivation | Related & opposite | logician |
| 1 | has domain topic | Related & opposite | consistency |
| 1 | has domain topic | Related & opposite | completeness |
| 1 | has domain topic | Related & opposite | corollary |
| 1 | has domain topic | Related & opposite | non sequitur |
| 1 | has domain topic | Related & opposite | arity |
| 1 | has domain topic | Related & opposite | quantifier |
| 1 | has domain topic | Related & opposite | subject |
| 1 | has domain topic | Related & opposite | predicate |
| 1 | has domain topic | Related & opposite | proof |
| 1 | has domain topic | Related & opposite | paradox |
| 1 | has domain topic | Related & opposite | postulation |
| 1 | has domain topic | Related & opposite | explicandum |
| 1 | has domain topic | Related & opposite | explanans |
| 1 | has domain topic | Related & opposite | proposition |
| 1 | has domain topic | Related & opposite | particular proposition |
| 1 | has domain topic | Related & opposite | universal proposition |
| 1 | has domain topic | Related & opposite | negation |
| 1 | has domain topic | Related & opposite | postulate |
| 1 | has domain topic | Related & opposite | axiom |
| 1 | has domain topic | Related & opposite | tautology |
| 1 | has domain topic | Related & opposite | contradiction in terms |
| 1 | has domain topic | Related & opposite | logic operation |
| 1 | has domain topic | Related & opposite | logical relation |
| 1 | has domain topic | Related & opposite | transitivity |
| 1 | has domain topic | Related & opposite | reflexivity |
| 1 | has domain topic | Related & opposite | quantify |
| 1 | has domain topic | Related & opposite | presuppose |
| 1 | has domain topic | Related & opposite | analytical |
| 1 | has domain topic | Related & opposite | synthetical |
| 1 | has domain topic | Related & opposite | extensional |
| 1 | has domain topic | Related & opposite | intensional |
| 1 | has domain topic | Related & opposite | inductive |
| 1 | has domain topic | Related & opposite | inferential |
| 1 | has domain topic | Related & opposite | nonmonotonic |
| 1 | has domain topic | Related & opposite | interchangeable |
| 1 | has domain topic | Related & opposite | noninterchangeable |
| 1 | has domain topic | Related & opposite | apodictic |
| 1 | has domain topic | Related & opposite | categorematic |
| 1 | has domain topic | Related & opposite | syncategorematic |
| 1 | has domain topic | Related & opposite | scopal |
| 1 | hypernym | Types & categories | philosophy |
| 1 | hyponym | Types & categories | modal logic |
| 2 | hypernym | Types & categories | gumption |
| 3 | hypernym | Types & categories | principle |
| 4 | domain topic | Related & opposite | computing |
| 4 | hypernym | Types & categories | system of rules |
| 5 | derivation | Related & opposite | logician |
| 5 | has domain topic | Related & opposite | extrapolate |
| 5 | has domain topic | Related & opposite | induce |
| 5 | has domain topic | Related & opposite | derive |
| 5 | has domain topic | Related & opposite | negate |
| 5 | has domain topic | Related & opposite | elicit |
| 5 | hypernym | Types & categories | system of rules |
| 5 | hyponym | Types & categories | Aristotelian logic |
| 5 | hyponym | Types & categories | symbolic logic |