formal 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
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Types & categories
- logical system hypernym
- Boolean logic hyponym
- propositional logic hyponym
- predicate calculus hyponym
- modal logic hyponym
- fuzzy logic hyponym
Table view of this graph
| Sense | Relation | Group | Word |
|---|---|---|---|
| 1 | hypernym | Types & categories | logical system |
| 1 | hyponym | Types & categories | Boolean logic |
| 1 | hyponym | Types & categories | propositional logic |
| 1 | hyponym | Types & categories | predicate calculus |
| 1 | hyponym | Types & categories | modal logic |
| 1 | hyponym | Types & categories | fuzzy logic |