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é.
Syntaxe (logique)
Une "interprétation "d'un système formel est l'attribution des significations aux des symboles et aux valeurs de vérité aux phrases d'un système formel. L'étude des interprétations est appelée la sémantique formelle. Donner une interprétation est synonyme de construction d'un modèle. Une interprétation est exprimée dans un métalangage, qui peut être lui-même un langage formel, et en tant que telle une entité syntaxique.