Téléchargement au format .pdf

128 Critique de la quantication fregeenne par les arguments des post-fregeens
l'operateur de pronominalisation. L'equivalence des deux expressions applicatives
et l'application du principe de l'extensionalite donne une equation fonctionnelle
qui represente la denition du pronom comme operateur :
X PRON B 5 B 3 Q' B Q Y ^ Q pron
ou X = C 14 C 12 C 10 C 8 C 6 C 4 C 8 C 6 B 7
et Y = C 7 C 7 C 7 B 2 B 2 BB
Une autre application en logique combinatoire est presentee en Annexe A
(III) : le calcul dans la logique combinatoire qui se rend compte du rapport entre
le contenu propositionnel et l'assertion dans le sens de Frege.
4.5 Conclusions
Toutes les critiques de la quantication classique faites dans ce chapitre ont
determine la construction d'une nouvelle theorie de la quantication representee
par un systeme d'operateurs de quantication qui verient les conditions suivantes
:
{ Du point de vue syntaxique ils s'appliquent au syntagme nominal
{ Du point de vue semantique ils tiennent compte de la typicalite.
Cette theorie est basee sur un systeme de classication qui est la LDO. La
LDO est deni comme un systeme applicatif avec des primitives particulieres. Elle
est presentee dans le chapitre 6. La nouvelle theorie de la quantication qui fait
pour la premiere fois le pont entre la quantication \logique" et la quantication
\linguistique" est presentee dans le chapitre 7.