formal logic

Meanings

nounformal logic (countable and uncountable, plural formal logics)

countableuncountablehuman sciencesMathematical logic.
Part of their legacy was the attack on formal logic, which went far to bring about the collapse of logical studies in Russia.
1978 [1976], Leszek Kołakowski, translated by P[aul] S[teven] Falla, Main Currents of Marxism, volume III: The Breakdown, Oxford: Clarendon Press, translation of Główne nurty marksizmu: rozkład (in Polish), →ISBN, →OCLC, page 70
countableuncountablehuman sciencesA particular logical calculus.

Synonyms & antonyms

nounany logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

Similar

symbolic logic mathematical logic

Broader

logic logical systemsystem of logic

Also see

mathematical logic symbolic logic

Synonym sets from Open English WordNet, CC BY 4.0.

Cite this entry

APA

formal logic. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/formal%20logic

MLA

“formal logic.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/formal%20logic. Accessed November 4, 2026.