FORMAL SCIENCES

• FORMAL SCIENCES
  • LOGIC OR ARS JUDICANDI
    • FORMAL LOGIC
      • FORMAL LANGUAGE
      • FORMAL SEMANTICS
    • INFORMAL LOGIC
  • MATHEMATICS
  • PHILOSOPHY

• In mathematical logic, a formal theory is a set of sentences expressed in a formal language.

An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until they are given some interpretation. The general study of interpretations of formal languages is called formal semantics.