Téléchargement au format .pdf

222 La quantication
2 (^etre carre)(avoir 4 c^otes egaux)
Les exemples 4 et 5 sont des propositions de geometrie et leur enonce est
realise plut^ot avec l'article indeni qu'avec le pronom \tout" :
Dans tout triangle la somme des angles est egale a 180 .
Tout carre a4c^otes egaux.
6. Tous les francais boivent du vin.
2 (^etre francais)(^etre buveur de vin)
Dans l'exemple 6 le pronom suivi de l'article donne plut^ot le sens de 2 que
de ? .
L'operateur ?
L'operateur ? est le quanticateur avec lequel on peut formaliser les propositions
du langage commun qui contiennent des predications portant sur des
representants objectaux typiques (quelconques). En general il est encode dela
m^eme maniere que 2 , parfois par \Les f sont g" (Les f typiques sont g). La typicalite
peut eventuellement^etre precisee par des locutions comme "en general",
\sauf exception"...
7. L'homme (typique) est un bipede.
(^etre bipede) ( ? (^etre homme))
8. Un homme est bipede.
(^etre bipede) ( ? (^etre homme))
ou
(^etre bipede) ( (^etre homme))
9. Tout alsacien boit de la biere. (G. Kleiber)
(^etre buveur de biere) ( ? (^etre alsacien))
10. Un alsacien boit de la biere.
(^etre buveur de biere) ( ? (^etre alsacien))
ou
(^etre buveur de biere) ( (^etre alsacien))
11. Tout general (typique) meurt dans son lit. (J.P.Descles)
(mourir dans son lit) ( ? (^etre general))