14 ideas
6806 | Do not multiply entities beyond necessity [William of Ockham] |
Full Idea: Do not multiply entities beyond necessity. | |
From: William of Ockham (works [1335]) | |
A reaction: This is the classic statement of Ockham's Razor, though it is not found in his printed works. It appears to be mainly aimed at Plato's Theory of Forms. It is taken to refer to types of entities, not numbers. One seraph is as bad as a hundred. |
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) |
22132 | Species and genera are individual concepts which naturally signify many individuals [William of Ockham] |
Full Idea: In his mature nominalism, species and genera are identified with certain mental qualities called concepts or intentions of the mind. Ontologically they are individuals too, like everthing else, ...but they naturally signify many different individuals. | |
From: William of Ockham (works [1335]), quoted by Claude Panaccio - William of Ockham p.1056 | |
A reaction: 'Naturally' is the key word, because the concepts are not fictions, but natural responses to encountering individuals in the world. I am an Ockhamist. |
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. |
12727 | It's impossible, but imagine a body carrying on normally, but with no mind [Leibniz] |
Full Idea: If it could be supposed that a body exists without a mind, then a man would do everything in the same way as if he did not have a mind, and men would speak and write the same things, without knowing what they do. ...But this supposition is impossible. | |
From: Gottfried Leibniz (Paper of December 1676 [1676], A6.3.400), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 5 | |
A reaction: This is clearly the zombie dream, three centuries before Robert Kirk's modern invention of the idea. Leibniz's reason for denying the possibility of zombies won't be the modern physicalist reason. |
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? |
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. |
19381 | The past has ceased to exist, and the future does not yet exist, so time does not exist [William of Ockham] |
Full Idea: Time is composed of non-entities, because it is composed of the past which does not exist now, although it did exist, and of the future, which does not yet exist; therefore time does not exist. | |
From: William of Ockham (works [1335], 6:496), quoted by Richard T.W. Arthur - Leibniz 7 'Nominalist' | |
A reaction: I've a lot of sympathy with this! I favour Presentism, so the past is gone and the future is yet to arrive. But we have no coherent concept of a present moment of any duration to contain reality. We are just completely bogglificated by it all. |
8010 | William of Ockham is the main spokesman for God's commands being the source of morality [William of Ockham] |
Full Idea: The most notable philosopher who makes God's commandment the basis of goodness, rather than God's goodness a reason for obeying him, is William of Occam. | |
From: William of Ockham (works [1335]), quoted by Alasdair MacIntyre - A Short History of Ethics Ch.9 | |
A reaction: Either view has problems. Why choose God to obey? Obey anyone who is powerful? But how do you decide that God is good? How do we know the nature of God's commands, or the nature of God's goodness? Etc. |
16679 | Even an angel must have some location [William of Ockham, by Pasnau] |
Full Idea: Ockham dismisses the possibility of non-location out of hand, remarking that even an angel has some location. | |
From: report of William of Ockham (works [1335]) by Robert Pasnau - Metaphysical Themes 1274-1671 14.4 |