Type-logical semantics:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass. [u.a.]
MIT Press
1997
|
| Ausgabe: | 1. print. |
| Schriftenreihe: | Language, speech and communication
A Bradford book |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Hier auch später erschienene, unveränderte Nachdrucke |
| Beschreibung: | XXI, 575 S. graph. Darst. |
| ISBN: | 0262032481 0262531496 9780262032483 9780262531498 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011756596 | ||
| 003 | DE-604 | ||
| 005 | 20240205 | ||
| 007 | t | ||
| 008 | 980206s1997 d||| |||| 00||| eng d | ||
| 020 | |a 0262032481 |9 0-262-03248-1 | ||
| 020 | |a 0262531496 |9 0-262-53149-6 | ||
| 020 | |a 9780262032483 |9 978-0-262-03248-3 | ||
| 020 | |a 9780262531498 |9 978-0-262-53149-8 | ||
| 035 | |a (OCoLC)243880370 | ||
| 035 | |a (DE-599)BVBBV011756596 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-29 |a DE-355 |a DE-12 |a DE-703 |a DE-20 |a DE-19 |a DE-11 |a DE-188 |a DE-473 |a DE-634 | ||
| 082 | 0 | |a 401.43 | |
| 084 | |a ER 620 |0 (DE-625)27737: |2 rvk | ||
| 084 | |a ET 440 |0 (DE-625)27985: |2 rvk | ||
| 084 | |a ET 750 |0 (DE-625)28029: |2 rvk | ||
| 100 | 1 | |a Carpenter, Bob |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Type-logical semantics |c Bob Carpenter |
| 250 | |a 1. print. | ||
| 264 | 1 | |a Cambridge, Mass. [u.a.] |b MIT Press |c 1997 | |
| 300 | |a XXI, 575 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Language, speech and communication | |
| 490 | 0 | |a A Bradford book | |
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 650 | 0 | 7 | |a Computerlinguistik |0 (DE-588)4035843-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kategorialgrammatik |0 (DE-588)4263781-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |5 DE-188 | |
| 689 | 1 | 0 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 1 | 1 | |a Computerlinguistik |0 (DE-588)4035843-4 |D s |
| 689 | 1 | |5 DE-188 | |
| 689 | 2 | 0 | |a Kategorialgrammatik |0 (DE-588)4263781-8 |D s |
| 689 | 2 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 2 | |5 DE-188 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007933967&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007933967 | ||
Datensatz im Suchindex
| _version_ | 1804126300807364608 |
|---|---|
| adam_text | Contents Preface xiii Acknowledgments Chapter 1 Introduction xix 1 1.1 Truth and Reference 1 1.2 Topics in Semantics 10 1.3 Topics in Pragmatics 1.4 Methodology Exercises 30 35 Chapter 2 Simply Typed ¿-Calculus 2.1 Simple Types 2.2 ¿-Terms 2.3 22 37 39 41 Functional Models 45 2.4 Proof Theory for Simply Typed ¿-Calculus 2.5 Combinatore and Variable-Free Logic 2.6 Products 2.7 Sums Exercises 64 69 72 Chapter 3 Higher-Order Logjc 75 3.1 Higher-Order Syntax 75 3.2 Higher-Order Models 77 60 49
viii Contents 3.3 Quantifiers in Natural Language 3.4 Negative Polarity Items 3.5 Definite Descriptions 83 94 96 3.6 Proof Theory for Higher-Order Logic Exercises 104 Chapter 4 Applicative Categorial Grammar 4.1 The Category System 4.2 Semantic Domains 4.3 Categorial Lexicons 116 A Categorial Lexicon 119 121 Ambiguity, Vagueness, and Meaning Postulates Exercises 135 Chapter 5 The Lambek Calculus 5.1 112 115 4.6 Tree Admissibility 4.7 111 114 4.4 Phrase Structure 4.5 101 139 Lambek’s Sequent Calculus 140 5.2 The Natural-Deduction Lambek Calculus 5.3 Products 164 5.4 Categorial Grammar as Logic Exercises 168 174 Chapter 6 Coordination and Unbounded Dependencies 6.1 153 Coordination 177 177 6.2 Conjunctive and Disjunctive Categories 187 6.3 199 Unbounded Dependency Constructions Exercises 209 Chapter 7 Quantifiers and Scope 7.1 Quantifying In 7.2 Cooper Storage 213 215 216 126
їх Contents 7.3 Scoping Constructor 7.4 Type Raising and Quantifier Coordination 7.5 Embedded Quantifiers 7.6 Quantifiers and Coordinate Structures 7.7 Quantification and Negation 7.8 Quantification and Definite Descriptions 7.9 Possessives Generics 232 244 247 259 263 Expletives and the Unit Type Exercises 241 254 7.12 Comparatives 7.13 228 251 7.10 Indefinites 7.11 220 281 - 286 Chapter 8 Plurals 293 8.1 An Ontology of Groups 8.2 A Plural Grammar 8.3 Distributors and Collectors 8.4 Coordination, Negation, and Argument Lowering 8.5 Adverbial Distribution 8.6 Plural Quantification 8.7 Partitives and Pseudopartitives 8.8 Nonboolean Coordination 8.9 Comitative Complements 8.10 Mass Terms Exercises 293 297 302 311 314 318 322 326 328 333 Chapter 9 Pronouns and Dependency 339 9.1 Pronouns and Reflexives 9.2 Pronouns and Agreement 9.3 Pronouns as Variables 9.4 A Quantificational Approach to Reflexives 9.5 Plural Pronouns 352 339 342 344 347 307
Contents 9.6 Reciprocals and Generalized Quantification 9.7 Pied Piping 9.8 Ellipsis and Sloppy Anaphora 9.9 Interrogatives Exercises 364 367 368 373 Chapter 10 Modal Logic 379 10.1 Modes of Truth 10.2 S5: A Modal Logic of Necessity 10.3 Indexicality 10.4 General Modal Logics 10.5 Strict Implication and Counterfactuals 10.6 First-Order Tense Logics 10.7 Tense Logic and Natural Language 10.8 Temporal-Period Structures 411 10.9 Higher-Order Modal Logic 418 Exercises 354 379 382 390 390 395 399 408 420 Chapter 11 Intensionality 425 11.1 An Intensional Grammar 11.2 Individual Concepts and Quantificational Definites 11.3 Alternatives to Possible Worlds 11.4 Lexical Relations Exercises 450 457 465 471 Chapter 12 Tense and Aspect 12.1 425 479 Reichenbach’s Approach to Simple and Perfect Tenses 12.2 Tense and Discourse 481 12.3 Vendler’s Verb Classes 12.4 A Semantic Approach to Aspect 12.5 A Grammar of Tense and Aspect Exercises 504 482 485 487 479
XI Contents Appendix A Mathematical Preliminaries A.l Set Theory S09 509 A.2 Functions and Relations A.3 Orderings, Well Orderings, and Lattices A.4 Proof by Induction 517 A.5 519 Formal Languages A.6 Trees A.7 520 First-Order Logic 523 A.8 Algebras and Equality References Index 511 569 537 529 515
|
| any_adam_object | 1 |
| author | Carpenter, Bob |
| author_facet | Carpenter, Bob |
| author_role | aut |
| author_sort | Carpenter, Bob |
| author_variant | b c bc |
| building | Verbundindex |
| bvnumber | BV011756596 |
| classification_rvk | ER 620 ET 440 ET 750 |
| ctrlnum | (OCoLC)243880370 (DE-599)BVBBV011756596 |
| dewey-full | 401.43 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 401 - Philosophy and theory |
| dewey-raw | 401.43 |
| dewey-search | 401.43 |
| dewey-sort | 3401.43 |
| dewey-tens | 400 - Language |
| discipline | Sprachwissenschaft Literaturwissenschaft |
| edition | 1. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02162nam a2200553 c 4500</leader><controlfield tag="001">BV011756596</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240205 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980206s1997 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262032481</subfield><subfield code="9">0-262-03248-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262531496</subfield><subfield code="9">0-262-53149-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262032483</subfield><subfield code="9">978-0-262-03248-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262531498</subfield><subfield code="9">978-0-262-53149-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)243880370</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011756596</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">401.43</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ER 620</subfield><subfield code="0">(DE-625)27737:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ET 440</subfield><subfield code="0">(DE-625)27985:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ET 750</subfield><subfield code="0">(DE-625)28029:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Carpenter, Bob</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Type-logical semantics</subfield><subfield code="c">Bob Carpenter</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. [u.a.]</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXI, 575 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Language, speech and communication</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">A Bradford book</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerlinguistik</subfield><subfield code="0">(DE-588)4035843-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorialgrammatik</subfield><subfield code="0">(DE-588)4263781-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Computerlinguistik</subfield><subfield code="0">(DE-588)4035843-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Kategorialgrammatik</subfield><subfield code="0">(DE-588)4263781-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007933967&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007933967</subfield></datafield></record></collection> |
| id | DE-604.BV011756596 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:15:16Z |
| institution | BVB |
| isbn | 0262032481 0262531496 9780262032483 9780262531498 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007933967 |
| oclc_num | 243880370 |
| open_access_boolean | |
| owner | DE-739 DE-29 DE-355 DE-BY-UBR DE-12 DE-703 DE-20 DE-19 DE-BY-UBM DE-11 DE-188 DE-473 DE-BY-UBG DE-634 |
| owner_facet | DE-739 DE-29 DE-355 DE-BY-UBR DE-12 DE-703 DE-20 DE-19 DE-BY-UBM DE-11 DE-188 DE-473 DE-BY-UBG DE-634 |
| physical | XXI, 575 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Language, speech and communication A Bradford book |
| spelling | Carpenter, Bob Verfasser aut Type-logical semantics Bob Carpenter 1. print. Cambridge, Mass. [u.a.] MIT Press 1997 XXI, 575 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Language, speech and communication A Bradford book Hier auch später erschienene, unveränderte Nachdrucke Computerlinguistik (DE-588)4035843-4 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Kategorialgrammatik (DE-588)4263781-8 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Logik (DE-588)4036202-4 s Semantik (DE-588)4054490-4 s DE-188 Computerlinguistik (DE-588)4035843-4 s Kategorialgrammatik (DE-588)4263781-8 s Digitalisierung UB Bamberg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007933967&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Carpenter, Bob Type-logical semantics Computerlinguistik (DE-588)4035843-4 gnd Logik (DE-588)4036202-4 gnd Kategorialgrammatik (DE-588)4263781-8 gnd Semantik (DE-588)4054490-4 gnd |
| subject_GND | (DE-588)4035843-4 (DE-588)4036202-4 (DE-588)4263781-8 (DE-588)4054490-4 |
| title | Type-logical semantics |
| title_auth | Type-logical semantics |
| title_exact_search | Type-logical semantics |
| title_full | Type-logical semantics Bob Carpenter |
| title_fullStr | Type-logical semantics Bob Carpenter |
| title_full_unstemmed | Type-logical semantics Bob Carpenter |
| title_short | Type-logical semantics |
| title_sort | type logical semantics |
| topic | Computerlinguistik (DE-588)4035843-4 gnd Logik (DE-588)4036202-4 gnd Kategorialgrammatik (DE-588)4263781-8 gnd Semantik (DE-588)4054490-4 gnd |
| topic_facet | Computerlinguistik Logik Kategorialgrammatik Semantik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007933967&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT carpenterbob typelogicalsemantics |