12 ideas
9148 | I think of variables as objects rather than as signs [Fine,K] |
Full Idea: It is natural nowadays to think of variables as a certain kind of sign, but I wish to think of them as a certain kind of object. | |
From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §2) | |
A reaction: Fine has a theory based on 'arbitrary objects', which is a rather charming idea. The cell of a spreadsheet is a kind of object, I suppose. A variable might be analogous to a point in space, where objects can locate themselves. |
19553 | Commitment to 'I have a hand' only makes sense in a context where it has been doubted [Hawthorne] |
Full Idea: If I utter 'I know I have a hand' then I can only be reckoned a cooperative conversant by my interlocutors on the assumption that there was a real question as to whether I have a hand. | |
From: John Hawthorne (The Case for Closure [2005], 2) | |
A reaction: This seems to point to the contextualist approach to global scepticism, which concerns whether we are setting the bar high or low for 'knowledge'. |
19551 | How can we know the heavyweight implications of normal knowledge? Must we distort 'knowledge'? [Hawthorne] |
Full Idea: Those who deny skepticism but accept closure will have to explain how we know the various 'heavyweight' skeptical hypotheses to be false. Do we then twist the concept of knowledge to fit the twin desiderata of closue and anti-skepticism? | |
From: John Hawthorne (The Case for Closure [2005], Intro) | |
A reaction: [He is giving Dretske's view; Dretske says we do twist knowledge] Thus if I remember yesterday, that has the heavyweight implication that the past is real. Hawthorne nicely summarises why closure produces a philosophical problem. |
19552 | We wouldn't know the logical implications of our knowledge if small risks added up to big risks [Hawthorne] |
Full Idea: Maybe one cannot know the logical consequences of the proposition that one knows, on account of the fact that small risks add up to big risks. | |
From: John Hawthorne (The Case for Closure [2005], 1) | |
A reaction: The idea of closure is that the new knowledge has the certainty of logic, and each step is accepted. An array of receding propositions can lose reliability, but that shouldn't apply to logic implications. Assuming monotonic logic, of course. |
19554 | Denying closure is denying we know P when we know P and Q, which is absurd in simple cases [Hawthorne] |
Full Idea: How could we know that P and Q but not be in a position to know that P (as deniers of closure must say)? If my glass is full of wine, we know 'g is full of wine, and not full of non-wine'. How can we deny that we know it is not full of non-wine? | |
From: John Hawthorne (The Case for Closure [2005], 2) | |
A reaction: Hawthorne merely raises this doubt. Dretske is concerned with heavyweight implications, but how do you accept lightweight implications like this one, and then suddenly reject them when they become too heavy? [see p.49] |
9152 | If green is abstracted from a thing, it is only seen as a type if it is common to many things [Fine,K] |
Full Idea: In traditional abstraction, the colour green merely has the intrinsic property of being green, other properties of things being abstracted away. But why should that be regarded as a type? It must be because the property is common to the instances. | |
From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §5) | |
A reaction: A nice question which shows that the much-derided single act of abstraction is not sufficient to arrive at a concept, so that abstraction is a more complex matter (perhaps even a rational one) than simple empiricists believe. |
9149 | To obtain the number 2 by abstraction, we only want to abstract the distinctness of a pair of objects [Fine,K] |
Full Idea: In abstracting from the elements of a doubleton to obtain 2, we do not wish to abstract away from all features of the objects. We wish to take account of the fact that the two objects are distinct; this alone should be preserved under abstraction. | |
From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §3) | |
A reaction: This is Fine's strategy for meeting Frege's objection to abstraction, summarised in Idea 9146. It seems to use the common sense idea that abstraction is not all-or-nothing. Abstraction has degrees (and levels). |
9150 | We should define abstraction in general, with number abstraction taken as a special case [Fine,K] |
Full Idea: Number abstraction can be taken to be a special case of abstraction in general, which can then be defined without recourse to the concept of number. | |
From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §3) | |
A reaction: At last, a mathematical logician recognising that they don't have a monopoly on abstraction. It is perfectly obvious that abstractions of simple daily concepts must be chronologically and logically prior to number abstraction. Number of what? |
9146 | After abstraction all numbers seem identical, so only 0 and 1 will exist! [Fine,K] |
Full Idea: In Cantor's abstractionist account there can only be two numbers, 0 and 1. For abs(Socrates) = abs(Plato), since their numbers are the same. So the number of {Socrates,Plato} is {abs(Soc),abs(Plato)}, which is the same number as {Socrates}! | |
From: Kit Fine (Cantorian Abstraction: Recon. and Defence [1998], §1) | |
A reaction: Fine tries to answer this objection, which arises from §45 of Frege's Grundlagen. Fine summarises that "indistinguishability without identity appears to be impossible". Maybe we should drop talk of numbers in terms of sets. |
23035 | The good life aims at perfections, or absolute laws, or what is absolutely desirable [Green,TH] |
Full Idea: The differentia of the good life …is controlled by the consciousness of there being some perfection which has to be fulfilled, some law which has to be obeyed, something absolutely desirable whatever the individual may for the time desire. | |
From: T.H. Green (Prolegomena to Ethics [1882], p.134), quoted by John H. Muirhead - The Service of the State II | |
A reaction: The 'perfection' suggests Plato, and the 'law' suggests Kant. The idea that something is 'absolutely desirable' is, I suspect, aimed at the utilitarians, who don't care what is desired. I'm no idealist, but have some sympathy with this idea. |
23037 | People are improved by egalitarian institutions and habits [Green,TH] |
Full Idea: Man has bettered himself through institutions and habits which tend to make the welfare of all the welfare of each. | |
From: T.H. Green (Prolegomena to Ethics [1882], p.180), quoted by John H. Muirhead - The Service of the State II | |
A reaction: I like this a lot. We underestimate how the best social values are promoted by the existence of enlightened institutions, rather than by preaching and teaching. Schools, law courts and churche embody their values. |
23043 | All talk of the progress of a nation must reduce to the progress of its individual members [Green,TH] |
Full Idea: Our ultimate standard of worth is an ideal of personal worth. All other values are relative to personal values. To speak of any progress of a nation or society or mankind except as relative to some greater worth of persons is to use words without meaning. | |
From: T.H. Green (Prolegomena to Ethics [1882], p.193), quoted by John H. Muirhead - The Service of the State II | |
A reaction: Note that, pre-verificationism, a Victorian talks of plausible words actually being meaningless. This is a good statement of the core doctrine of liberalism. |