**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