Combining Texts

All the ideas for 'Mathematics without Numbers', 'Notes on Comments by Fardella' and 'Quine on Quantifying In'

expand these ideas     |    start again     |     specify just one area for these texts

---

7 ideas

5. Theory of Logic / E. Structures of Logic / 1. Logical Form

12220

Is it the sentence-token or the sentence-type that has a logical form? [Fine,K]

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification

12222

Substitutional quantification is referential quantification over expressions [Fine,K]

6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism

8698	Modal structuralism says mathematics studies possible structures, which may or may not be actualised [Hellman, by Friend]

9557	Statements of pure mathematics are elliptical for a sort of modal conditional [Hellman, by Chihara]

10263

Modal structuralism can only judge possibility by 'possible' models [Shapiro on Hellman]

9. Objects / B. Unity of Objects / 1. Unifying an Object / c. Unity as conceptual

13160

To exist and be understood, a multitude must first be reduced to a unity [Leibniz]

9. Objects / B. Unity of Objects / 2. Substance / c. Types of substance

13161

Substances are everywhere in matter, like points in a line [Leibniz]