##### 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]