Sens (linguistique)
La sémantique formelle est la branche qui étudie la manière dont le sens est véhiculé à travers les signes et le langage. La sémantique linguistique se concentre sur la manière dont les mots ont été utilisés au cours des âges. La sémantique générale s’intéresse à la façon dont les gens se font comprendre et font référence en termes d’intentions et d’hypothèses probables. Ces trois types de sémantiques (formelle, historique et générale) sont étudiés dans de nombreuses branches différentes dans le domaine des sciences (les méthodes d’étude du sens sont très variées). Comprendre la manière dont l’expression du visage, le langage corporel et les intonations affectent le sens ainsi que la manière dont les mots, groupes de mots, phrases et ponctuations se rapportent au sens sont des exemples de sémantique. La dénotation constitue le ou les sens littéraux ou généraux d’un mot ou plusieurs mots. La connotation se réfère à une idée ou un sentiment qu’évoque un mot pour une personne en plus de son sens littéral ou général. Au , le philosophe John Stuart Mill a permis de définir le sens sémantique avec les mots « dénotation » et « connotation ». ". L’utilisation d’origine du « sens » tel qu’on l’entend au début du s’est produite grâce à Lady Welby après que sa fille a traduit depuis le français le mot « sémantique ».
Calcul des prédicats
Une "interprétation" d'un langage du premier ordre dans un domaine d'interprétation, appelé aussi "modèle" du langage, décrit les valeurs prises par les constituants du premier ordre (variables, symboles de constantes, termes) et les relations associées aux prédicats. Chaque énoncé se voit attribuer une valeur de vérité. L'étude des interprétations des langages formels est appelée "sémantique formelle" ou "théorie des modèles". Ce qui suit est une description de la sémantique standard ou tarskienne pour la logique du premier ordre. Il existe d'autres types de sémantique, notamment la sémantique des jeux, qui ne sont pas détaillés dans cet article.