Téléchargement au format .pdf

230 La quantication
represententlesequations combinatoires qui denissent les operateurs de quantication
de n+1 arguments Q n et () n .
La logique combinatoire et implicitement la LDO permettent des manipulations
qui ne peuvent ^etre realisees ni dans la theorie des modeles, ni par la
deduction naturelle.
7.7 Proposition d'une nouvelle theorie generalisee
D'autres processus cognitifs comme le denombrement ou l'estimation numerique
sont souvent consideres en linguistique comme quantication (voir le chapitre 5).
Le rapport entre la quantication logique et la quantication en linguistique
peut donner naissance a une unication des deux approches. Nous essayons une
esquisse.
Nous partons de la question suivante:
Est-ce legitime de considerer tout determinant comme un quanticateur?
Les caracteristiques generales cognitives de deux \operations" qualication et
quantication sont:
determiner ou construire des classe en appliquant des proprietes.
determiner ou construire des classes, mais d'une facon particuliere et notamment
en comparant leurs dimensions.
En plus, un quanticateur generalise dans le sens de Keenan n'est pas un
operateur de quantication dans le sens logique. On ne peut pas considerer tout
determinant comme un operateur de quantication. Si on accepte la denition
d'un determinant comme etant un operateur qui s'applique a un ensemble de
fonctions en donnant une fonction, alors on constate qu'il y a des determinants
qui ne sont pas des operateurs de quantication.
Ce sont les raisons pour lesquelles la reponse a la question ci-dessus est non.
En considerant la LDO comme categorisation de base, notre point de vue est le
suivant:
La qualication est l'application d'une determination ou d'une cha^ne de
determinations a un objet plus ou moins determine. Le resultat est un autre
objet mieux determine:
y =(x)