Téléchargement au format .pdf

Une nouvelle theorie de la quantication 209
fort
2
fg : Etendue f \ Etendueg 6= ?
On remarque que :
et que
faible
2 fg :Extf \ Extg 6= ?
faible
2
2
faible
2
2
fort
2
fg =) faible
2
fg
faible
2
fg =) fort
2
fg
Du point de vue cognitif, on remarque que l'interpretation des operateurs
de quantication peut varier entre une borne inferieure (donnee par l'extension)
et une borne superieure (donnee par l'etendue). On ne possede pas de moyen
epistemique de prouver l'adequation cognitive de l'une ou de l'autre.
Un deuxieme axe cognitif de variation de l'interpretation des operateurs de
quantication est la typicalite. Cet aspect sera traite dans le paragraphe 7.6.1.
7.6 Une nouvelle theorie de la quantication
7.6.1 La denition des operateurs ? et ?
La nouvelle theorie de la quantication proposee par J.-P. Descles consiste en la
denition syntaxique et semantique d'autres operateurs de quantication universelle
et existentielle.
Partons de ces exemples :
1. Les alsaciens sont des buveurs de biere.
2. Tout francais conna^t la Marseillaise.
L'exemple 1. exprime le fait que :
Tout alsacien typique est buveur de biere.
l'exemple 2 le fait que:
Tout francais typique conna^t la Marseillaise.
La formalisation dans la logique classique est :
(8x) [(alsacien x) (buveur de biere x)]
respectivement: