symbolic logic
A formal system of deductive logic in which aspects and relationships of natural…A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols.
Meaning
1 senses(uncountable, usually)A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols.
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
Translations
1 languagesForms
plural: symbolic logics| Singular | symbolic logic |
|---|
uncountable
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:mathematical logicformal logic
Lessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable
See also
neighbours in the dictionaryDictionary text adapted from Wiktionary (Wiktionary contributors, CC BY-SA 4.0) and Open English WordNet / Princeton WordNet (CC BY 4.0, WordNet License); shared under CC BY-SA 4.0. Example sentences and recordings are credited where they appear.