|
|
1 | (14) |
|
|
1 | (3) |
|
1.2 Plurals in mathematics and logic |
|
|
4 | (3) |
|
1.3 Strategies for a logic of plurals |
|
|
7 | (2) |
|
1.4 Manoeuvres of a conservative logician: a case study |
|
|
9 | (3) |
|
|
12 | (3) |
|
|
15 | (18) |
|
2.1 Distributive and collective predication |
|
|
16 | (3) |
|
|
19 | (1) |
|
|
20 | (2) |
|
|
22 | (3) |
|
|
25 | (5) |
|
|
30 | (3) |
|
|
33 | (18) |
|
3.1 Changing the subject to sets |
|
|
34 | (1) |
|
|
35 | (2) |
|
3.3 Against the naive version of changing the subject |
|
|
37 | (1) |
|
3.4 Changing the subject and the predicate |
|
|
37 | (3) |
|
|
40 | (2) |
|
3.6 Changing the subject is simply not on |
|
|
42 | (1) |
|
3.7 Changing the subject in practice |
|
|
42 | (9) |
|
Appendix. Events to the rescue? |
|
|
44 | (7) |
|
|
51 | (22) |
|
4.1 Russell's theory of plural descriptions |
|
|
52 | (4) |
|
4.2 Other predicative analyses |
|
|
56 | (2) |
|
4.3 The equivocity objection |
|
|
58 | (2) |
|
4.4 Boolos's `reciprocal illumination' |
|
|
60 | (1) |
|
4.5 Boolos's second-order representation of plurals |
|
|
61 | (2) |
|
4.6 Boolos and equivocity |
|
|
63 | (1) |
|
4.7 Rumfitt's purified Boolosian scheme |
|
|
64 | (9) |
|
Appendix. Dummett and Frege on plurals |
|
|
65 | (8) |
|
5 Terms---singular and plural |
|
|
73 | (20) |
|
|
74 | (2) |
|
5.2 Varieties of singular term |
|
|
76 | (2) |
|
5.3 Varieties of plural term |
|
|
78 | (2) |
|
5.4 The Russellian idea of singular term |
|
|
80 | (3) |
|
|
83 | (3) |
|
|
86 | (3) |
|
|
89 | (4) |
|
6 The indeterminacy of plural denotation |
|
|
93 | (12) |
|
|
94 | (1) |
|
6.2 Plural descriptions: some elementary facts |
|
|
95 | (1) |
|
6.3 Which account is correct? |
|
|
96 | (1) |
|
|
97 | (2) |
|
6.5 Free relatives and wh--questions |
|
|
99 | (2) |
|
|
101 | (1) |
|
|
102 | (3) |
|
7 Some basic ideas of plural logic |
|
|
105 | (24) |
|
7.1 Variables and quantification |
|
|
106 | (2) |
|
7.2 Inclusion and identity |
|
|
108 | (3) |
|
|
111 | (3) |
|
7.4 Distributive predicates |
|
|
114 | (2) |
|
7.5 Collective predicates |
|
|
116 | (13) |
|
Appendix 1 Ex nihilo nihil fit |
|
|
120 | (6) |
|
Appendix 2 Das Nichts selbst nichtet |
|
|
126 | (3) |
|
|
129 | (20) |
|
8.1 A theory of descriptions |
|
|
130 | (3) |
|
8.2 Formalizing the theory, definability, and ineliminability |
|
|
133 | (3) |
|
8.3 Exercises for the reader |
|
|
136 | (2) |
|
|
138 | (11) |
|
Appendix. Sharvy's theory of descriptions |
|
|
140 | (9) |
|
|
149 | (14) |
|
9.1 Varieties of function |
|
|
150 | (3) |
|
9.2 Mathematicians and logicians |
|
|
153 | (3) |
|
9.3 Functions and relations |
|
|
156 | (2) |
|
9.4 The ambiguity objection |
|
|
158 | (4) |
|
9.5 Proposals for eliminating them |
|
|
162 | (1) |
|
|
163 | (28) |
|
|
163 | (1) |
|
|
164 | (4) |
|
|
168 | (4) |
|
10.4 Places and positions |
|
|
172 | (3) |
|
10.5 Terms vs strings in the literature |
|
|
175 | (2) |
|
|
177 | (14) |
|
Appendix. In defence of multigrade predicates |
|
|
182 | (9) |
|
|
191 | (26) |
|
|
192 | (7) |
|
|
199 | (2) |
|
|
201 | (1) |
|
|
202 | (1) |
|
|
203 | (14) |
|
Appendix. Soundness and completeness proofs |
|
|
207 | (10) |
|
|
217 | (26) |
|
|
218 | (3) |
|
|
221 | (1) |
|
|
222 | (1) |
|
|
223 | (1) |
|
|
224 | (3) |
|
12.6 Relation of mid-plural logic to singular logic |
|
|
227 | (2) |
|
12.7 The algebra of plurals |
|
|
229 | (14) |
|
Appendix. Soundness and completeness proofs |
|
|
232 | (11) |
|
|
243 | (12) |
|
|
243 | (2) |
|
|
245 | (1) |
|
|
246 | (4) |
|
13.4 Partial axiomatization |
|
|
250 | (2) |
|
|
252 | (1) |
|
|
253 | (2) |
|
|
255 | (48) |
|
|
256 | (2) |
|
14.2 Cantor's collections |
|
|
258 | (2) |
|
|
260 | (4) |
|
|
264 | (4) |
|
|
268 | (2) |
|
14.6 A superstructure, not a foundation |
|
|
270 | (5) |
|
14.7 Iterative Cantorian set theory |
|
|
275 | (3) |
|
14.8 Developing the theory |
|
|
278 | (25) |
|
Appendix. The development of the Cantorian theory |
|
|
281 | (22) |
|
15 Higher-level plural logic |
|
|
303 | (16) |
|
15.1 Pseudo-singular terms |
|
|
305 | (2) |
|
15.2 Higher-level plural logic: some basic ideas |
|
|
307 | (2) |
|
|
309 | (2) |
|
|
311 | (2) |
|
|
313 | (1) |
|
15.6 Does set theory rest on a mistake? |
|
|
314 | (5) |
|
Postscript: unfinished business |
|
|
319 | (14) |
|
1 Second-order plural logic |
|
|
319 | (3) |
|
|
322 | (4) |
|
|
326 | (7) |
Principal symbols |
|
333 | (2) |
Glossary |
|
335 | (8) |
References |
|
343 | (14) |
Index |
|
357 | |