Combining Texts

All the ideas for 'Classical Cosmology (frags)', 'Realism in Mathematics' and 'The Case against Closure (and reply)'

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


12 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.
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / c. Knowledge closure
Closure says if you know P, and also know P implies Q, then you must know Q [Dretske]
     Full Idea: Closure is the epistemological principle that if S knows that P is true and knows that P implies Q, then, evidentially speaking, this is enough for S to know that Q is true. Nothing more is needed.
     From: Fred Dretske (The Case against Closure (and reply) [2005], p.25)
     A reaction: [Dretske was the first to raise this issue] It is 'closure' because it applies to every case of Q, which is every implication of P that is known. The issue is whether we really do know all such Qs. Dretske doubts it. See his zebra case.
We needn't regret the implications of our regrets; regretting drinking too much implies the past is real [Dretske]
     Full Idea: One doesn't have to regret everything one knows to be implied by what one regrets. Tom regrets drinking three martinis, but doesn't regret what he knows to be implied by this - that he drank 'something', or that the past is real.
     From: Fred Dretske (The Case against Closure (and reply) [2005], p.28)
     A reaction: A nice case of analogy! He's right about regret. Perceptual and inferential knowledge have different grounds. To deny inferential knowledge seems to be a denial that modus ponens can be a justification. But MP gives truth, not knowledge.
Reasons for believing P may not transmit to its implication, Q [Dretske]
     Full Idea: Some reasons for believing P do not transmit to things, Q, known to be implied by P.
     From: Fred Dretske (The Case against Closure (and reply) [2005], p.29)
     A reaction: That seems true enough. I see someone limping, but infer that their leg is damaged. The only question is whether I should accept the inference. How can I accept that inference, but then back out of that knowledge?
Knowing by visual perception is not the same as knowing by implication [Dretske]
     Full Idea: A way of knowing there are cookies in the jar - visual perception - is not a way of knowing what one knows to be implied by this - that visual appearances are not misleading.
     From: Fred Dretske (The Case against Closure (and reply) [2005], p.29)
     A reaction: Why is the 'way of knowing' relevant? Isn't the only question that of whether implication of a truth is in infallible route to a truth (modus ponens)? If you know THAT it is true, then you must believe it, and implication is top quality justification. No?
The only way to preserve our homely truths is to abandon closure [Dretske]
     Full Idea: The only way to preserve knowledge of homely truths, the truths everyone takes themselves to know, is to abandon closure.
     From: Fred Dretske (The Case against Closure (and reply) [2005], p.32)
     A reaction: His point is that knowledge of homely truths seems to imply knowledge of the background facts needed to support them, which he takes to be an unreasonable requirement. I recommend pursuing contextualism, rather than abandoning closure.
P may imply Q, but evidence for P doesn't imply evidence for Q, so closure fails [Dretske]
     Full Idea: The evidence that gives me knowledge of P (there are cookies in the jar) can exist without evidence for knowing Q (they are not fake), despite my knowing that P implies Q. So closure fails.
     From: Fred Dretske (The Case against Closure (and reply) [2005], p.33)
     A reaction: His more famous example is the zebra. How can P imply Q if there is no evidence for Q? Maybe 'there are cookies in the jar' does not entail they are not fake, once you disambiguate what is being said?
We know past events by memory, but we don't know the past is real (an implication) by memory [Dretske]
     Full Idea: The reality of the past (a 'heavyweight implication') ...is something we know to be implied by things we remember, but it is not itself something we remember.
     From: Fred Dretske (The Case against Closure (and reply) [2005], p.35)
     A reaction: If I begin to doubt that the past is real, then I must necessarily begin to doubt my ordinary memories. This seems to be the modus tollens of knowledge closure. Doesn't that imply that the modus ponens was valid, and closure is correct?
27. Natural Reality / E. Cosmology / 1. Cosmology
Is the cosmos open or closed, mechanical or teleological, alive or inanimate, and created or eternal? [Robinson,TM, by PG]
     Full Idea: The four major disputes in classical cosmology were whether the cosmos is 'open' or 'closed', whether it is explained mechanistically or teleologically, whether it is alive or mere matter, and whether or not it has a beginning.
     From: report of T.M. Robinson (Classical Cosmology (frags) [1997]) by PG - Db (ideas)
     A reaction: A nice summary. The standard modern view is closed, mechanistic, inanimate and non-eternal. But philosophers can ask deeper questions than physicists, and I say we are entitled to speculate when the evidence runs out.