Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
mathematical logic — n. SYMBOLIC LOGIC * * * … Universalium
mathematical logic — n. SYMBOLIC LOGIC … English World dictionary
mathematical logic — noun 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 • Hypernyms: ↑logic, ↑logical system, ↑system of logic … Useful english dictionary
mathematical logic — /mæθəˌmætɪkəl ˈlɒdʒɪk/ (say mathuh.matikuhl lojik) noun a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules; symbolic logic …
mathematical logic — noun Date: 1853 symbolic logic … New Collegiate Dictionary
mathematical logic. — See symbolic logic. [1855 60] * * * … Universalium
mathematical logic — A term for modern formal logic, particularly those logical calculi powerful enough to express classical mathematics … Philosophy dictionary
mathematical logic — mathemat′ical log′ic n. pho symbolic logic • Etymology: 1855–60 … From formal English to slang
mathematical logic. — See symbolic logic. [1855 60] … Useful english dictionary