Téléchargement au format .pdf

320 Table des matieres
3.3 L'algebre de la LFT : : : : : : : : : : : : : : : : : : : : : : : : : : 92
3.3.1 Expressions :categoremes, syncategoremes : : : : : : : : : : 93
3.3.2 La description formelle de la LTP : : : : : : : : : : : : : 99
3.3.3 L'algebre de la LFT (logique formelle des termes) : : : : : 101
3.3.4 Exemples d'analyse en LFT : : : : : : : : : : : : : : : : : 105
3.4 Conclusions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 107
4 Critique de la quantication fregeenne par les arguments des
post-fregeens 111
4.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 111
4.2 Les problemes de categorisation-les traces lingustiques de la typicalite112
4.3 Les problemes souleves par la logique : : : : : : : : : : : : : : : : 114
4.3.1 Le statut de la variable : : : : : : : : : : : : : : : : : : : : 114
4.3.2 Le statut du paradigme sujet-predicat : : : : : : : : : : : 115
4.3.3 Y a-t-il d'autres operateurs que les connecteurs logiques? : 116
4.3.4 Le statut de la quantication : : : : : : : : : : : : : : : : 116
4.4 La logique combinatoire : : : : : : : : : : : : : : : : : : : : : : : 117
4.4.1 Cadre general : : : : : : : : : : : : : : : : : : : : : : : : : 117
4.4.2 Combinateurs : : : : : : : : : : : : : : : : : : : : : : : : : 120
4.4.3 L'algebre des combinateurs : : : : : : : : : : : : : : : : : : 125
4.4.4 Solutions des quelques problemes par la logique combinatoire126
4.5 Conclusions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 128
5 La quantication en linguistique 129
5.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 129
5.2 Quanticateurs generalises : : : : : : : : : : : : : : : : : : : : : : 130
5.2.1 Bref apercu sur la theorie des types de R. Montague : : : : 130
5.2.2 La theorie des quanticateurs generalises : : : : : : : : : : 131
5.2.3 L'interpretation operationnelle de la theorie des quanticateurs
generalises : : : : : : : : : : : : : : : : : : : : : : : : 141
5.3 Critique de la theorie de E.Keenan : : : : : : : : : : : : : : : : : 141
5.4 Conclusions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 143
6 La categorisation 145
6.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 145
6.2 Concepts et objets plus ou moins determines : : : : : : : : : : : : 150
6.2.1 Theorie des types : : : : : : : : : : : : : : : : : : : : : : : 152
6.2.2 Classe structuree des concepts : : : : : : : : : : : : : : : : 154
6.2.3 Classe structuree d'objets : : : : : : : : : : : : : : : : : : 155
6.2.4 Application des concepts aux objets : : : : : : : : : : : : : 157
6.3 Operateurs de typicalite etdedetermination associes a un concept 159