Construction of logical space:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oxford
Oxford University Press
2015
|
| Edition: | First published in paperback |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | xix, 220 Seiten |
| ISBN: | 9780198747987 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV045294697 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 181116s2015 |||| 00||| eng d | ||
| 020 | |a 9780198747987 |c Pbk. |9 978-0-19-874798-7 | ||
| 035 | |a (OCoLC)1073148611 | ||
| 035 | |a (DE-599)BVBBV045294697 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Rayo, Agustín |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Construction of logical space |c Agustín Rayo |
| 250 | |a First published in paperback | ||
| 264 | 1 | |a Oxford |b Oxford University Press |c 2015 | |
| 300 | |a xix, 220 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 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 Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 1 | 1 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 775 | 0 | 8 | |i Äquivalent |n Hardcover |z 978-0-19-966262-3 |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030681992&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030681992 | ||
Record in the Search Index
| _version_ | 1804179074914975744 |
|---|---|
| adam_text | Contents
Part I Main Texts
1. Language and Metaphysics 3
1.1 The‘Just is’-Operatot 4
1.2 Metaphysicalism 5
1.2.1 Metaphysical Structure 8
1.2.2 Bad Philosophy of Language 10
1.2.3 Moderate Metaphysicalism 11
1.3 Compositionalism 13
1.3.1 ‘Just is’-Statements in Metaphysics 18
1.3.2 Avoiding the Metaphysicalist Legacy 21
1.4 Life as an Anti-Metaphysicalist 23
1.5 Absolute Generality 27
1.6 Conclusion 33
2. Logical Space 35
2.1 Accepting a‘Just is’-Statement 35
2.1.1 The Big Picture 35
2.1.2 World and Language 38
2.1.3 The Upshot 43
2.1.4 Objective Naturalness 44
2.2 Connections 48
2.2.1 Metaphysical Possibility 48
2.2.2 Metaphysical Inconsistency 50
2.2.3 Truth-Conditions 52
2.2.4 Why-Closure 54
2.3 Truth and Falsity for ‘Just is’-Statements 56
2.3.1 Truth and Correctness 57
2.3.2 Deploying the Wrong Distinctions 59
2.3.3 Objective Correctness? 63
2.3.4 Unity 64
2.4 Formal Constraints 66
2.5 Conclusion 71
73
3. Mathematics
xviii CONTENTS
3.1 Preliminaries
3.2 Neo-Fregeanism ^6
3.2.1 Varieties of Neo-Fregeanism 76
3.2.2 Abstraction Principles 78
3.2.3 Mixed Identities 80
3.2.4 Bad Company 81
3.3 A Semantics for Trivialists 82
3.3.1 The Semantics 83
3.3.2 Technical Commentary 84
3.3.3 Philosophical Commentary 85
3.4 Beyond Arithmetic 87
3.4.1 Set-Theory 89
3.4.2 The Iterative Conception of Sets 90
3.4.3 Paraphrase 94
3.5 Conclusion 96
4. Cognitive Accomplishment in Logic and Mathematics 97
4.1 Benacerraf s Dilemma 98
4.2 A New Puzzle 99
4.3 Fragmentation 104
4.4 Belief Reports 112
4.5 Independent Motivation H5
4.6 Conclusion 118
Part II Detours
5. Possibility 121
5.1 A Sketch of the Proposal 121
5.2 An Unlewisian Account of Possibility 127
5.2.1 The Principle of Recombination 127
5.2.2 Lewisian Worlds 130
5.2.3 The Upshot 137
5.3 The Details 137
5.3.1 Basic Statements 138
5.3.2 The Extension Theorem 138
5.3.3 The List of Modal Truths 140
5.4 Reduction 142
5.5 Limitations 144
5.5.1 Modal Language and Modal Fact 144
5.5.2 Higher-Order Languages 146
5.6 Conclusion ^47
6. d.-worlds and the Dot-Notation 150
CONTENTS XIX
6.1 Introduction 150
6.2 Possibility 152
6.3 A Kripke-Semantics for Actualists 153
6.4 Admissibility 157
6.5 Interlude: The Principle of Representation 160
6.6 The Dot-Notation 162
6.7 Inference in a Language with the Dot-Notation 164
6.8 The Expressive Power of the Dot-Notation 166
6.9 Limitations of the Proposal 169
7. Paraphrase 171
7.1 Paraphrase-Functions 172
7.2 Higher-Order Languages 172
7.3 Languages of Very High Order 173
7.4 Infinitary Languages 174
7.5 Intensional Operators 176
7.6 Conclusion 178
8. Introducing Mathematical Vocabulary 180
8.1 Linguistic Stipulation for Compositionalists 180
8.2 Success Conditions 182
8.2.1 Pure Stipulations 183
8.2.2 Internal Coherence 184
8.2.3 Applied Mathematics 185
8.3 Conclusion 187
Part III Appendices
A. A Semantics for a Language with the Dot-Notation 191
B. If Lewis Can Say It, You Can Too 195
C. The Canonical Space of Worlds 200
References 209
Index 217
|
| any_adam_object | 1 |
| author | Rayo, Agustín |
| author_facet | Rayo, Agustín |
| author_role | aut |
| author_sort | Rayo, Agustín |
| author_variant | a r ar |
| building | Verbundindex |
| bvnumber | BV045294697 |
| classification_rvk | CC 2500 |
| ctrlnum | (OCoLC)1073148611 (DE-599)BVBBV045294697 |
| discipline | Philosophie |
| edition | First published in paperback |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01533nam a2200409 c 4500</leader><controlfield tag="001">BV045294697</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">181116s2015 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198747987</subfield><subfield code="c">Pbk.</subfield><subfield code="9">978-0-19-874798-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1073148611</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045294697</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-355</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rayo, Agustín</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Construction of logical space</subfield><subfield code="c">Agustín Rayo</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">First published in paperback</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xix, 220 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">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="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">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="775" ind1="0" ind2="8"><subfield code="i">Äquivalent</subfield><subfield code="n">Hardcover</subfield><subfield code="z">978-0-19-966262-3</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - 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=030681992&sequence=000002&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-030681992</subfield></datafield></record></collection> |
| id | DE-604.BV045294697 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:14:05Z |
| institution | BVB |
| isbn | 9780198747987 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030681992 |
| oclc_num | 1073148611 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR |
| owner_facet | DE-355 DE-BY-UBR |
| physical | xix, 220 Seiten |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Oxford University Press |
| record_format | marc |
| spelling | Rayo, Agustín Verfasser aut Construction of logical space Agustín Rayo First published in paperback Oxford Oxford University Press 2015 xix, 220 Seiten txt rdacontent n rdamedia nc rdacarrier Philosophie (DE-588)4045791-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Logik (DE-588)4036202-4 s DE-604 Mathematik (DE-588)4037944-9 s Philosophie (DE-588)4045791-6 s Äquivalent Hardcover 978-0-19-966262-3 Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030681992&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Rayo, Agustín Construction of logical space Philosophie (DE-588)4045791-6 gnd Logik (DE-588)4036202-4 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4045791-6 (DE-588)4036202-4 (DE-588)4037944-9 |
| title | Construction of logical space |
| title_auth | Construction of logical space |
| title_exact_search | Construction of logical space |
| title_full | Construction of logical space Agustín Rayo |
| title_fullStr | Construction of logical space Agustín Rayo |
| title_full_unstemmed | Construction of logical space Agustín Rayo |
| title_short | Construction of logical space |
| title_sort | construction of logical space |
| topic | Philosophie (DE-588)4045791-6 gnd Logik (DE-588)4036202-4 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Philosophie Logik Mathematik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030681992&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT rayoagustin constructionoflogicalspace |