On Wed, Sep 18, 2002 at 05:25:33PM +0200, Marie-France Lesné wrote:
> ...
> désolé pour la remarque. on pourrait aussi préferrer
préférer s'écrit plutôt "préférer" il me semble.
sans rancune, aucune
d'ailleurs :
----
Considérons les quatre phrases suivantes :
"
1. Pierre préfère cette pomme-ci à celle-là.
2. Cette poire préfère cette pomme-ci à celle-là.
3. La saveur préfère cette pomme-ci à celle-là.
4. Pierre préfère à cette pomme-ci
De ces quatre phrases, il est clair que seul la première a véritablement un
sens, pour cette raison qu'elle seule répond aux trois conditions suivantes :
a- le verbe préférer doit comporter un sujet et deux compléments : x préfère y
à z. En termes logiques, préférer se présente comme un prédicat à trois
arguments ;
b- les arguments du prédicat préférer peuvent toujours être des noms
d'individus ; et si les deux derniers, ceux que les grammairiens appellent les
compléments, peuvent très bien être à leur tour des noms de prédicats (on peut
préférer, non seulement un objet individuel, mais encore une qualité), le
premier ne peut être en revanche qu'un nom d'individu ;
c- ce nom d'invidu, pour que la phrase composée avec le verbe préférer ait un
sens, ne peut désigner qu'un individu doué du minimum de personnalité qui le
rende capable d'exercer une préférence, i.e. en gros ce qu'on appelle un être
animé.
Aucun de nos quatre phrases, en dehors de la première, ne remplit les trois
conditions (...) " J.L. Gardies
En B, nous écririons, selon ce que nous acceptons comme phrase :
SETS
ETREANIME VARIABLES
préfèreA INVARIANT
préfèreA : ETREANIME <-> ETREANIME * ETREANIME
SETS
ETRE VARIABLES
préfèreA, APourEtat DEFINITIONS
EtreInanimé == APourEtat~ [{inanimé}];
EtreAnimé == APourEtat~ [{animé}] INVARIANT
APourEtat : ETRE +-> {animé, inanimé} &
préfèreA : EtreAnimé <-> ETRE * ETRE
SETS
OBJET VARIABLES
préfèreA, APourEtat, APourType DEFINITIONS
Etre == APourType~ [{individu}];
EtreInanimé == APourEtat~ [{inanimé}];
EtreAnimé == APourEtat~ [{animé}];
Propriétés == APourType ~ [{propriété}] INVARIANT
APourType : OBJET +-> {individu, propriété} &
APourEtat :Etre +-> {animé, inanimé} &
préfèreA : EtreAnimé <-> OBJET * OBJET
Remarquons que ce que nous appelons "propriété" dans cette dernière
spécification est un individu (la définition "Propriétés" est un ensemble
d'éléments de l'ensemble de base OBJET et non une relation.)
préfèreA : EtreAnimé <-> OBJET * OBJET
n'est pas la même spécification que :
préfèreA : EtreAnimé <-> ((OBJET <->OBJET) * (OBJET <-> OBJET))
----
ça vient de l'Université de Nantes...
Jérôme Alet
Linux-Azur : http://www.linux-azur.org
Désinscriptions: http://www.linux-azur.org/liste.php3
**** Pas de message au format HTML, SVP ****
