Sémantique
La sémantique est une branche de la linguistique qui étudie les signifiés, ce dont on parle, ce que l'on veut transmettre par un énoncé, soit l'ensemble des processus concourant à la construction d'un "sens" dans la communication (langagière particulièrement). Le support de la sémantique, la syntaxe, concerne pour sa part le signifiant, sa morphologie, sa langue, sa graphie, sa grammaire ; c'est la forme de l'énoncé.
Métalogique
En métalogique, la « syntaxe » est en rapport avec les langages formels ou systèmes formels, sans interprétation, alors que, la « sémantique » est en rapport avec l'interprétation des langages formels. Le terme « syntaxique » a une portée légèrement plus large que celui de « preuve-théorétique », car il peut être appliqué à des propriétés des langages formels sans systèmes déductifs ainsi qu'aux systèmes formels. « Sémantique » est synonyme de « modèle théorique ».