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
- Click any word to expand it.
Senses
Sense 1 noun
the branch of philosophy that analyzes inference
Types & categories
Related & opposite
- logician
- consistency
- completeness
- corollary
- non sequitur
- arity
- quantifier
- subject
- predicate
- proof
- paradox
- postulation
- explicandum
- explanans
- proposition
- particular proposition
- universal proposition
- negation
- postulate
- axiom
- tautology
- contradiction in terms
- logic operation
- logical relation
- transitivity
- reflexivity
- quantify
- presuppose
- analytical
- synthetical
- extensional
- intensional
- inductive
- inferential
- nonmonotonic
- interchangeable
- noninterchangeable
- apodictic
- categorematic
- syncategorematic
- scopal
Sense 2 noun
reasoned and reasonable judgment
it made a certain kind of logic
Types & categories
Sense 3 noun
the principles that guide reasoning within a given field or situation
economic logic requires it
Types & categories
Sense 4 noun
the system of operations performed by a computer that underlies the machine's representation of logical operations
Types & categories
Related & opposite
Sense 5 noun
a system of reasoning
Types & categories
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 |