Combining Texts

All the ideas for 'fragments/reports', 'Models and Reality' and 'Letters to Mersenne'

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


9 ideas

1. Philosophy / G. Scientific Philosophy / 3. Scientism
My Meditations are the complete foundation of my physics [Descartes]
     Full Idea: My six Meditations contain all the foundations of my physics, …and their principles destroy those of Aristotle.
     From: René Descartes (Letters to Mersenne [1640], 1641.01.28)
3. Truth / A. Truth Problems / 2. Defining Truth
Truth is such a transcendentally clear notion that it cannot be further defined [Descartes]
     Full Idea: Truth is such a transcendentally clear notion that it cannot be further defined.
     From: René Descartes (Letters to Mersenne [1640], 1642), quoted by Pascal Engel - Truth Intro
     A reaction: This is the view endorsed by Davidson. It is tempting to take basic concepts as axiomatic, but philosophers can't make that move every time they are in trouble. I have to say, though, that truth is a good candidate.
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.
25. Social Practice / E. Policies / 5. Education / b. Education principles
Learned men gain more in one day than others do in a lifetime [Posidonius]
     Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes.
     From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078
     A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book.
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]
     Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness.
     From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42
     A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them.
29. Religion / D. Religious Issues / 2. Immortality / b. Soul
I can't prove the soul is indestructible, only that it is separate from the mortal body [Descartes]
     Full Idea: I don't know how to demonstrate that God cannot annihilate the soul, but only that it is entirely distinct from the body, and consequently that it is not naturally subject to die with it, which is all that is required to establish religion.
     From: René Descartes (Letters to Mersenne [1640], 1640.02.24)