SemanticsSemantics () is the study of reference, meaning, or truth. The term can be used to refer to subfields of several distinct disciplines, including philosophy, linguistics and computer science. In English, the study of meaning in language has been known by many names that involve the Ancient Greek word σῆμα (sema, "sign, mark, token"). In 1690, a Greek rendering of the term semiotics, the interpretation of signs and symbols, finds an early allusion in John Locke's An Essay Concerning Human Understanding: The third Branch may be called σημειωτική [simeiotikí, "semiotics"], or the Doctrine of Signs, the most usual whereof being words, it is aptly enough termed also λογικὴ, Logick.
Gottlob FregeGottlob Frege (), de son nom complet Friedrich Ludwig Gottlob Frege, né le à Wismar et mort le à Bad Kleinen, est un mathématicien, logicien et philosophe allemand, créateur de la logique moderne et plus précisément du calcul propositionnel moderne : le calcul des prédicats. Il est en outre considéré comme l'un des plus importants représentants du logicisme. C'est à la suite de son ouvrage Les Fondements de l'arithmétique, où il tente de dériver l'arithmétique de la logique, que Russell lui a fait parvenir le paradoxe qui porte son nom.
MotUn mot est une suite de sons ou de caractères graphiques formant une unité sémantique et pouvant être distingués par un séparateur, par exemple un blanc typographique à l'écrit. En linguistique, un mot est le plus petit élément pouvant être prononcé isolément avec un contenu sémantique ou pragmatique. « Mot » dérive du bas-latin muttum, substantif issu du verbe latin muttire. Ce verbe indique généralement la production d'un discours inarticulé et/ou incohérent : au sens propre, muttire, c'est dire « mu », grogner comme un bovin.
Écriturevignette|Statue de Gudea dédiée au dieu Ningishzida, vers , musée du Louvre. vignette|La Palette de Narmer est une des plus anciennes inscriptions en hiéroglyphes d'Égypte (vers -3200). Les deux "Serpopards" représentent l'unification de la Haute et de la Basse Égypte. L’écriture est un moyen de communication qui représente le langage à travers l'inscription de signes sur des supports variés. C'est une technique qui s'appuie sur les mêmes structures que la parole, comme le vocabulaire, la grammaire et la sémantique, mais avec des contraintes supplémentaires liées au système de graphies propres à chaque culture.
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
Signification (philosophie)En philosophie la signification désigne un contenu de connaissance, non seulement le fond communicatif d'une expression de la langue (ce qui relève de la philosophie du langage), mais aussi le sens, la valeur, l'intention d'un geste, d'une pensée, d'un événement, d'une chose (ce qui relève de la métaphysique spéciale). Les problèmes commencent très vite. D'abord, la notion de signification forme constellation avec d'autres notions, mais lesquelles ? le choix est vaste : sens, non-sens, référence, signifiance, expression, représentation, vérité, contexte, etc.
