Téléchargement au format .pdf

Conclusions 109
{ Il y a un changement de niveau dans la denition des categoremes-syncategoremes
entre la LFT et la LMP. Pour la LFT le niveau est terme-foncteur,
pour la LMP objet-concept. Un foncteur est un operateur plus general
qu'un concept. L'acceptation d'un isomorphisme structural entre "et" et
"il y a des ...qui sont" conduit a monter d'un niveau dans la hierarchie
operatorielle.
{ La quantication est captee dans cette theorie par les trois quanticateurs :
universel, existentiel et implicite. Le quanticateur est un constructeur des
termes et en m^eme temps il construit la semantique de deux foncteurs,
l'un de base " + " et l'autre derive " - ". Donc, le quanticateur comme
operateur n'est pas un operateur independant, il est englobe dansunun
operateur plus generale, le foncteur. La quantication est vue comme un
element primitif de la theorie.
{ La LTF est une logique sans variable comme les langue naturelles.
Les critiques de la LTF :
{ L'analyse de toute proposition se fait par le biais d'une proposition-paraphrase,
qui n'est pas naturelle du point de vue de la langue. Cette paraphrase remplace
le r^ole semantique de la variable.
{ Le fait que le quanticateur est englobe dans le terme eace la puissance
du quanticateur comme operateur.
{ La LTF ne tient pas compte de l'operation de determination.
{ Sa quantication \cachee" ne tient pas compte de la typicalite.
Les operateurs de quantication denis dans le chapitre 7 ont cette propriete
de la quantication sommersienne de s'appliquer aux termes. Ils ne sont pas englobes
dans un operateur plus complexe comme dans la theorie de Sommers. Leur
semantique capte d'autres aspects thematises par la langue : la determination, la
typicalite.