19 ideas
| 9208 | Philosophers with a new concept are like children with a new toy [Fine,K] |
| Full Idea: Philosophers with a new concept are like children with a new toy; their world shrinks to one in which it takes centre stage. | |
| From: Kit Fine (Intro to 'Modality and Tense' [2005], p.10) | |
| A reaction: A wonderfully accurate observation, I'm afraid. You can trace the entire history of the subject as a wave of obsessions with exciting new ideas. Fine is referring to a posteriori necessities and possible worlds. |
| 10631 | If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright] |
| Full Idea: If we stipulate that 'x is heterological' iff it does not apply to itself, we speedily arrive at the contradiction that 'heterological' is itself heterological just in case it is not. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) |
| 10624 | The incompletability of formal arithmetic reveals that logic also cannot be completely characterized [Hale/Wright] |
| Full Idea: The incompletability of formal arithmetic reveals, not arithmetical truths which are not truths of logic, but that logical truth likewise defies complete deductive characterization. ...Gödel's result has no specific bearing on the logicist project. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], §2 n5) | |
| A reaction: This is the key defence against the claim that Gödel's First Theorem demolished logicism. |
| 10629 | If structures are relative, this undermines truth-value and objectivity [Hale/Wright] |
| Full Idea: The relativization of ontology to theory in structuralism can't avoid carrying with it a relativization of truth-value, which would compromise the objectivity which structuralists wish to claim for mathematics. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2 n26) | |
| A reaction: This is the attraction of structures which grow out of the physical world, where truth-value is presumably not in dispute. |
| 10628 | The structural view of numbers doesn't fit their usage outside arithmetical contexts [Hale/Wright] |
| Full Idea: It is not clear how the view that natural numbers are purely intra-structural 'objects' can be squared with the widespread use of numerals outside purely arithmetical contexts. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2 n26) | |
| A reaction: I don't understand this objection. If they refer to quantity, they are implicitly cardinal. If they name things in a sequence they are implicitly ordinal. All users of numbers have a grasp of the basic structure. |
| 10622 | The neo-Fregean is more optimistic than Frege about contextual definitions of numbers [Hale/Wright] |
| Full Idea: The neo-Fregean takes a more optimistic view than Frege of the prospects for the kind of contextual explanation of the fundamental concepts of arithmetic and analysis (cardinals and reals), which he rejected in 'Grundlagen' 60-68. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], §1) |
| 9210 | Possible objects are abstract; actual concrete objects are possible; so abstract/concrete are compatible [Fine,K] |
| Full Idea: If it is in the nature of a possible object to be abstract, this is presumably a property it has in any possible circumstance in which it is actual. If it is actual it is also concrete. So the property of being abstract and concrete are not incompatible. | |
| From: Kit Fine (Intro to 'Modality and Tense' [2005], p.14) | |
| A reaction: A rather startling and powerful idea. What of the definition of an abstract object as one which is not in space-time, and lacks causal powers? Could it be that abstraction is a projection of our minds, onto concepts or objects? |
| 9211 | A non-standard realism, with no privileged standpoint, might challenge its absoluteness or coherence [Fine,K] |
| Full Idea: By challenging the assumption that reality is 'absolute' (not relative to a standpoint), or that reality is 'coherent' (it is of a piece, from one standpoint), one accepts worldly facts without a privilege standpoint. I call this 'non-standard' realism. | |
| From: Kit Fine (Intro to 'Modality and Tense' [2005], p.15) | |
| A reaction: Fine's essay 'Tense and Reality' explores his proposal. I'm not drawn to either of his challenges. I have always taken as articles of faith that there could be a God's Eye view of all of reality, and that everything coheres, independent of our view. |
| 10626 | Objects just are what singular terms refer to [Hale/Wright] |
| Full Idea: Objects, as distinct from entities of other types (properties, relations or, more generally, functions of different types and levels), just are what (actual or possible) singular terms refer to. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.1) | |
| A reaction: I find this view very bizarre and hard to cope with. It seems either to preposterously accept the implications of the way we speak into our ontology ('sakes'?), or preposterously bend the word 'object' away from its normal meaning. |
| 9202 | Objects, as well as sentences, can have logical form [Fine,K] |
| Full Idea: We normally think of logical form as exclusively an attribute of sentences; however, the notion may also be taken to have application to objects. | |
| From: Kit Fine (Intro to 'Modality and Tense' [2005], p. 3) | |
| A reaction: A striking proposal which seems intuitively right. If one said that objects have 'powers', one might subsume abstract and physical objects under a single account. |
| 9206 | We must distinguish between the identity or essence of an object, and its necessary features [Fine,K] |
| Full Idea: The failure to distinguish between the identity or essence of an object and its necessary features is an instance of what we may call 'modal mania'. | |
| From: Kit Fine (Intro to 'Modality and Tense' [2005], p. 9) | |
| A reaction: He blames Kripke's work for modal mania, a reaction to Quine's 'contempt' for modal notions. I don't actually understand Fine's remark (yet), but it strikes me as incredibly important! Explanations by email, please. |
| 9205 | The three basic types of necessity are metaphysical, natural and normative [Fine,K] |
| Full Idea: There are three basic forms of necessity - the metaphysical (sourced in the identity of objects); natural necessity (in the 'fabric' of the universe); and normative necessity (in the realm of norms and values). | |
| From: Kit Fine (Intro to 'Modality and Tense' [2005], p. 7) | |
| A reaction: Earlier he has allowed, as less 'basic', logical necessity (in logical forms), and analytic necessity (in meaning). Fine insists that the three kinds should be kept separate (so no metaphysical necessities about nature). I resent this. |
| 9209 | Metaphysical necessity may be 'whatever the circumstance', or 'regardless of circumstances' [Fine,K] |
| Full Idea: There are two fundamental ways in which a property may be metaphysically necessary: it may be a worldly necessity, true whatever the circumstances; or it may be a transcendent necessity, true regardless of the circumstances. | |
| From: Kit Fine (Intro to 'Modality and Tense' [2005], p.10) | |
| A reaction: [See Fine's 'Necessity and Non-Existence' for further details] The distinction seems to be that the first sort needs some circumstances (e.g. a physical world?), whereas the second sort doesn't (logical relations?). He also applies it to existence. |
| 9200 | Empiricists suspect modal notions: either it happens or it doesn't; it is just regularities. [Fine,K] |
| Full Idea: Empiricists have always been suspicious of modal notions: the world is an on-or-off matter - either something happens or it does not. ..Empiricists, in so far as they have been able to make sense of modality, have tended to see it as a form of regularity. | |
| From: Kit Fine (Intro to 'Modality and Tense' [2005], p. 1) | |
| A reaction: Fine is discussing the two extreme views of Quine and Lewis. It is one thing to have views about what is possible, and another to include possibilities 'in your ontology'. Our imagination competes with our extrapolations from actuality. |
| 10630 | Abstracted objects are not mental creations, but depend on equivalence between given entities [Hale/Wright] |
| Full Idea: The new kind of abstract objects are not creations of the human mind. ...The existence of such objects depends upon whether or not the relevant equivalence relation holds among the entities of the presupposed kind. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) | |
| A reaction: It seems odd that we no longer have any choice about what abstract objects we use, and that we can't evade them if the objects exist, and can't have them if the objects don't exist - and presumably destruction of the objects kills the concept? |
| 9207 | If sentence content is all worlds where it is true, all necessary truths have the same content! [Fine,K] |
| Full Idea: The content of a sentence is often identified with the set of possible worlds in which it is true, where the worlds are metaphysically possible. But this has the awkward consequence that all metaphysically necessary truths will have the same content. | |
| From: Kit Fine (Intro to 'Modality and Tense' [2005], p.10) | |
| A reaction: I've never understood how the content of a sentence could be a vast set of worlds, so I am delighted to see this proposal be torpedoed. That doesn't mean that truth conditions across possible worlds is not a promising notion. |
| 10627 | Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions [Hale/Wright] |
| Full Idea: There are many statements which are plausibly viewed as conceptual truths (such as 'what is yellow is extended') which do not qualify as analytic under Frege's definition (as provable using only logical laws and definitions). | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) | |
| A reaction: Presumably this is because the early assumptions of Frege were mathematical and logical, and he was trying to get away from Kant. That yellow is extended is a truth for non-linguistic beings. |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |