Source : 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}]