Logic MOC

Formal theory

A formal theory in a formal language is a set of distinguished formulae , #m/def/logic which are typically interpreted as formulae which are true according to the theory and called theorems of the theory. There are two usual routes to constructing such a theory

1. Syntactic — consists of all theorems of a given Formal system , i.e. .
2. Semantic — consists of formulae which are true of a given model or interpretation of

Examples

• Syntactic
  • PA
  • Axiomatic set theory
  • Type theory

#state/develop | #lang/en | #SemBr