Skip to definition.
Get the FREE one-click dictionary software for Windows or the iPhone/iPad and Android apps

Noun: formal logic  'for-mul '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