Formal semantics: an introduction
"This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to M...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge u.a.
Cambridge Univ. Press
1993
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Cambridge textbooks in linguistics
|
| Schlagworte: | |
| Zusammenfassung: | "This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intensional logic. It covers all the major aspects, including set theory, propositional logic, type theory, lambda abstraction, traditional and generalised quantifiers, inference, tense and aspect, possible worlds semantics, and intensionality. Throughout the emphasis is on the use of logical tools for linguistic semantics, rather than on purely logical topics, and the introductory chapter situates formal semantics within the general framework of linguistic semantics. It assumes some basic knowledge of linguistics, but aims to be as non-technical as possible within a technical subject. Formal semantics will be welcomed by students of linguistics, artificial intelligence and cognitive science alike."--BOOK JACKET. |
| Beschreibung: | XVII, 344 S. Ill., graph. Darst. |
| ISBN: | 0521374634 0521376106 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008164007 | ||
| 003 | DE-604 | ||
| 005 | 19950111 | ||
| 007 | t | ||
| 008 | 930809s1993 ad|| |||| 00||| eng d | ||
| 020 | |a 0521374634 |9 0-521-37463-4 | ||
| 020 | |a 0521376106 |9 0-521-37610-6 | ||
| 035 | |a (OCoLC)25628732 | ||
| 035 | |a (DE-599)BVBBV008164007 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-355 |a DE-20 |a DE-29 |a DE-384 |a DE-19 |a DE-473 |a DE-12 |a DE-824 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a P325 | |
| 082 | 0 | |a 401/.43 |2 20 | |
| 084 | |a ET 400 |0 (DE-625)27979: |2 rvk | ||
| 084 | |a ET 430 |0 (DE-625)27984: |2 rvk | ||
| 084 | |a ET 440 |0 (DE-625)27985: |2 rvk | ||
| 100 | 1 | |a Cann, Ronnie |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Formal semantics |b an introduction |c Ronnie Cann |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge u.a. |b Cambridge Univ. Press |c 1993 | |
| 300 | |a XVII, 344 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Cambridge textbooks in linguistics | |
| 520 | 1 | |a "This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intensional logic. It covers all the major aspects, including set theory, propositional logic, type theory, lambda abstraction, traditional and generalised quantifiers, inference, tense and aspect, possible worlds semantics, and intensionality. Throughout the emphasis is on the use of logical tools for linguistic semantics, rather than on purely logical topics, and the introductory chapter situates formal semantics within the general framework of linguistic semantics. It assumes some basic knowledge of linguistics, but aims to be as non-technical as possible within a technical subject. Formal semantics will be welcomed by students of linguistics, artificial intelligence and cognitive science alike."--BOOK JACKET. | |
| 650 | 7 | |a Formele semantiek |2 gtt | |
| 650 | 7 | |a Semantica |2 larpcal | |
| 650 | 4 | |a Semántica (Filosofía) | |
| 650 | 4 | |a Sémantique | |
| 650 | 4 | |a Sémantique (Philosophie) | |
| 650 | 4 | |a Semantics | |
| 650 | 4 | |a Semantics (Philosophy) | |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005386484 | ||
Datensatz im Suchindex
| _version_ | 1804122546375753728 |
|---|---|
| any_adam_object | |
| author | Cann, Ronnie |
| author_facet | Cann, Ronnie |
| author_role | aut |
| author_sort | Cann, Ronnie |
| author_variant | r c rc |
| building | Verbundindex |
| bvnumber | BV008164007 |
| 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 | ET 400 ET 430 ET 440 |
| ctrlnum | (OCoLC)25628732 (DE-599)BVBBV008164007 |
| 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 243 |
| dewey-tens | 400 - Language |
| discipline | Sprachwissenschaft Literaturwissenschaft |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02538nam a2200481 c 4500</leader><controlfield tag="001">BV008164007</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950111 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930809s1993 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521374634</subfield><subfield code="9">0-521-37463-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521376106</subfield><subfield code="9">0-521-37610-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25628732</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008164007</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-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-83</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">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ET 400</subfield><subfield code="0">(DE-625)27979:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ET 430</subfield><subfield code="0">(DE-625)27984:</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">Cann, Ronnie</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal semantics</subfield><subfield code="b">an introduction</subfield><subfield code="c">Ronnie Cann</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge u.a.</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 344 S.</subfield><subfield code="b">Ill., 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">Cambridge textbooks in linguistics</subfield></datafield><datafield tag="520" ind1="1" ind2=" "><subfield code="a">"This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intensional logic. It covers all the major aspects, including set theory, propositional logic, type theory, lambda abstraction, traditional and generalised quantifiers, inference, tense and aspect, possible worlds semantics, and intensionality. Throughout the emphasis is on the use of logical tools for linguistic semantics, rather than on purely logical topics, and the introductory chapter situates formal semantics within the general framework of linguistic semantics. It assumes some basic knowledge of linguistics, but aims to be as non-technical as possible within a technical subject. Formal semantics will be welcomed by students of linguistics, artificial intelligence and cognitive science alike."--BOOK JACKET.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formele semantiek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantica</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semántica (Filosofía)</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">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics (Philosophy)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005386484</subfield></datafield></record></collection> |
| id | DE-604.BV008164007 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:15:36Z |
| institution | BVB |
| isbn | 0521374634 0521376106 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005386484 |
| oclc_num | 25628732 |
| open_access_boolean | |
| owner | DE-739 DE-355 DE-BY-UBR DE-20 DE-29 DE-384 DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-12 DE-824 DE-83 DE-11 DE-188 |
| owner_facet | DE-739 DE-355 DE-BY-UBR DE-20 DE-29 DE-384 DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-12 DE-824 DE-83 DE-11 DE-188 |
| physical | XVII, 344 S. Ill., graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series2 | Cambridge textbooks in linguistics |
| spelling | Cann, Ronnie Verfasser aut Formal semantics an introduction Ronnie Cann 1. publ. Cambridge u.a. Cambridge Univ. Press 1993 XVII, 344 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Cambridge textbooks in linguistics "This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intensional logic. It covers all the major aspects, including set theory, propositional logic, type theory, lambda abstraction, traditional and generalised quantifiers, inference, tense and aspect, possible worlds semantics, and intensionality. Throughout the emphasis is on the use of logical tools for linguistic semantics, rather than on purely logical topics, and the introductory chapter situates formal semantics within the general framework of linguistic semantics. It assumes some basic knowledge of linguistics, but aims to be as non-technical as possible within a technical subject. Formal semantics will be welcomed by students of linguistics, artificial intelligence and cognitive science alike."--BOOK JACKET. Formele semantiek gtt Semantica larpcal Semántica (Filosofía) Sémantique Sémantique (Philosophie) Semantics Semantics (Philosophy) Formale Semantik (DE-588)4122144-8 gnd rswk-swf Formale Semantik (DE-588)4122144-8 s DE-604 |
| spellingShingle | Cann, Ronnie Formal semantics an introduction Formele semantiek gtt Semantica larpcal Semántica (Filosofía) Sémantique Sémantique (Philosophie) Semantics Semantics (Philosophy) Formale Semantik (DE-588)4122144-8 gnd |
| subject_GND | (DE-588)4122144-8 |
| title | Formal semantics an introduction |
| title_auth | Formal semantics an introduction |
| title_exact_search | Formal semantics an introduction |
| title_full | Formal semantics an introduction Ronnie Cann |
| title_fullStr | Formal semantics an introduction Ronnie Cann |
| title_full_unstemmed | Formal semantics an introduction Ronnie Cann |
| title_short | Formal semantics |
| title_sort | formal semantics an introduction |
| title_sub | an introduction |
| topic | Formele semantiek gtt Semantica larpcal Semántica (Filosofía) Sémantique Sémantique (Philosophie) Semantics Semantics (Philosophy) Formale Semantik (DE-588)4122144-8 gnd |
| topic_facet | Formele semantiek Semantica Semántica (Filosofía) Sémantique Sémantique (Philosophie) Semantics Semantics (Philosophy) Formale Semantik |
| work_keys_str_mv | AT cannronnie formalsemanticsanintroduction |