Philosophie du langageLa philosophie du langage est la branche de la philosophie qui s'intéresse aux langages, et plus particulièrement à la signification, à la référence ou au sens en général, à son usage, à son apprentissage et à ses processus de création, ainsi qu'à sa compréhension, à la communication en général, à l'interprétation et à la traduction.
Theory of descriptionsThe theory of descriptions is the philosopher Bertrand Russell's most significant contribution to the philosophy of language. It is also known as Russell's theory of descriptions (commonly abbreviated as RTD). In short, Russell argued that the syntactic form of descriptions (phrases that took the form of "The aardvark" and "An aardvark") is misleading, as it does not correlate their logical and/or semantic architecture.
Dénotation et connotationEn linguistique, pour un signe quelconque (en particulier des mots et expressions du langage parlé ou écrit), le sens signifié dénotatif, la dénotation, est distinct du sens ou signifié connotatif, la connotation. La dénotation est le sens littéral d'un terme, que l'on peut définir (et trouver dans le dictionnaire). La connotation est l'ensemble des éléments de sens qui peuvent s'ajouter à ce sens littéral (et qui peuvent se trouver ou non dans le dictionnaire).
Sémantique formelleEn linguistique, la sémantique formelle cherche à comprendre le sens (linguistique) en construisant des modèles mathématiques précis des principes utilisés par le locuteur pour définir la relation entre des expressions en langage naturel et l’environnement supportant un discours faisant sens. Les outils mathématiques utilisés sont une combinaison de logique mathématique et de langage formel théorique, plus particulièrement de lambda-calcul typé.
