Téléchargement au format .pdf

More documents

Recommendations

Info

$Université de Paris-Sorbonne $Paris IV$ - LaLIC - Université Paris ...$

18 Introduction Dans ce tableau la quantication est retrouvee sous la forme d'une etude empirique des certaines categories de mots comprenant des mots comme : \tout, quelques, chacun". Par contre dans les theories semantiques construites sur la logique on retrouve la quantication logique. Dans les theories semantiques fondees sur une formalisation mathematique (Montague, Keenan) on retrouve une quantication dierente de celle utilisee en logique, enrichie par plusieurs elements de nature purement linguistique. C'est la theorie des quanticateurs generalises qui considere certains determinants, dans le sens attribue par la linguistique, comme etant des quanticateurs (cf. chapitre 5. Un essai de rapprochement de la quantication linguistique et des approches logiques est presente dans [Bac95]. Les quatre problemes suivants sur la quantication sont souleves et etudies dans ce recueil d'articles : Quelles sont les expressions qui encodent la quantication dans les langues naturelles? Quelle est leur structure semantique et leur degre d'universalite? En ce qui concerne la quantication, existe-t-il des dierences systematiquement correlees avec d'autres dierences entre les langues? L'encodage de la quantication est-il adequat pour explorer le langage? Une solution proposee dans l'article [Par95] est de decomposer le syntagme quantie en trois elements (cf. schema de la gure 1.3) : un operateur - le mot qui exprime la quantication. un restricteur - le syntagme auquel l'operateur s'applique. une portee nucleaire - le predicat. Même s'il existe des essais visant a rapprocher la quantication en linguistique de la quantication en logique, il n'existe pas de vraie theorie linguistique de la quantication. 1.5 Categorisation en sciences cognitives La periode a partir de 1980 se caracterise par le developpement des theories semantiques basees plutôt sur la psychologie cognitive. Parmi ces theories on trouve celles de Langacker, Talmy,LeNy. Le probleme de la quantication n'est pas aborde en tant que tel dans ces theories. Par contre, sur la categorisation, la
Categorisation et quantication dans la LDO 19 psychologie cognitive apporte des elements nouveaux. Rosch [Ros78] a developpe une importante notion, celle de prototype, avec la dimension correspondante, la typicalite. D'apres Roch un prototype est une sous-categorie, ou eventuellement, un exemplaire qui constitue une \meilleure" representation de la categorie que les autres sous-categories ou exemplaires. Rosch a montre que, si l'on contrôle les eets dus a lafrequence des mots dans la langue, le degre de typicalite des souscategories joue un rôle essentiel dans ces jugements. Dans sa conception c'est la quantite de caracteristiques ou d'attributs que les sous-categories possedent en commun qui determine leur ressemblance mutuelle et c'est semblablement la quantite de caracteristiques qu'une sous-categorie possede en commun avec la categorie superieure qui fait que la premiere est, a un degre plus ou moins eleve, typique ou prototypique en regard de la seconde. Le fait que les sous-categories d'une categorie n'entretiennent pas avec cette derniere de relations parfaitement simples n'est pas tres facilement interpretable. On ne voit pas comment le sous-ensemble des pommes pourrait être \plus inclus" que celui des tomates dans l'ensemble des fruits (Les fruits, notamment pour la conception que s'en font les enfants occidentaux, sont le plus souvent consommes comme desserts et composent des plats sucres. C'est moins habituel pour les tomates que pour les pommes !) . La typicalite de Rosch concerne les representations naturelles et elles seules, celles qui sont presentes dans la memoire semantique des individus. Le mot \typique" vise alors a designer une propriete d'une representation. Ce sont des elements que les categorisations classiques de la logique ou des mathematiques (notamment la theorie des ensembles) n'ont pas pris en compte. Les categories des \mots" des grammaires non plus. Peut-on avoir une categorisation qui tienne compte de ces elements? Si oui, quelle est la quantication correspondante? Voila des problemes auxquels doit repondre une theorie de la quantication apres qu'on lui aura donne un statut plus clair. 1.6 Categorisation et quantication dans la LDO La LDO est une logique qui rend mieux compte des notions d'objet et de concept. Elle est a la fois une ontologie formelle et un systeme logique. En ce qui concerne la categorisation, elle considere les objets \plus ou moins determines" comme representants objectaux des concepts. Ces objets sont determines par des operations de \determination" jusqu'aux objets determines. Du point de vue de la construction des objets c'est un retour au coeur de la logique, notamment la Logique de Port Royal, qui tenait compte de ce type d'operation. La determination des objets est denie par rapport a une operation particuliere elle aussi appelee la
Page 1: UNIVERSITE PARIS IV { SORBONNE ECOL
Page 5: Remerciements Mes remerciements s'a
Page 8 and 9: 4 Introduction d'autres logiques {
Page 10 and 11: 6 Introduction 1.2.1 Un apercu hist
Page 12 and 13: 8 Introduction Pour Meinong l'objet
Page 14 and 15: 10 Introduction F. Nef considere qu
Page 16 and 17: 12 Introduction Pour Frege les obje
Page 18 and 19: 14 Introduction Une approche foncti
Page 20 and 21: 16 Introduction 2. dire que le quan
Page 24 and 25: 20 Introduction determination. Cett
Page 26 and 27: 22 Introduction le niveau cognitif
Page 28 and 29: 24 Introduction Le chapitre 10 anal
Page 30 and 31: 26 Introduction probleme n . . Ling
Page 32 and 33: 28 Introduction la logique avec var
Page 34 and 35: 30 La categorisation et la quantica
Page 72 and 73:
68 La categorisation et la quantica
Page 74 and 75:
70 La categorisation et la quantica
Page 76 and 77:
72 Critique de la quantication freg
Page 78 and 79:
Page 80 and 81:
Page 82 and 83:
Page 84 and 85:
Page 86 and 87:
Page 88 and 89:
Page 90 and 91:
Page 92 and 93:
Page 94 and 95:
Page 96 and 97:
Page 98 and 99:
Page 100 and 101:
Page 102 and 103:
Page 104 and 105:
100 Critique de la quantication fre
Page 106 and 107:
Page 108 and 109:
Page 110 and 111:
Page 112 and 113:
Page 114 and 115:
Page 116 and 117:
Page 118 and 119:
Page 120 and 121:
Page 122 and 123:
Page 124 and 125:
Page 126 and 127:
Page 128 and 129:
Page 130 and 131:
Page 132 and 133:
Page 134 and 135:
130 La quantication en linguistique
Page 136 and 137:
Page 138 and 139:
Page 140 and 141:
Page 142 and 143:
Page 144 and 145:
Page 146 and 147:
Page 148 and 149:
Page 150 and 151:
146 La categorisation classiques, q
Page 152 and 153:
148 La categorisation (au sens que
Page 154 and 155:
150 La categorisation 6.2 Concepts
Page 156 and 157:
152 La categorisation memoire colle
Page 158 and 159:
154 La categorisation le type A de
Page 160 and 161:
156 La categorisation La sous-clas
Page 162 and 163:
158 La categorisation Dans la LDO l
Page 164 and 165:
160 La categorisation ((g f)x) 6=
Page 166 and 167:
162 La categorisation Pour chaque p
Page 168 and 169:
164 La categorisation Ness f, Ness
Page 170 and 171:
166 La categorisation Ness h sg Es
Page 172 and 173:
168 La categorisation En plus, tous
Page 174 and 175:
170 La categorisation 6.6 Typique -
Page 176 and 177:
172 La categorisation { la classe d
Page 178 and 179:
174 La categorisation { x c occupe
Page 180 and 181:
176 La categorisation s h:= un quad
Page 182 and 183:
178 La categorisation L'etendue peu
Page 184 and 185:
180 La categorisation s s f := un h
Page 186 and 187:
182 La categorisation { englobe dan
Page 188 and 189:
184 La categorisation s f:= un tria
Page 190 and 191:
186 La categorisation s h:= (m,n) p
Page 192 and 193:
188 La categorisation 6.9 La theori
Page 194 and 195:
190 La categorisation
Page 196 and 197:
192 La quantication l'analyse des o
Page 198 and 199:
194 La quantication Pour la plupart
Page 200 and 201:
196 La quantication Il s'agit ici d
Page 202 and 203:
198 La quantication U =(A,f 1 :::f
Page 204 and 205:
200 La quantication j= :8x (x) ssi
Page 206 and 207:
202 La quantication . [i-! ] ! [
Page 208 and 209:
204 La quantication 7.3 Les operate
Page 210 and 211:
206 La quantication ` EX pour tout
Page 212 and 213:
208 La quantication Si Ext g 6= ? S
Page 214 and 215:
210 La quantication (8x) [(francais
Page 216 and 217:
212 La quantication 2 fg =) red g
Page 218 and 219:
214 La quantication 2 fg g( ? f) G
Page 220 and 221:
216 La quantication TYPIQUE(f) (a)
Page 222 and 223:
218 La quantication g (QL ? f) se l
Page 224 and 225:
220 La quantication q ; q Tout f ty
Page 226 and 227:
222 La quantication 2 (être carre
Page 228 and 229:
224 La quantication 20. Un voleur m
Page 230 and 231:
226 La quantication 7.6.5 Exemples
Page 232 and 233:
228 La quantication 2 0 : (8 x 2 )[
Page 234 and 235:
230 La quantication represententles
Page 236 and 237:
232 La quantication La vraie valeur
Page 238 and 239:
234 La quantication Tout f est g 2
Page 240 and 241:
236 La description syntaxique de la
Page 242 and 243:
Page 244 and 245:
Page 246 and 247:
242 Une semantique pour la LDO a: {
Page 248 and 249:
244 Une semantique pour la LDO Deni
Page 250 and 251:
246 Une semantique pour la LDO { I
Page 252 and 253:
248 Une semantique pour la LDO Prop
Page 254 and 255:
250 Une semantique pour la LDO Rema
Page 256 and 257:
252 Une semantique pour la LDO l'en
Page 258 and 259:
254 Une semantique pour la LDO r Et
Page 260 and 261:
256 Les hierarchies d'heritage et l
Page 262 and 263:
Page 264 and 265:
Page 266 and 267:
Page 268 and 269:
Page 270 and 271:
Page 272 and 273:
Page 274 and 275:
Page 276 and 277:
Page 278 and 279:
274 Conclusions nature logique" et
Page 280 and 281:
276 Conclusions { Le systeme formel
Page 282 and 283:
278 Conclusions Notre opinion est q
Page 284 and 285:
280 Demonstrations du chapitre 2 Su
Page 286 and 287:
282 Demonstrations du chapitre 3
Page 288 and 289:
284 Demonstrations des theoremes du
Page 290 and 291:
Page 292 and 293:
Page 294 and 295:
Page 296 and 297:
Page 298 and 299:
Page 300 and 301:
Page 302 and 303:
Page 304 and 305:
Page 306 and 307:
Page 308 and 309:
Page 310 and 311:
306 Bibliographie [Bra86] [Can32] B
Page 312 and 313:
308 Bibliographie [Des96d] [Des96e]
Page 314 and 315:
310 Bibliographie [Dum91b] Dummett
Page 316 and 317:
312 Bibliographie [Hin86] [Hou93] H
Page 318 and 319:
314 Bibliographie [Par95] Partee B.
Page 320 and 321:
316 Bibliographie [Sel80] Seldin J.
Page 322 and 323:
318 Bibliographie
Page 324 and 325:
320 Table des matieres 3.3 L'algebr
Page 326 and 327:
322 Table des matieres 10 Les hiera
Page 328:
324 Liste des gures 9.1 La structur
show all

Téléchargement au format .pdf

Create successful ePaper yourself

Delete template?

Save as template?