Combining Texts

All the ideas for 'Realism in Mathematics', 'The Actual and the Possible' and 'The Problem of Natural Laws'

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


6 ideas

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.
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.
10. Modality / C. Sources of Modality / 5. Modality from Actuality
A state of affairs is only possible if there has been an actual substance to initiate it [Pruss]
     Full Idea: Non-actual states of affairs are possible if there actually was a substance capable of initiating a causal chain, perhaps non-deterministic, that could lead to the state of affairs that we claim is possible.
     From: Alexander R. Pruss (The Actual and the Possible [2002]), quoted by Jonathan D. Jacobs - A Powers Theory of Modality §4.2
     A reaction: This is roughly my view. There are far fewer possibilities in heaven and earth than are dreamt of in your philosophy, Horatio. Logical possibilities and fantasy possibilities are not real possibilities.
26. Natural Theory / D. Laws of Nature / 3. Laws and Generalities
Natural laws result from eliminative induction, where enumerative induction gives generalisations [Cohen,LJ, by Psillos]
     Full Idea: Cohen contends that statements that express laws of nature are the products of eliminative induction, where accidentally true generalisations are the products of enumerative induction.
     From: report of L. Jonathan Cohen (The Problem of Natural Laws [1980], p.222) by Stathis Psillos - Causation and Explanation §7.1
     A reaction: The idea is that enumerative induction only offers the support of positive instances, where eliminative induction involves attempts to falsify a range of hypotheses. This still bases laws on observed regularities, rather than essences or mechanisms.