Wiktionary
formal logic
n. 1 (context logic English) mathematical logic. 2 (context logic English) A particular logical calculus.
WordNet
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]