Qu’est-ce que la sémantique étudie?
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é. 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 ».
Schème (linguistique)
Dans ces langues sémitiques, l'information sémantique essentielle est donc portée par les consonnes, qui contiennent la racine. Les voyelles ne dépendent que du schème, et ne porte qu'une information secondaire sur la fonction lexicale ou grammaticale du mot. Du fait de cette structure consonantique des langues sémitiques, l'écriture note plus particulièrement la sémantique d'ensemble, à la manière d'un idéogramme, laissant en grande partie au lecteur le soin de traduire la lecture en langage courant. C'est ce qui est à l'origine des abjads. De ce fait, un mot écrit peut généralement admettre plusieurs lectures suivant la répartition (ou l'absence) de voyelles et de redoublement de consonne, et s'apparente souvent à une sténographie : il faut pouvoir lire correctement un texte pour le comprendre, et il faut comprendre un texte pour le lire correctement ; seule une bonne connaissance de la langue permet de déterminer le bon mot en fonction du contexte. Narratologie
De prime abord, la sémiotique est la science dont l'objet est l'ensemble des processus de signification. Comme la sociologie ou la psychologie, la sémiotique n'a pas d'objet propre, mais elle constitue une grille d'analyse des phénomènes affectant le vivant et elle représente donc un lieu où peuvent converger de nombreuses sciences comme la linguistique, l'anthropologie, la sociologie, la philosophie, l'épistémologie, etc. Peu importe son objet d'étude, elle approche les différents phénomènes qui le constituent en se demandant quel en est leur sens. Web Ontology Language
Le Web sémantique a pour objectif le partage de connaissances contenues dans des silos d'informations, appelés aussi bases de données. Les données contenues dans une base de données classique sont dites non structurées vis-à-vis d'autres bases de données s'il n'existe aucune grammaire commune entre elles. Comme c'est le cas pour le langage humain, la structuration syntaxique et grammaticale permet la création de phrases, éléments complexes d'où peut émerger un sens compréhensible par d'autres personnes. Sans grammaire, il ne peut y avoir de dialogues entre les différentes bases de données, et sans dialogues, aucune connaissance pérenne due à des synergies cognitives ou des partages ne peut émerger. L'existence d'une grammaire commune entre bases de données est la condition de structuration des données, donc du dialogue et de la confrontation productive des données. La recommandation OWL, en tant que grammaire commune, permet d'une part la vérification des données par la confrontation, leur fiabilité, et d'autre part une augmentation du volume de l'information. Cela signifie que la confrontation des données, rendue possible par le langage OWL, permet la création de nouvelles données (par exemple, lorsque deux informations lacunaires appartenant chacune à deux bases de données séparées sont mises en relation et se révèlent être complémentaires, la donnée qui en résulte est à la fois plus sûre et ouvre la porte à des avancées ultérieures). Sémato
Le logiciel propose une méthode de catégorisation complémentaire à l'approche par thésaurus documentaire ou dictionnaire sémantique. Des règles d'analyse sémantique implémentées dans le logiciel construisent un réseau sémantique spécifique au document analysé. Par la suite, des procédures informatiques explorent ce réseau afin d'y découvrir des zones particulièrement denses, susceptibles de donner naissance à des catégories. Cette approche de catégorisation est "plus émergente" que l'approche par dictionnaire puisque les catégories sont trouvées à partir du réseau sémantique spécifique au texte. De manière générale, l'approche "par dictionnaire" est bien adaptée aux gros corpus alors que l'approche "en émergence" permet de trouver dans les petits corpus des catégories qui auraient échappé aux mailles des dictionnaires. Aliment industriel
Plusieurs études réalisées dans les pays industrialisés ont montré l’importance de la sémantique dans la manière dont les consommateurs évaluent la qualité des produits alimentaires, en Europe et aux États-Unis. Sémantique des langages de programmation
Initiée par Christopher Strachey et Dana Scott, la sémantique dénotationnelle est une approche dans laquelle une fonction mathématique appelée "dénotation" est associée à chaque programme, et représente en quelque sorte son effet, sa signification. Cette fonction prend par exemple pour argument l’état de la mémoire avant exécution, et a pour résultat l’état après exécution. Sémiologie
La sémiologie de la communication étudie uniquement le monde des signes, par exemple l'étude des systèmes de vêtements de deuil ou de la canne blanche de l'aveugle (système à un seul signe ou signe isolé). Représentants éminents : Georges Mounin, Éric Buyssens, Louis Prieto. La sémiologie de la communication a étudié : le code de la route, les signaux ferroviaires, maritimes et aériens, le morse, les sonneries militaires, les insignes, les logotypes et pictogrammes, la notation musicale, le langage de la chimie, des ordinateurs, les langues parlées, sifflées, le tam-tam, les codes du dessin technique ou d'architecture… Ces objets d'études sont des systèmes de signes conventionnels et précis. Sémiotique
Algirdas Julien Greimas, à la tête de l’École de sémiotique de Paris, définit les bases théoriques de la sémiotique, dès 1966 avec l'ouvrage fondateur, "Sémantique structurale". Il rédigea ensuite en collaboration avec Joseph Courtés, "Sémiotique. Dictionnaire raisonné de la théorie du langage" (deux tomes rédigés en 1979 et 1986). 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. Sémiotique visuelle
La sémiotique visuelle est une branche de la sémiotique. Elle étudie des objets de signification se manifestant sur le canal visuel, et au premier rang de ceux-ci, l'image, ou, en termes plus techniques, l'icône visuelle. Elle étudie ces phénomènes comme autant de langages. Dans une société des images, il y a certes urgence à ce qu'existe une telle théorie de la communication visuelle. Or, alors que depuis l'Antiquité on a beaucoup spéculé sur le langage, les débuts d'une réflexion scientifique sur l'image ne datent guère que du . Analyse du discours
On dit que l’analyse de discours est une approche socio-sémantique. Elle prend en compte le contexte de l’énonciation, les caractéristiques des locuteurs ainsi que les caractéristiques sémantiques de l’énoncé. L’analyse de discours considère le fonctionnement linguistique des discours dans lesquels elle voit une réalité à analyser. Sémantique
Le Web sémantique est un projet du même type que DCMI, visant à créer, gérer et exploiter des métadonnées systématiques pour chaque page web. Ainsi, le contenu de chaque page web étant explicité vers des signifiants, la machine serait capable de raisonner sur la pertinence du contenu et non plus sur des statistiques lexicales. Cela peut avoir des conséquences remarquables sur les technologies de recherche d'informations, ainsi que l'allure et le fonctionnement des moteurs de recherche. Pragmatique (linguistique)
En sémantique, on en est en effet réduit à tenir un discours sur le sens, avec cette difficulté supplémentaire, propre à toutes les spécialités de la linguistique, que, ce faisant, on se sert du langage pour décrire le langage. De fait, à peu près tous les exemples de l’acte de langage constituent des « expériences mentales », dites encore « expériences imaginaires ». Cela veut dire que nous fabriquons des énoncés, que nous leur prêtons des interprétations, que nous leur inventons des réponses pour confirmer ces interprétations. Cette façon de procéder peut apparaître peu scientifique. En physique, où on ne peut se contenter d’"imaginer" des expériences, mais où on doit les "réaliser" à l’aide d’appareils, elle serait condamnée sans appel, comme totalement dépourvue d’objectivité. Mais en linguistique, comme dans d’autres sciences humaines, on ne peut jamais l’éviter complètement : l’aspect sémantique des faits étant, pour l’instant, inaccessible aux "procédés d'objectivation et d’enregistrement", on est bien obligé de décrire l'expérience verbalement ; ou alors il faudrait ne pas en tenir compte, ce qui amputerait, d’une de ses parties majeures, le domaine étudié. Sémasiologie
Sémasiologie a été aussi employé pour désigner la sémantique. C'est avec cette définition que ce terme a été utilisé pour la première fois par le latiniste allemand Christian Karl Reisig dans un ouvrage publié après sa mort. Mais cette définition a été pratiquement abandonnée de nos jours. Combinatoire sémantique
Si l’unité de base de la syntaxe est le morphème, en sémantique l’unité de base est le sème, ou trait sémantique (anglais : "semantic feature"), c’est-à-dire en théorie un « atome de sens ». Contrairement au morphème, le sème n’a pas toujours, il s’en faut, d’aspect tangible, il est fréquemment sous-jacent, c’est-à-dire présent dans la conscience du locuteur, mais non exprimé. Les unités telles que les mots sont alors considérées comme des « paquets (ou : faisceaux) de sèmes », c'est-à-dire des sémèmes. Décomposition en valeurs singulières
Une des principales utilisation de la décomposition en valeurs singulières en traitement automatique des langues est l'analyse sémantique latente (ou LSA, de l'anglais ""), une méthode de la sémantique vectorielle. Ce procédé a pour but l'analyse des relations entre un ensemble de documents et des termes ou expressions qu'on y trouve, en établissant des « concepts » communs à ces différents éléments. Théorie de l'argumentation
Des efforts ont été faits dans le domaine de l'intelligence artificielle, pour réaliser et analyser l'argumentation avec des ordinateurs. L'argumentation a été utilisée pour fournir une preuve de la théorie de la sémantique pour la logique non-monotone, débutant par les travaux influents de Dung (1995). Les systèmes informatiques d'argumentation ont trouvé une application en particulier dans les domaines où la logique formelle est incapable de saisir la richesse de raisonnement, des domaines tels que le droit et la médecine. Sémantique formelle
Un autre domaine de recherche, utilisant la logique linéaire, est la sémantique « glue » fondée sur le principe de « l'interprétation comme déduction », en relation étroite avec le paradigme  d’ « analyse syntaxique comme déduction » de la grammaire catégorielle . Logique mathématique
La "sémantique", au contraire, échappe à la combinatoire en faisant appel (en général) à des objets infinis. Elle a d'abord servi à « définir » la vérité. Par exemple, en calcul des propositions, les formules sont interprétées, par exemple, par des éléments d'une algèbre de Boole. Annotation sémantique
L'annotation sémantique est l'opération consistant à relier le contenu d'un texte à des entités dans une ontologie. Par exemple, pour la phrase «"Paris est la capitale de la France".», l'annotation correcte de "Paris" serait Paris et non Paris Hilton. L'annotation sémantique est une variante plus détaillée mais moins exacte de la méthode des entitiés nommées, car ces dernières décrivent seulement la catégorie de l'entité ("Paris" est une ville, sans la relier à la bonne page Wikipédia). Mémoire sémantique
La mémoire sémantique, préservée dans le syndrome amnésique, constitue la mémoire des mots, des concepts, des connaissances générales sur le monde, situés en dehors de tout contexte d’encodage. Certaines théories ouvrent toutefois la possibilité que des connaissances sémantiques émergent par fusion de souvenirs épisodiques (donc liés à des contextes). Ainsi une collection de souvenirs d'expériences de plage finissent par faire émerger un concept décontextualisé de la plage. John Perry (philosophe)
La « sémantique de situation » est une méthode d'analyse interdisciplinaire inaugurée par Jon Barwise et John Perry au tournant des années 1980. Elle fait intervenir la notion de contexte d'énonciation dans la signification des expressions linguistiques. Ces expressions ne sont pas seulement descriptives ; elles font également référence à des éléments de l'environnement grâce à des termes linguistique dont la signification renvoie au contexte de leur énonciation, comme « je » (qui désigne le locuteur de l'expression), « ici » (qui désigne le lieu où le terme est exprimé), « maintenant » (qui signifie le moment où l'expression est utilisée), etc. Ces termes sont appelés « démonstratifs », « indexicaux » ou encore « déictiques » et, selon John Perry, ils doivent leur pouvoir référentiel (leur capacité à désigner quelque chose du monde) à la règle linguistique qui leur est associée, une règle qui détermine le « rôle » de l’expression. Sémantique des rôles inférentiels
La sémantique des rôles inférentiels (également sémantique des rôles conceptuels, sémantique des rôles fonctionnels, sémantique procédurale, inférentialisme sémantique, sémantique inférentialiste) est une approche de la théorie du sens qui identifie le sens d'une expression à partir de sa relation avec d'autres expressions (généralement ses relations inférentielles avec d'autres expressions), par opposition au dénotationalisme, selon lequel les dénotations sont le type de signification fondamental. Sémantik
Sémantik (anciennement kdissert) est un logiciel libre permettant de créer des cartes heuristiques. Ce logiciel créé par Thomas Nagy permet aux élèves de produire rapidement des documents complexes tels que des exposés, des thèses et des rapports. Sémantik est disponible pour le système d'exploitation GNU/linux. Métaphore
La stylistique a pour objet d'étudier les effets du discours dans l'énoncé et en communication. Le contexte littéraire, énonciatif et culturel seul permet de cerner la nature et la portée de la métaphore, qui mélange deux champs sémantiques, parfois suivis d'une comparaison. Le transfert qu'elle permet entre deux termes fut souvent à l'origine de la « théorie de l'écart », qui ambitionnait d'expliquer le style par un écart envers la norme ou envers l'usage minimal du langage. Cette vision fut abandonnée, notamment lorsque les recherches modernes établirent que ce transfert sémantique a une fonction stylistique destinée à amplifier le discours. Métalangage
Un langage est décrit par une grammaire, et la description de sa grammaire est son métalangage. Ainsi le langage des expressions rationnelles ou la forme de Backus-Naur en informatique sont des métalangages. Un métalangage ne décrit pas seulement la syntaxe, il sert aussi à décrire la sémantique. Analyse sémantique
L'analyse sémantique d'un message est la phase de son analyse qui en établit la signification en utilisant le sens des éléments (mots) du texte, par opposition aux analyses lexicales ou grammaticales qui décomposent le message à l'aide d'un lexique ou d'une grammaire. Allan M. Collins
Ses recherches portent sur la mémoire sémantique et la cognition humaine. Avec M. R. Quillian et Elizabeth Loftus, ils développent la théorie selon laquelle les connaissances sémantiques sont stockées dans des catégories, lesquelles catégories seraient liées ensemble à travers une organisation hiérarchique (voir les réseaux sémantiques). Rhétorique sémitique
Il s'agit essentiellement de constructions qui obéissent au principe de la symétrie, sous trois formes : parallélisme, composition concentrique et composition spéculaire. Se basant sur le texte tel qu'il est lu et étudié par les croyants, l'analyse rhétorique est une méthode dite « synchronique », au contraire des études « diachroniques » qui étudient les différentes formes prises par le texte à travers le temps. HTML sémantique
Le HTML sémantique est l'utilisation du balisage HTML visant à renforcer le sémantisme (la signification) des informations contenues dans les pages web, c'est-à-dire leur sens, plutôt que de se borner à définir leurs présentations (ou apparence). Le HTML sémantique est traité par les navigateurs courants, mais aussi par de nombreux autres agents utilisateurs. Le langage CSS est utilisé pour suggérer la forme sous laquelle il sera présenté aux utilisateurs humains. Sémantique
Les méthodes d'exploration de données permettent de dégager du sens d'un ensemble de données d'allure a priori disparates (voir aussi intelligence artificielle) et donc "créent" de la sémantique. La sémantique dégagée prend généralement trois formes (traduction par des signifiants formels) issues de l'intelligence artificielle : Lexicologie
Différents champs d’études, mais toujours liés à la linguistique, incluent d'autres formes de sémantique, comme la sémantique culturelle et la sémantique informatique. La sémantique de calcul peut faire référence à la lexicologie computationnelle ou à la logique mathématique. Jerrold Katz
Dans le champ de la linguistique, Katz est surtout connu pour sa théorie de la sémantique en grammaire générative. Katz est un ardent défenseur du rationalisme (mais pas dans un sens cartésien/fregéen) et de l'importation métaphysique des « essences ». Il argumente intensivement contre la domination de l'empirisme. Katz fait également valoir, contre W.V.O. Quine, que la distinction analytique–synthétique pourrait être fondée sur les caractéristiques syntaxiques des phrases. Syntaxe (logique)
En logique, la syntaxe concerne les règles utilisées pour la construction de symboles et des mots d'un langage, par opposition à la sémantique d'une langue qui concerne sa signification. La syntaxe n'a rien à voir avec les langages formels ou les systèmes formels sans tenir compte de l'interprétation ou du sens qui leur est donné. Langage humain
Lorsqu'il est décrit comme un système de communication symbolique, le langage est traditionnellement considéré comme étant constitué de trois parties : des , des significations et un code connectant les signes à leurs significations. L'étude du processus de sémiose, comment les signes et les significations sont combinés, utilisés et interprétés, s'appelle la sémiotique. Les signes peuvent être composés de sons, de gestes, de lettres ou de symboles, selon que la langue est parlée, signée ou écrite. Ils peuvent être combinés en signes complexes, tels que des mots et des phrases. Utilisé dans la communication, un signe est codé et transmis par un émetteur par l'intermédiaire d'un canal à un récepteur qui le décode. Histoire de la pragmatique
Mais parler c’est agir. Cette constatation a induit une conception élargie du langage et des langues. Dans cette optique, il ne suffit pas de les ramener à des systèmes d’éléments dénommés signes et de les étudier à l’image des constructions mathématiques. Le langage et les langues sont faits pour être mis en œuvre et pour servir les buts variés de l’activité humaine, la description de la réalité n’en étant plus qu’un parmi d’autres. Comme cette nouvelle manière de voir s’accordait avec les idées que défendaient les philosophes du langage ordinaire, l’appellation de pragmatique s’est progressivement imposée. Toutefois, il reste beaucoup d’incertitude sur le domaine de la discipline, sur ses méthodes, sur sa place exacte dans la linguistique, surtout par rapport à la sémantique. Signifiance (linguistique)
Le sémiotique se caractérise comme une propriété de la langue, le sémantique résulte d'une activité du locuteur qui met en action la langue. Le signe sémiotique existe en soi, fonde la réalité de la langue, mais il ne comporte pas d'applications particulières ; la phrase, expression du sémantique, n'est que particulière. Avec le signe, on atteint la réalité intrinsèque de la langue ; avec la phrase, on est relié aux choses hors de la langue; et tandis que le signe a pour partie constituante le signifié qui lui est inhérent, le sens de la phrase implique référence à la situation de discours, et à l'attitude du locuteur Sémiologie de la musique
En partant de la référence à la linguistique, science pilote dans le domaine des sciences humaines depuis les années 1950, les auteurs font justement de l'art un système de signes ayant un sens, et cherchant à communiquer une signification. La musique y trouva alors rapidement toute sa place, elle dont l'expression « sonore » la rapproche le plus du langage. De la même façon que Ferdinand de Saussure avait opposé la langue et la parole, la sémiotique développa sur le même thème les oppositions et les complémentarités entre le code et le message. Sémantique générative
La controverse autour de la sémantique générative découle en partie de la compétition entre deux approches fondamentalement différentes de la sémantique dans la grammaire générative transformationnelle. Les premières théories sémantiques conçues pour être compatibles avec la syntaxe transformationnelle étaient "interprétatives". Les règles syntactiques faisaient l’énumération d’un ensemble de phrases correctement construites groupées avec des structures syntactiques auxquelles les règles d’une différente théorie sémantique attribuaient une "interprétation". La syntaxe en était laissée relativement (mais pas complètement) « autonome » vis-à-vis de la sémantique, et était l’approche préférée de Chomsky. Sémantique cognitive
La sémantique cognitive est une discipline issue de l'intelligence artificielle et de la linguistique et psychologie cognitive. Elle se démarque principalement de la tradition logique et philosophique en adoptant une perspective cognitive. Sémantique algébrique (informatique)
En informatique, la sémantique algébrique est une forme de sémantique axiomatique basée sur des principes algébriques pour décrire et raisonner sur la sémantique des langages de programmation de manière formelle. Histoire de la pragmatique
Or, telle qu’elle a été pratiquée dans la période suivante, la sémantique, toujours plus ou moins réduite à l’étude du sens descriptif, est restée engluée dans les difficultés signalées précédemment. Elle a bien su faire reconnaître qu’elle était indispensable, malgré les efforts du structuralisme américain pour se passer d’elle; elle s’est fait une place notable dans le générativisme de Noam Chomsky à côté de la syntaxe, mais les techniques inspirées de la phonologie et appliquées sous des noms divers, analyse sémique, analyse componentielle, etc., n’ont pas abouti à donner du sens une représentation satisfaisante. Comme il arrive souvent dans des situations ainsi bloquées, on a entrepris de contourner les obstacles qu’une attaque frontale ne parvenait pas à faire sauter. Autrement dit, le domaine auquel on s’intéressait a été considérablement élargi. Et, sous l’impulsion de certains philosophes, on s’est souvenu des suggestions faites par les pragmaticiens. Margaret Masterman
Ses points de vue sur l'importance de la sémantique dans le traitement du langage (qu'elle continue à défendre pendant les années 1951-1966 ou est largement acceptée la syntaxe de Chomsky) ont été fortement influencés par les travaux de sur la classification et la description au moyen d'un langage de primitives sémantiques ayant leur propre syntaxe. Celles-ci, ainsi que les correspondances possibles entre un modèle sémantique et un texte, ont été développées dans des programmes informatiques, ce qui pourrait nous faire supposer qu'elle croyait en l'existence de primitives sémantiques au sens de Katz ou de Schank. Rien n’est plus éloigné de la vérité : elle était beaucoup trop sceptique quant à la capacité de tout sous-langage ou logique limités à assumer le rôle de la langue tout entière. Elle a toujours soutenu que les primitives sémantiques n’auraient de sens que s’il existait des critères empiriques permettant de les découvrir et une théorie leur permettant de développer eux aussi exactement la polysémie de tout langage évolué ou naturel ; et elle a toujours insisté sur le rôle fonctionnel des primitives dans, par exemple, la résolution de l'ambiguïté du sens et en tant qu'interlingua pour la traduction automatique. Sémantique axiomatique
La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu'un programme informatique est correct. Champ sémantique
En lexicologie, un champ sémantique est un groupe de mots qui partagent les aspects sémantiques et qui sont utilisés dans le même contexte pour décrire un sujet spécifique. Il s'applique à l'étude linguistique, mais aussi l'anthropologie, la sémiotique computationnelle, et l'exégèse technique. Sémantique
L'approche sémantique a une littérature plus féconde que l'approche syntaxique : même si cette dernière a des résultats supérieurs, les ressources de calcul demandées font souvent pencher la balance en faveur de l'analyse sémantique. Gestion des langues
Il est également nécessaire de disposer d'un cadre de description des ressources informatiques, qui permette d'effectuer une transposition fidèle au sens des textes. Il est évident que la sémantique joue un rôle très important. La gestion des langues sera faite utilement dans le cadre du Web sémantique. L'OASIS a défini un cadre qui s'appelle Resource Description Framework (RDF). LeMoteur
La recherche sémantique est un axe majeur du moteur de recherche depuis 2009, qui permet de répondre à de nombreuses questions en langage naturel sur les thèmes principaux que l’on retrouve dans les requêtes faites au moteur : les people, le sport, la géopolitique... La recherche sémantique continue de se développer avec les questions/réponses et les algorithmes d’interprétation des requêtes. Logique du dialogue
Puisque la logique dialogique a été la première approche de la sémantique de la logique, elle est aussi connue sous le nom de "sémantique de jeu". Assez souvent, la sémantique théorique des jeux de Jaakko Hintikka – en anglais "Game Theoretical Semantics" (GTS) – et la logique dialogique sont confondues. Cependant, comme indiqué ci-dessous, bien que GTS et la logique dialogique partagent les deux une perspective ludique, leur contexte philosophique et logique est très différent. De plus, de nos jours, la logique dialogique a été étendue à un cadre général pour l’étude du sens, de la connaissance et de l’inférence constitués au cours d’une interaction argumentative. Les nouveaux développements incluent des dialogues coopératifs et des dialogues avec un langage complètement interprété. Annotation sémantique
L'annotation sémantique est une tâche de fouille de texte proche des méthodes de traitement automatique des langues qui consiste à étiqueter dans un document les mots avec des liens qui pointent vers une description sémantique. Logique
Un langage logique est défini par une syntaxe, c'est-à-dire un système de symboles et de règles pour les combiner sous formes de formules. De plus, une sémantique est associée au langage. Elle permet de l'interpréter, c'est-à-dire d'attacher à ces formules ainsi qu'aux symboles une signification. Un système de déduction permet de raisonner en construisant des démonstrations. Modélisation par objets typés
La validation sémantique est un processus qui s'intéresse à la signification du modèle. Le modèle représente-t-il bien la réalité qu'il désigne? L'interprétation du modèle semi-formel, régie par l'expert, permet de produire une interprétation humaine du modèle semi-formel. Quant au processus d'interprétation automatique de l'ontologie, il produit, à partir de l'ontologie du domaine, une interprétation automatique. Pour ce faire, le sous-processus utilise un moteur d'inférence pour générer de nouvelles conclusions qui serviront d'intrants au sous-processus de comparaison des interprétations. La comparaison des interprétations, qui est sous la responsabilité du l'expert de contenu, sert à la production du rapport d'interprétation. C’est sur la base de ce rapport que la décision de poursuivre ou non la démarche par une nouvelle itération de formalisation sera prise, soit pour modifier le rapport semi-formel ou soit encore pour améliorer son correspondant sous forme d’ontologie. Compréhension du langage naturel
Le système a également besoin d'une théorie sémantique pour guider la compréhension. Les capacités d'interprétation d'un système de compréhension du langage dépendent de la théorie sémantique qu'il utilise. Les théories sémantiques concurrentes du langage ont des compromis spécifiques dans leur pertinence comme base de l'interprétation sémantique informatisée. Celles-ci vont de la sémantique naïve ou de l'analyse sémantique stochastique à l'utilisation de la pragmatique pour dériver le sens du contexte. Science de la cognition
Les modèles que nous approchons doivent permettre de simuler le traitement humain de la connaissance :La plupart des travaux réalisés dans ce domaine partent de l'hypothèse qu'un énoncé possède un sens littéral et ils construisent une représentation à l'aide de connaissances générales, syntaxiques et sémantiques. Or, l'existence d'un sens littéral n'est pas toujours justifiable d'un point de vue linguistique ou psychologique. La linguistique présente des modèles permettant l'acquisition et la restitution de connaissances. Dans les systèmes à base de connaissances, nous raisonnons sur le sens ; les modèles linguistiques ne sont pas encore parvenus au consensus sur la problématique posée concernant l'articulation entre la syntaxe et la sémantique. Rôle sémantique
En linguistique, le rôle sémantique sert à décrire le sens qui s'attache à un groupe nominal par rapport au procès exprimé par le verbe au sein d'une phrase. Microsoft SQL Server
Avec la version 2012, SQL Server a rajouté l'indexation sémantique qui permet, comme son nom l'indique de faire des recherches sémantiques. Cette fonctionnalité nécessite l'ajout d'une base de données de traitement sémantique destinée à établir des statistiques sur les textes indexés. la recherche sémantique porte sur la signification des documents. Ceci permet l'extraction automatique de balises, la découverte de contenu connexe et la navigation hiérarchique à travers des documents ayant un contenu similaire à un texte de référence. Un exemple pratique consiste à interroger l'index de ressemblance de document pour identifier dans un lot de curriculum vitæ, ceux qui correspondent le mieux à une description de poste. Michel Bréal
Michel Bréal est surtout connu pour être le fondateur de la sémantique, dont il a forgé le terme avec son "Essai de sémantique" paru en 1897. Outre ses travaux linguistiques, on lui doit plusieurs livres sur la mythologie. Il est l'auteur également d'études sur l'éducation en France, l'enseignement des langues anciennes et la réforme de l'orthographe. Il défend le besoin d'apporter une analyse philologique dans l'enseignement du latin, préférant la « gymnastique pour l’intelligence et le raisonnement » aux « mécanismes qui dispensent l’élève de réfléchir ». Jacques Derrida
On peut dire de la dissémination qu'elle est, qu'elle porte ou permet une « critique » du sémantisme (naïf ou non), une « critique » du thématisme, une « critique » du simple contenu. Le lecteur peu familier avec cette façon qu'ont Derrida et ses semblables de concevoir la lecture peut avoir tendance à amorcer sa lecture d'un texte en prévoyant y trouver un sens profond (une sémantique), un sens qui viendrait de "l'extérieur du texte" - qui aurait la forme d'une idée essentielle, par exemple - et que le texte représenterait (le sens serait ainsi "re-présenté" dans le texte, c'est-à-dire présenté une deuxième fois). On peut tout aussi bien remplacer "sens profond" par "contenu" ou "thème", la critique qu'apporte Derrida reste la même: plutôt que de fonctionner selon une logique de la reproduction ou la transmission d'une idée essentielle, d'un thème général ou d'un contenu permanent, l'écriture fonctionne sous un mode - le mode de la dissémination - qui fait en sorte que le "contenu compris par le lecteur" ne pourra jamais être considéré comme final, total, etc. Ce n'est pas que ce que le lecteur comprend lors de sa lecture est "faux" ou "illusoire"^, mais plutôt que cette compréhension est contingente, qu'elle ne demeurera pas la même dans l'avenir. Ce qui dure et se transmet dans la lecture n'est pas une forme fixe, mais une chose qui ne doit jamais être enfermée, ni dans une structure qui en limite les possibilités d'interprétation, ni dans un système où toutes les interprétations se valent, où tout sens devient complètement relatif. Sémantique des langages de programmation
Ainsi on peut hiérarchiser les sémantiques en disant qu’une sémantique est l’"abstraction" d’une autre si et seulement si deux programmes équivalents dans la dernière le sont aussi dans la première. Ces relations ont été formalisées par la théorie de l’interprétation abstraite. Pédagogie explicite
D'après la théorie des réseaux sémantiques, la mémoire sémantique stocke des connaissances, reliées entre elles par des associations. Ces associations sont de différents types : associations verbales entre deux mots ; associations visuelles, ou associations d'idées créées lorsqu'on comprend quelque chose. L'ensemble des connaissances et associations forme ce qu'on appelle un réseau sémantique. Sémantique dénotationnelle
La sémantique dénotationnelle permet d'affecter un sens à un programme informatique en tant que fonction au sens mathématique du terme. Par contraste avec des sémantiques opérationnelles, elle vise à fournir à la sémantique du langage de plus fortes propriétés structurelles. Un exemple symbolique est la compositionnalité : la sémantique dénotationnelle de la séquence de deux programmes est la composition de leurs sémantiques respectives. Théorie sémantique de la vérité
Une théorie sémantique de la vérité est une théorie de la vérité en philosophie du langage qui soutient que la vérité est une propriété des phrases. Jacques Ouellet (linguiste)
"Sémantique conceptuelle du français" présente les résultats de cette étude comparative des notions et des relations qui fondent la grammaire et la lexicologie du français en accordant une attention particulière à l’économie du système de conceptualisation et à la cohérence de l’analyse. Combinatoire sémantique
La combinatoire sémantique est la recherche du sens total d’un énoncé par « calcul » à partir de ses unités constituantes. Réalisme (philosophie)
Le réalisme sémantique soutient que les propositions ou les expressions articulées dans un langage désignent, lorsqu’elles sont vraies, des faits ou des états de choses se réalisant dans le monde. Un énoncé est vrai lorsque ce qu’il décrit est la description de certaines choses ou événements qui existent ou se réalisent dans le monde indépendamment du langage. Le réalisme sémantique implique une conception métaphysique de la référence des mots ou des expressions linguistiques. Vérité
Cette primauté de la sémantique provient de la philosophie nominaliste de Quine : les schémas sont des mannequins (« "dummies" ») qui n'appartiennent pas à un langage-objet ; les valeurs de vérité ne sont pas des objets abstraits mais des manières de parler des propositions vraies et des propositions fausses ; ces dernières sont les énoncés déclaratifs eux-mêmes plutôt que des entités invisibles cachées derrière eux. Recherche sémantique
Guha  distinguent deux formes principales de recherche: la navigation et la recherche. Dans la recherche par navigation, l'utilisateur utilise le moteur de recherche comme outil de navigation pour trouver le document ciblé. La Recherche sémantique n'est pas applicable aux recherches par navigation. Dans la recherche sémantique, l'utilisateur fournit au moteur de recherche une phrase qui est destinée à désigner un objet sur lequel l'utilisateur tente de recueillir de l'information et de recherche. Il n'y a pas de document particulier que l'utilisateur connait à ce sujet. Au contraire, l'utilisateur tente de localiser un certain nombre de documents qui, ensemble, vont lui donner les informations qu'il essaie de trouver. La Recherche sémantique se prête bien ici. Thomas Sebeok
Sebeok, professeur émérite à l'Université d'Indiana, a travaillé à l'expansion du champ de la sémiotique afin d'y inclure les systèmes de signification et de communication non-humains. Dans le cadre de ses recherches, il crée l'expression « zoosémiotique » et intègre à la réflexion sémiotique certaines des questions abordées par la philosophie de l'esprit. Il est également l'un des fondateurs de la biosémiotique. À titre de linguiste, il publie plusieurs articles et ouvrages analysant la langue mari (aussi appelé tchérémisse). Son travail interdisciplinaire et ses collaborations avec d'autres chercheurs le rattachent à l'anthropologie, à la biologie, aux études folkloriques, à la linguistique, à la psychologie et à la sémiotique. Champ sémantique
Les recherches sur la délimitation des champs ont été, au début, celles des anthropologues et des ethnographes : le point de vue linguistique n’y était que secondaire et la langue ne servait qu’à comprendre les schémas conceptuels d’une société (exemples : les vocabulaires de la parenté chez les Iroquois, les classifications botaniques « populaires », le vocabulaire des animaux domestiques) qui ne portent pas sur les signifiés de mots qui sont en général polysémiques, mais sur des emplois particuliers relatifs à un système conceptuel précis (« fille » par rapport à mère, père et non à « garçon » ; « mère » par rapport à fils, à père, mais non à « maison mère, mère supérieure, mère de vinaigre »). Théorie des blocs sémantiques
L'aspect de cette théorie qui fait le plus débat est son immanentisme, qui la rapproche du structuralisme. Ainsi, selon la TBS, le sens linguistique est régulé de manière autonome par le système de la langue et la signification ne fait intervenir que des entités de nature linguistique : les mots ne renvoient pas à des entités cognitives, mais à des discours argumentatifs virtuels; les énoncés ne décrivent pas des états de choses, mais évoquent des discours argumentatifs concrets. Recherche sémantique
La recherche sémantique a pour objectif d'améliorer la précision de recherche par la compréhension de l'objectif de recherche et la signification contextuelle des termes tels qu'ils apparaissent dans l'espace de données recherché, que ce soit sur le Web ou dans un système fermé, afin de générer des résultats plus pertinents. L'auteur Seth Grimes liste les "11 approches qui lient la sémantique à la recherche", et Hildebrand donnent un aperçu qui liste les systèmes de recherche sémantique et identifie d'autres utilisations de la sémantique dans le processus de recherche. Web Ontology Language
En pratique, une sémantique définie strictement permettra aux machines d'effectuer des raisonnements automatisés sur les inférences et conclusions sur ses nouveaux silos de connaissance. Logique mathématique
Cependant, la sémantique ne sert pas qu'à « définir » la vérité. Par exemple, la sémantique dénotationnelle est une interprétation, non des formules, mais des déductions visant à capturer leur "contenu calculatoire". Langage humain
Le langage est un sujet d'étude scientifique ou académique dans de nombreuses disciplines, et est abordé sous plusieurs angles théoriques, qui tous permettent la construction des approches modernes de la linguistique. Par exemple, la linguistique descriptive étudie la grammaire de langues uniques. La linguistique théorique développe des théories sur la meilleure façon de conceptualiser et de définir la nature du langage en s'appuyant sur les données provenant de diverses langues humaines existantes. La sociolinguistique étudie la manière dont les langues sont utilisées à des fins sociales, permettant de renseigner l'étude des fonctions sociales de la langue et la description grammaticale. La neurolinguistique étudie comment le langage est traité par le cerveau humain et permet de tester expérimentalement les théories. La Linguistique informatique s'appuie sur la linguistique théorique et descriptive, pour construire des modèles informatiques de langages qui sont souvent destinés à analyser le langage naturel et à tester des hypothèses linguistiques. La linguistique historique repose sur des descriptions grammaticales et lexicales de langues pour retracer leur histoire individuelle et reconstruire les arbres des familles de langues en utilisant des méthodes comparatives. Sémantique
La sémantique peut s'intéresser à un mot pour le mot. À partir de ce même mot, d'autres analyses sont possibles sans forcément mettre en lumière un énoncé entier (cf. introduction). Langage humain
L'étude sémantique de la signification suppose que le sens se trouve dans une relation entre les signes et les significations qui sont fermement établies par convention sociale. Cependant, la sémantique n'étudie pas la manière dont les conventions sociales sont faites et affectent la langue. En fait, l'étude de la manière dont les mots et les signes sont utilisés met en évidence que les mots ont des significations différentes selon le contexte social dans lequel ils sont utilisés. Un important exemple de ce processus est appelé la deixis, qui décrit la façon dont certains mots font référence à des entités par le biais de leur relation entre un point spécifique dans le temps et dans l'espace lorsque le mot est prononcé. Ces mots sont, par exemple, « je » (qui désigne la personne qui parle), « maintenant » (qui désigne le moment de parler), et « ici » (qui désigne la position de parler). Les signes changent aussi de signification avec le temps, car les conventions régissant leur utilisation changent petit à petit. L'étude de la façon dont le sens des expressions linguistiques change en fonction du contexte est appelée la pragmatique. La deixis est une partie importante de la façon dont nous utilisons le langage pour indiquer des entités dans le monde. La pragmatique étudie la façon dont l'utilisation de la langue est structurée et comment ces structures contribuent à la signification. Par exemple, dans toutes les langues, des expressions linguistiques sont utilisées non seulement pour transmettre des informations, mais pour effectuer des actions. Certaines actions sont effectuées uniquement par le biais de la langue, mais ont néanmoins des effets tangibles, par exemple l'action de « nommer », qui crée un nouveau nom pour une entité, ou l'acte de « prononcer une personne mari ou femme d'une autre personne », créant un contrat social de mariage. Ces types d'actes sont appelés des actes de langage, et peuvent également être effectués par le biais de l'écriture et de la signature à la main. Téléosémantique
La sémantique informationnelle s'inscrit dans un programme de naturalisation de l'esprit initié par Paul Grice et développé par Fred Dretske. Elle consiste en une généralisation du principe de « signification naturelle » tel que Grice l'a formulé. Ce principe interprète la signification en termes de causalité naturelle. Ainsi, à la différence du mot « feu » qui a pour signification « non naturelle » le feu, la fumée a pour signification naturelle la présence d'un feu. La fumée signifie ou indique naturellement la présence d'un feu parce qu'il existe une relation de causalité régulière entre le feu et la fumée. De même, l'empreinte d'un pas sur le sol ou l'empreinte digitale imprimée sur une feuille de papier sont des indices qui véhiculent une information en vertu du fait qu'il existe une relation de causalité entre celui qui produit l'empreinte et l'empreinte elle-même. Selon la sémantique informationnelle, il existe également une covariation « nomologique » (obéissant à une loi causale de la nature) entre un état interne du cerveau et un état externe de l'environnement, en vertu de laquelle le premier indique le second. Robot d'indexation
Le Web sémantique se distingue de la sémantique appliquée aux langues : tandis que la sémantique linguistique comprend les significations des mots composés ainsi que les relations entre tous les mots d'une langue, le Web sémantique ne représente que l'architecture des relations et des contenus présents sur le Web. Rôle sémantique
La notion de rôle sémantique a été développée dans le cadre de théories linguistiques s'efforçant d'articuler les composantes syntaxiques et sémantiques du langage. Elle est liée aux notions de fonction syntaxique et de cas, sans se confondre avec elles : alors que les fonctions et les cas sont définis par la syntaxe, les rôles sémantiques en sont en principe indépendants. Dans l'optique de la linguistique générative, les rôles sémantiques relèvent de la structure profonde d'une langue, c'est-à-dire de l'organisation des concepts et des relations, tandis que les fonctions et les cas relèvent de la structure de surface, c'est-à-dire de la représentation de cette organisation dans les formes grammaticales d'une langue particulière. 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. Saul Kripke
Il a eu une grande influence dans de nombreux domaines, depuis la logique jusqu’à la philosophie du langage. La sémantique de Kripke, utilisée en logique modale et pour la sémantique des mondes possibles, est nommée d'après lui. Une grande partie de ses travaux ne sont pas publiés, ou n'existent que sous la forme d'enregistrements et de manuscrits circulant de manière restreinte. Il est considéré, au début du , comme l'un des philosophes vivants les plus importants. Sémiologie
Tombée pendant près d'un siècle dans l'oubli, la publication du "Cours de linguistique générale" de Ferdinand de Saussure propose d'en renouveler la définition, ou plutôt d'en circonscrire le champ d’étude : « On peut donc concevoir une science qui étudie la vie des signes au sein de la vie sociale ; elle formerait une partie de la psychologie sociale, et par conséquent de la psychologie générale ; nous la nommerons sémiologie. Elle nous apprendrait en quoi consistent les signes, quelles lois les régissent. Puisqu’elle n’existe pas encore, on ne peut dire ce qu’elle sera ; mais elle a droit à l’existence, sa place est déterminée d’avance. La linguistique n’est qu’une partie de cette science générale… » (Saussure, 1972 [1916], ). Proximité sémantique
En psychologie cognitive et en science de l'information, la proximité sémantique est une notion définie entre deux concepts soit au sein d'une même hiérarchie conceptuelle, soit entre deux concepts appartenant respectivement à deux hiérarchies conceptuelles distinctes. La proximité sémantique indique qu'ils sont souvent présents ensemble dans un même univers perceptif, ou qu'une part importante de leurs relations les unit. Multimodalité (sémiotique)
Jusqu'à tout récemment, le langage était le principal mode d'expression et la production de ses effets était bien connue car elle était étudiée par la rhétorique dès le Au cours du siècle dernier, le développement de la sémiotique et de la pragmatique a permis d'approfondir l'étude du langage comme un moyen de production du sens parmi plusieurs autres. Sémantique cognitive
Selon la définition proposée par François Rastier, la sémantique cognitive prend pour principe que le sens linguistique consiste en représentations ou processus mentaux (fonctionnement général du cerveau). Analyse sémantique
En compilation, l'analyse sémantique est la phase intervenant après l'analyse syntaxique et avant la génération de code. Elle effectue les vérifications nécessaires à la sémantique du langage de programmation considéré, ajoute des informations à l'arbre syntaxique abstrait et construit la table des symboles. Les vérifications réalisées par cette analyse sont : Syntaxe
On distingue la syntaxe, qui concerne les expressions [les mots], de la sémantique, qui concerne ce qui est visé par les expressions [le sens, la signification/les choses]. Thème (linguistique)
En sémantique, discipline de la linguistique, on appelle thème (du latin "thema", provenant lui-même du grec θέμα, "théma" qui signifie « ce qui est posé ») l'élément d'un énoncé réputé connu par les participants à la communication. La tradition linguistique anglophone emploie le terme de "topic", abusivement utilisé en France pour désigner une topique. Sémantique
En particulier, la sémantique possède plusieurs objets d'étude : Nouvelle syntaxe (grammaire française)
La nouvelle syntaxe est une approche structurale de la langue française qui a pour objet l'étude de l’organisation de la phrase. Elle analyse les seules relations structurelles entre les mots ou groupes de mots pour déterminer leurs fonctions en évitant la confusion avec l'approche sémantique de la grammaire ancienne qui introduisait des questions de sens : elle abandonne par exemple la notion de verbe d'action dont le sujet fait l'action que subit le COD ou la distinction entre sujet apparent (grammatical) et sujet réel. Sémantique générale
En France, c'est Severen Light Schaeffer (1935-1993) ingénieur polyglotte américain qui fut chargé dès les années 60 par l'"Institute of General Semantics", E-U, d'enseigner et de diffuser la Sémantique générale, grâce à des séminaires intégrant des dynamiques de groupe et des exercices très poussés. Il enseignera la matière pendant près de trente ans à un public universitaire et à des cadres de grandes sociétés américaines et françaises. Certains séminaires avaient lieu à l'Abbaye de Royaumont. Sa fille, Vanessa Biard-Schaeffer est Trustee et membre du Bureau de l"'Institute of General Semantics" et continue la diffusion de l'enseignement. Sémantique
Le terme « ontologie » a une signification philosophique, mais en gestion des connaissances, il représente la forme probablement la plus évoluée de représentation sémantique des connaissances.Il s'agit d'une sorte de « superthésaurus » destiné à indexer toutes les productions documentaires, stockées, entrantes ou sortantes dans un groupe social donné, typiquement une entreprise. Ainsi, un courrier électronique, un ouvrage de référence, un document de travail partageant les mêmes thèmes seront automatiquement mis en lien, donc mis en contexte, dégageant ainsi des connaissances sémantiques.La structuration d'une ontologie est pratiquement un métier en soi, à l'instar de la conception et de la maintenance des thésaurus de bibliothèques. La construction est toujours collective et par agglomération de domaines de compétence. Sémantique des langages de programmation
et Logique mathématique
Une mise en garde est de rigueur ici, car Kurt Gödel (suivi par Alfred Tarski) a montré avec son théorème d'incomplétude l'impossibilité de justifier mathématiquement la rigueur mathématique dans les mathématiques. C'est pourquoi il est plus approprié de voir la sémantique comme une métaphore : les formules — objets syntaxiques — sont projetées dans un autre monde. Cette technique — plonger les objets dans un monde plus vaste pour raisonner sur eux — est couramment utilisée en mathématique et est efficace. Sémantique
Ce sont en fait des données sur les données, des métadonnées. Des architectures informatiques spécifiques permettent de gérer ces métadonnées, on parle de "client" ou de "serveur" de métadonnées. Un système connu est le Dublin Core Metadata Initiative (DCMI). Éducation critique aux médias
En 1970, une autre approche émerge grâce à la Society for Education in Film and Television (SEFT) : la théorie de l’écran portant sur le langage, l’idéologie et la représentation. En effet, l’écran est le véhicule le plus signifiant pour un nouveau développement en sémiotique. Len Masterman, chercheur clé de cette approche, pense que les méthodes sémiotiques devaient conduire à de l’objectivité et de la rigueur analogique. L’objectif est de mettre de côté sa subjectivité pour voir les idéologies cachées des médias. Sémantique générale
Lorsqu’un auditeur écoute une phrase prononcée par un locuteur, il s’approprie ce discours, et l’abstrait : il associe son contenu avec diverses expériences mémorielles, habitudes, catégories, attributs… souvent au niveau silencieux ; il s’agit de l’"évaluation" du discours au sens de la sémantique générale. Cependant, rien ne nous assure que les évaluations du locuteur et de l’auditeur concordent ; nous savons même qu’elles ne peuvent que diverger dans une mesure plus ou moins importante. Faute de se mettre au préalable d’accord sur la signification exacte des termes utilisés, il y a des chances de mésentente. En outre, comme l'a fait Emmanuel Kant, il convient souvent de redéfinir les termes que nous employons afin d'être compris. 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 ». Sémantique
L'analyse sémantique transforme un ensemble de textes en une "matrice lexicale" : Alfred Korzybski
Korzybski était à l'origine ingénieur et expert des services de renseignements. Il oriente ensuite ses travaux vers le domaine des sciences humaines. Il a fondé la sémantique générale, logique de pensée fondée sur les mathématiques et la physique du tournant du siècle, une discipline pratique pour que chacun puisse prendre un recul critique sur les réactions (non verbales et verbales) à un « événement » au sens large (comprendre ses propres réactions, ainsi que les réactions des autres et leur interaction éventuelle). Cette approche, nouvelle pour l'époque et surtout très structurée, remet en cause les postulats de la logique d'Aristote (), et les schémas de pensée aristotéliciens ancrés dans le langage occidental commun : la logique Non-A inclut la logique A développé par Aristote et la dépasse, tout comme la physique non-newtonienne dépasse la physique newtonienne tout en l'englobant.