Find the word definition

formal logic

n. 1 (context logic English) mathematical logic. 2 (context logic English) A particular logical calculus.

formal 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, mathematical logic]