Language, form, and logic: in pursuit of natural logic's holy grail
This book takes an idea first explored by medieval logicians 800 years ago and revisits it armed with the tools of contemporary linguistics, logic, and computer science. The idea - the Holy Grail of the medieval logicians - was the thought that all of logic could be reduced to two very simple rules...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Oxford
Oxford University Press
2022
|
| Ausgabe: | First edition |
| Schlagworte: | |
| Zusammenfassung: | This book takes an idea first explored by medieval logicians 800 years ago and revisits it armed with the tools of contemporary linguistics, logic, and computer science. The idea - the Holy Grail of the medieval logicians - was the thought that all of logic could be reduced to two very simple rules that are sensitive to logical polarity (for example, the presence and absence of negations). Ludlow and Živanovic pursue this idea and show how it has profound consequences for our understanding of the nature of human inferential capacities. They also show its consequences for some of the deepest issues in contemporary linguistics, including the nature of quantification, puzzles about discourse anaphora and pragmatics, and even insights into the source of aboutness in natural language. The key to their enterprise is a formal relation they call "p-scope" - a polarity-sensitiverelation that controls the operations that can be carried out in their Dynamic Deductive System. They show that with p-scope in play, deductions can be carried out using sublogical operations like those they call COPY and PRUNE - operations that are simple syntactic operations on sentences. Theyprove that the resulting deductive system is complete and sound.The result is a beautiful formal tapestry in which p-scope unlocks important properties of natural language, including the property of "restrictedness," which they prove to be equivalent to the semantic notion of conservativity. More than that, they show that restrictedness is also a key to understanding quantification and discourse anaphora, and many other linguistic phenomena |
| Beschreibung: | 1 Online-Ressource (xiv, 362 Seiten) |
| ISBN: | 9780191954009 |
Internformat
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV048318458 | ||
| 003 | DE-604 | ||
| 005 | 20220913 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 220707s2022 |||| o||u| ||||||eng d | ||
| 020 | |a 9780191954009 |9 978-0-19-195400-9 | ||
| 035 | |a (OCoLC)1344268313 | ||
| 035 | |a (DE-599)BVBBV048318458 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 100 | 1 | |a Ludlow, Peter |d 1957- |e Verfasser |0 (DE-588)124474519 |4 aut | |
| 245 | 1 | 0 | |a Language, form, and logic |b in pursuit of natural logic's holy grail |c Peter Ludlow and Sašo Živanovic |
| 250 | |a First edition | ||
| 264 | 1 | |a Oxford |b Oxford University Press |c 2022 | |
| 300 | |a 1 Online-Ressource (xiv, 362 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a This book takes an idea first explored by medieval logicians 800 years ago and revisits it armed with the tools of contemporary linguistics, logic, and computer science. The idea - the Holy Grail of the medieval logicians - was the thought that all of logic could be reduced to two very simple rules that are sensitive to logical polarity (for example, the presence and absence of negations). Ludlow and Živanovic pursue this idea and show how it has profound consequences for our understanding of the nature of human inferential capacities. They also show its consequences for some of the deepest issues in contemporary linguistics, including the nature of quantification, puzzles about discourse anaphora and pragmatics, and even insights into the source of aboutness in natural language. The key to their enterprise is a formal relation they call "p-scope" - a polarity-sensitiverelation that controls the operations that can be carried out in their Dynamic Deductive System. They show that with p-scope in play, deductions can be carried out using sublogical operations like those they call COPY and PRUNE - operations that are simple syntactic operations on sentences. Theyprove that the resulting deductive system is complete and sound.The result is a beautiful formal tapestry in which p-scope unlocks important properties of natural language, including the property of "restrictedness," which they prove to be equivalent to the semantic notion of conservativity. More than that, they show that restrictedness is also a key to understanding quantification and discourse anaphora, and many other linguistic phenomena | ||
| 650 | 0 | 7 | |a Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Schlussfolgern |0 (DE-588)4251178-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Sprachphilosophie |0 (DE-588)4056486-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Deduktion |0 (DE-588)4011271-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Linguistik |0 (DE-588)4074250-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Linguistik |0 (DE-588)4074250-7 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 2 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | 1 | |a Schlussfolgern |0 (DE-588)4251178-1 |D s |
| 689 | 1 | 2 | |a Deduktion |0 (DE-588)4011271-8 |D s |
| 689 | 1 | 3 | |a Linguistik |0 (DE-588)4074250-7 |D s |
| 689 | 1 | 4 | |a Sprachphilosophie |0 (DE-588)4056486-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Živanovic, Sašo |d 1978- |e Verfasser |0 (DE-588)1266132058 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-0-19-959153-4 |
| 912 | |a ZDB-28-OSD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-033697872 | ||
Datensatz im Suchindex
| _version_ | 1804184174165229569 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Ludlow, Peter 1957- Živanovic, Sašo 1978- |
| author_GND | (DE-588)124474519 (DE-588)1266132058 |
| author_facet | Ludlow, Peter 1957- Živanovic, Sašo 1978- |
| author_role | aut aut |
| author_sort | Ludlow, Peter 1957- |
| author_variant | p l pl s ž sž |
| building | Verbundindex |
| bvnumber | BV048318458 |
| collection | ZDB-28-OSD |
| ctrlnum | (OCoLC)1344268313 (DE-599)BVBBV048318458 |
| edition | First edition |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03471nmm a2200505 c 4500</leader><controlfield tag="001">BV048318458</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220913 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">220707s2022 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780191954009</subfield><subfield code="9">978-0-19-195400-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1344268313</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048318458</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-83</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ludlow, Peter</subfield><subfield code="d">1957-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124474519</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Language, form, and logic</subfield><subfield code="b">in pursuit of natural logic's holy grail</subfield><subfield code="c">Peter Ludlow and Sašo Živanovic</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">First edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">2022</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiv, 362 Seiten)</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="520" ind1=" " ind2=" "><subfield code="a">This book takes an idea first explored by medieval logicians 800 years ago and revisits it armed with the tools of contemporary linguistics, logic, and computer science. The idea - the Holy Grail of the medieval logicians - was the thought that all of logic could be reduced to two very simple rules that are sensitive to logical polarity (for example, the presence and absence of negations). Ludlow and Živanovic pursue this idea and show how it has profound consequences for our understanding of the nature of human inferential capacities. They also show its consequences for some of the deepest issues in contemporary linguistics, including the nature of quantification, puzzles about discourse anaphora and pragmatics, and even insights into the source of aboutness in natural language. The key to their enterprise is a formal relation they call "p-scope" - a polarity-sensitiverelation that controls the operations that can be carried out in their Dynamic Deductive System. They show that with p-scope in play, deductions can be carried out using sublogical operations like those they call COPY and PRUNE - operations that are simple syntactic operations on sentences. Theyprove that the resulting deductive system is complete and sound.The result is a beautiful formal tapestry in which p-scope unlocks important properties of natural language, including the property of "restrictedness," which they prove to be equivalent to the semantic notion of conservativity. More than that, they show that restrictedness is also a key to understanding quantification and discourse anaphora, and many other linguistic phenomena</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</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">Schlussfolgern</subfield><subfield code="0">(DE-588)4251178-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sprachphilosophie</subfield><subfield code="0">(DE-588)4056486-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deduktion</subfield><subfield code="0">(DE-588)4011271-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Linguistik</subfield><subfield code="0">(DE-588)4074250-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Linguistik</subfield><subfield code="0">(DE-588)4074250-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Schlussfolgern</subfield><subfield code="0">(DE-588)4251178-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Deduktion</subfield><subfield code="0">(DE-588)4011271-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Linguistik</subfield><subfield code="0">(DE-588)4074250-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">Sprachphilosophie</subfield><subfield code="0">(DE-588)4056486-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Živanovic, Sašo</subfield><subfield code="d">1978-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1266132058</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-0-19-959153-4</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-28-OSD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033697872</subfield></datafield></record></collection> |
| id | DE-604.BV048318458 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T20:11:17Z |
| indexdate | 2024-07-10T09:35:08Z |
| institution | BVB |
| isbn | 9780191954009 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033697872 |
| oclc_num | 1344268313 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | 1 Online-Ressource (xiv, 362 Seiten) |
| psigel | ZDB-28-OSD |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Oxford University Press |
| record_format | marc |
| spelling | Ludlow, Peter 1957- Verfasser (DE-588)124474519 aut Language, form, and logic in pursuit of natural logic's holy grail Peter Ludlow and Sašo Živanovic First edition Oxford Oxford University Press 2022 1 Online-Ressource (xiv, 362 Seiten) txt rdacontent c rdamedia cr rdacarrier This book takes an idea first explored by medieval logicians 800 years ago and revisits it armed with the tools of contemporary linguistics, logic, and computer science. The idea - the Holy Grail of the medieval logicians - was the thought that all of logic could be reduced to two very simple rules that are sensitive to logical polarity (for example, the presence and absence of negations). Ludlow and Živanovic pursue this idea and show how it has profound consequences for our understanding of the nature of human inferential capacities. They also show its consequences for some of the deepest issues in contemporary linguistics, including the nature of quantification, puzzles about discourse anaphora and pragmatics, and even insights into the source of aboutness in natural language. The key to their enterprise is a formal relation they call "p-scope" - a polarity-sensitiverelation that controls the operations that can be carried out in their Dynamic Deductive System. They show that with p-scope in play, deductions can be carried out using sublogical operations like those they call COPY and PRUNE - operations that are simple syntactic operations on sentences. Theyprove that the resulting deductive system is complete and sound.The result is a beautiful formal tapestry in which p-scope unlocks important properties of natural language, including the property of "restrictedness," which they prove to be equivalent to the semantic notion of conservativity. More than that, they show that restrictedness is also a key to understanding quantification and discourse anaphora, and many other linguistic phenomena Philosophie (DE-588)4045791-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Schlussfolgern (DE-588)4251178-1 gnd rswk-swf Sprachphilosophie (DE-588)4056486-1 gnd rswk-swf Deduktion (DE-588)4011271-8 gnd rswk-swf Linguistik (DE-588)4074250-7 gnd rswk-swf Linguistik (DE-588)4074250-7 s Logik (DE-588)4036202-4 s Philosophie (DE-588)4045791-6 s DE-604 Schlussfolgern (DE-588)4251178-1 s Deduktion (DE-588)4011271-8 s Sprachphilosophie (DE-588)4056486-1 s Živanovic, Sašo 1978- Verfasser (DE-588)1266132058 aut Erscheint auch als Druck-Ausgabe 978-0-19-959153-4 |
| spellingShingle | Ludlow, Peter 1957- Živanovic, Sašo 1978- Language, form, and logic in pursuit of natural logic's holy grail Philosophie (DE-588)4045791-6 gnd Logik (DE-588)4036202-4 gnd Schlussfolgern (DE-588)4251178-1 gnd Sprachphilosophie (DE-588)4056486-1 gnd Deduktion (DE-588)4011271-8 gnd Linguistik (DE-588)4074250-7 gnd |
| subject_GND | (DE-588)4045791-6 (DE-588)4036202-4 (DE-588)4251178-1 (DE-588)4056486-1 (DE-588)4011271-8 (DE-588)4074250-7 |
| title | Language, form, and logic in pursuit of natural logic's holy grail |
| title_auth | Language, form, and logic in pursuit of natural logic's holy grail |
| title_exact_search | Language, form, and logic in pursuit of natural logic's holy grail |
| title_exact_search_txtP | Language, form, and logic in pursuit of natural logic's holy grail |
| title_full | Language, form, and logic in pursuit of natural logic's holy grail Peter Ludlow and Sašo Živanovic |
| title_fullStr | Language, form, and logic in pursuit of natural logic's holy grail Peter Ludlow and Sašo Živanovic |
| title_full_unstemmed | Language, form, and logic in pursuit of natural logic's holy grail Peter Ludlow and Sašo Živanovic |
| title_short | Language, form, and logic |
| title_sort | language form and logic in pursuit of natural logic s holy grail |
| title_sub | in pursuit of natural logic's holy grail |
| topic | Philosophie (DE-588)4045791-6 gnd Logik (DE-588)4036202-4 gnd Schlussfolgern (DE-588)4251178-1 gnd Sprachphilosophie (DE-588)4056486-1 gnd Deduktion (DE-588)4011271-8 gnd Linguistik (DE-588)4074250-7 gnd |
| topic_facet | Philosophie Logik Schlussfolgern Sprachphilosophie Deduktion Linguistik |
| work_keys_str_mv | AT ludlowpeter languageformandlogicinpursuitofnaturallogicsholygrail AT zivanovicsaso languageformandlogicinpursuitofnaturallogicsholygrail |