Foundations of intensional semantics:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Malden, Mass. [u.a.]
Blackwell
2005
|
| Edition: | 1. publ. |
| Subjects: | |
| Online Access: | Table of contents Inhaltsverzeichnis |
| Physical Description: | XIII, 192 S. |
| ISBN: | 063123375X 0631233768 9780631233756 9780631233763 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV019936943 | ||
| 003 | DE-604 | ||
| 005 | 20241217 | ||
| 007 | t| | ||
| 008 | 050726s2005 xxu |||| 00||| eng d | ||
| 010 | |a 2005010277 | ||
| 020 | |a 063123375X |c hardcover : alk. paper |9 0-631-23375-X | ||
| 020 | |a 0631233768 |c pbk. : alk. paper |9 0-631-23376-8 | ||
| 020 | |a 9780631233756 |9 978-0-631-23375-6 | ||
| 020 | |a 9780631233763 |9 978-0-631-23376-3 | ||
| 035 | |a (OCoLC)59098689 | ||
| 035 | |a (DE-599)BVBBV019936943 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-20 |a DE-12 |a DE-19 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a P325 | |
| 082 | 0 | |a 401/.43 |2 22 | |
| 082 | 0 | |a 401.43 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a ET 440 |0 (DE-625)27985: |2 rvk | ||
| 100 | 1 | |a Fox, Chris |d 1965- |e Verfasser |0 (DE-588)17339955X |4 aut | |
| 245 | 1 | 0 | |a Foundations of intensional semantics |c Chris Fox and Shalom Lappin |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Malden, Mass. [u.a.] |b Blackwell |c 2005 | |
| 300 | |a XIII, 192 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Informatica |2 gtt | |
| 650 | 7 | |a Intensionele logica |2 gtt | |
| 650 | 7 | |a Semantiek |2 gtt | |
| 650 | 4 | |a Sémantique | |
| 650 | 4 | |a Sémantique (Philosophie) | |
| 650 | 4 | |a Sémantique - Informatique | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Semantik | |
| 650 | 4 | |a Semantics | |
| 650 | 4 | |a Semantics (Philosophy) | |
| 650 | 4 | |a Intension (Logic) | |
| 650 | 4 | |a Semantics |x Data processing | |
| 650 | 0 | 7 | |a Intensionale Logik |0 (DE-588)4161959-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computerlinguistik |0 (DE-588)4035843-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Intensionale Logik |0 (DE-588)4161959-6 |D s |
| 689 | 0 | 1 | |a Computerlinguistik |0 (DE-588)4035843-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 1 | 1 | |a Intensionale Logik |0 (DE-588)4161959-6 |D s |
| 689 | 1 | |5 DE-188 | |
| 700 | 1 | |a Lappin, Shalom |e Verfasser |0 (DE-588)1077224141 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-0-470-77354-3 |w (DE-604)BV043387781 |
| 856 | 4 | |u http://www.loc.gov/catdir/toc/ecip0510/2005010277.html |3 Table of contents | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013224412&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-013224412 | |
Record in the Search Index
| _version_ | 1818685543893958656 |
|---|---|
| adam_text |
Contents
Preface xi
List of Abbreviations xv
1 Introduction i
1.1 Montague's Intensional Logic 4
1.2 Architectural Features of IL 7
1.3 Structure of the Book 9
2 Alternative Approaches to Fine Grained
Intensionality 13
2.1 An Algebraic Representation of Possible
Worlds Semantics 13
2.2 Two Strategies for Hyperintensionalism 19
2.3 Thomason's Intentional Logic 23
2.4 Bealer's Intensional Logic 25
2.5 Structured Meanings and Interpreted Logical
Forms 28
2.6 Landman's Data Semantics 30
2.7 Situation Semantics and Infon Algebras 31
2.8 Situations as Partial Models 33
2.9 Topos Semantics 34
2.10 Conclusion 37
viii Contents
3 Intensions as Primitives 38
3.1 A Simple Intensional Theory 39
3.2 Types and Sorts 44
3.3 Abstraction and Application 45
3.4 PT: An Untyped Theory 46
3.5 Intensionality in FIL and PTCT 53
3.6 Conclusion 54
4 A Higher Order, Fine Grained Intensional
Logic 56
4.1 Introduction 57
4.2 Fine Grained Intensional Logic yj
4.3 A Semantics for FIL 64
4.4 Conclusion 69
5 Property Theory with Curry Typing 70
5.1 PTCT: A Curry Typed Theory 72
5.2 PTCT: Syntax of the Basic Theory 74
5.3 A Proof Theory for PTCT 75
5.4 Example Proof 84
5.5 Extending the Type System 85
5.6 Intensional Identity vs. Extensional
Equivalence 94
5.7 A Model Theory for PTCT 96
5.8 Types and Properties 103
5.9 Separation Types and Internal Type
Judgements 104
5.10 Truth as a Type 108
5.11 Conclusion 108
6 Number Theory and Cardinality 110
6.1 Proportional Cardinality Quantifiers 111
6.2 Peano Arithmetic 113
6.3 Number Theory in FIL 115
6.4 Proportional Generalized Quantifiers in FIL 115
6.5 Number Theory in PTCT 116
6.6 Proportional Generalized Quantifiers in
PTCT 118
6.7 Presburger Arithmetic 119
Contents ix
6.8 Presburger Arithmetic in PTCT 120
6.9 Conclusion 121
7 Anaphora and Ellipsis 123
7.1 A Type Theoretical Approach to Anaphora 124
7.2 Ellipsis in PTCT 127
7.3 Comparison with Other Type Theoretical
Approaches 130
7.4 Conclusion 133
8 Underspecified Interpretations 134
8.1 Underspecified Representations 135
8.2 Comparison with Other Theories 144
8.3 Conclusion 148
9 Expressive Power and Formal Strength 150
9.1 Decidability and Completeness 150
9.2 Arguments for Higher Order Theories 152
9.3 Arguments against Higher Order Theories 153
9.4 Self application, Stratification and
Impredicativity 155
9.5 First Order Status and Finite Cardinality 156
9.6 Relevance of PTCT to Computational
Semantics 161
9.7 Conclusion 161
10 Conclusion 163
10.1 Montague Semantics and the Architecture of
Semantic Theory 163
10.2 Algebraic Semantics and Fine Grained
Alternatives to MS 164
10.3 A Conservative Revision of MS 165
10.4 Enriching Property Theory with Curry
Typing 166
10.5 An Intensional Number Theory 167
10.6 A Dynamic Type Theoretic Account of
Anaphora and Ellipsis 168
10.7 Underspecified Interpretations as A Terms
of the Representation Language 169
x Contents
10.8 PTCT and Computational Semantics:
Directions for Future Work 170
Bibliography 172
Author Index 181
Subject Index 183 |
| any_adam_object | 1 |
| author | Fox, Chris 1965- Lappin, Shalom |
| author_GND | (DE-588)17339955X (DE-588)1077224141 |
| author_facet | Fox, Chris 1965- Lappin, Shalom |
| author_role | aut aut |
| author_sort | Fox, Chris 1965- |
| author_variant | c f cf s l sl |
| building | Verbundindex |
| bvnumber | BV019936943 |
| callnumber-first | P - Language and Literature |
| callnumber-label | P325 |
| callnumber-raw | P325 |
| callnumber-search | P325 |
| callnumber-sort | P 3325 |
| callnumber-subject | P - Philology and Linguistics |
| classification_rvk | CC 2600 ET 440 |
| ctrlnum | (OCoLC)59098689 (DE-599)BVBBV019936943 |
| dewey-full | 401/.43 401.43 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 401 - Philosophy and theory |
| dewey-raw | 401/.43 401.43 |
| dewey-search | 401/.43 401.43 |
| dewey-sort | 3401 243 |
| dewey-tens | 400 - Language |
| discipline | Sprachwissenschaft Philosophie Literaturwissenschaft |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV019936943</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20241217</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">050726s2005 xxu |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2005010277</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">063123375X</subfield><subfield code="c">hardcover : alk. paper</subfield><subfield code="9">0-631-23375-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0631233768</subfield><subfield code="c">pbk. : alk. paper</subfield><subfield code="9">0-631-23376-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780631233756</subfield><subfield code="9">978-0-631-23375-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780631233763</subfield><subfield code="9">978-0-631-23376-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)59098689</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019936943</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">P325</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">401/.43</subfield><subfield code="2">22</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">401.43</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</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="100" ind1="1" ind2=" "><subfield code="a">Fox, Chris</subfield><subfield code="d">1965-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)17339955X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of intensional semantics</subfield><subfield code="c">Chris Fox and Shalom Lappin</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Malden, Mass. [u.a.]</subfield><subfield code="b">Blackwell</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 192 S.</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="650" ind1=" " ind2="7"><subfield code="a">Informatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intensionele logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantiek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sémantique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sémantique (Philosophie)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sémantique - Informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics (Philosophy)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intension (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intensionale Logik</subfield><subfield code="0">(DE-588)4161959-6</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="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="689" ind1="0" ind2="0"><subfield code="a">Intensionale Logik</subfield><subfield code="0">(DE-588)4161959-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</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">Intensionale Logik</subfield><subfield code="0">(DE-588)4161959-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lappin, Shalom</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1077224141</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-0-470-77354-3</subfield><subfield code="w">(DE-604)BV043387781</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/toc/ecip0510/2005010277.html</subfield><subfield code="3">Table of contents</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</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=013224412&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013224412</subfield></datafield></record></collection> |
| id | DE-604.BV019936943 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-17T11:08:12Z |
| institution | BVB |
| isbn | 063123375X 0631233768 9780631233756 9780631233763 |
| language | English |
| lccn | 2005010277 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013224412 |
| oclc_num | 59098689 |
| open_access_boolean | |
| owner | DE-20 DE-12 DE-19 DE-BY-UBM DE-11 DE-188 |
| owner_facet | DE-20 DE-12 DE-19 DE-BY-UBM DE-11 DE-188 |
| physical | XIII, 192 S. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Blackwell |
| record_format | marc |
| spelling | Fox, Chris 1965- Verfasser (DE-588)17339955X aut Foundations of intensional semantics Chris Fox and Shalom Lappin 1. publ. Malden, Mass. [u.a.] Blackwell 2005 XIII, 192 S. txt rdacontent n rdamedia nc rdacarrier Informatica gtt Intensionele logica gtt Semantiek gtt Sémantique Sémantique (Philosophie) Sémantique - Informatique Datenverarbeitung Semantik Semantics Semantics (Philosophy) Intension (Logic) Semantics Data processing Intensionale Logik (DE-588)4161959-6 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Computerlinguistik (DE-588)4035843-4 gnd rswk-swf Intensionale Logik (DE-588)4161959-6 s Computerlinguistik (DE-588)4035843-4 s DE-604 Semantik (DE-588)4054490-4 s DE-188 Lappin, Shalom Verfasser (DE-588)1077224141 aut Erscheint auch als Online-Ausgabe 978-0-470-77354-3 (DE-604)BV043387781 http://www.loc.gov/catdir/toc/ecip0510/2005010277.html Table of contents HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013224412&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Fox, Chris 1965- Lappin, Shalom Foundations of intensional semantics Informatica gtt Intensionele logica gtt Semantiek gtt Sémantique Sémantique (Philosophie) Sémantique - Informatique Datenverarbeitung Semantik Semantics Semantics (Philosophy) Intension (Logic) Semantics Data processing Intensionale Logik (DE-588)4161959-6 gnd Semantik (DE-588)4054490-4 gnd Computerlinguistik (DE-588)4035843-4 gnd |
| subject_GND | (DE-588)4161959-6 (DE-588)4054490-4 (DE-588)4035843-4 |
| title | Foundations of intensional semantics |
| title_auth | Foundations of intensional semantics |
| title_exact_search | Foundations of intensional semantics |
| title_full | Foundations of intensional semantics Chris Fox and Shalom Lappin |
| title_fullStr | Foundations of intensional semantics Chris Fox and Shalom Lappin |
| title_full_unstemmed | Foundations of intensional semantics Chris Fox and Shalom Lappin |
| title_short | Foundations of intensional semantics |
| title_sort | foundations of intensional semantics |
| topic | Informatica gtt Intensionele logica gtt Semantiek gtt Sémantique Sémantique (Philosophie) Sémantique - Informatique Datenverarbeitung Semantik Semantics Semantics (Philosophy) Intension (Logic) Semantics Data processing Intensionale Logik (DE-588)4161959-6 gnd Semantik (DE-588)4054490-4 gnd Computerlinguistik (DE-588)4035843-4 gnd |
| topic_facet | Informatica Intensionele logica Semantiek Sémantique Sémantique (Philosophie) Sémantique - Informatique Datenverarbeitung Semantik Semantics Semantics (Philosophy) Intension (Logic) Semantics Data processing Intensionale Logik Computerlinguistik |
| url | http://www.loc.gov/catdir/toc/ecip0510/2005010277.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013224412&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT foxchris foundationsofintensionalsemantics AT lappinshalom foundationsofintensionalsemantics |