Combining Texts

All the ideas for 'Frege's Theory of Numbers', 'The Bacchae' and 'Is Hume's Principle analytic?'

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


3 ideas

1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
Our ancient beliefs can never be overthrown by subtle arguments [Euripides]
     Full Idea: Teiresias: We have no use for theological subtleties./ The beliefs we have inherited, as old as time,/ Cannot be overthrown by any argument,/ Nor by the most inventive ingenuity.
     From: Euripides (The Bacchae [c.407 BCE], 201)
     A reaction: [trans. Philip Vellacott (Penguin)] Compare Idea 8243. While very conservative societies have amazing resilience in maintaining traditional beliefs, modern culture eats into them, not directly by argument, but by arguments at fifth remove.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck]
     Full Idea: In Parsons's demonstrative model of counting, '1' means the first, and counting says 'the first, the second, the third', where one is supposed to 'tag' each object exactly once, and report how many by converting the last ordinal into a cardinal.
     From: report of Charles Parsons (Frege's Theory of Numbers [1965]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3
     A reaction: This sounds good. Counting seems to rely on that fact that numbers can be both ordinals and cardinals. You don't 'convert' at the end, though, because all the way you mean 'this cardinality in this order'.
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
An 'abstraction principle' says two things are identical if they are 'equivalent' in some respect [Boolos]
     Full Idea: Hume's Principle has a structure Boolos calls an 'abstraction principle'. Within the scope of two universal quantifiers, a biconditional connects an identity between two things and an equivalence relation. It says we don't care about other differences.
     From: George Boolos (Is Hume's Principle analytic? [1997]), quoted by Michèle Friend - Introducing the Philosophy of Mathematics 3.7
     A reaction: This seems to be the traditional principle of abstraction by ignoring some properties, but dressed up in the clothes of formal logic. Frege tries to eliminate psychology, but Boolos implies that what we 'care about' is relevant.