The logic in philosophy of science:
Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
2019
|
| Subjects: | |
| Online Access: | BSB01 UBG01 Volltext |
| Summary: | Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are ineffective against a semantic approach to scientific theories; W. V. O. Quine claimed that the distinction between analytic and synthetic truths is trivialized by the fact that any theory can be reduced to one in which all truths are analytic. This book dissects these and other arguments through in-depth investigation of the mathematical facts undergirding them. It presents a systematic, mathematically rigorous account of the key notions arising from such debates, including theory, equivalence, translation, reduction, and model. The result is a far-reaching reconceptualization of the role of formal methods in answering philosophical questions |
| Item Description: | Title from publisher's bibliographic system (viewed on 05 Jul 2019) |
| Physical Description: | 1 Online-Ressource (viii, 296 Seiten) |
| ISBN: | 9781316275603 |
| DOI: | 10.1017/9781316275603 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV046117688 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 190827s2019 |||| o||u| ||||||eng d | ||
| 020 | |a 9781316275603 |c Online |9 978-1-316-27560-3 | ||
| 024 | 7 | |a 10.1017/9781316275603 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781316275603 | ||
| 035 | |a (OCoLC)1118995712 | ||
| 035 | |a (DE-599)BVBBV046117688 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-473 | ||
| 082 | 0 | |a 501 | |
| 100 | 1 | |a Halvorson, Hans |d 1973- |0 (DE-588)1013415280 |4 aut | |
| 245 | 1 | 0 | |a The logic in philosophy of science |c Hans Halvorson |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2019 | |
| 300 | |a 1 Online-Ressource (viii, 296 Seiten) | ||
| 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 Jul 2019) | ||
| 520 | |a Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are ineffective against a semantic approach to scientific theories; W. V. O. Quine claimed that the distinction between analytic and synthetic truths is trivialized by the fact that any theory can be reduced to one in which all truths are analytic. This book dissects these and other arguments through in-depth investigation of the mathematical facts undergirding them. It presents a systematic, mathematically rigorous account of the key notions arising from such debates, including theory, equivalence, translation, reduction, and model. The result is a far-reaching reconceptualization of the role of formal methods in answering philosophical questions | ||
| 650 | 4 | |a Science / Philosophy | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-107-11099-1 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781316275603 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-031498157 | ||
| 966 | e | |u https://doi.org/10.1017/9781316275603 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781316275603 |l UBG01 |p ZDB-20-CBO |q UBG_PDA_CBO |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804180437354938368 |
|---|---|
| any_adam_object | |
| author | Halvorson, Hans 1973- |
| author_GND | (DE-588)1013415280 |
| author_facet | Halvorson, Hans 1973- |
| author_role | aut |
| author_sort | Halvorson, Hans 1973- |
| author_variant | h h hh |
| building | Verbundindex |
| bvnumber | BV046117688 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781316275603 (OCoLC)1118995712 (DE-599)BVBBV046117688 |
| dewey-full | 501 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 501 - Philosophy and theory |
| dewey-raw | 501 |
| dewey-search | 501 |
| dewey-sort | 3501 |
| dewey-tens | 500 - Natural sciences and mathematics |
| discipline | Allgemeine Naturwissenschaft |
| doi_str_mv | 10.1017/9781316275603 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02470nmm a2200385zc 4500</leader><controlfield tag="001">BV046117688</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">190827s2019 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316275603</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-316-27560-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781316275603</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781316275603</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1118995712</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046117688</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">501</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Halvorson, Hans</subfield><subfield code="d">1973-</subfield><subfield code="0">(DE-588)1013415280</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The logic in philosophy of science</subfield><subfield code="c">Hans Halvorson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (viii, 296 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="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Jul 2019)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are ineffective against a semantic approach to scientific theories; W. V. O. Quine claimed that the distinction between analytic and synthetic truths is trivialized by the fact that any theory can be reduced to one in which all truths are analytic. This book dissects these and other arguments through in-depth investigation of the mathematical facts undergirding them. It presents a systematic, mathematically rigorous account of the key notions arising from such debates, including theory, equivalence, translation, reduction, and model. The result is a far-reaching reconceptualization of the role of formal methods in answering philosophical questions</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Science / Philosophy</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-1-107-11099-1</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781316275603</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031498157</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781316275603</subfield><subfield code="l">BSB01</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/9781316275603</subfield><subfield code="l">UBG01</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.BV046117688 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:35:45Z |
| institution | BVB |
| isbn | 9781316275603 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031498157 |
| oclc_num | 1118995712 |
| open_access_boolean | |
| owner | DE-12 DE-473 DE-BY-UBG |
| owner_facet | DE-12 DE-473 DE-BY-UBG |
| physical | 1 Online-Ressource (viii, 296 Seiten) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO UBG_PDA_CBO |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Halvorson, Hans 1973- (DE-588)1013415280 aut The logic in philosophy of science Hans Halvorson Cambridge Cambridge University Press 2019 1 Online-Ressource (viii, 296 Seiten) txt rdacontent c rdamedia cr rdacarrier Title from publisher's bibliographic system (viewed on 05 Jul 2019) Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are ineffective against a semantic approach to scientific theories; W. V. O. Quine claimed that the distinction between analytic and synthetic truths is trivialized by the fact that any theory can be reduced to one in which all truths are analytic. This book dissects these and other arguments through in-depth investigation of the mathematical facts undergirding them. It presents a systematic, mathematically rigorous account of the key notions arising from such debates, including theory, equivalence, translation, reduction, and model. The result is a far-reaching reconceptualization of the role of formal methods in answering philosophical questions Science / Philosophy Erscheint auch als Druck-Ausgabe 978-1-107-11099-1 https://doi.org/10.1017/9781316275603 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Halvorson, Hans 1973- The logic in philosophy of science Science / Philosophy |
| title | The logic in philosophy of science |
| title_auth | The logic in philosophy of science |
| title_exact_search | The logic in philosophy of science |
| title_full | The logic in philosophy of science Hans Halvorson |
| title_fullStr | The logic in philosophy of science Hans Halvorson |
| title_full_unstemmed | The logic in philosophy of science Hans Halvorson |
| title_short | The logic in philosophy of science |
| title_sort | the logic in philosophy of science |
| topic | Science / Philosophy |
| topic_facet | Science / Philosophy |
| url | https://doi.org/10.1017/9781316275603 |
| work_keys_str_mv | AT halvorsonhans thelogicinphilosophyofscience |