mathematical logic
1
6.4
- noun
- /ˌmæθəˈmætɪkəl ˈlɒdʒɪk/
- Specialized
:
lógica matemática
- Students often learn the foundations of mathematical logic in their introductory philosophy courses.
Examples
-
In his lecture, he explained how mathematical logic can clarify complex arguments.
-
One of the first things that is hammered home in mathematical logic courses is that a false premise can produce any answer.
Blog text (22) -
If you had, it would be impossible for you to say this based upon mathematical logic.
Blog text (14) -
Kelly is a big proponent of making decisions based on mathematical logic.
Blog text (1) -
Steve, you might be interested in Bertrand Russell's philosophy, especially as he was concerned with using mathematical logic to reconstruct the meaning in everyday language.
Blog text (19) -
Mathematical logic is essential in understanding proofs in theoretical mathematical logic.
Synonyms
1
6.7
The study of rules that show when an argument is valid
A way of using signs like letters to show the structure of arguments and statements
How Formal
- Specialized
1
6.4
- Specialized
- Specialized
1
6.7
- Specialized
1
9.4
1
3.7
Surface Forms
Morphology
The compound is a straightforward modifier+noun combination: 'mathematical' (pertaining to mathematics) specifies a subfield of 'logic' (the study of valid inference), so the meaning 'logic that uses mathematical methods' is directly derivable from the parts. Although it denotes a technical academic field, the compositional pattern is regular and cross-linguistically common, so a B1 learner who knows both words would grasp the basic meaning.
Etymology
Mathematical logic comes from putting together mathematical (meaning using exact numbers and clear rules) and logic (meaning the rules of good thinking). So the phrase literally suggests 'using math methods to study reasoning', which is why it means the study of formal systems and proofs.