formal logic
formal logic · formal logics
Mathematical logicMathematical logic.
Meaning
2 senses(countable, uncountable)Mathematical logic.
(countable, uncountable)A particular logical calculus.
More definitions
- any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Forms
plural: formal logics| Singular | formal logic |
|---|---|
| Plural | formal logics |
regular
Synonyms
2 synonymsClose in meaning
- any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity:symbolic logicmathematical logic
Lessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable