Combining Texts

All the ideas for 'fragments/reports', 'Models and Reality' and 'Necessary Existents'

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


6 ideas

1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
Even pointing a finger should only be done for a reason [Epictetus]
     Full Idea: Philosophy says it is not right even to stretch out a finger without some reason.
     From: Epictetus (fragments/reports [c.57], 15)
     A reaction: The key point here is that philosophy concerns action, an idea on which Epictetus is very keen. He rather despise theory. This idea perfectly sums up the concept of the wholly rational life (which no rational person would actually want to live!).
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 / D. Propositions / 3. Concrete Propositions
Propositions (such as 'that dog is barking') only exist if their items exist [Williamson]
     Full Idea: A proposition about an item exists only if that item exists... how could something be the proposition that that dog is barking in circumstances in which that dog does not exist?
     From: Timothy Williamson (Necessary Existents [2002], p.240), quoted by Trenton Merricks - Propositions
     A reaction: This is a view of propositions I can't make sense of. If I'm under an illusion that there is a dog barking nearby, when there isn't one, can I not say 'that dog is barking'? If I haven't expressed a proposition, what have I done?