Combining Texts

All the ideas for 'Mathematics and Indispensibility', 'Cantorian Abstraction: Recon. and Defence' and 'Substitutional Classes and Relations'

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

10 ideas

2. Reason / D. Definition / 7. Contextual Definition
21560 Any linguistic expression may lack meaning when taken out of context [Russell]
2. Reason / F. Fallacies / 8. Category Mistake / a. Category mistakes
21561 'The number one is bald' or 'the number one is fond of cream cheese' are meaningless [Russell]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
18130 Axiom of Reducibility: there is always a function of the lowest possible order in a given level [Russell, by Bostock]
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
9148 I think of variables as objects rather than as signs [Fine,K]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
9558 All scientific tests will verify mathematics, so it is a background, not something being tested [Sober]
8. Modes of Existence / A. Relations / 1. Nature of Relations
21562 There is no complexity without relations, so no propositions, and no truth [Russell]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
9152 If green is abstracted from a thing, it is only seen as a type if it is common to many things [Fine,K]
18. Thought / E. Abstraction / 2. Abstracta by Selection
9149 To obtain the number 2 by abstraction, we only want to abstract the distinctness of a pair of objects [Fine,K]
9150 We should define abstraction in general, with number abstraction taken as a special case [Fine,K]
18. Thought / E. Abstraction / 8. Abstractionism Critique
9146 After abstraction all numbers seem identical, so only 0 and 1 will exist! [Fine,K]