Preface |
|
xi | |
|
|
|
1 In Search of Thin Objects |
|
|
3 | (18) |
|
|
3 | (2) |
|
1.2 Coherentist Minimalism |
|
|
5 | (2) |
|
1.3 Abstractionist Minimalism |
|
|
7 | (2) |
|
1.4 The Appeal of Thin Objects |
|
|
9 | (2) |
|
1.5 Sufficiency and Mutual Sufficiency |
|
|
11 | (2) |
|
1.6 Philosophical Constraints |
|
|
13 | (4) |
|
1.7 Two Metaphysical "Pictures" |
|
|
17 | (4) |
|
2 Thin Objects via Criteria of Identity |
|
|
21 | (30) |
|
2.1 My Strategy in a Nutshell |
|
|
21 | (2) |
|
2.2 A Fregean Concept of Object |
|
|
23 | (3) |
|
2.3 Reference to Physical Bodies |
|
|
26 | (4) |
|
|
30 | (3) |
|
2.5 Reference by Abstraction |
|
|
33 | (4) |
|
2.6 Some Objections and Challenges |
|
|
37 | (5) |
|
2.6.1 The bad company problem |
|
|
38 | (1) |
|
2.6.2 Semantics and metasemantics |
|
|
38 | (1) |
|
|
39 | (1) |
|
2.6.4 A clash with Kripke on reference? |
|
|
40 | (1) |
|
2.6.5 Internalism about reference |
|
|
41 | (1) |
|
2.7 A Candidate for the Job |
|
|
42 | (3) |
|
|
45 | (6) |
|
Appendix 2.A Some Conceptions of Criteria of Identity |
|
|
46 | (2) |
|
Appendix 2.B A Negative Free Logic |
|
|
48 | (1) |
|
Appendix 2.C Abstraction on a Partial Equivalence |
|
|
49 | (2) |
|
|
51 | (26) |
|
|
51 | (2) |
|
3.2 Neo-Fregean Abstraction |
|
|
53 | (2) |
|
3.3 How to Expand the Domain |
|
|
55 | (5) |
|
3.4 Static and Dynamic Abstraction Compared |
|
|
60 | (1) |
|
|
61 | (3) |
|
3.6 Absolute Generality Retrieved |
|
|
64 | (2) |
|
3.7 Extensional vs. Intensional Domains |
|
|
66 | (11) |
|
Appendix 3.A Further Questions |
|
|
70 | (1) |
|
3.A.1 The higher-order needs of semantics |
|
|
70 | (1) |
|
3.A.2 Abstraction on intensional entities |
|
|
70 | (1) |
|
3.A.3 The need for a bimodal logic |
|
|
71 | (2) |
|
3.A.4 The correct prepositional logic |
|
|
73 | (1) |
|
Appendix 3.B Proof of the Mirroring Theorem |
|
|
74 | (3) |
|
|
|
4 Abstraction and the Question of Symmetry |
|
|
77 | (10) |
|
|
77 | (2) |
|
|
79 | (2) |
|
4.3 Rayo on "Just is"-Statements |
|
|
81 | (2) |
|
4.4 Abstraction and Worldly Asymmetry |
|
|
83 | (4) |
|
5 Unbearable Lightness of Being |
|
|
87 | (8) |
|
5.1 Ultra-Thin Conceptions of Objecthood |
|
|
87 | (2) |
|
5.2 Logically Acceptable Translations |
|
|
89 | (1) |
|
5.3 Semantically Idle Singular Terms |
|
|
90 | (2) |
|
5.4 Inexplicable Reference |
|
|
92 | (3) |
|
Appendix 5.A Proofs and Another Proposition |
|
|
94 | (1) |
|
6 Predicative vs. Impredicative Abstraction |
|
|
95 | (12) |
|
6.1 The Quest for Innocent Counterparts |
|
|
95 | (1) |
|
6.2 Two Forms of Impredicativity |
|
|
96 | (2) |
|
6.3 Predicative Abstraction |
|
|
98 | (5) |
|
6.3.1 Two-sorted languages |
|
|
98 | (2) |
|
6.3.2 Denning the translation |
|
|
100 | (1) |
|
|
100 | (2) |
|
|
102 | (1) |
|
6.4 Impredicative Abstraction |
|
|
103 | (4) |
|
|
106 | (1) |
|
|
107 | (28) |
|
|
107 | (1) |
|
7.2 How Are the Numbers "Given to Us"? |
|
|
108 | (2) |
|
7.3 The Context Principle in the Grundlagen |
|
|
110 | (4) |
|
7.4 The "Reproduction" of Meaning |
|
|
114 | (3) |
|
7.5 The Context Principle in the Grundgesetze |
|
|
117 | (6) |
|
7.6 Developing Frege's Explanatory Strategy |
|
|
123 | (6) |
|
7.6.1 An ultra-thin conception of reference |
|
|
123 | (1) |
|
7.6.2 Semantically constrained content recarving |
|
|
124 | (3) |
|
7.6.3 Towards a metasemantic interpretation |
|
|
127 | (2) |
|
|
129 | (6) |
|
Appendix 7.A Hale and Fine on Reference by Recarving |
|
|
129 | (6) |
|
|
|
8 Reference by Abstraction |
|
|
135 | (24) |
|
|
135 | (2) |
|
|
137 | (3) |
|
8.3 Two Competing Interpretations |
|
|
140 | (3) |
|
8.4 Why the Non-reductionist Interpretation is Preferable |
|
|
143 | (5) |
|
8.4.1 The principle of charity |
|
|
143 | (1) |
|
8.4.2 The principle of compositionality |
|
|
144 | (2) |
|
8.4.3 Cognitive constraints on an interpretation |
|
|
146 | (2) |
|
8.5 Why the Non-reductionist Interpretation is Available |
|
|
148 | (3) |
|
|
151 | (8) |
|
Appendix 8.A The Assertibility Conditions |
|
|
153 | (2) |
|
Appendix 8.B Comparing the Two Interpretations |
|
|
155 | (1) |
|
Appendix 8.C Internally Representable Abstraction |
|
|
156 | (1) |
|
Appendix 8.D Defining a Sufficiency Operator |
|
|
157 | (2) |
|
9 The Julius Caesar Problem |
|
|
159 | (17) |
|
|
159 | (1) |
|
9.2 What is the Caesar Problem? |
|
|
160 | (2) |
|
9.3 Many-sorted Languages |
|
|
162 | (1) |
|
9.4 Sortals and Categories |
|
|
163 | (3) |
|
9.5 The Uniqueness Thesis |
|
|
166 | (1) |
|
9.6 Hale and Wright's Grundgedanke |
|
|
167 | (2) |
|
9.7 Abstraction and the Merging of Sorts |
|
|
169 | (7) |
|
Appendix 9.A The Assertibility Conditions |
|
|
171 | (2) |
|
Appendix 9.B A Non-reductionist Interpretation |
|
|
173 | (1) |
|
Appendix 9.C Defining a Sufficiency Operator |
|
|
174 | (2) |
|
|
176 | (13) |
|
|
176 | (1) |
|
10.2 The Individuation of the Natural Numbers |
|
|
176 | (2) |
|
10.3 Against the Cardinal Conception |
|
|
178 | (4) |
|
10.3.1 The objection from special numbers |
|
|
179 | (1) |
|
10.3.2 The objection from the philosophy of language |
|
|
180 | (1) |
|
10.3.3 The objection from lack of directness |
|
|
181 | (1) |
|
10.4 Alleged Advantages of the Cardinal Conception |
|
|
182 | (1) |
|
10.5 Developing the Ordinal Conception |
|
|
183 | (2) |
|
10.6 Justifying the Axioms of Arithmetic |
|
|
185 | (4) |
|
11 The Question of Platonism |
|
|
189 | (16) |
|
11.1 Platonism in Mathematics |
|
|
189 | (2) |
|
11.2 Thin Objects and Indefinite Extensibility |
|
|
191 | (1) |
|
|
192 | (3) |
|
11.4 The Significance of Shallow Nature |
|
|
195 | (2) |
|
11.5 How Beliefs are Responsive to Their Truth |
|
|
197 | (4) |
|
11.6 The Epistemology of Mathematics |
|
|
201 | (4) |
|
|
205 | (18) |
|
|
205 | (1) |
|
12.2 Choosing a Modal Logic |
|
|
206 | (2) |
|
12.3 Plural Logic with Modality |
|
|
208 | (3) |
|
|
211 | (3) |
|
12.4.1 The extensionality of sets |
|
|
211 | (1) |
|
12.4.2 The priority of elements to their set |
|
|
212 | (1) |
|
12.4.3 The extensional definiteness of subsethood |
|
|
213 | (1) |
|
12.5 Recovering the Axioms of ZF |
|
|
214 | (9) |
|
12.5.1 From conditions to sets |
|
|
214 | (2) |
|
12.5.2 Basic modal set theory |
|
|
216 | (1) |
|
12.5.3 Full modal set theory |
|
|
217 | (2) |
|
Appendix 12.A Proofs of Formal Results |
|
|
219 | (3) |
|
Appendix 12.B A Harmless Restriction |
|
|
222 | (1) |
Bibliography |
|
223 | (10) |
Index |
|
233 | |