논리 의미론을 통한 일반 명사의 정의 - 집합론을 통한 형식화

Abstract

La langue représente le monde. Selon Saussure, la langue est une forme et non une substance. Etant donné que la langue est un moyen de communication, la réflexion sur la structure de la langue et celle du monde est une des tâches de la sémantique. La formalisation exercée par la sémantique logique concerne ce type de réflexion. Cette étude porte sur des caractéristiques logico-sémantiques des noms communs. Nous commençons par supposer un monde de discours qui contient trois individus : André, Bernard et Cédric. Nous supposons également qu'André soit philosophe, étudiant, socialiste, poète ; que Bernard soit biologiste, étudiant, immigré, poète ; que Cédric soit linguiste, immigré, socialiste, poète. Dans ce monde supposé, la dénotation du nom propre André est l'ensemble des propriétés qu'André possède. De même pour Bernard et Cédric. Et la dénotation du nom commun socialiste est la propriété que Cédric et André possèdent. De même pour les autres noms communs proposés. Si on représente respectivement André, Bernard, Cédric par a, b, c, ces dénotations peuvent être formalisées dans le cadre de la théorie des ensembles comme suit : la dénotation du nom propre André = {{a}, {a, b}, {c, a}, {a, b, c}} ; la dénotation du nom commun socialiste = {c, a}. Nous pouvons formaliser les dénotations des autres noms propres et des autres noms communs de la même manière. Nous essayons aussi de définir la dénotation des complétives et celle des noms communs qui représentent des propriétés d'une proposition par la même méthodologie. Nous proposons trois complétives : qu'André démissionne, que Bernard aime Cédric, que Cédric quitte André et Bernard. Et nous supposons que la première complétive ait la propriété d'une hypothèse, celle d'une opinion, celle d'un plaisir, celle d'un désir ; que la deuxième ait la propriété d'une rumeur, celle d'une opinion, celle d'un désir, celle d'un espoir ; que la troisième ait la propriété d'un projet, celle d'un désir, celle d'un plaisir, celle d'un espoir. Dans ce monde de discours, les dénotations des trois complétives sont les ensembles des propriétés que chacune des complétives possède. Les dénotations des noms communs hypothèse, rumeur, projet, opinion, désir, plaisir, espoir sont définies par les complétives qui possèdent les propriétés concernées. Si on représente respectivement les trois complétives par p, q, r, ces dénotations peuvent être formalisées dans le cadre de la théorie des ensembles comme suit : la dénotation de la complétive qu'André démissionne = {{p}, {p, q}, {r, p}, {p, q, r}} ; la dénotation du nom commun plaisir = {r, p}. De même pour les autres complétives et les autres noms communs qui représentent des propriétés d'une proposition. Notre monde de trois dimensions se compose des entités qui occupent le monde réel. Et ces entités agissent toutes seules, ou bien elles établissent les relations entre elles. Cette étude propose une définition pour les dénotations des noms propres qui représentent des êtres humains et celles des complétives par la même méthodologie ; de même pour les dénotations des noms communs qui représentent des propriétés des êtres humains et celles des noms communs qui représentent des propriétés des propositions. Cette unicité méthodologique correspond au concept fondamental de la sémantique logique : il existe une correpondance très proche entre la structure syntaxique et la structure sémantique.