The semantic conception of logic: essays on consequence, invariance, and meaning
Gespeichert in:
| Weitere beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge ; New York, NY
Cambridge University Press
2021
|
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033021984&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Abstract: | "The semantic tradition makes languages and their interpretations the objects of formal study. It has flourished through the development of model theory, initially used by Tarski for the formal explication of the notions of truth and logical consequence. Since the midst of the twentieth century, model theory has had tremendous impact in mathematics, computer science, linguistics and philosophy. In mathematics, model theory started as a foundational discipline and was typically concerned with the study of consistency, compactness and completeness. Since then, it has turned its focus to the systematic organization of mathematical theories through applications in various fields from number theory to algebraic geometry"-- |
| Umfang: | x, 294 Seiten 24 cm |
| ISBN: | 9781108422543 |
Internformat
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV047637725 | ||
| 003 | DE-604 | ||
| 005 | 20220125 | ||
| 007 | t| | ||
| 008 | 211213s2021 xx b||| 00||| eng d | ||
| 020 | |a 9781108422543 |9 978-1-108-42254-3 | ||
| 035 | |a (OCoLC)1296329167 | ||
| 035 | |a (DE-599)BVBBV047637725 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 | ||
| 245 | 1 | 0 | |a The semantic conception of logic |b essays on consequence, invariance, and meaning |c edited by Gil Sagi (University of Haifa, Israel), Jack Woods (university of Leeds) |
| 264 | 1 | |a Cambridge ; New York, NY |b Cambridge University Press |c 2021 | |
| 300 | |a x, 294 Seiten |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 505 | 8 | |a Introduction: The semantic conception of logic : problems and prospects / Gil Sagi and Jack Woods -- Invariance and logicality in perspective / Gila Sher -- The problem of logical constants and the semantic tradition : from invariantist views to a pragmatic account / Mario Gómez-Torrente -- The ways of logicality : invariance and categoricity / Denis Bonnay and Sebastian G.W. Speitel -- Invariance without extensionality / Beau Madison Mount -- There might be a paradox of logical validity after all / Roy T Cook -- Semantic perspectives in logic / Johan van Benthem -- Overgeneration in the higher infinite / Luca Incurvati and Salvatore Florio -- Propositional logics of logical truth / A.C. Paseau and Owen Griffiths -- Reinterpreting logic / Alexandra Zinke -- Models, model theory, and modeling / Michael Glanzberg -- On being trivial : grammar vs. logic / Gennaro Chierchia -- Grammaticality and meaning shift / Márta Abrusán, Nicholas Asher and Tim Van de Cruys | |
| 520 | 3 | |a "The semantic tradition makes languages and their interpretations the objects of formal study. It has flourished through the development of model theory, initially used by Tarski for the formal explication of the notions of truth and logical consequence. Since the midst of the twentieth century, model theory has had tremendous impact in mathematics, computer science, linguistics and philosophy. In mathematics, model theory started as a foundational discipline and was typically concerned with the study of consistency, compactness and completeness. Since then, it has turned its focus to the systematic organization of mathematical theories through applications in various fields from number theory to algebraic geometry"-- | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zahlentheorie |0 (DE-588)4067277-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 653 | 0 | |a Model theory | |
| 653 | 0 | |a Semantics (Philosophy) | |
| 653 | 0 | |a Invariants | |
| 653 | 0 | |a Computational linguistics | |
| 653 | 0 | |a Logic, Symbolic and mathematical | |
| 653 | 0 | |a MATHEMATICS / Logic | |
| 653 | 0 | |a Semantics (Philosophy) | |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 0 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | 2 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 3 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 4 | |a Zahlentheorie |0 (DE-588)4067277-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Sagi, Gil |d ca. 20./21. Jh. |0 (DE-588)1242061622 |4 edt | |
| 700 | 1 | |a Woods, Jack |d 1979- |0 (DE-588)1242061967 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 9781108524919 |
| 856 | 4 | 2 | |m Digitalisierung BSB München - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033021984&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-033021984 | |
Datensatz im Suchindex
| _version_ | 1819346103687970816 |
|---|---|
| adam_text | Contents List ofFigures List of Tables List of Contributors Acknowledgements page vii viii ix x The Semantic Conception of Logic: Problems and Prospects i Gil Sagi and Jack Woods PART I 1 INVARIANCE CRITERIA FOR LOGICALITY Invariance and Logicality in Perspective II 13 Gila Sher 2 The Problem of Logical Constants and the Semantic Tradition: From InvariantistViews to a Pragmatic Account 35 Mario Gámez-Torrente 3 The Ways of Logicality: Invariance and Categoricity 55 Denis Bonnay and Sebastian G. W. Speitel 4 Invariance without Extensionality 80 Beau Madison Mount 5 There Might Be a Paradox of Logical Validity after All 97 Roy T Cook PART II 6 CRITIQUES AND APPLICATIONS OF THE SEMANTIC APPROACH Semantic Perspectives in Logic Johan van Benthem IIJ 117
vi 7 Contents Overgeneration in the Higher Infinite 142 Salvatore Fiorio and Luca Incurvati 8 Propositional Logics of Truth by Logical Form 160 A. C. Paseau and Owen Griffiths 9 Reinterpreting Logic 186 Alexandra Zinke PART III 10 LOGIC AND NATURAL LANGUAGE Models, Model Theory, and Modeling 20J 209 Michael Gknzberg и On Being Trivial: Grammar vs. Logic 227 Gennaro Chierchia 12 Grammaticality and Meaning Shift 249 Márta Abrusdn, Nicholas Asher and Tim Van de Cruys Bibliography Index 2֊77 292
|
| any_adam_object | 1 |
| author2 | Sagi, Gil ca. 20./21. Jh Woods, Jack 1979- |
| author2_role | edt edt |
| author2_variant | g s gs j w jw |
| author_GND | (DE-588)1242061622 (DE-588)1242061967 |
| author_facet | Sagi, Gil ca. 20./21. Jh Woods, Jack 1979- |
| building | Verbundindex |
| bvnumber | BV047637725 |
| contents | Introduction: The semantic conception of logic : problems and prospects / Gil Sagi and Jack Woods -- Invariance and logicality in perspective / Gila Sher -- The problem of logical constants and the semantic tradition : from invariantist views to a pragmatic account / Mario Gómez-Torrente -- The ways of logicality : invariance and categoricity / Denis Bonnay and Sebastian G.W. Speitel -- Invariance without extensionality / Beau Madison Mount -- There might be a paradox of logical validity after all / Roy T Cook -- Semantic perspectives in logic / Johan van Benthem -- Overgeneration in the higher infinite / Luca Incurvati and Salvatore Florio -- Propositional logics of logical truth / A.C. Paseau and Owen Griffiths -- Reinterpreting logic / Alexandra Zinke -- Models, model theory, and modeling / Michael Glanzberg -- On being trivial : grammar vs. logic / Gennaro Chierchia -- Grammaticality and meaning shift / Márta Abrusán, Nicholas Asher and Tim Van de Cruys |
| ctrlnum | (OCoLC)1296329167 (DE-599)BVBBV047637725 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03930nam a22005418c 4500</leader><controlfield tag="001">BV047637725</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220125 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">211213s2021 xx b||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781108422543</subfield><subfield code="9">978-1-108-42254-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1296329167</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047637725</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></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The semantic conception of logic</subfield><subfield code="b">essays on consequence, invariance, and meaning</subfield><subfield code="c">edited by Gil Sagi (University of Haifa, Israel), Jack Woods (university of Leeds)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge ; New York, NY</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">x, 294 Seiten</subfield><subfield code="c">24 cm</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="505" ind1="8" ind2=" "><subfield code="a">Introduction: The semantic conception of logic : problems and prospects / Gil Sagi and Jack Woods -- Invariance and logicality in perspective / Gila Sher -- The problem of logical constants and the semantic tradition : from invariantist views to a pragmatic account / Mario Gómez-Torrente -- The ways of logicality : invariance and categoricity / Denis Bonnay and Sebastian G.W. Speitel -- Invariance without extensionality / Beau Madison Mount -- There might be a paradox of logical validity after all / Roy T Cook -- Semantic perspectives in logic / Johan van Benthem -- Overgeneration in the higher infinite / Luca Incurvati and Salvatore Florio -- Propositional logics of logical truth / A.C. Paseau and Owen Griffiths -- Reinterpreting logic / Alexandra Zinke -- Models, model theory, and modeling / Michael Glanzberg -- On being trivial : grammar vs. logic / Gennaro Chierchia -- Grammaticality and meaning shift / Márta Abrusán, Nicholas Asher and Tim Van de Cruys</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">"The semantic tradition makes languages and their interpretations the objects of formal study. It has flourished through the development of model theory, initially used by Tarski for the formal explication of the notions of truth and logical consequence. Since the midst of the twentieth century, model theory has had tremendous impact in mathematics, computer science, linguistics and philosophy. In mathematics, model theory started as a foundational discipline and was typically concerned with the study of consistency, compactness and completeness. Since then, it has turned its focus to the systematic organization of mathematical theories through applications in various fields from number theory to algebraic geometry"--</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">Zahlentheorie</subfield><subfield code="0">(DE-588)4067277-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</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">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Model theory</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Semantics (Philosophy)</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Invariants</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computational linguistics</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">MATHEMATICS / Logic</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Semantics (Philosophy)</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</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="2"><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="3"><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="4"><subfield code="a">Zahlentheorie</subfield><subfield code="0">(DE-588)4067277-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sagi, Gil</subfield><subfield code="d">ca. 20./21. Jh.</subfield><subfield code="0">(DE-588)1242061622</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Woods, Jack</subfield><subfield code="d">1979-</subfield><subfield code="0">(DE-588)1242061967</subfield><subfield code="4">edt</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">9781108524919</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung BSB München - 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=033021984&sequence=000001&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-033021984</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV047637725 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T19:24:47Z |
| institution | BVB |
| isbn | 9781108422543 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033021984 |
| oclc_num | 1296329167 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | x, 294 Seiten 24 cm |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Cambridge University Press |
| record_format | marc |
| spellingShingle | The semantic conception of logic essays on consequence, invariance, and meaning Introduction: The semantic conception of logic : problems and prospects / Gil Sagi and Jack Woods -- Invariance and logicality in perspective / Gila Sher -- The problem of logical constants and the semantic tradition : from invariantist views to a pragmatic account / Mario Gómez-Torrente -- The ways of logicality : invariance and categoricity / Denis Bonnay and Sebastian G.W. Speitel -- Invariance without extensionality / Beau Madison Mount -- There might be a paradox of logical validity after all / Roy T Cook -- Semantic perspectives in logic / Johan van Benthem -- Overgeneration in the higher infinite / Luca Incurvati and Salvatore Florio -- Propositional logics of logical truth / A.C. Paseau and Owen Griffiths -- Reinterpreting logic / Alexandra Zinke -- Models, model theory, and modeling / Michael Glanzberg -- On being trivial : grammar vs. logic / Gennaro Chierchia -- Grammaticality and meaning shift / Márta Abrusán, Nicholas Asher and Tim Van de Cruys Mathematische Logik (DE-588)4037951-6 gnd Zahlentheorie (DE-588)4067277-3 gnd Modelltheorie (DE-588)4114617-7 gnd Logik (DE-588)4036202-4 gnd Semantik (DE-588)4054490-4 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4067277-3 (DE-588)4114617-7 (DE-588)4036202-4 (DE-588)4054490-4 (DE-588)4143413-4 |
| title | The semantic conception of logic essays on consequence, invariance, and meaning |
| title_auth | The semantic conception of logic essays on consequence, invariance, and meaning |
| title_exact_search | The semantic conception of logic essays on consequence, invariance, and meaning |
| title_full | The semantic conception of logic essays on consequence, invariance, and meaning edited by Gil Sagi (University of Haifa, Israel), Jack Woods (university of Leeds) |
| title_fullStr | The semantic conception of logic essays on consequence, invariance, and meaning edited by Gil Sagi (University of Haifa, Israel), Jack Woods (university of Leeds) |
| title_full_unstemmed | The semantic conception of logic essays on consequence, invariance, and meaning edited by Gil Sagi (University of Haifa, Israel), Jack Woods (university of Leeds) |
| title_short | The semantic conception of logic |
| title_sort | the semantic conception of logic essays on consequence invariance and meaning |
| title_sub | essays on consequence, invariance, and meaning |
| topic | Mathematische Logik (DE-588)4037951-6 gnd Zahlentheorie (DE-588)4067277-3 gnd Modelltheorie (DE-588)4114617-7 gnd Logik (DE-588)4036202-4 gnd Semantik (DE-588)4054490-4 gnd |
| topic_facet | Mathematische Logik Zahlentheorie Modelltheorie Logik Semantik Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033021984&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT sagigil thesemanticconceptionoflogicessaysonconsequenceinvarianceandmeaning AT woodsjack thesemanticconceptionoflogicessaysonconsequenceinvarianceandmeaning |