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

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

$AO_{<P_{n} / P_{n}>}$       162 198 199
$CPR_{A / A}$       334
$H_{D / B}$       91
$PF_{S / S}$       161
$PR_{A / A}$       161 335
$SO_{<P_{n} / P_{n}>}$       169 198
$T_{B / B}$       320 332
$T_{C \ell}$       276
$T_{C}^{\ell}$       274ff
's      235ff 248ff
-ee      224 226
-er      186—189 223—226 235 340 341
-ing      226
-ly      150 340
2 (algebra of two elements)      5 6 43ff 51 59—65 87 94 99—103 109
about      see "Subject-matter phrase"
Absolute modifier      see "Intersecting modifier"
Abstract noun      190
Accusative      178ff
Activity predicate      208
ad-adjective      133
Additivity (of $P_{2}$ )      317ff
Adjectives of physical size      121ff
Agreement      14 16 19 20 25 27 34 68 178 357 368
Ambiguity      20 22 26 163—165 181—184 192 206 207 247—252 291 292 304 305 308 318 351 352 357 368
American Indian languages      26 66
Anderson      180
Anglo Saxon      66 85
Arabic      264
Argument algebra      14 16 363 369 376
Argument attraction      24
Argument category      9 14 16 19 22 26 177 353 363ff 368ff 374 375
Argument-oriented PM      152 160—167 196—201 333 334
Arithmetic      63—65 229 234
Aspect      see "Tense"
Assignment to Variables      253 266
Atomic algebra      30 52 56ff see "Justification
Atomic algebra, $AO_{<P_{n} / P_{n}>}$       162
Atomic algebra, $I_{B / B}$       130 146ff
Atomic algebra, $PR_{A / A}$       162
Atomic algebra, $R_{B / B}$       129 144ff
Atomic algebra, $SO_{<P_{n} / P_{n}>}$       169
Atomic algebra, $T_{P_{1}}$       100
Atomic algebra, $T_{P_{n}}$       102
Atomic algebra, definition      56
Atomic algebra, extentionality and      79ff
Atomic algebra, lifted algebra, of      279 281ff
Atomic algebra, ontological primitive, as      62ff 73ff
Atomic algebra, power set algebra      59ff
Atomic algebra, stative locatives and      154ff
atoms      56ff 75ff 87 93 190 369
Atoms, $AO_{<P_{n} / P_{n}>}$ , in      175
Atoms, $D_{aj}$ , and      344
Atoms, $I_{B / B}$ , in      146
Atoms, $PR_{A / A}$ , in      173
Atoms, $R_{B / B}$ , in      144ff 333
Atoms, $T_{N}$ (intensional), in      326
Atoms, $T_{P_{0}}$ (intentional), in      283
Atoms, $T_{P_{1}}$ , in      100
Atoms, $T_{P_{n}}$ , in      101
Atoms, compared individuals, in      135ff 327
Atoms, definition      56
Atoms, definition of the, and      84 105
Atoms, individuals and      62 76ff 239—242 316—319 344
Atoms, intensional individuals, and      285
Atoms, lifted algebra, in a      281ff
Atoms, pointwise algebra, in a      82
Atoms, preserved under isomorphism      61 240—242
Atoms, property as join of      79
Atoms, stative locatives, and      154ff
Automorphism      239ff
Automorphism invariance      239ff 242 244
BACH      208
Bantu languages      66 201 202
Bar category      14 20 31 32 35 273 354ff 368ff
Bartsch      138
Barwise and Cooper      16 86
Bathwater      51
Be      34 35 37 102 104 139 140 187 222 245 328 330ff
Believe      13 14 25 273 353ff
Ben-Chorin      353
Benefactive phrase      151 152
Bloom      66
Booger      28
Boole      46
Boolean algebra      6 10ff 44ff see "Atoms" "Boolean "Complete "Justification
Boolean algebra, definition      44
Boolean category      31 37 38 42 46
Boolean category, $P_{1}$ (intensional)      293ff
Boolean category, $P_{2}$ (intensional)      306
Boolean category, $P_{n}$ (intensional)      307
Boolean category, AP      127ff 320ff
Boolean category, PM      161
Boolean category, Q      370
Boolean category, S      358
Boolean category, stative locatives      153
Boolean relation      7 10 53ff 99 107ff 120 133 see "Complete "Entailment" "Informativeness" "Restricting "Restricting
Boolean relation, $F_{2 / K}$ , in      58
Boolean relation, $R_{B / B}$ , in      144
Boolean relation, definition      53
Boolean relation, lifted algebra, in a      281
Boolean relation, preserved by homomorphism      91
Boolean relation, preserved by isomorphism      61
Boolean relation, properties related by      73ff
Bounds ((least) upper and (greatest) lower), $I_{B / B}$ , in      146
Bounds ((least) upper and (greatest) lower), $R_{B / B}$ , in      143ff
Bounds ((least) upper and (greatest) lower), $T_{P_{1}}$ , in      100
Bounds ((least) upper and (greatest) lower), $T_{P_{n}}$ , in      102
Bounds ((least) upper and (greatest) lower), definition      54
Bounds ((least) upper and (greatest) lower), lifted algebra, in a      281
Bounds ((least) upper and (greatest) lower), meet and join as      55
Bounds ((least) upper and (greatest) lower), preserved by functions      88ff
Bounds ((least) upper and (greatest) lower), preserved by homomorphisms      91
Bounds ((least) upper and (greatest) lower), preserved by isomorphisms      61
Bounds ((least) upper and (greatest) lower), properties, of      74ff
Bresnan      208
Busby      267
By phrase      170 196 197 203 208 209 216ff
ca-algebra (= complete and atomic algebra)      see "Atomic algebra" "Complete
Canonical passive      203 204
cardinalities      11—13 87 110 245 285 296
Cardinality dependent determiners      228 232ff 243
Case marking      xii 14 19 20 178ff 180 190—192 213 214 368
Category names of core language      32
Causative      168 202
Chicewa      23
Child language      18 66 67
Chomsky      18 185 221 368
Cliticization      27
Close shave      110
Closure, complete B-      83
cm      179
Color adjectives      122ff
Comitative phrase      151 196 272
Comma as conjunction      132 320—324
Commitment, speaker      see "Pragmatics"
Commutativity law      44
Commutativity law, obeyed by properties      69—70
Comparatives      74 75 120 122 132 134ff 157 327
Complement flip law      112
Complements condition      75
Complete algebra      30 52 55ff 83 see "Justification
Complete algebra, $AO_{<P_{n} / P_{n}>}$       162
Complete algebra, $I_{B / B}$       130 146
Complete algebra, $PR_{A / A}$       162
Complete algebra, $R_{B / B}$       129 144
Complete algebra, $SO_{<P_{n} / P_{n}>}$       169
Complete algebra, $T_{B / B} \cap R_{B / B}$       320 332
Complete algebra, $T_{P_{1}}$       100
Complete algebra, $T_{P_{n}}$       102

Complete algebra, definition      55
Complete algebra, lifted algebra      279 281
Complete algebra, ontological primitive, as      62ff 73ff
Complete algebra, power set algebra      59ff
Complete algebra, stative locatives as      154
Complete homomorphism      91 99—104
Complex NP constraint      218
Compositionality      24 25 51 63 138 205 207 220 242
Conjectural adjective      125 314ff
Conservativity      16 17 85 86 103 227 230 231 237 238 243 246ff
Conservativity, weak      85 86
Consistent PM intension      334
context      see "Pragmatics"
Contraction      27
Correspondence between surface forms and logical forms      9 14 17—29 39 40 48 51 52 116 178 258 261—264 304 337 357 372
Criterion of logical adequacy      see "Logical adequacy"
de dictu reading      258 299 305 306 308 318 348ff
de dictu reading in relativized position      351 352
de dictu reading, validity of arguments involving      345—351
de re reading      252 258 299 308 318 345 348ff
de re reading in relativized position      351 352
de re reading, validity of arguments involving      345—351
Decreasing $\bar{N}$       109 206
Decreasing function      231 232
Decreasing subset of a boolean algebra      85
Degree of having a property      134
DeMorgan law      112 113
Directional phrase      152
Distributivity law      44 46 47
Distributivity law, obeyed by properties      69—71
Doubtful      366
Downward entailing      366 367
Dowty      208
Dummy      373ff
Dummy rule, semantic      375
Dummy rule, syntactic      374
Einstein      154
Ellipsis      319
Embedded question      369—371
Emonds      372
Entailment      1 2 7 20 41 42 105ff 125 127
Equi      25
Everywhere      155 162
EXIST      41 104 107 152 160 222 244
Explanatory adequacy      18
Expressively free      246
Extension of an intension      275 see
Extensional intension      275 276 see
Extensionality criterion      78—80
Extraposition      368 372ff
Factive      367 368
FALSE      153 171 365 368
Faltz      28
Fijian      23
Filter      231 239 see
First order logic      5 11—15 31 39—41 43—48 64 65 84 91 94 102 107 109 110
Formation rules      20 33 34 36 37 40 118 255 258 262 343 351
Free generators      13 14 26 361 363 369—371
Fregean condition      see "Compositionality"
from      see "Source phrase"
Function-argument relation      27
Functional application      35 37 105 119 139 140 150 254 260 275 345 358 374 375
General extensionality theorem      286 288 299 300 303 311 312 331 332 336 344 346
General extensionality theorem, proof      279 280
General extensionality theorem, statement      277 278
Generalized justification theorem      102
Generator      11 13 14 26 83—85 361—363 366
Gil      267
Goal expression      152
Gordon      23
Hard core      67
Have      235ff
Hebrew      66 264 265
Here      156 162 200
Hindi      260
Homomorphic inheritance theorem      288 300 303 307 308 331
Homomorphic inheritance theorem, proof      307 308
Homomorphic inheritance theorem, statement      288
Homomorphism      12 13 15 16 26 see "Homomorphic "Justification "Predicative
Homomorphism in core extensional semantics      95ff
Homomorphism, definition      91
Horace      214
Idempotent modifer      157 158
Idiom      28 29
IMPLY      354 365
Improbable      366
inclusion      105ff see "Informativeness"
Increasing $\bar{N}$       109
Increasing function      231 232 317
Increasing simple determiners      243
Increasing subset of a boolean algebra      85 86
Independent expressions      107
Individual      see also "Intensional individual" "Argument
Individual approach to boolean combinations of intensions      294ff 305
Individual constant      5 29
Individual, definitions      48 62 76 103
Individual, preliminary discussion      9ff 30 43
Individual, technical discussion      48ff
Ineseno Chumash      27
Inference, rules of      108ff
Infinitival complement      14 22 23 353 371 372
Informativeness      2—4 6 42 105 see
Instrumental phrase      152 196 209 210 335 337
Intensional individual      285 297 342
Intensional individual definition of variable interpretation      342
Intensionality, transparency, non-transparency      272ff
Intensionality, transparency, non-transparency, $P_{0} / P_{0}$       170
Intensionality, transparency, non-transparency, $P_{1}$       268 286ff
Intensionality, transparency, non-transparency, $P_{2}$       22 268ff 272f 277 303ff 317ff 345ff
Intensionality, transparency, non-transparency, $P_{n}$       301ff
Intensionality, transparency, non-transparency, abstract nouns      190
Intensionality, transparency, non-transparency, accusative versus for      180
Intensionality, transparency, non-transparency, APs      119 308ff
Intensionality, transparency, non-transparency, conjectural adjectives      74 125 314ff 316
Intensionality, transparency, non-transparency, definitions      276 277
Intensionality, transparency, non-transparency, determiners      286
Intensionality, transparency, non-transparency, intersecting adjectives      313
Intensionality, transparency, non-transparency, lambda and      257 258 343ff
Intensionality, transparency, non-transparency, linking verbs      139
Intensionality, transparency, non-transparency, negative adjectives      124
Intensionality, transparency, non-transparency, PMs      151 152
Intensionality, transparency, non-transparency, prepositions      335ff
Intensionality, transparency, non-transparency, preserved by passive      208
Intensionality, transparency, non-transparency, relative clauses      352 353
Intensionality, transparency, non-transparency, scalar adjectives      120—122 138 139 272 309ff 315ff
Intensionality, transparency, non-transparency, source phrases      165ff
Intensionality, transparency, non-transparency, transitive verbs with PM      163 333ff
Intensive      120 132ff 157 see
Internal semantic structure      292 304
Interpretation      5ff 35 41 45—49 87—101 104ff 197 223 227 233 238 240 246 253—265 266 298 315ff 321 330 343ff 351—353 375 376
Intersecting algebra      130ff 145ff
Intersecting modifiers      8 16 26 64 122ff 152ff 191 224ff 262ff 312ff
Intersectingness inheritance theorem      313 331 332 352
Intersectingness inheritance theorem, proof      331 332
Intersectingness inheritance theorem, statement      313
Intraposition      372 376
Island constraint      265 see
Isomorphisms as complete homomorphism      91
Isomorphisms, $AO_{<P_{n} / P_{n}>} \cong T_{P_{1}}$       162 175ff 198
Isomorphisms, $B \cong F_{B^{\ell} / J}$ (B J-lifted)      309
Isomorphisms, $Card_{P} \cong \omega$       234
Isomorphisms, $F_{2 / X} \cong X^{*}$       59 110 359
Isomorphisms, $I_{B / B} \cong B$       16 147
Isomorphisms, $I_{T_{P_{1}} / T_{P_{1}}} \cong T_{P_{1}}$       154
Isomorphisms, $P \cong (I_{P})^{*}$       65 102
Isomorphisms, $Prop \cong J^{*}$       359
Isomorphisms, $SO_{<P_{n} / P_{n}>} \cong T_{P_{1}}$       169 177 198
Isomorphisms, $T_{A_{i} P_{n}} \cong T_{P_{n + 1}}$       225 226
Isomorphisms, $T_{A_{i} P} \cong T_{N} (= P)$       8 130 225 261
Isomorphisms, $T_{A_{t} P} \cong T_{PM}$       26 341

1 2

О проекте