Combining Texts

All the ideas for 'The Foundations of Mathematics', '' and 'There Are No Abstract Objects'

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

8 ideas

5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
11211 If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
18844 You would cripple mathematics if you denied Excluded Middle [Hilbert]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
11210 Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt]
11212 The sense of a connective comes from primitively obvious rules of inference [Rumfitt]
8. Modes of Existence / E. Nominalism / 1. Nominalism / c. Nominalism about abstracta
14596 Call 'nominalism' the denial of numbers, properties, relations and sets [Dorr]
8. Modes of Existence / E. Nominalism / 5. Class Nominalism
14597 Natural Class Nominalism says there are primitive classes of things resembling in one respect [Dorr]
10. Modality / A. Necessity / 11. Denial of Necessity
14598 Abstracta imply non-logical brute necessities, so only nominalists can deny such things [Dorr]
19. Language / F. Communication / 3. Denial
11214 We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt]