Combining Texts

All the ideas for 'Frege's Theory of Numbers', 'The Philosophy of Logic' and 'Are Freedom and Equality Compatible?'

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


9 ideas

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'.
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
Very large sets should be studied in an 'if-then' spirit [Putnam]
     Full Idea: Sets of a very high type or very high cardinality (higher than the continuum, for example), should today be investigated in an 'if-then' spirit.
     From: Hilary Putnam (The Philosophy of Logic [1971], p.347), quoted by Penelope Maddy - Naturalism in Mathematics
     A reaction: Quine says the large sets should be regarded as 'uninterpreted'.
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / b. Indispensability of mathematics
Indispensability strongly supports predicative sets, and somewhat supports impredicative sets [Putnam]
     Full Idea: We may say that indispensability is a pretty strong argument for the existence of at least predicative sets, and a pretty strong, but not as strong, argument for the existence of impredicative sets.
     From: Hilary Putnam (The Philosophy of Logic [1971], p.346), quoted by Penelope Maddy - Naturalism in Mathematics II.2
We must quantify over numbers for science; but that commits us to their existence [Putnam]
     Full Idea: Quantification over mathematical entities is indispensable for science..., therefore we should accept such quantification; but this commits us to accepting the existence of the mathematical entities in question.
     From: Hilary Putnam (The Philosophy of Logic [1971], p.57), quoted by Stephen Yablo - Apriority and Existence
     A reaction: I'm not surprised that Hartry Field launched his Fictionalist view of mathematics in response to such a counterintuitive claim. I take it we use numbers to slice up reality the way we use latitude to slice up the globe. No commitment to lines!
25. Social Practice / A. Freedoms / 5. Freedom of lifestyle
The right-wing conception of freedom is based on the idea of self-ownership [Cohen,GA]
     Full Idea: The right-wing conception of freedom is, I think, founded on the idea that each person is the morally rightful owner of himself, even if existing legal systems do not acknowledge it. Let us call that the 'self-ownership' thesis.
     From: G.A. Cohen (Are Freedom and Equality Compatible? [1986], 1)
     A reaction: He cites Nozick as articulating this view. At the end Cohen rejects self-ownership, though he agrees that no one would accept that the state could be the owner of your eyes. Do I own my hair after it is cut?
Plenty of people have self-ownership, but still lack autonomy [Cohen,GA]
     Full Idea: Universal self-ownership fails to ensure autonomy, since it tends to produce proletarians, who lack it.
     From: G.A. Cohen (Are Freedom and Equality Compatible? [1986], 3)
     A reaction: The implication is that autonomy is not a property of individuals but a social phenomenon. Self-owning people can still be imprisoned. What about autonomy without self-ownership? A bright slave who is given extensive responsibility?
25. Social Practice / C. Rights / 4. Property rights
It is doubtful whether any private property was originally acquired legitimately [Cohen,GA]
     Full Idea: It is easy to doubt that much actually existing private property was formed in what anyone could think was a legitimating way.
     From: G.A. Cohen (Are Freedom and Equality Compatible? [1986], 2)
     A reaction: What if I created an artificial island out of unwanted raw materials? What about the first humans to reach some remote territory?
It is plausible that no one has an initial right to own land and natural resources [Cohen,GA]
     Full Idea: One may plausibly say of external things in their initial state, of raw land and natural resources, that no person has a greater right to them than any other does.
     From: G.A. Cohen (Are Freedom and Equality Compatible? [1986], 1)
     A reaction: How about if your group has lived on that plot for fifty generations, and some interlopers arrive and claim part of it. No one thought of 'owning' it till the interlopers arrived. Native Americans and Australians.
Every thing which is now private started out as unowned [Cohen,GA]
     Full Idea: In the prehistory of anything that is now private property there was at least one moment at which something privately unowned was taken into private ownership.
     From: G.A. Cohen (Are Freedom and Equality Compatible? [1986], 2)
     A reaction: He is obviously talking about land and natural resources. Presumably a table which I made and own was always private property, although the land where the trees were grown was not. Though in some communities what I make could be automatically communal.