Propositions: ontology and logic
"A defense of an ontology of propositions and of some logical resources for representing them. It begins with an austere formulation of a theory of propositions in a first-order extensional logic, but then uses the commitments of this theory to justify an enrichment to modal logic - the logic o...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Oxford University Press
[2023]
|
| Schriftenreihe: | The Rutgers lectures in philosophy
3 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Zusammenfassung: | "A defense of an ontology of propositions and of some logical resources for representing them. It begins with an austere formulation of a theory of propositions in a first-order extensional logic, but then uses the commitments of this theory to justify an enrichment to modal logic - the logic of necessity and possibility - as an appropriate framework for regimented languages that are constructed to represent any of our scientific and philosophical commitments. Both the proof-theory and the model theory of a first-order quantified modal logic are developed in detail, and it is argued that these formal resources help to sharpen questions about ontology and predication. The clarification of predication helps to provide a motivation for extending our ontological commitment to properties and relations that are expressed by predicates, and for extending the logic to a higher-order modal logic that provides a conception of metaphysical modality that allows for the contingent existence, not only of persons and physical objects, but also of properties, relations and propositions. Even though both the specific ontological commitments defended (to propositions, properties and relations) and the logical resources that are used to defend them (modal and higher-order logic) were famously rejected by W. V. Quine, the book adopts a self-consciously neo-Quinean methodology, and argues that the theory that is developed helps to motivate and clarify Quine's naturalistic metaphysical picture"-- |
| Beschreibung: | Erscheint voraussichtlich am 16. März 2023 |
| Beschreibung: | xvi, 196 Seiten 21 cm |
| ISBN: | 9780197647035 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV048814815 | ||
| 003 | DE-604 | ||
| 005 | 20230613 | ||
| 007 | t | ||
| 008 | 230214s2023 |||| 00||| eng d | ||
| 020 | |a 9780197647035 |9 978-0-19-764703-5 | ||
| 035 | |a (OCoLC)1385293511 | ||
| 035 | |a (DE-599)BVBBV048814815 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 | ||
| 100 | 1 | |a Stalnaker, Robert |d 1940- |e Verfasser |0 (DE-588)133299678 |4 aut | |
| 245 | 1 | 0 | |a Propositions |b ontology and logic |c Robert Stalnaker |
| 264 | 1 | |a New York, NY |b Oxford University Press |c [2023] | |
| 300 | |a xvi, 196 Seiten |c 21 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a The Rutgers lectures in philosophy |v 3 | |
| 500 | |a Erscheint voraussichtlich am 16. März 2023 | ||
| 505 | 8 | |a The Quinean legacy -- Propositions -- Predicates and predication -- First-order modal logic, and a first-order theory of propositions -- Properties and relations -- Possible worlds and possible individuals | |
| 520 | 3 | |a "A defense of an ontology of propositions and of some logical resources for representing them. It begins with an austere formulation of a theory of propositions in a first-order extensional logic, but then uses the commitments of this theory to justify an enrichment to modal logic - the logic of necessity and possibility - as an appropriate framework for regimented languages that are constructed to represent any of our scientific and philosophical commitments. Both the proof-theory and the model theory of a first-order quantified modal logic are developed in detail, and it is argued that these formal resources help to sharpen questions about ontology and predication. The clarification of predication helps to provide a motivation for extending our ontological commitment to properties and relations that are expressed by predicates, and for extending the logic to a higher-order modal logic that provides a conception of metaphysical modality that allows for the contingent existence, not only of persons and physical objects, but also of properties, relations and propositions. Even though both the specific ontological commitments defended (to propositions, properties and relations) and the logical resources that are used to defend them (modal and higher-order logic) were famously rejected by W. V. Quine, the book adopts a self-consciously neo-Quinean methodology, and argues that the theory that is developed helps to motivate and clarify Quine's naturalistic metaphysical picture"-- | |
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Aussage |0 (DE-588)4003809-9 |2 gnd |9 rswk-swf |
| 653 | 0 | |a Proposition (Logique) | |
| 653 | 0 | |a Proposition (Logic) | |
| 689 | 0 | 0 | |a Aussage |0 (DE-588)4003809-9 |D s |
| 689 | 0 | 1 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-0-19-764705-9 |
| 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=034080663&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034080663 | ||
Datensatz im Suchindex
| _version_ | 1804184902370852864 |
|---|---|
| adam_text | Contents Series Editor Forward Acknowledgments vii xiii Introduction 1 1. The Quinean Legacy 7 2. Propositions 43 3. Predicates and Predication 66 4. First-Order Modal Logic and a First-Order Theory ofPropositions 87 5. Properties and Relations 127 6. Possible Worlds and Possible Individuals 166 References Index 185 189
|
| adam_txt |
Contents Series Editor Forward Acknowledgments vii xiii Introduction 1 1. The Quinean Legacy 7 2. Propositions 43 3. Predicates and Predication 66 4. First-Order Modal Logic and a First-Order Theory ofPropositions 87 5. Properties and Relations 127 6. Possible Worlds and Possible Individuals 166 References Index 185 189 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Stalnaker, Robert 1940- |
| author_GND | (DE-588)133299678 |
| author_facet | Stalnaker, Robert 1940- |
| author_role | aut |
| author_sort | Stalnaker, Robert 1940- |
| author_variant | r s rs |
| building | Verbundindex |
| bvnumber | BV048814815 |
| contents | The Quinean legacy -- Propositions -- Predicates and predication -- First-order modal logic, and a first-order theory of propositions -- Properties and relations -- Possible worlds and possible individuals |
| ctrlnum | (OCoLC)1385293511 (DE-599)BVBBV048814815 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03270nam a2200409 cb4500</leader><controlfield tag="001">BV048814815</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230613 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">230214s2023 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780197647035</subfield><subfield code="9">978-0-19-764703-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1385293511</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048814815</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="100" ind1="1" ind2=" "><subfield code="a">Stalnaker, Robert</subfield><subfield code="d">1940-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)133299678</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Propositions</subfield><subfield code="b">ontology and logic</subfield><subfield code="c">Robert Stalnaker</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">[2023]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xvi, 196 Seiten</subfield><subfield code="c">21 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="490" ind1="0" ind2=" "><subfield code="a">The Rutgers lectures in philosophy</subfield><subfield code="v">3</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Erscheint voraussichtlich am 16. März 2023</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">The Quinean legacy -- Propositions -- Predicates and predication -- First-order modal logic, and a first-order theory of propositions -- Properties and relations -- Possible worlds and possible individuals</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">"A defense of an ontology of propositions and of some logical resources for representing them. It begins with an austere formulation of a theory of propositions in a first-order extensional logic, but then uses the commitments of this theory to justify an enrichment to modal logic - the logic of necessity and possibility - as an appropriate framework for regimented languages that are constructed to represent any of our scientific and philosophical commitments. Both the proof-theory and the model theory of a first-order quantified modal logic are developed in detail, and it is argued that these formal resources help to sharpen questions about ontology and predication. The clarification of predication helps to provide a motivation for extending our ontological commitment to properties and relations that are expressed by predicates, and for extending the logic to a higher-order modal logic that provides a conception of metaphysical modality that allows for the contingent existence, not only of persons and physical objects, but also of properties, relations and propositions. Even though both the specific ontological commitments defended (to propositions, properties and relations) and the logical resources that are used to defend them (modal and higher-order logic) were famously rejected by W. V. Quine, the book adopts a self-consciously neo-Quinean methodology, and argues that the theory that is developed helps to motivate and clarify Quine's naturalistic metaphysical picture"--</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aussage</subfield><subfield code="0">(DE-588)4003809-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Proposition (Logique)</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Proposition (Logic)</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Aussage</subfield><subfield code="0">(DE-588)4003809-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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">978-0-19-764705-9</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=034080663&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034080663</subfield></datafield></record></collection> |
| id | DE-604.BV048814815 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T21:31:14Z |
| indexdate | 2024-07-10T09:46:43Z |
| institution | BVB |
| isbn | 9780197647035 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034080663 |
| oclc_num | 1385293511 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | xvi, 196 Seiten 21 cm |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Oxford University Press |
| record_format | marc |
| series2 | The Rutgers lectures in philosophy |
| spelling | Stalnaker, Robert 1940- Verfasser (DE-588)133299678 aut Propositions ontology and logic Robert Stalnaker New York, NY Oxford University Press [2023] xvi, 196 Seiten 21 cm txt rdacontent n rdamedia nc rdacarrier The Rutgers lectures in philosophy 3 Erscheint voraussichtlich am 16. März 2023 The Quinean legacy -- Propositions -- Predicates and predication -- First-order modal logic, and a first-order theory of propositions -- Properties and relations -- Possible worlds and possible individuals "A defense of an ontology of propositions and of some logical resources for representing them. It begins with an austere formulation of a theory of propositions in a first-order extensional logic, but then uses the commitments of this theory to justify an enrichment to modal logic - the logic of necessity and possibility - as an appropriate framework for regimented languages that are constructed to represent any of our scientific and philosophical commitments. Both the proof-theory and the model theory of a first-order quantified modal logic are developed in detail, and it is argued that these formal resources help to sharpen questions about ontology and predication. The clarification of predication helps to provide a motivation for extending our ontological commitment to properties and relations that are expressed by predicates, and for extending the logic to a higher-order modal logic that provides a conception of metaphysical modality that allows for the contingent existence, not only of persons and physical objects, but also of properties, relations and propositions. Even though both the specific ontological commitments defended (to propositions, properties and relations) and the logical resources that are used to defend them (modal and higher-order logic) were famously rejected by W. V. Quine, the book adopts a self-consciously neo-Quinean methodology, and argues that the theory that is developed helps to motivate and clarify Quine's naturalistic metaphysical picture"-- Modallogik (DE-588)4074914-9 gnd rswk-swf Aussage (DE-588)4003809-9 gnd rswk-swf Proposition (Logique) Proposition (Logic) Aussage (DE-588)4003809-9 s Modallogik (DE-588)4074914-9 s DE-604 Erscheint auch als Online-Ausgabe 978-0-19-764705-9 Digitalisierung BSB München - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=034080663&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Stalnaker, Robert 1940- Propositions ontology and logic The Quinean legacy -- Propositions -- Predicates and predication -- First-order modal logic, and a first-order theory of propositions -- Properties and relations -- Possible worlds and possible individuals Modallogik (DE-588)4074914-9 gnd Aussage (DE-588)4003809-9 gnd |
| subject_GND | (DE-588)4074914-9 (DE-588)4003809-9 |
| title | Propositions ontology and logic |
| title_auth | Propositions ontology and logic |
| title_exact_search | Propositions ontology and logic |
| title_exact_search_txtP | Propositions ontology and logic |
| title_full | Propositions ontology and logic Robert Stalnaker |
| title_fullStr | Propositions ontology and logic Robert Stalnaker |
| title_full_unstemmed | Propositions ontology and logic Robert Stalnaker |
| title_short | Propositions |
| title_sort | propositions ontology and logic |
| title_sub | ontology and logic |
| topic | Modallogik (DE-588)4074914-9 gnd Aussage (DE-588)4003809-9 gnd |
| topic_facet | Modallogik Aussage |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=034080663&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT stalnakerrobert propositionsontologyandlogic |