6 ideas
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) |
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. |
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. |
16706 | Generation is when local motions aggregate to become a single subject [Nicholas of Autrecourt] |
Full Idea: In the case of natural things there is only local motion. When from such motion there follows an aggregation of natural bodies that are gathered to one another and acquire the nature of a single subject, this is called generation. | |
From: Nicholas of Autrecourt (Tractatus [1335], Ch. 1) | |
A reaction: This is explosive atomistic corpuscularianism, three centuries before its appointed date. He was duly suppressed. Can he give an account of the 'nature of a single subject' in this way? |
7482 | Resurrection developed in Judaism as a response to martyrdoms, in about 160 BCE [Anon (Dan), by Watson] |
Full Idea: The idea of resurrection in Judaism seems to have first developed around 160 BCE, during the time of religious martyrdom, and as a response to it (the martyrs were surely not dying forever?). It is first mentioned in the book of Daniel. | |
From: report of Anon (Dan) (27: Book of Daniel [c.165 BCE], Ch.7) by Peter Watson - Ideas | |
A reaction: Idea 7473 suggests that Zoroaster beat them to it by 800 years. |