Combining Texts

All the ideas for 'Realism in Mathematics', 'Pragmatism in Retrospect' and 'Frege on Knowing the Third Realm'

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


8 ideas

3. Truth / E. Pragmatic Truth / 1. Pragmatic Truth
Peirce's theory offers anti-realist verificationism, but surely how things are is independent of us? [Horsten on Peirce]
     Full Idea: Peirce's anti-realist theory of a truth is a verificationist theory. Truth is judged to be an epistemic notion. But the way things are is independent of the evidence we may be able to obtain for or against a judgement.
     From: comment on Charles Sanders Peirce (Pragmatism in Retrospect [1906]) by Leon Horsten - The Tarskian Turn 02.1
     A reaction: This criticism doesn't quite capture the point that Peirce's theory is that truth is an ideal, not the set of opinions that miserable little humans eventually settle for when they get bored. Truth is an aspect of rationality, perhaps.
Independent truth (if there is any) is the ultimate result of sufficient enquiry [Peirce]
     Full Idea: I hold that truth's independence of individual opinions is due (so far as there is any 'truth') to its being the predestined result to which sufficient enquiry would ultimately lead.
     From: Charles Sanders Peirce (Pragmatism in Retrospect [1906], p.288)
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
Maddy replaces pure sets with just objects and perceived sets of objects [Maddy, by Shapiro]
     Full Idea: Maddy dispenses with pure sets, by sketching a strong set theory in which everything is either a physical object or a set of sets of ...physical objects. Eventually a physiological story of perception will extend to sets of physical objects.
     From: report of Penelope Maddy (Realism in Mathematics [1990]) by Stewart Shapiro - Thinking About Mathematics 8.3
     A reaction: This doesn't seem to find many supporters, but if we accept the perception of resemblances as innate (as in Hume and Quine), it is isn't adding much to see that we intrinsically see things in groups.
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
Given that thinking aims at truth, logic gives universal rules for how to do it [Burge]
     Full Idea: The laws of logic - which are constituted by atemporal thoughts and atemporal subject matter - provide universal prescriptions of how one ought to think, given that one's thinking has the function of attaining truth.
     From: Tyler Burge (Frege on Knowing the Third Realm [1992], p.316)
     A reaction: Burge is giving, and endorsing, Frege's view. Burge is fighting a rearguard action, when logical systems keep proliferating. See Idea 10282. I sympathise with the dream of Burge and Frege.
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
A natural number is a property of sets [Maddy, by Oliver]
     Full Idea: Maddy takes a natural number to be a certain property of sui generis sets, the property of having a certain number of members.
     From: report of Penelope Maddy (Realism in Mathematics [1990], 3 §2) by Alex Oliver - The Metaphysics of Properties
     A reaction: [I believe Maddy has shifted since then] Presumably this will make room for zero and infinities as natural numbers. Personally I want my natural numbers to count things.
6. Mathematics / C. Sources of Mathematics / 2. Intuition of Mathematics
Intuition doesn't support much mathematics, and we should question its reliability [Maddy, by Shapiro]
     Full Idea: Maddy says that intuition alone does not support very much mathematics; more importantly, a naturalist cannot accept intuition at face value, but must ask why we are justified in relying on intuition.
     From: report of Penelope Maddy (Realism in Mathematics [1990]) by Stewart Shapiro - Thinking About Mathematics 8.3
     A reaction: It depends what you mean by 'intuition', but I identify with her second objection, that every faculty must ultimately be subject to criticism, which seems to point to a fairly rationalist view of things.
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
We know mind-independent mathematical truths through sets, which rest on experience [Maddy, by Jenkins]
     Full Idea: Maddy proposes that we can know (some) mind-independent mathematical truths through knowing about sets, and that we can obtain knowledge of sets through experience.
     From: report of Penelope Maddy (Realism in Mathematics [1990]) by Carrie Jenkins - Grounding Concepts 6.5
     A reaction: Maddy has since backed off from this, and now tries to merely defend 'objectivity' about sets (2011:114). My amateurish view is that she is overrating the importance of sets, which merely model mathematics. Look at category theory.
12. Knowledge Sources / D. Empiricism / 3. Pragmatism
Pragmatism is a way of establishing meanings, not a theory of metaphysics or a set of truths [Peirce]
     Full Idea: Pragmatism is no doctrine of metaphysics, no attempt to determine the truth of things. It is merely a method of ascertaining the meanings of hard words and of abstract concepts.
     From: Charles Sanders Peirce (Pragmatism in Retrospect [1906], p.271)
     A reaction: Suddenly I recognise a prominent strand of modern philosophy of language (especially in America) for what it is.