Combining Texts

All the ideas for 'fragments/reports', 'Quantifiers and Propositional Attitudes' and 'Models and Reality'

unexpand these ideas     |    start again     |     specify just one area for these texts


6 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
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.
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)
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
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.
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
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.
19. Language / A. Nature of Meaning / 10. Denial of Meanings
Intensions are creatures of darkness which should be exorcised [Quine]
     Full Idea: Intensions are creatures of darkness and I shall rejoice with the reader when they are exorcised.
     From: Willard Quine (Quantifiers and Propositional Attitudes [1955], §II)
     A reaction: Quine seems to be in a diminshing minority with this view. For 'intensions' read 'meanings', presumably.
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
Musical performance can reveal a range of virtues [Damon of Ath.]
     Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice.
     From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where?