mathematical logic
n. modern system of logic that uses abstract symbols to represent quantities and relationships | ||||
Search Dictionary:
Mathematical Logic definition was found in categories: Language, Idioms & Slang(2) Arts & Humanities(1) Encyclopedia(1)
Mathematical Logic Definition from Language, Idioms & Slang Dictionaries & Glossaries
| WordNet 2.0 |
mathematical logic
Noun
1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
(synonym) symbolic logic, formal logic
(hypernym) logic, logical system, system of logic
(hyponym) Boolean logic, Boolean algebra
Noun
1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
(synonym) symbolic logic, formal logic
(hypernym) logic, logical system, system of logic
(hyponym) Boolean logic, Boolean algebra
| hEnglish - advanced version |
mathematical logic
mathematical logic
n : any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity [syn: symbolic logic , formal logic]
mathematical logic
n : any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity [syn: symbolic logic , formal logic]
Mathematical Logic Definition from Arts & Humanities Dictionaries & Glossaries
| Theological and Philosophical Biography and Dictionary |
Symbolic (mathematical) logic
Logic employing special or artificial symbols for the structures of propositions and arguments in the interest of clarity, precision, and the ease of reasoning.
Mathematical Logic Definition from Encyclopedia Dictionaries & Glossaries
| Wikipedia English - The Free Encyclopedia |
Mathematical logic
Mathematical logic is a branch of mathematics, which grew out of symbolic logic. Subfields include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic has contributed to, and been motivated by, the study of foundations of mathematics, but mathematical logic also contains areas of pure mathematics not directly related to foundational questions.
| See more at Wikipedia.org... |