9 ideas
| 22026 | Philosophy is homesickness - the urge to be at home everywhere [Novalis] |
| Full Idea: Philosophy is actually homesickness - the urge to be everywhere at home. | |
| From: Novalis (General Draft [1799], 45) | |
| A reaction: The idea of home [heimat] is powerful in German culture. The point of romanticism was seen as largely concerning restless souls like Byron and his heroes, who do not feel at home. Hence ironic detachment. |
| 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. |
| 8840 | There are five possible responses to the problem of infinite regress in justification [Cleve] |
| Full Idea: Sceptics respond to the regress problem by denying knowledge; Foundationalists accept justifications without reasons; Positists say reasons terminate is mere posits; Coherentists say mutual support is justification; Infinitists accept the regress. | |
| From: James Van Cleve (Why coherence is not enough [2005], I) | |
| A reaction: A nice map of the territory. The doubts of Scepticism are not strong enough for anyone to embrace the view; Foundationalist destroy knowledge (?), as do Positists; Infinitism is a version of Coherentism - which is the winner. |
| 8841 | Modern foundationalists say basic beliefs are fallible, and coherence is relevant [Cleve] |
| Full Idea: Contemporary foundationalists are seldom of the strong Cartesian variety: they do not insist that basic beliefs be absolutely certain. They also tend to allow that coherence can enhance justification. | |
| From: James Van Cleve (Why coherence is not enough [2005], III) | |
| A reaction: It strikes me that they have got onto a slippery slope. How certain are the basic beliefs? How do you evaluate their certainty? Could incoherence in their implications undermine them? Skyscrapers need perfect foundations. |
| 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. |
| 19591 | Desire for perfection is an illness, if it turns against what is imperfect [Novalis] |
| Full Idea: An absolute drive toward perfection and completeness is an illness, as soon as it shows itself to be destructive and averse toward the imperfect, the incomplete. | |
| From: Novalis (General Draft [1799], 33) | |
| A reaction: Deep and true! Novalis seems to be a particularist - hanging on to the fine detail of life, rather than being immersed in the theory. These are the philosophers who also turn to literature. |
| 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. |