What logics mean from proof theory to model-theoretic semantics
What do the rules of logic say about the meanings of the symbols they govern? In this book, James W. Garson examines the inferential behaviour of logical connectives (such as 'and', 'or', 'not' and 'if … then'), whose behaviour is defined by strict rules, and...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2013
|
| Schlagworte: | |
| Online-Zugang: | DE-12 DE-473 URL des Erstveröffentlichers |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043924533 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161202s2013 xx o|||| 00||| eng d | ||
| 020 | |a 9781139856461 |c Online |9 978-1-139-85646-1 | ||
| 024 | 7 | |a 10.1017/CBO9781139856461 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781139856461 | ||
| 035 | |a (OCoLC)949923020 | ||
| 035 | |a (DE-599)BVBBV043924533 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-473 | ||
| 082 | 0 | |a 160 |2 23 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 100 | 1 | |a Garson, James W. |d 1943- |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a What logics mean |b from proof theory to model-theoretic semantics |c James W. Garson |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2013 | |
| 300 | |a 1 online resource (xv, 285 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 520 | |a What do the rules of logic say about the meanings of the symbols they govern? In this book, James W. Garson examines the inferential behaviour of logical connectives (such as 'and', 'or', 'not' and 'if … then'), whose behaviour is defined by strict rules, and proves definitive results concerning exactly what those rules express about connective truth conditions. He explores the ways in which, depending on circumstances, a system of rules may provide no interpretation of a connective at all, or the interpretation we ordinarily expect for it, or an unfamiliar or novel interpretation. He also shows how the novel interpretations thus generated may be used to help analyse philosophical problems such as vagueness and the open future. His book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language | ||
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Semantics | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Metalogik |0 (DE-588)4169642-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Metalogik |0 (DE-588)4169642-6 |D s |
| 689 | 0 | 2 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-1-107-03910-0 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-1-107-61196-2 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9781139856461 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029333612 | |
| 966 | e | |u https://doi.org/10.1017/CBO9781139856461 |l DE-12 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9781139856461 |l DE-473 |p ZDB-20-CBO |q UBG_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1819298657668694016 |
|---|---|
| any_adam_object | |
| author | Garson, James W. 1943- |
| author_facet | Garson, James W. 1943- |
| author_role | aut |
| author_sort | Garson, James W. 1943- |
| author_variant | j w g jw jwg |
| building | Verbundindex |
| bvnumber | BV043924533 |
| classification_rvk | CC 2600 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781139856461 (OCoLC)949923020 (DE-599)BVBBV043924533 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| doi_str_mv | 10.1017/CBO9781139856461 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02964nam a2200529zc 4500</leader><controlfield tag="001">BV043924533</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161202s2013 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139856461</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-139-85646-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9781139856461</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781139856461</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)949923020</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043924533</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</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="100" ind1="1" ind2=" "><subfield code="a">Garson, James W.</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">What logics mean</subfield><subfield code="b">from proof theory to model-theoretic semantics</subfield><subfield code="c">James W. Garson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xv, 285 pages)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">What do the rules of logic say about the meanings of the symbols they govern? In this book, James W. Garson examines the inferential behaviour of logical connectives (such as 'and', 'or', 'not' and 'if … then'), whose behaviour is defined by strict rules, and proves definitive results concerning exactly what those rules express about connective truth conditions. He explores the ways in which, depending on circumstances, a system of rules may provide no interpretation of a connective at all, or the interpretation we ordinarily expect for it, or an unfamiliar or novel interpretation. He also shows how the novel interpretations thus generated may be used to help analyse philosophical problems such as vagueness and the open future. His book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Metalogik</subfield><subfield code="0">(DE-588)4169642-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Metalogik</subfield><subfield code="0">(DE-588)4169642-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-1-107-03910-0</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-1-107-61196-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9781139856461</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029333612</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9781139856461</subfield><subfield code="l">DE-12</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9781139856461</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UBG_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043924533 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-24T05:33:23Z |
| institution | BVB |
| isbn | 9781139856461 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029333612 |
| oclc_num | 949923020 |
| open_access_boolean | |
| owner | DE-12 DE-473 DE-BY-UBG |
| owner_facet | DE-12 DE-473 DE-BY-UBG |
| physical | 1 online resource (xv, 285 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO UBG_PDA_CBO |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Garson, James W. 1943- Verfasser aut What logics mean from proof theory to model-theoretic semantics James W. Garson Cambridge Cambridge University Press 2013 1 online resource (xv, 285 pages) txt rdacontent c rdamedia cr rdacarrier Title from publisher's bibliographic system (viewed on 05 Oct 2015) What do the rules of logic say about the meanings of the symbols they govern? In this book, James W. Garson examines the inferential behaviour of logical connectives (such as 'and', 'or', 'not' and 'if … then'), whose behaviour is defined by strict rules, and proves definitive results concerning exactly what those rules express about connective truth conditions. He explores the ways in which, depending on circumstances, a system of rules may provide no interpretation of a connective at all, or the interpretation we ordinarily expect for it, or an unfamiliar or novel interpretation. He also shows how the novel interpretations thus generated may be used to help analyse philosophical problems such as vagueness and the open future. His book will be valuable for graduates and specialists in logic, philosophy of logic, and philosophy of language Logic Semantics Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Metalogik (DE-588)4169642-6 gnd rswk-swf Formale Semantik (DE-588)4122144-8 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Metalogik (DE-588)4169642-6 s Formale Semantik (DE-588)4122144-8 s 1\p DE-604 Erscheint auch als Druckausgabe 978-1-107-03910-0 Erscheint auch als Druckausgabe 978-1-107-61196-2 https://doi.org/10.1017/CBO9781139856461 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Garson, James W. 1943- What logics mean from proof theory to model-theoretic semantics Logic Semantics Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Metalogik (DE-588)4169642-6 gnd Formale Semantik (DE-588)4122144-8 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4169642-6 (DE-588)4122144-8 |
| title | What logics mean from proof theory to model-theoretic semantics |
| title_auth | What logics mean from proof theory to model-theoretic semantics |
| title_exact_search | What logics mean from proof theory to model-theoretic semantics |
| title_full | What logics mean from proof theory to model-theoretic semantics James W. Garson |
| title_fullStr | What logics mean from proof theory to model-theoretic semantics James W. Garson |
| title_full_unstemmed | What logics mean from proof theory to model-theoretic semantics James W. Garson |
| title_short | What logics mean |
| title_sort | what logics mean from proof theory to model theoretic semantics |
| title_sub | from proof theory to model-theoretic semantics |
| topic | Logic Semantics Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Metalogik (DE-588)4169642-6 gnd Formale Semantik (DE-588)4122144-8 gnd |
| topic_facet | Logic Semantics Logic, Symbolic and mathematical Mathematische Logik Metalogik Formale Semantik |
| url | https://doi.org/10.1017/CBO9781139856461 |
| work_keys_str_mv | AT garsonjamesw whatlogicsmeanfromprooftheorytomodeltheoreticsemantics |