Combining Texts

All the ideas for 'fragments/reports', 'The Structure and Content of Truth' and 'Models and Reality'

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


6 ideas

3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
Correspondence theories can't tell you what truths correspond to [Davidson]
     Full Idea: The real objection to correspondence theories is that such theories fail to provide entities to which truth vehicles (as statements, sentence, or utterances) can be said to correspond.
     From: Donald Davidson (The Structure and Content of Truth [1990], p.304), quoted by Fred Sommers - Intellectual Autobiography Notes 23
     A reaction: This is the remark which provoked Sommers to come out with Idea 18901, which strikes me as rather profound.
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.
13. Knowledge Criteria / E. Relativism / 2. Knowledge as Convention
By nature people are close to one another, but culture drives them apart [Hippias]
     Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature.
     From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8