structure for 'Knowledge Criteria'    |     alphabetical list of themes    |     unexpand these ideas

13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / c. Knowledge closure

[are known implications of knowledge also known?]

17 ideas
Sphaerus he was not assenting to the presence of pomegranates, but that it was 'reasonable' [Sphaerus, by Diog. Laertius]
     Full Idea: When Sphaerus accepted pomegranates from the king, he was accused of assenting to a false presentation, to which Sphaerus replied that what he had assented to was not that they were pomegranates, but that it was reasonable that they were pomegranates.
     From: report of Sphaerus (fragments/reports [c.240 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.177
     A reaction: He then cited the stoic distinction between a 'graspable' presentation and a 'reasonable' one. This seems a rather helpful response to Dretske's zebra problem. I like the word 'sensible' in epistemology, because animals can be sensible.
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.
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?
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?
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?
You have knowledge if you can rule out all the relevant alternatives to what you believe [Dretske, by DeRose]
     Full Idea: The 'Relevant Alternatives' theory of knowledge said the main ingredient that must be added to true belief to make knowledge is that one be in a position to rule out all the relevant alternatives to what one believes.
     From: report of Fred Dretske (Epistemic Operators [1970]) by Keith DeRose - Intro: Responding to Skepticism §6
     A reaction: Dretske and Nozick are associated with this strategy. There will obviously be a problem in defining 'relevant'. Otherwise it sounds quite close to Plato's suggestion that we need true belief with 'logos'.
Logical entailments are not always reasons for beliefs, because they may be irrelevant [Pollock]
     Full Idea: Epistemologists have noted that logical entailments do not always constitute reasons. P may entail Q without the connection between P and Q being at all obvious.
     From: John L. Pollock (Epistemic Norms [1986], 'Ref.of Extern')
     A reaction: Graham Priest and others try to develop 'relevance logic' to deal with this. This would deny the peculiar classical claim that everything is entailed by a falsehood. A belief looks promising if it entails lots of truths about the world.
How can we know the heavyweight implications of normal knowledge? Must we distort 'knowledge'? [Hawthorne]
     Full Idea: Those who deny skepticism but accept closure will have to explain how we know the various 'heavyweight' skeptical hypotheses to be false. Do we then twist the concept of knowledge to fit the twin desiderata of closue and anti-skepticism?
     From: John Hawthorne (The Case for Closure [2005], Intro)
     A reaction: [He is giving Dretske's view; Dretske says we do twist knowledge] Thus if I remember yesterday, that has the heavyweight implication that the past is real. Hawthorne nicely summarises why closure produces a philosophical problem.
We wouldn't know the logical implications of our knowledge if small risks added up to big risks [Hawthorne]
     Full Idea: Maybe one cannot know the logical consequences of the proposition that one knows, on account of the fact that small risks add up to big risks.
     From: John Hawthorne (The Case for Closure [2005], 1)
     A reaction: The idea of closure is that the new knowledge has the certainty of logic, and each step is accepted. An array of receding propositions can lose reliability, but that shouldn't apply to logic implications. Assuming monotonic logic, of course.
Denying closure is denying we know P when we know P and Q, which is absurd in simple cases [Hawthorne]
     Full Idea: How could we know that P and Q but not be in a position to know that P (as deniers of closure must say)? If my glass is full of wine, we know 'g is full of wine, and not full of non-wine'. How can we deny that we know it is not full of non-wine?
     From: John Hawthorne (The Case for Closure [2005], 2)
     A reaction: Hawthorne merely raises this doubt. Dretske is concerned with heavyweight implications, but how do you accept lightweight implications like this one, and then suddenly reject them when they become too heavy? [see p.49]
We don't have the capacity to know all the logical consequences of our beliefs [Conee/Feldman]
     Full Idea: Our limited cognitive capacities lead Goldman to deny a principle instructing people to believe all the logical consequences of their beliefs, since they are unable to have the infinite number of beliefs that following such a principle would require.
     From: E Conee / R Feldman (Evidentialism [1985], 'Doxastic')
     A reaction: This doesn't sound like much of an objection to epistemic closure, which I took to be the claim that you know the 'known' entailments of your knowledge.
We can have evidence for seeing a zebra, but no evidence for what is entailed by that [Pritchard,D]
     Full Idea: The closure principle forces us to regard Zula as knowing that what she is looking at is not a cleverly disguised mule, and yet she doesn't appear to have any supporting evidence for this knowledge.
     From: Duncan Pritchard (Epistemological Disjunctivism [2012], 2.§3)
     A reaction: [Zula observes a zebra in the zoo] Entailment is a different type of justification from perception. If we add fallibilism to the mix, then fallibility can increase as we pursue a string of entailments. But proper logic, of course, should not be fallible.
Favouring: an entailment will give better support for the first belief than reason to deny the second [Pritchard,D]
     Full Idea: The Favouring Principle says that if S knows two things, and that the first entails the second, then S has better evidence in support of her belief in the first than she has for denying the second.
     From: Duncan Pritchard (Epistemological Disjunctivism [2012], 2.§3)
     A reaction: [his version is full of Greek letters, but who wants that stuff?] Pritchard concludes that if you believe in the closure principle then you should deny the favouring principle.
Maybe knowledge just needs relevant discriminations among contrasting cases [Pritchard,D]
     Full Idea: According to the 'contrastivist' proposal knowledge is to be understood as essentially involving discrimination, such that knowing a proposition boils down to having the relevant discriminatory capacities.
     From: Duncan Pritchard (Epistemological Disjunctivism [2012], 2.§6)
     A reaction: Pritchard says this isn't enough, and we must also to be aware of supporting favouring evidence. I would focus on the concept of coherence, even for simple perceptual knowledge. If I see a hawk in England, that's fine. What if I 'see' a vulture?