Skip to definition.
Get the FREE one-click dictionary software for Windows.


Noun: formal logic  'formal 'lójik
  1. Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
    - symbolic logic, mathematical logic

Derived forms: formal logics

Type of: logic, logical system, system of logic

Encyclopedia: Formal logic