8 ideas
13655 | The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro] |
Full Idea: Putnam claims that the Löwenheim-Skolem theorems indicate that there is no 'fact of the matter' whether all sets are constructible. | |
From: report of Hilary Putnam (Models and Reality [1977]) by Stewart Shapiro - Foundations without Foundationalism | |
A reaction: [He refers to the 4th and 5th pages of Putnam's article] Shapiro offers (p.109) a critique of Putnam's proposal. |
9915 | V = L just says all sets are constructible [Putnam] |
Full Idea: V = L just says all sets are constructible. L is the class of all constructible sets, and V is the universe of all sets. | |
From: Hilary Putnam (Models and Reality [1977], p.425) |
9913 | The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam] |
Full Idea: The Löwenheim-Skolem Theorem says that a satisfiable first-order theory (in a countable language) has a countable model. ..I argue that this is not a logical antinomy, but close to one in philosophy of language. | |
From: Hilary Putnam (Models and Reality [1977], p.421) | |
A reaction: See the rest of this paper for where he takes us on this. |
9914 | It is unfashionable, but most mathematical intuitions come from nature [Putnam] |
Full Idea: Experience with nature is undoubtedly the source of our most basic 'mathematical intuitions', even if it is unfashionable to say so. | |
From: Hilary Putnam (Models and Reality [1977], p.424) | |
A reaction: Correct. I find it quite bewildering how Frege has managed to so discredit all empirical and psychological approaches to mathematics that it has become a heresy to say such things. |
19400 | Possibles demand existence, so as many of them as possible must actually exist [Leibniz] |
Full Idea: From the conflict of all the possibles demanding existence, this at once follows, that there exists that series of things by which as many of them as possible exist. | |
From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.91) | |
A reaction: I'm in tune with a lot of Leibniz, but my head swims with this one. He seems to be a Lewisian about possible worlds - that they are concrete existing entities (with appetites!). Could Lewis include Leibniz's idea in his system? |
19401 | God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz] |
Full Idea: The sufficient reason for God's choice can be found only in the fitness (convenance) or in the degree of perfection that the several worlds possess. | |
From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92) | |
A reaction: The 'fitness' of a world and its 'perfection' seem very different things. A piece of a jigsaw can have wonderful fitness, without perfection. Occasionally you get that sinking feeling with metaphysicians that they just make it up. |
19402 | The actual universe is the richest composite of what is possible [Leibniz] |
Full Idea: The actual universe is the collection of the possibles which forms the richest composite. | |
From: Gottfried Leibniz (Exigency to Exist in Essences [1690], p.92) | |
A reaction: 'Richest' for Leibniz means a maximum combination of existence, order and variety. It's rather like picking the best starting team from a squad of footballers. |
20713 | God must be fit for worship, but worship abandons morally autonomy, but there is no God [Rachels, by Davies,B] |
Full Idea: Rachels argues 1) If any being is God, he must be a fitting object of worship, 2) No being could be a fitting object of worship, since worship requires the abandonment of one's role as an autonomous moral agent, so 3) There cannot be a being who is God. | |
From: report of James Rachels (God and Human Attributes [1971], 7 p.334) by Brian Davies - Introduction to the Philosophy of Religion 9 'd morality' | |
A reaction: Presumably Lionel Messi can be a fitting object of worship without being God. Since the problem is with being worshipful, rather than with being God, should I infer that Messi doesn't exist? |