Keenan E.L., Faltz L.M. — Boolean semantics for natural language :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Keenan E.L., Faltz L.M. — Boolean semantics for natural language

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Boolean semantics for natural language

Авторы: Keenan E.L., Faltz L.M.

Аннотация:

Much of this work uses the notation and concepts of Boolean algebra. Neither the notation nor the concepts are particularly difficult to learn, nor does this work presuppose any basic familiarity with them. Nonetheless a sudden immersion might prove chilling to some, so we are presenting here a rather lengthy introduction designed to explain what we think is most novel about our work and what the motivations were which led up to it.

Язык:

Рубрика: Математика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1985

Количество страниц: 387

Добавлена в каталог: 08.12.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Isomorphisms, $T_{P_{1}} \cong T_{N} (= P)$       25 100 185 187 235 261 262 341
Isomorphisms, $T_{P_{n + 1}} \cong T_{N_{n}}$       185—189 223 224 341
Isomorphisms, $T_{P_{\alpha} M_{n}} \cong T_{P_{n + 1}}$       200 226
Isomorphisms, $T_{\bar{Q}} \cong (T_{Q})^{**}$       370
Isomorphisms, $T_{{P_{n}} \cong ((I_{P_{n}})^{n})^{*}$       102
Isomorphisms, arbitrary isomorphism onto P*      296
Isomorphisms, boolean properties of      61ff
Isomorphisms, definition      60
Isomorphisms, extending self via      261 262
Isomorphisms, isomorphic copies of 2      59 64
Isomorphisms, power set characterized up to      30 59 61 62
Isomorphisms, power set of power set characterized up to      13 295 369
It      372ff
J-lifted algebra      309 310 312 313 320 331 332
Jake and Odden      23
Japanese      260
Joins condition      75
JT      see "Justification theorem"
Justification theorem      xi 12 13 92—94 96 99—101 110 116 187—189 198 222 237 255 284 294—296 305 344 348 361
Justification theorem, proof      92—94
Justification theorem, statement      92
Keenan      24 27 29 178 180 203 204 212 216 367
Keenan and Faltz      xi 51 139 201 248 318 337 340
Keenan and Stavi      16 17 82 85 86 115 242 244 246
Kinyarwanda      201 215
Kiparsky and Kiparsky      367
Kipsigis      23
Ladusaw      366
Lakhota      66
LAMBDA      20ff 103 118 223 249—252 254ff 299 318 343ff
Latin      26 201 212
Leibnitz      154
Lexical interpreting function      41 104 189 200 204 209 229 236 246 253ff 343 see
Lexical interpreting function, constraints on      41 105 200 209—212 217 224 229ff 339 340 364ff
Lexicon      104 see
Lifting theorem      278—283 285 288—290 293 297 299 301 303 307—310 314 331 332
Lifting theorem, proof      280—282
Lifting theorem, statement      278 279
Likely      368
Linking verb      327ff
Lives on its arguments      86
Locative      see "Stative locative"
Logical adequacy      2 18 41 42
Logical consequence      see "Entailment"
logical constants      81ff 104 123 133 151—157 187 227ff 238ff 340 364
Logical equivalence of expressions      106
Logical form      see "Correspondence between surface form and logical form"
Logical implication      see "Entailment"
Logically 0      107
Logically 1      107
Logically false      107
Logically trivial      107
Logically true      107
Loose definition of variable interpretation      342 343 345 348 349
m-transparent function      see "Modifyingly transparent function"
Malagasy      27 66 212 215
Manner phrase      151 157 196 272
Margi      264
Mean      354 358
Meaning postulate      see "Lexical interpretation function" "Constraints
Meaning-form correlation principle      27
Meet dependent determiner      232
Meets condition      75
Mendelson      55 112
Metaphor      28
Model      xi 5 7 35 99 104 105 120—134 152 253 255 256 263 266 343 352 363
Modifier algebra      16
Modifier category      118
Modifyingly transparent function      336ff
Moments, as defined by atom formulas and worlds      283 327
Montague      xi 1 9 18 20 21 25 26 29 40 48 51 124 140 275 353
Moravcsik      180
n-valued logics      110
Name etymologies      66
Naming function      35—37 374
Nationality adjectives      122ff
Necessary      170 353 358 360 364 368
Negative modifiers      124 314 323
Nominalization      186 187 219 221
Nominative      178ff
Nontransparency      see "Intensionality"
Nowhere      156 162
Numerals      228
Oblique      180
Oddness      127 131 132 320—326 328 339
Odor      70
Ontological perfection      29 30
Ontology      xi 1 5 6 29 30 41 43 47 51 52 62—64 67 103 104 109 110 190 227 233 238 246 273 274
Order consistent modifier functions      137ff 327
Overgeneration      127 217ff 265 340 341
Partee      21
passive      14 26 118 169 170 196 201 202ff 292 354 368
Passive, impersonal      212 213
Passive, morphology      212 215
Past participle      212 226
Patient analysis of ditransitives      193 302
Perception, verbs of      164ff
Perlmutter and Postal      373
Persian      264
Pointwide approach to boolean combinations of intensions      294ff 305
Pointwise algebra      82 95 96 229 233 236 237 248 see "J-lifted
Pointwise on the individuals      96—104 182 191 194 195 199 294 364 368
Pointwise on the worlds      279 282—284 288 301 303 335 359
Possessive      81 85 86 118 228 235ff 248ff 260
Possible      170 353 364
Possible world      see "World"
Power set      see also "Justification theorem"
Power set as atomic algebra      56
Power set as boolean algebra      47ff
Power set as complete algebra      55
Power set, isomorphic to complete and atomic algebra      59 65
Power set, notation      10
Power set, power set of power set      369ff
Pragmatics, context      141 156 252 253 266 319 328 329
Pragmatics, redundancy and      132 134 220 323 326
Pragmatics, reinterpretation, cause for      8 134 155
Pragmatics, speaker commitment      324 325
Predicate adjectives      139ff 327ff
Predicative      14—16 22 27 118 177ff
Predicative algebra      15 16 191
Predicative hierarchy      33 34 40 87 102—104 182 185 191 196 199 200 203 224 341
Preferred reading      21 22 194 206 207 251 252 257 291 292 304
Preserves (arbitrary) joins      88 91
Preserves (arbitrary) meets      89—91

Preserves complements      90 91
Preserves finite joins      88 91
Preserves finite meets      89—91
Probable      366 368
Pronoun      252 253
PROP      359ff
Proper function      161 184
Properties, boolean character of      63 67ff
Properties, cognitively more primitive than individuals      63ff
Proverb      28
Pussums      31
raising      14 23 25 372 376
Razor, Occam's      110
Read out function      20 41 319
Reagan as zero      64
Recipient analysis of ditransitives      193
Reciprocal      202 268—270
Redundancy      220 322 see
Reflexives      118 202 220 250 258ff see
Reflexives, object controlled      250
Reinterpretation      see "Pragmatics"
Relative clause      118 122 218 225 235 250 262ff 352 353 369
Restricting algebra      129ff 142ff see
Restricting modifiers      7 8 16 26 74 120ff 153 161ff 168 184 191 249 309ff 317 325 326 340 341
Restrictingness inheritance theorem      313
Restrictingness inheritance theorem, proof      331
Restrictingness inheritance theorem, statement      312
Resumptive pronoun      264
Rosenbaum      372
Scalar modifiers      119ff 123 132ff 157 326ff
Scalarity as semantically basic      138
Scope      20—22 26 182—185 192—194 206 209ff 251 256 257 264 302 351 371
Self      250 258ff 343ff 351 352
Semantic primitive      see "Ontology"
Sentential complement      353ff
Shape adjectives      122ff
Shona      212
Slash category      20 31—35 118 119 273 275 309
Social class adjectives      122ff
Somewhere      155 162
Source phrase      152 163—170 210 211 335
Speaker commitment      see "Pragmatics"
specifier      14 17 369
Specifier algebra      17
State of affairs      see "World"
Stative locative      152—163 165 197 198 335 336
Strange      357 360 362 367 368
Strict definition of variable interpretation      342
Strictly restricting function      136
Subalgebra      16 83 86 130 162 169 233 240 297 305 320 334
Subcategorization feature      7 9 20 31 37
Subcategorization feature, acc      178 192
Subcategorization feature, across      180
Subcategorization feature, additive      318
Subcategorization feature, arg      196ff
Subcategorization feature, c      125
Subcategorization feature, case-marking features      178ff
Subcategorization feature, dat      213ff
Subcategorization feature, fact      368
Subcategorization feature, for      179
Subcategorization feature, horn      267
Subcategorization feature, i      124 312
Subcategorization feature, logical      241
Subcategorization feature, m-transparency      336 340
Subcategorization feature, n      125 314
Subcategorization feature, nom      178 192
Subcategorization feature, nt      297
Subcategorization feature, obl      180
Subcategorization feature, of      181
Subcategorization feature, on      196
Subcategorization feature, pf      190
Subcategorization feature, proper      32 363
Subcategorization feature, r      122 310
Subcategorization feature, subj      196ff
Subcategorization feature, t      287 311
Subcategorization feature, to      178 192ff 215 216
Subcategorization feature, up      366
Subcategorization feature, var      252
Subject matter phrase      152 336
Subject-oriented PM      168—170 196—200 209 210 217 333 334
Suchthat      250 262ff 343ff 352
Surface form      see "Correspondence between surface form and logical form"
Surprise      354 358
SVO language      27
Symmetric predicate      268
Syncategorematic elements      37 104 127
Synthetic expression      107
tell      302
Tense      12 19 20 40 155
That (complementizer)      273 302 355ff
There      156 162 200
There as dummy      373 375 376
Think      353
Thomason      208 353
TO      371
total      276
Tough movement      22
Transitive AP      15 118 178 190ff
Transitive common noun      15 118 177 181ff
Transitive modifier function      136
Transparency      see "Intensionality"
Transparent scalar adjectives      121 122
Trithart      23
TRUE      171 364 365 368
Truth values      5 6 11—13 29 30 43ff 62 87—89 95—98 110 253 273 289 290 359 see "Ontology"
Turkish      26 212
Unbounded intersection and union      49 50 61
Universe of discourse      xi 5 29 46—48 50—52 64 78 109
Upward entailing      366 367
Uto-Aztecan      26 202
Valency      202ff 334 337
Variable      5 20—23 29 40 118 191 250ff 342ff
Verb final language      27
Verb initial language      27
Verbal extensor      201ff 223 337ff
Very      133 157 192 325ff
Vocabulary      31 35—38 104 118 119 122 124 150 151 181 184 189—191 195 204 208 212 228 235 252 253 287 343 358 375
VOS language      27
VSO language      27
Whether      369 370
with      see "Comitative phrase" "Instrumental "Manner
Without      339 340
Word order      1 19—24 27 36—40 116
World      2 6 8 42 79 80 110 227 274ff 282ff 308ff 326 335 340 342 345—350 353 360 365 see "Model"
x-variant      254ff 265ff 343 344

1 2

О проекте