"Le vainqueur d'Iena", "le vaincu de Waterloo" sont
deux sens
différents qui désignent la même entité,
Napoléon
"l'élève de Platon", "le maître d'Alexandre"
sont deux sens différents qui désignent la même entité
Aristote
"L'étoile du matin", "l'étoile du soir" sont deux
sens différents qui désignent la même entité
Vénus
Le sens c'est ce que dit une expression linguistique.
La référence c'est ce au sujet de quoi cela est
dit.
Il peut y avoir sens sans qu'il y ait une référence, i.e.
une entité désignée par ce sens. Par exemple, il n'y
a pas d'entité ayant une vitesse supérieure à celle
de la lumière.
Supposons que nous modélisons un micro monde.
SETS
ENTITE = {Vénus, Aristote,
Napoléon };
SENS = {Le vainqueur d'Iena", "le vaincu de
Waterloo", "l'élève de Platon", "le maître d'Alexandre",
"L'étoile du matin", "l'étoile du soir", "Vitesse supérieure
à la vitesse de la lumière"}
VARIABLES
estDésignéPar
INVARIANT
estDésignéPar : ENTITE
>+-> SENS
DEFINITIONS
aPourRéférence == estDésignéPar~
"
Signifier (avoir un sens) et
désigner (quelque
chose) ne coïncident pas. Alors que les sens est idéal (i.e.
irréductible aussi bien à la réalité physique
des choses qu'à la réalité mentale de la représentation),
la référence ajoute la prétention de saisir la réalité.
Comme le dit fortement Frege, nous ne sommes pas satisfaits avec le sens,
nous voulons en outre la référence ; cette "intention" qui
fait la flèche du sens, cette "impulsion" (Drang) à "avancer"
du sens vers la référence n'est autre que l'exigence de vérité.
"Aller vers l'idéal et chercher le réel " (Jean Jaurès)
Le nom propre
Modélisation en Niam
[Au moment où nous rédigeons ce texte, nous écoutons
une émission de la Cinquième et nous apprenons que "foufoune"
qui vient d'entrer dans Le Robert, désigne le sexe féminin
en français de France et désigne les fesses en français
du Québec. Attention au sens et à la référence
si vous faites votre stage au Québec.
De même, nous avons vécu cette scène au Québec.
A la fin d'un repas au Québec, un des convives a demandé
à l'hôtesse : "Vous permettez que j'aille me branler sur la
terrasse ? ", ce à quoi l'hôtesse a répondu "Mais bien
sûr, nous vous rejoindrons prendre le café ". Vous avez compris
qu'il s'agissait d'aller se balancer sur le rocking-chair qui se trouvait
sur la terrasse, en québécois, se masturber se dit se frotter.,
voir Léandre Bergeron, Dictionnaire de la langue québécoise,
Typo, 1997, ISBN : 2-89295-147-X]
La position de Strawson (On Referring, 1951)
Strawson rejette le concept de "vrais noms propres, les noms propres
logiques, lesquels seuls désignent quelque chose qui est". En effet,
pour lui, les noms logiquement propres sont introuvables parce qu'ils devraient
désigner tous les 'ceci' et tous les 'cela' d'une expérience
privée (ce crayon que je vous montre, cet autre qui est dans votre
main, c'est ça l'expérience privée) ; ce qui suppose
un lexique infini et incommunicable. : hypothèse qui ruine
deux fois le langage (le langage permet d'émettre un nombre infini
de phrase avec un nombre fini de mots : lexique fini ; le langage permet
de communiquer).
"Comme le dit fortement Frege, nous ne sommes pas satisfaits avec le
sens, nous voulons en outre la référence ; cette "intention"
qui fait la flèche du sens, cette "impulsion" (Drang) à "avancer"
du sens vers la référence n'est autre que l'exigence de vérité.
Dans le cas du nom propre, cette exigence est la simple correspondance
du nom à la chose singulière dénommée " 'Dictionnaire
de la philosophie" (Enc. Univers., p. 1317)
Ce que nous traduisons en termes ensemblistes par "bijection".
" dans le cas de la phrase entière, c'est la valeur de vérité
elle-même qui constitue la référence ; autrement
dit, il y a 'connaissance', au sens fort du mot, lorsque la pensée
est considérée avec sa valeur de vérité, i.e.
avec sa référence plénière "
Exemple :
"foufoune est un mot du Robert en 2002" pourra se modéliser ainsi
:
SETS
MOT; ANNEE; DICTIONNAIRE
VARIABLES
estPrésentEnDans
INVARIANT
estPrésentEnDans : MOT * ANNEE
<--> DICTIONNAIRE
bool (((foufoune |-> 2002) |-> Le Robert)
: estPrésentEnDans) = TRUE
/* remarquons que l'on dit que dans les bases de données, on
ne met que des informations "positives", i.e. que, par exemple, on enregistrera
votre année de naissance et non toutes les années qui ne
sont pas votre année de naissance*/
mystère à SGXV
Articles
