6 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. |
| 17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
| Full Idea: In Parsons's demonstrative model of counting, '1' means the first, and counting says 'the first, the second, the third', where one is supposed to 'tag' each object exactly once, and report how many by converting the last ordinal into a cardinal. | |
| From: report of Charles Parsons (Frege's Theory of Numbers [1965]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3 | |
| A reaction: This sounds good. Counting seems to rely on that fact that numbers can be both ordinals and cardinals. You don't 'convert' at the end, though, because all the way you mean 'this cardinality in this order'. |
| 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. |
| 22254 | Economic capitalist liberty naturally leads to democratic political liberty [Novak] |
| Full Idea: The natural logic of capitalism leads to democracy. For economic liberties without political liberties are inherently unstable. | |
| From: Michael Novak (The Spirit of Democratic Capitalism [1982], p.15), quoted by David Conway - Capitalism and Community II | |
| A reaction: Not sure about 'inherently unstable'. Only in the sense that if you dish out economic liberties, people come to expect political liberties. China and Hong Kong are each currently facing this problem. Capitalist liberty can be highly restricted. |