Definition:Semantics

Definition

The semantics of a language (either natural or formal) is its meaning in a linguistic sense.

Hence in the context of logic, semantics is the study of the relationships between the expressions of a formal language and a logical domain.

Semantics, therefore, includes the study of interpretations.

Also see

• Compare with syntax.

• Results about semantics can be found here.

Sources

• 1993: M. Ben-Ari: Mathematical Logic for Computer Science ... (previous) ... (next): Chapter $1$: Introduction: $\S 1.2$: Propositional and predicate calculus
• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): semantics
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): semantics
• 2009: Kenneth Kunen: The Foundations of Mathematics ... (previous) ... (next): $\mathrm{II}.5$ First-Order Logic Syntax
• 2012: M. Ben-Ari: Mathematical Logic for Computer Science (3rd ed.) ... (previous) ... (next): $\S 2$