Semantics of logic

In logic, the semantics of logic is the study of the semantics, or interpretations, of formal languages and (idealizations of) natural languages usually trying to capture the pre-theoretic notion of entailment (see Logical consequence).

See also

• Interpretation (logic)
• Logic
• Logical consequence
• Well-formed formula

External links

• Semantics of logic @ Wikipedia.org