Moi je sais une chose, c'est qie j'ecris le français comme je l'écris... Et que
j'irais pas a l'université de Nantes :D (bon ok ca fait 2 choses mais hein on
va pas chipoter...)
>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 ****
Linux-Azur : http://www.linux-azur.org
Désinscriptions: http://www.linux-azur.org/liste.php3
**** Pas de message au format HTML, SVP ****
