Combining Texts

All the ideas for 'Abstract Objects: a Case Study', 'Logicism, Some Considerations (PhD)' and 'Reference and Reflexivity'

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


9 ideas

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
Obtaining numbers by abstraction is impossible - there are too many; only a rule could give them, in order [Benacerraf]
     Full Idea: Not all numbers could possibly have been learned à la Frege-Russell, because we could not have performed that many distinct acts of abstraction. Somewhere along the line a rule had to come in to enable us to obtain more numbers, in the natural order.
     From: Paul Benacerraf (Logicism, Some Considerations (PhD) [1960], p.165)
     A reaction: Follows on from Idea 13411. I'm not sure how Russell would deal with this, though I am sure his account cannot be swept aside this easily. Nevertheless this seems powerful and convincing, approaching the problem through the epistemology.
We must explain how we know so many numbers, and recognise ones we haven't met before [Benacerraf]
     Full Idea: Both ordinalists and cardinalists, to account for our number words, have to account for the fact that we know so many of them, and that we can 'recognize' numbers which we've neither seen nor heard.
     From: Paul Benacerraf (Logicism, Some Considerations (PhD) [1960], p.166)
     A reaction: This seems an important contraint on any attempt to explain numbers. Benacerraf is an incipient structuralist, and here presses the importance of rules in our grasp of number. Faced with 42,578,645, we perform an act of deconstruction to grasp it.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
If numbers are basically the cardinals (Frege-Russell view) you could know some numbers in isolation [Benacerraf]
     Full Idea: If we accept the Frege-Russell analysis of number (the natural numbers are the cardinals) as basic and correct, one thing which seems to follow is that one could know, say, three, seventeen, and eight, but no other numbers.
     From: Paul Benacerraf (Logicism, Some Considerations (PhD) [1960], p.164)
     A reaction: It seems possible that someone might only know those numbers, as the patterns of members of three neighbouring families (the only place where they apply number). That said, this is good support for the priority of ordinals. See Idea 13412.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
An adequate account of a number must relate it to its series [Benacerraf]
     Full Idea: No account of an individual number is adequate unless it relates that number to the series of which it is a member.
     From: Paul Benacerraf (Logicism, Some Considerations (PhD) [1960], p.169)
     A reaction: Thus it is not totally implausible to say that 2 is several different numbers or concepts, depending on whether you see it as a natural number, an integer, a rational, or a real. This idea is the beginning of modern structuralism.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
Mathematics is both necessary and a priori because it really consists of logical truths [Yablo]
     Full Idea: Mathematics seems necessary because the real contents of mathematical statements are logical truths, which are necessary, and it seems a priori because logical truths really are a priori.
     From: Stephen Yablo (Abstract Objects: a Case Study [2002], 10)
     A reaction: Yablo says his logicism has a Kantian strain, because numbers and sets 'inscribed on our spectacles', but he takes a different view (in the present Idea) from Kant about where the necessity resides. Personally I am tempted by an a posteriori necessity.
6. Mathematics / C. Sources of Mathematics / 9. Fictional Mathematics
Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo]
     Full Idea: Saying 'the number of Fs is 5', instead of using five quantifiers, puts the numeral in quantifiable position, which brings expressive advantages. 'There are more sheep in the field than cows' is an infinite disjunction, expressible in finite compass.
     From: Stephen Yablo (Abstract Objects: a Case Study [2002], 08)
     A reaction: See Hofweber with similar thoughts. This idea I take to be a key one in explaining many metaphysical confusions. The human mind just has a strong tendency to objectify properties, relations, qualities, categories etc. - for expression and for reasoning.
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo]
     Full Idea: Objects like me have a few essential properties, and numerous accidental ones. Abstract objects are a different story. The intrinsic properties of the empty set are mostly essential. The relations of numbers are also mostly essential.
     From: Stephen Yablo (Abstract Objects: a Case Study [2002], 01)
We are thought to know concreta a posteriori, and many abstracta a priori [Yablo]
     Full Idea: Our knowledge of concreta is a posteriori, but our knowledge of numbers, at least, has often been considered a priori.
     From: Stephen Yablo (Abstract Objects: a Case Study [2002], 02)
18. Thought / A. Modes of Thought / 9. Indexical Thought
Indexical thoughts are about themselves, and ascribe properties to themselves [Perry, by Recanati]
     Full Idea: Perry's newer token-reflexive framework says indexical thoughts have token-reflexive content, that is, thoughts that are about themselves and ascribe properties to themselves. …They relate not to the subject, but to the occurrence of a thought.
     From: report of John Perry (Reference and Reflexivity [2001]) by François Recanati - Mental Files 18.1
     A reaction: [There seem to be four indexical theories: this one, Recanati's, the earlier Kaplan-Perry one, and Lewis's] Is Perry thinking of second-level thoughts? 'I'm bored' has the content 'boredom' plus 'felt in here'? How does 'I'm bored' refer to 'I'm bored'?