Téléchargement au format .pdf

More documents

Recommendations

Info

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

322 Table des matieres 10 Les hierarchies d'heritage et la LDO 255 10.1 Exemples : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 255 10.1.1 Le probleme de l'<strong>au</strong>truche : : : : : : : : : : : : : : : : : : 255 10.1.2 Le diamant de Nixon : : : : : : : : : : : : : : : : : : : : : 258 10.1.3 Le jour du 1 er mars a Brest : : : : : : : : : : : : : : : : : 260 10.2 Les hierarchies d'heritage et la LDO : : : : : : : : : : : : : : : : : 261 10.2.1 La formalisation logique des hierarchies d'heritage : : : : : 261 10.2.2 Une analyse par la LDO des quelques hierarchies d'heritage 262 10.3 Conclusions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 265 11 Conclusions 273 A Demonstrations du chapitre 2 279 B Demonstrations du chapitre 3 281 C Demonstrations des theoremes du chapitre 7 283 D Demonstrations des theoremes du chapitre 9 301
Liste des gures 1.1 Les objets determines dans la LDO : : : : : : : : : : : : : : : : : 25 1.2 La modelisation en linguistique d'apres J.-P. Descles : : : : : : : : 26 1.3 La quantication linguistique : : : : : : : : : : : : : : : : : : : : 27 1.4 Une classication epistemologique des logiques : : : : : : : : : : : 28 2.1 L'univers conceptuel de Frege : : : : : : : : : : : : : : : : : : : : 53 3.1 La classication du pronom d'apres Sommers : : : : : : : : : : : : 88 6.1 Le probleme de l'<strong>au</strong>truche : : : : : : : : : : : : : : : : : : : : : : 149 6.2 La compatibilite de type redondant : : : : : : : : : : : : : : : : : 164 6.3 La compatibilite detypeC 2 : : : : : : : : : : : : : : : : : : : : : 165 6.4 La compatibilite detypeC 3 : : : : : : : : : : : : : : : : : : : : : 165 6.5 La compatibilite detypeC 4 : : : : : : : : : : : : : : : : : : : : : 166 6.6 La compatibilite detypeC 5 : : : : : : : : : : : : : : : : : : : : : 166 6.7 Les classes Int f et Comp f : : : : : : : : : : : : : : : : : : : : : 169 6.8 L'etendue et l'extension d'un concept : : : : : : : : : : : : : : : : 173 6.9 La distribution des concepts entre Ess f et Ness f : : : : : : : : : 175 6.10 La distribution des concepts entre Ess f et Ness f : : : : : : : : : 176 6.11 Exemple 1 : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 180 6.12 Exemple 2 : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 180 6.13 Exemple 3 : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 181 6.14 Exemple 4 : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 181 6.15 Le carre engeometrie-1 : : : : : : : : : : : : : : : : : : : : : : : : 183 6.16 Le carre engeometrie-2 : : : : : : : : : : : : : : : : : : : : : : : : 183 6.17 Le triangle equilateral : : : : : : : : : : : : : : : : : : : : : : : : 184 6.18 La construction de racine(2) : : : : : : : : : : : : : : : : : : : : : 186 7.1 Le carre d'Aristote : : : : : : : : : : : : : : : : : : : : : : : : : : 195 7.2 Le carre d'Aristote pour les operateurs illatifs de quantication : : 207 7.3 L'espace total et l'espace typique : : : : : : : : : : : : : : : : : : 214 7.4 Le carre d'Aristote pour les operateurs ? et 2 : : : : : : : : : : 220 7.5 Le cube de J.-P. Descles : : : : : : : : : : : : : : : : : : : : : : : 234
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 22 and 23:
18 Introduction Dans ce tableau la
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 36 and 37:
Page 38 and 39:
Page 40 and 41:
Page 42 and 43:
Page 44 and 45:
Page 46 and 47:
Page 48 and 49:
Page 50 and 51:
Page 52 and 53:
Page 54 and 55:
Page 56 and 57:
Page 58 and 59:
Page 60 and 61:
Page 62 and 63:
Page 64 and 65:
Page 66 and 67:
Page 68 and 69:
Page 70 and 71:
Page 72 and 73:
Page 74 and 75:
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 (^etre 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: 272 Les hierarchies d'heritage et l
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 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 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?