symbolic logic
- noun
- /sɪmˈbɑlɪk ˈlɑdʒɪk/
- Specialized
:
lógica simbólica
- Many students find symbolic logic challenging because it emphasizes the use of symbols over traditional language.
JRS can you tell us more about your research into symbolic logic and the foundations mathematics at Stanford?
- JRS can you tell us more about your research into symbolic logic and the foundations mathematics at Stanford?
- Because on the one hand, philosophy was making some advances in, in symbolic logic.
Examples
-
At school, as for the future of philosophy, all I heard about was symbolic logic, logic being the topic in the screen capture above.
Blog text (20) -
Grammar, syntax, symbolic logic.
Fiction book (2001) -
JRS can you tell us more about your research into symbolic logic and the foundations mathematics at Stanford?
-
During his years in the twentieth century, Royce concentrated more on symbolic logic and ethics.
Academic text (1991) -
The ramifications of Boole's work in symbolic logic were riveting.
Fiction book (1997) -
In the hard-core symbolic logic world, a reduction to a tautology is a means of proving the argument to be true.
Blog text (10) -
This is contrary to the common assumption, which is that there is one and only one type of logic, commonly known as symbolic logic or, in other words, civilized logic.
Academic text (2006) -
Peirce, one of the founders of modern symbolic logic, thus introduces into the philosophy of language the premeditated artificiality that constitutes at once the power and limitation of modern science.
Academic text (1994) -
In symbolic logic, symbols are used to simplify complex arguments and focus on their structure.
-
Understanding symbolic logic is essential for anyone studying the foundations of mathematical reasoning.
Synonyms
1
6.7
The study of rules that show when an argument is valid
1
6.4
A part of math that studies rules and proofs about statements
How Formal
- Specialized
1
6.4
- Specialized
- Specialized
1
6.7
- Specialized
1
9.4
1
3.7
Surface Forms
Morphology
The meaning 'a branch of logic using symbols to represent logical forms' is directly and compositionally derived from 'symbolic' (using symbols) + 'logic' (the study of valid inference). This adjective‑noun combination follows a standard, cross‑linguistically common pattern, so a B1 learner who knows both constituents should be able to infer the MWE's meaning.
Etymology
Symbolic logic comes from the idea of using signs or letters to stand for whole sentences so people can see the 'shape' of an argument. So symbolic (using symbols) and logic (reasoning) together mean 'logic that uses symbols to show how reasoning works'.