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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Cann, Ronnie (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Cambridge u.a. Cambridge Univ. Press 1993
Ausgabe:1. publ.
Schriftenreihe:Cambridge textbooks in linguistics
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 c 4500
001 BV008164007
003 DE-604
005 19950111
007 t|
008 930809s1993 xx 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 
943 1 |a oai:aleph.bib-bvb.de:BVB01-005386484 

Datensatz im Suchindex

DE-19_call_number 1408/CAN III 1
0001/8 94-14834
DE-19_location 80
0
DE-BY-UBM_katkey 1191920
DE-BY-UBM_media_number 41022749440011
41612317890014
_version_ 1823050764610699264
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>02539nam 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 xx 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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005386484</subfield></datafield></record></collection>
id DE-604.BV008164007
illustrated Illustrated
indexdate 2025-02-03T16:22:41Z
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
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