05.07.2014 Views

Téléchargement au format .pdf

Téléchargement au format .pdf

Téléchargement au format .pdf

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Une nouvelle theorie de la quantication 223<br />

12. Un general meurt dans son lit.<br />

(mourir dans son lit) ( ? (^etre general))<br />

ou<br />

(mourir dans son lit) ( (^etre general))<br />

13. Marie (8 ans) veut epouser un cow boy.<br />

(((vouloir epouser) ( ? ^etre cow boy)) Marie)<br />

par contre dans la phrase : Marie (jeune lle) veut epouser un milliardair,<br />

la quantication serait plut^ot 2 .<br />

14. Les francais boivent du vin.<br />

(^etre buveur de vin)( ? (^etre francais)<br />

15. Tout enfant est le chef d'oeuvre desamere. (d'apres A. Joly)<br />

(^etre le chef d'oeuvre de sa mere)( ? (^etre enfant))<br />

Un enfant typique est le chef d'oeuvre de sa mere.<br />

Quantication universelle et typicalite eng<br />

Les propositions du langage courant qui contiennent une quantication universelle<br />

sur les objets typiques de g contiennent un quanticateur generalement<br />

exprime par le pronom \tout,toute" soit \tous, toutes". C'est le contexte qui<br />

decide son emploi.<br />

16. Dans un probleme d'agregation toute fonction est integrable (typiquement).<br />

2 (^etre fonction)(TYPIQUE (^etre integrable))<br />

Le contexte est ici \dans un probleme d'agregation"<br />

17. Ceux qui vont a la messe le dimanche sont de bons chretiens.<br />

2 (^etre bon chretien)(T Y P IQUE(aller a la messe le dimanche))<br />

18. La b^uche de Noel est la b^uche glacee.<br />

? (^etre b^uche de Noel)(T Y P IQUE(^etre b^uche glacee))<br />

19. Tous mes etudiants sont recus (typiquement) a l'examen.<br />

( 2 (^etre etudiant de Anca)(TYPIQUE(^etre recus a l'examen))<br />

L'operateur ?<br />

L'operateur ? est le quanticateur avec lequel on peut formaliser les propositions<br />

du langage commun qui contiennent une une quantication existentielle.<br />

Il est encode par l'article \un" ou les expression \il y a un (une), il y a des", \il<br />

existe" .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!