Combining Texts

All the ideas for 'Law and Causality', 'Cantorian Abstraction: Recon. and Defence' and 'What Numbers Could Not Be'

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


34 ideas

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
I think of variables as objects rather than as signs [Fine,K]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
There are no such things as numbers [Benacerraf]
Numbers can't be sets if there is no agreement on which sets they are [Benacerraf]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
Benacerraf says numbers are defined by their natural ordering [Benacerraf, by Fine,K]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / f. Cardinal numbers
To understand finite cardinals, it is necessary and sufficient to understand progressions [Benacerraf, by Wright,C]
A set has k members if it one-one corresponds with the numbers less than or equal to k [Benacerraf]
To explain numbers you must also explain cardinality, the counting of things [Benacerraf]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
We can count intransitively (reciting numbers) without understanding transitive counting of items [Benacerraf]
Someone can recite numbers but not know how to count things; but not vice versa [Benacerraf]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
The application of a system of numbers is counting and measurement [Benacerraf]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
For Zermelo 3 belongs to 17, but for Von Neumann it does not [Benacerraf]
The successor of x is either x and all its members, or just the unit set of x [Benacerraf]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
Disputes about mathematical objects seem irrelevant, and mathematicians cannot resolve them [Benacerraf, by Friend]
No particular pair of sets can tell us what 'two' is, just by one-to-one correlation [Benacerraf, by Lowe]
If ordinal numbers are 'reducible to' some set-theory, then which is which? [Benacerraf]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
If any recursive sequence will explain ordinals, then it seems to be the structure which matters [Benacerraf]
The job is done by the whole system of numbers, so numbers are not objects [Benacerraf]
The number 3 defines the role of being third in a progression [Benacerraf]
Number words no more have referents than do the parts of a ruler [Benacerraf]
Mathematical objects only have properties relating them to other 'elements' of the same structure [Benacerraf]
How can numbers be objects if order is their only property? [Benacerraf, by Putnam]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
Number-as-objects works wholesale, but fails utterly object by object [Benacerraf]
6. Mathematics / C. Sources of Mathematics / 5. Numbers as Adjectival
Number words are not predicates, as they function very differently from adjectives [Benacerraf]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
The set-theory paradoxes mean that 17 can't be the class of all classes with 17 members [Benacerraf]
9. Objects / F. Identity among Objects / 6. Identity between Objects
Identity statements make sense only if there are possible individuating conditions [Benacerraf]
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
Ramsey's Test: believe the consequent if you believe the antecedent [Ramsey, by Read]
10. Modality / B. Possibility / 8. Conditionals / e. Supposition conditionals
Asking 'If p, will q?' when p is uncertain, then first add p hypothetically to your knowledge [Ramsey]
14. Science / B. Scientific Theories / 8. Ramsey Sentences
Mental terms can be replaced in a sentence by a variable and an existential quantifier [Ramsey]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
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
To obtain the number 2 by abstraction, we only want to abstract the distinctness of a pair of objects [Fine,K]
We should define abstraction in general, with number abstraction taken as a special case [Fine,K]
18. Thought / E. Abstraction / 8. Abstractionism Critique
After abstraction all numbers seem identical, so only 0 and 1 will exist! [Fine,K]
26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory
All knowledge needs systematizing, and the axioms would be the laws of nature [Ramsey]
Causal laws result from the simplest axioms of a complete deductive system [Ramsey]