formal logic vs modal logic
modal logic vs formal logicformal logic and modal logic both are nouns.
| Word | Noun | Adjective | Verb | Adverb |
|---|---|---|---|---|
| formal logic | Yes | No | No | No |
| modal logic | Yes | No | No | No |
As nouns,
modal logic is a hyponym of
formal logic; that is, modal logic is a
word with a more specific, narrower meaning than
formal logic:
- formal logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
- modal logic: a system of logic whose formal properties resemble certain moral and epistemological concepts
Other hyponyms of formal logic include
Boolean algebra, Boolean logic, propositional calculus, propositional logic, functional calculus, predicate calculus, fuzzy logic.
| formal logic (noun) | modal logic (noun) |
|---|---|
| any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | the logical study of necessity and possibility |
| a system of logic whose formal properties resemble certain moral and epistemological concepts |
Words related to "formal logic"
© WordCmp.com 2024,
CC-BY 4.0 / CC-BY-SA 3.0.