On Paul Churchland’s ‘Refutation’ of the Knowledge Argument

If this post needs theme music, I suggest Party Lights (1962) by the one-hit wonder, Claudine Clark:  "I see the lights/I see the party lights/They're red and blue and green/Everybody in the crowd is there/But you won't let me make the scene!"  (Because, mama dear, you've kept me cooped up in a black-and-white room studying neuroscience.)

…………………………..

The 'Knowledge Argument' as it is known in the trade has convinced many of the untenability of functionalism in the philosophy of mind.  Here is Paul M. Churchland's presentation of Frank Jackson's version of the argument:

1. Mary knows everything there is to know about brain states and their properties.
2. It is not the case that Mary knows everything there is to know about sensations and their properties.
Therefore, by Leibniz's law [i.e., the Indiscernibility of Identicals; see my post 'Leibniz's Law': A Useless Expression],
3. Sensations and their properties are not identical to brain states and their properties.

("Reduction, Qualia, and the Direct Introspection of the Brain," Journal of Philosophy, vol. 82, no. 1, January 1985, pp. 8-28, sec. IV, "Jackson's Knowledge Argument.")

Mary is a brilliant neuroscientist who has spent her entire life in a visually impoverished state.  Pent up in a room from birth and sheltered from colors, her visual experience is restricted to black and white and shades of gray.  You are to imagine that she has come to know everything there is to know about the brain and its visual system.  Her access to the outer world is via black-and-white TV.  The neuroscience texts over which she so assiduously pores have beeen expurgated by the dreaded Color Censor.

Churchland finds two "shortcomings" with the above argument. I will discuss only the first in this post.

Churchland smells a fallacy of equivocation.  'Knows about,' he claims, is being used in different senses in (1) and (2):

Knowledge in (1) seems to be a matter of having mastered a set of sentences or propositions, the kind one finds written in neuroscience texts, whereas knowledge in (2) seems to be a matter of having a representation of redness in some prelingusitic or sublinguistic medium of representation for sensory variables, or to be a matter of being able to make certain sensory discriminations, or something along these lines. (Emphasis in original)

Rather than argue that that there is no equivocation in the argument as Churchland formulates it, I think it is best to concede the point, urging instead that Chuchland has not presented the Knowledge Argument fairly.  He finds an equivocation only because he has set up a straw man.  Consider the following version:

4. Mary knows all of the of the physical facts about color vision.
5. Venturing outside her black-and-white domain for the first time, she comes to know a new fact: what it is like to see red.
Therefore
6. This new fact is not a physical fact.

There is no equivocation on 'knows' in this argument.  Mary knows all of the physical facts about the brain and the visual system.  If the physical facts are all the facts, then, when she emerges from the room and views a red sunset, she learns nothing new.  But this is not the case.  She does learn something new, something she might express by exclaiming, "So this is what it is like to see red!"  That is a new fact that she comes to know.

The best counter to this argument is to deny (2) by arguing that that no new fact is learned when Mary steps outside.  Mary simply acquires a new concept, a new way of gaining epistemic access to the same old physical facts, namely, the physical and functional facts involved in seeing a red thing.  As Churchland puts it,

. . . the difference between a person who knows all about the visual cortex but has never enjoyed a sensation of red, and a person who knows no neuroscience but knows well the sensation of red, may reside not in what is respectively known by each (brain states by the former, qualia by the latter), but rather in the different type of knowledge each has of exactly the same thing.  The difference is in the manner of the knowing, not in the nature(s) of the thing known. (Emphases in original)

Churchland's suggestion is that one and the same  physical reality appears, or can appear, in two different ways, a third-person way and a first-person way, and that this first-person way of access is no evidence of a first-person way of being.  The sensory quale is not an item distinct from the underlying state of the brain, an item that escapes the physicalist's net; the quale is a mode of presentation of the brain state.   The quale is an appearance of the brain state.  And so Churchland thinks that one can have knowledge of one's sensations via their qualitative features without knowing any neuroscience without it being the case that "sensations are beyond the reach of physical science."

In sum, sensations are identical to brain states.  But they can be accessed in two ways, via qualia, and via neuroscience.  That there are two different modes of epistemic access does not entail that qualia are distinct in reality from brain states.  One and the same btrain "uses more modes and media or representation than the simple stoarge of sentences." 

Critique

Unfortunately, there is no clear sense in which a quale is an appearance of a brain state. The former may be caused by the latter. But that is not to say that the  quale is of or about the brain state. Phenomenal redness does not present a brain state to me. It does not present anything (distinct from itself) to me. After all, qualia are non-intentional: they lack aboutness.   No doubt a quale has a certain content, but not an intentional or representational content. One can describe it without describing what it is of, for the simple reason that there is nothing it is of. An intentional state, however, cannot be described without describing what it is of.  I can't desire without desiring something, a cold beer, say.  So 'cold beer' enters, and enters necessarily, into the description of the mental state I am in when I desire a cold beer.  But no words referring to neural items need enter into the description of what I experience when I experience a yellowish-orange afterimage, or feel anxious.

Qualia do not play a merely epistemic role as Churchland thinks.  They are items in their own right.  They are not mere appearances of an underlying reality; they are items with their own mode of being.  For a quale, to be is to be perceived.  Its reality consists in its appearing.  For this reason it makes no sense to say that the reality of a quale is something distinct from it, something physical to which the quale refers.

Suppose someone, armed with the Indiscernibility of Identicals,  were to argue that the Morning Star and the Evening Star are numerically distinct because they differ property-wise, the one, but not the other, being the brightest celestial object in the morning sky.    Such an argument could be easily rebutted by pointing  out that the two 'stars'  are merely different modes of presentation of one and the same physical thing, the planet Venus.  Difference in epistemic access does not argue difference in being!  Churchland  thinks he can similarly rebut the person who argues that qualia are distinct from brain states by claiming that qualia and sentences of neuroscience are different modes of presentation or "media of representation" of one and the same thing, which is wholly physical.

But here is precisely where the mistake is made.  Qualia do not present or represent anything. In particular, they do not represent their causes.  They are items in their own right with their own mode of being, a mode of being distinct from the mode of being of physical items.  For a quale, to be is to be perceived.  For a physical item, this is not the case.  One cannot drive a wedge between the appearance and the reality of a quale; but one can and must drive such a wedge between the appearance and the reality of physical items. 

Even if one were to insist that qualia present or represent their underlying brain states, the materialist position would still be absurd.  For if x represents y, then x is distinct from y — in reality and not merely for us.  So if phenomenal redness is an appearance of a complex brain state, the two items are distinct.  Churchland thinks he can place qualia on the side of representation and then forget about them.  But that is an obvious mistake.

Underlying this obvious mistake is the fundamental absurdity of materialism, which is the attempt to understand mind in wholly non-mental terms.  It cannot be done since the very investigation of physical reality presupposes mind.

Does Knowledge Entail Belief or Exclude Belief?

A reader who says he is drawn to the view that knowledge excludes belief comments:

I am taking a philosophy class now that takes for granted that knowledge entails belief. My sense is that most philosophers now think that that condition is obvious and settled. They tend to dispute what "justification" means, or add more conditions to the Justified True Belief formula.

That knowledge is justified true belief is a piece of epistemological boilerplate that has its origin in Plato's Theaetetus.  The JTB analysis is extremely plausible.  It is first of all self-evident that there is no false knowledge.  So, necessarily, if S knows that p, then 'p' is true.  It also seems obvious that one can have a true belief without having knowledge.  Suppose I believe that at this very moment Peter (who is 60 miles away) is teaching a class on the philosophy of science, and suppose it is true that at this very moment he is teaching such a class; it doesn't follow that I know that he is teaching such a class.    Knowledge requires justification, whatever exactly that is.  Finally, if S knows that p, how can it fail to be the case that S believes that p?  It may seem obvious that knowledge entails belief.  Necessarily, whatever I know I believe, though not conversely.

So I agree with my reader that most philosophers now think that the belief condition is "obvious and settled."  But most academic philosophers are fashionistas: they follow the trends, stick to what's 'cool,'  and turn up their noses at what they deem politically incorrect.  And they read only the 'approved' journals and books.  I pronounce my 'anathema' upon them.  In any case it is not obvious that knowledge entails belief.

The Case for Saying that Knowledge Excludes Belief

Why not say this:  Necessarily, if S knows that p, then it is not the case that S believes that p?

One cannot understand belief except in relation to other mental states. So let's consider how believing and knowing are related, taking both as propositional attitudes.  They are obviously different, and yet they share a common element. Suppose we say that what is common to S's knowing that p and S's believing that p is S's acceptance of p. I cannot (occurrently) believe that Oswald acted alone unless I accept the proposition that Oswald acted alone, and I cannot (occurrently) know that he acted alone with accepting the very same proposition. To accept, of course, is to accept-as-true. It is equally obvious that what is accepted-as-true might not be true. Those who accept that the earth is flat accept-as-true what is false. Now one could analyze 'S knows that p' as follows:

a) S unconditionally accepts-as-true p
b) p is true
c) S is justified in accepting-as-true p.

This is modeled on, but diverges from, the standard justified-true-belief (JTB) analysis of 'know' the locus classicus of which is Plato's Theaetetus.

And one could perhaps analyze 'S believes that p' as follows:

a) S unconditionally accepts-as-true p
d) S does not know that p.

These analyses accommodate the fact that there is something common to believing and knowing, but without identifying this common factor as belief. The common factor is acceptance. A reason for not identifying the common element as belief is that, in ordinary language, knowledge excludes belief. Thus if I ask you whether you believe that p, you might respond, 'I don't believe it, I know it!' Do I believe the sun is shining? No, I know the sun is shining. Do I know that I will be alive tomorrow? No, but I believe it. That is, I give my firm intellectual assent to the proposition despite its not being evident to me. Roughly, belief is firm intellectual assent in the absence of compelling evidence.

Surely this is what we mean by belief in those cases that clearly count as belief. Lenny the liberal, for example, believes that anthropogenic global warming is taking place and is a dire environmental threat. Lenny doesn't know these two putative facts; he believes them: he unconditionally accepts, he firmly assents to, the two propositions in the absence of compelling evidence. And it seems clear that an element of will is involved in our boy's belief since the evidence does not compel his intellectual assent. He decides to believe what he believes. His believing is in the control of his will. This does not mean that he can believe anything he wants to believe. It means that a 'voluntative surplus' must be superadded to his evidence to bring about the formation of his belief. Without the voluntative superaddition, he would simply sit staring at his evidence, so to speak. There would be no belief and no impetus to action. Beliefs typically spill over into actions. But there would not be even a potential 'spill over' unless there were a decision on Lenny's part to go beyond his evidence by superadding to it his firm intellectual assent.

"But aren't you just using 'believes' in an idiosyncratic way?"

It is arguably the other way around. Someone who says he believes that the sun is shining when he sees that it is shining is using 'believes' in an idiosyncratic way.  He is using 'believes' in a theory-laden way, the theory being the JTB analysis of 'knows.'

"But then isn't this just a terminological quibble? You want to substitute 'accepts' or 'accepts-as-true' for 'believes' in the standard JTB analysis of 'knows' and you want to reserve 'believes' for those cases in which there is unconditional acceptance but not knowledge."

The question is not merely terminological. There is an occurrent mental state in which one accepts unconditionally propositions that are not evident. It doesn't matter whether we call this 'belief' or something else.  But calling it 'belief' comports well with ordinary language.

Let me now elaborate upon this account of belief, or, if you insist, of Aquinian-Pieperian belief.

1. Belief is a form of acceptance or intellectual assent. To believe that p is to accept *p*, and to disbelieve that p is to reject *p*. One may also do neither by abstaining from both acceptance and rejection.  (Asterisks around a sentence make of the sentence a name of the Fregean proposition expressed by the sentence.)

2. If acceptance is the genus, then knowing, believing, and supposing are species thereof. In knowing and believing the acceptance is unconditional whereas in supposing it is conditional. It follows that believing is not common to believing and knowing as on the JTB analysis. To think otherwise is to confuse the genus (acceptance) with one of its species (belief).

                                                           Genus:  Acceptance-as-true

[Species 1:  Knowledge                          Species 2:  Belief]                      [Species 3:  Supposal]

                     Unconditional Acceptance                                                   Conditional Acceptance

 

3. What distinguishes believing and knowing is that the believer qua believer does not know, and the knower qua knower does not believe. Both, however, accept.  What I just wrote appears objectionably circular. It may seem to boil down to this: what distinguishes believing and knowing is that they are distinct!  We can lay the specter of the circle by specifying the specific difference.

If believing and knowing are species of the genus acceptance, what is the specific difference whereby the one is distinguished from the other? Believing that p and knowing that p are not distinguished by the common propositional content, p. Nor are they distinguished by their both being modes of unconditional acceptance. Can we say that they differ in that the evidence is compelling in the case of knowing but less than compelling in the case of believing? That is true, but then the difference would seem to be one of degree and not of kind. But if knowing and believing are two species of the same genus, then we have a difference in kind.  Perhaps we can say that knowledge is evident acceptance while belief is non-evident acceptance.  Or perhaps the difference is that belief is based on another's testimony whereas knowledge is not.  Let's explore the latter suggestion.

4. It is essential to belief that it involve both a proposition (the content believed) and a person, the one whose testimony one trusts when one gains access to the truth via belief. To believe is to unconditionally accept a proposition on the basis of testimony. If so, then there are two reasons why it makes no sense to speak of perceptual beliefs. First, what I sense-perceive to be the case, I know to be the case, and therefore, by #3 above, I do not believe to be the case. Second, what I sense-perceive to be the case I know directly without need of testimony.

On this approach, the difference between believing and knowing is that believing is based on testimony whereas knowing is not. Suppose that p is true and that my access to *p*'s truth is via the testimony of a credible witness W. Then I have belief but not knowledge. W, we may assume, knows whereof he speaks. For example, he saw Jones stab Smith. W has knowledge but not belief.

Are Facts Perceivable? An Aporetic Pentad

'The table is against the wall.'  This is a true contingent sentence.  How do I know that it is true except by seeing (or otherwise sense perceiving) that the table is against the wall?  And what is this seeing if not the seeing of a fact, where a fact is not a true proposition but the truth-maker of a true proposition?  This seeing of a fact  is not the seeing of a table (by itself), nor of a wall (by itself), nor of the pair of these two physical objects, nor of a relation (by itself).  It is the seeing of a table's standing in the relation of being against a wall.  It is the seeing of a truth-making fact.  (So it seems we must add facts to the categorial inventory.)  The relation, however, is not visible, as are the table and the wall.  So how can the fact be visible, as it apparently must be if I am to be able to see (literally, with my  eyes) that the table is against the wall? That is our problem. 

Let 'Rab' symbolize a contingent relational truth about observables such as 'The table is against the wall.'  We can then set up the problem as an aporetic pentad:

1. If one knows that Rab, then one knows this by seeing that Rab (or by otherwise sense-perceiving it).
2. To see that Rab is to see a fact.
3. To see a fact is to see all its constituents.
4. The relation R is a constituent of the fact that Rab
5. The relation R is not visible (or otherwise sense-perceivable).

The pentad is inconsistent: the conjunction of any four limbs entails the negation of the remaining one.  To solve the problem, then, we must reject one of the propositions.  But which one?

(1) is well-nigh undeniable: I sometimes know that the cat is on the mat, and I know that the cat is on the mat by seeing that she is. How else would I know that the cat is on the mat?  I could know it on the basis of the testimony of a reliable witness, but then how would the witness know it?  Sooner or later there must be an appeal to direct seeing.  (5) is also undeniable: I see the cat; I see the mat; but I don't see the relation picked out by 'x is on y.'  And it doesn't matter whether whether you assay relations as relation-instances or as universals.  Either way, no relation appears to the senses.

Butchvarov denies (2), thereby converting our pentad into an argument against facts, or rather an argument against facts about observable things.  (See his "Facts" in Javier Cumpa ed., Studies in the Ontology of Reinhardt Grossmann, Ontos Verlag 2010, pp. 71-93, esp. pp. 84-85.)  But if there are no facts about observable things, then it is reasonable to hold that there are no facts at all.

So one solution to our problem is the 'No Fact Theory.'  One problem I have with Butchvarov's denial of facts is that (1) seems to entail (2).  Now Butch grants (1).  (That is a loose way of saying that Butch says things in his "Facts' article that can be reasonably interpreted to mean that if (1) were presented to him, then would grant it.)  So why doesn't he grant (2)?  In other words, if I can see (with my eyes) that the cat is on the mat, is not that excellent evidence that I am seeing a fact and not just a cat and a mat?  If you grant me that I sometimes see that such-and-such, must you not also grant me that I sometimes see facts? 

And if there are no facts,then how do we explain the truth of contingently true sentences such as 'The cat is on the mat'? There is more to the truth of this sentence than the sentence that is true.  The sentence is not just true; it is true because of something external to it.  And what could that be?  It can't be the cat by itself, or the mat by itself, or the pair of the two.  For the pair would exist if the sentence were false.  'The cat is not on the mat' is about the cat and the mat and requires their existence just as much as 'The cat is on the mat.'  The truth-maker, then, must have a proposition-like structure, and the natural candidate is the fact of the cat''s being on the mat.  This is a powerful argument for the admission of facts into the categorial inventory.

Another theory arises by denying (3).  But this denial is not plausible.  If I see the cat and the mat, why can't I see the relation — assuming that I am seeing a fact and that a fact is composed of its constituents, one of them being a relation?  As Butch asks, rhetorically, "If you supposed that the relational fact is visible, but the relation is not, is the relation hidden?  Or too small to see?"  (85)

A third theory comes of denying (4).  One might think to deny that R is a constituent of the fact of a's standing in R to b.  But surely this theory is a nonstarter. If there are relational facts, then relations must be constituents of some facts. 

Our problem seems to be insoluble.  Each limb makes a very strong claim on our acceptance.  But they cannot all be true.  

Prima Facie Evidence

A reader inquires:

     Is 'prima facie' evidence something with self-evident contextual
     significance or a evidence that constitutes some sort of
     transcendental first principle? I am having some trouble with this
     concept.

The Latin phrase means 'on the face of it,' or 'at first glance.'  Prima facie evidence, then, is evidence that makes a strong claim on our credence but can perhaps be rebutted or overturned. The term is   used in the law to refer to evidence which, if uncontested, would establish a fact or raise a presumption of a fact. If you have the victim's blood on your hands, and you are acting nervous, and are seen   running from the crime scene with passport in pocket, and have been recently overheard threatening the life of the victim, then that adds up to a strong prima facie case for your having committed the crime.  But these bits of evidence, even taken together, are not conclusive.

Philosophers use the term in roughly the same way. For example, a prima facie duty is a duty which, in the absence of conflicting duties, is our actual obligation. If I promise to meet you tomorrow at noon at the corner of Fifth and Vermouth to discuss epistemology, then, so promising, I incur the duty to meet you then and there. But if my wife becomes ill in the meantime then my duty reverts to her care. The prima facie duty to meet you is defeated or overridden by the duty to care for my wife.

Or a philosopher might speak of the prima facie evidence of memory. My seeming to remember having mailed my tax return to the Infernal  Revenue Service is good prima facie evidence of my having mailed it,  but it is defeasible evidence.

Prima facie evidence should not be confused with self-evidence. Prima facie evidence is defeasible while (objective) self-evidence is not.

Knowledge as Absolute Impossibility of Mistake

I incline towards Panayot Butchvarov's notion of knowledge as involving the absolute impossibility of mistake. In The Concept of Knowledge (Northwestern  UP, 1970), Butchvarov writes that "an epistemic judgment of the form 'I know that p' can be regarded as having the same content as one of the form 'It is absolutely impossible that I am mistaken in believing that p'." (p. 51)

One way to motivate this view is by seeing it as the solution to a certain lottery puzzle.

Suppose Socrates Jones has just secured a teaching job at Whatsamatta U. for the 2011-2012 academic year. Suppose you ask Jones, "Do you know what you will be doing next year?" He replies, "Yes I know; I'll be teaching philosophy." But Jones doesn't like teaching; he prefers the life of the independent scholar. So he plays the lottery, hoping to win big. If you ask Jones whether he knows he isn't going to win, he of course answers in the negative. He doesn't know that he will win, but he doesn't know that won't either. Jones also knows that if he wins the lottery, then he won't work next year at a job he does not  like.

On the one hand, Jones claims to know what he will be doing next year, but on the other he also claims to know that if he wins the lottery, then he won't be doing what he claims to know he will be
doing. But there is a contradiction here, which can be set forth as follows.

Let 'K' abbreviate 'knows,' 'a' the name of a person, and 'p' and 'q' propositions. We then have:

   1. Kap: Jones knows that he will be teaching philosophy next year.
   2. Ka(q –>~p): Jones knows that if he wins the lottery, then he will
   not be teaching philosophy next year.
   3. ~Ka~q: Jones does not know that he does not win the lottery.
   Therefore
   4. Ka~q: Jones knows that he does not win the lottery. (From 1 and 2)
   But
   5. (3) and (4) are contradictories.
   Therefore
   6. Either (1) or (2) or (3) is false.

Now surely (3) is true, so this leaves (1) and (2). One of these must be rejected to relieve the logical   tension. Isn't it obvious that (1) is the stinker, or that it is more of a stinker that (2)? The inference from (1) and (2) to (4) is an instance of the principle that knowledge is closed under known implication: if you know a proposition and you know that it entails some other proposition, then you know that other proposition. This seems right, doesn't it? So why not make the obvious move of rejecting (1)?

Surely Jones does not KNOW that he will be teaching philosophy next year. How could he KNOW such a thing? The poor guy doesn't even KNOW that he will be alive tomorrow let alone have his wits sufficiently about him to conduct philosophy classes. He doesn't KNOW these things since, if we are serious, knowledge implies the impossibility of mistake, and our man can easily be mistaken about what will happen in the future.

Of course, I realize that there is much more to be said on this topic.  
  

On Our Knowledge of Sameness

How ubiquitous, yet how strange, is sameness!  A structure of reality so pervasive and fundamental that a world that did not exhibit it would be inconceivable. 

How do I know that the tree I now see in my backyard is numerically the same as the one I saw there yesterday? Alvin Plantinga (Warrant and Proper Function, Oxford 1993, p. 124) says in a Reidian vein that one knows this "by induction." I take him to mean that the tree I now see resembles very closely the one I saw yesterday in the same place and that I therefore inductively infer that they are numerically the same. Thus the resemblance in respect of a very large number of properties provides overwhelming evidence of their identity.

But this answer seems open to objection. First of all, there is something instantaneous and immediate about my judgment of identity in a case like this: I don't compare the tree-perceived-yesterday, or my memory of the tree-perceived-yesterday, with the tree-perceived-today, property for property, to see how close they resemble in order to hazard the inference that they are identical. There is no 'hazarding' at all.  Phenomenologically, there is no comparison and no inference. I just see that they are the same. But this 'seeing' is of course not with the eyes. For sameness is not an empirically detectable property or relation. I am just immediately aware — not mediately via inference — that they are the same.  Greenness is empirically detectable, but sameness is not.

What is the nature of this awareness given that we do not come to it by inductive inference?   And what exactly is the object of the awareness, identity itself?

A problem with Plantinga's answer is that it allows the possibility that the two objects are not strictly and numerically the same, but are merely exact duplicates or indiscernible twins. But I want to discuss this in terms of the problem of how we perceive or know or become aware of change.  Change  is linked to identity since for a thing to change is for one and the same thing to change. 

Let's consider alterational (as opposed to existential) change. A thing alters iff it has incompatible properties at different times.  Do we perceive alteration with the outer senses? A banana on my counter on Monday is yellow with a little green. On Wednesday the green is gone and the banana is wholly yellow. On Friday, a little brown is included in the color mix. We want to say that the banana, one and the same banana,  has objectively changed in respect of color.

But what justifies our saying this? Do we literally see, see with the eyes, that the the banana has changed in color? That literal seeing would seem to require that I literally see that it is the same thing that has altered property-wise over ther time period. But how do I know that it is numerically the same banana present on Monday, Wednesday, and Friday? How do I know that someone hasn't arranged things so that there are three different bananas, indiscernible except for color, that I perceive on the three different days? On that extraordinary arrangement I could not be said to be perceiving alterational change. To perceive alterational change one must perceive identity over time. For there is change only if one and the same thing has different properties at different times. But I do not perceive the identity over time of the banana.

I perceive a banana on Monday and a banana on Wednesday; but I do not visually perceive that these are numerically the same banana. For it is consistent with what I perceive that there be two very similar bananas, call them the Monday banana and the Wednesday banana.   I cannot tell from sense perception alone whether I am confronting numerically the same banana on two different occasions or two numerically different bananas on the two occasions. If you disagree with this, tell me what sameness looks like. Tell me how to empirically detect the property or relation of numerical sameness. Tell me what I have to look for.

Suppose I get wired up on methamphetamines and stare at the banana the whole week long. That still would not amount to the perception of alterational change. For it is consistent with what I sense-perceive that there be a series of momentary bananas coming in and out of existence so fast that I cannot tell that this is happening. (Think of what goes on when you go to the movies.) To perceive change, I must perceive diachronic identity, identity over time. I do not perceive the latter; so I do not perceive change. I don't know sameness by sense perception, and pace Plantinga I don't know it by induction. For no matter how close the resemblance between two objects, that is consistent with their being numerically distinct. And note that my judgment that the X I now perceive is the same as the X I perceived in the past has nothing tentative or shaky about it. I judge immediately and with assurance that it is the same tree, the same banana, the same car, the same woman. What then is the basis of this judgment? How do I know that this tree is the same as the one I saw in this spot yesterday? Or in the case of a moving object, how do I know that this girl who I now see on the street is the same as the one I saw a moment ago in the coffee house? Surely I don't know this by induction.

How then do I know it?

Conceivability and Epistemic Possibility

Sydney-shoemaker My disembodied existence is conceivable (thinkable without apparent logical contradiction by me and beings like me). But does it follow that my disembodied existence is possible? Sydney Shoemaker floats the suggestion that this inference is invalid, resting as he thinks on a confusion of epistemic with metaphysical possibility. (Identity, Cause, and Mind, p. 155, n. 13.)  Shoemaker writes, "In the sense in which I can conceive of myself existing in disembodied form, this comes to the fact that it is compatible with what I know about my essential nature . . . that I should exist in disembodied form.  From this it does not follow that my essential nature is in fact such as to permit me to exist indisembodied form."

We need to think about the relation between conceivability and epistemic possibility if we are to get clear about the inferential link, if any, between conceivability and metaphysical possibility.   Pace Shoemaker, I will suggest that the inference from conceivability to metaphysical possibility need not rest on a confusion of epistemic with metaphysical possibility.  But it all depends on how we define these terms. 

Continue reading “Conceivability and Epistemic Possibility”

Greco on Stroud on Moore on the External World with a Shot at Stove

John Greco (How to Reid Moore) finds Barry Stroud's interpretation of G. E. Moore's proof of an external world implausible:

According to him [Stroud], the question as to whether we know anything about the external world can be taken in an internal or an external sense. In the internal sense, the question can be answered from “within” one’s current knowledge —- hence one can answer it by pointing out some things that one knows, such as that here is a hand. In the external sense, however, the question is put in a “detached” and “philosophical” way.

If we have the feeling that Moore nevertheless fails to answer the philosophical question about our knowledge of external things, as we do, it is because we understand that question as requiring a certain withdrawal or detachment from the whole body of our knowledge of the world. We recognize that when I ask in that detached philosophical way whether I know that there are external things, I am not supposed to be allowed to appeal to other things I think I know about external things in order to help me settle the question.5

According to Stroud, Moore’s proof is a perfectly good one in response to the internal question, but fails miserably in response to the external or “philosophical” question. In fact, Stroud argues, Moore’s failure to respond to the philosophical question is so obvious that it cries out for an explanation — hence Malcolm’s and Ambroses’s ordinary language interpretations. Stroud offers a different explanation for Moore’s failure to address the philosophical question: “He [i.e. Moore] resists, or more probably does not even feel, the pressure towards the philosophical project as it is understood by the philosophers he discusses.”6 Or again, “we are left with the conclusion that Moore really did not understand the philosopher’s assertions in any way other than the everyday ‘internal’ way he seems to have understood them.”7 The problem with this interpretation, of course, is that it makes Moore out to be an idiot. Is it really possible that Moore, the great Cambridge philosopher, did not understand that other philosophers were raising a philosophical question? (bolding added)

Continue reading “Greco on Stroud on Moore on the External World with a Shot at Stove”

Can One See that One is Not a Brain-in-a-Vat?

John Greco, How to Reid Moore:

So how does one know that one is not a brain in a vat, or that one is not deceived by an evil demon? Moore and Reid are for the most part silent on this issue. But a natural extension of their view is that one knows it by perceiving it. In other words, I know that I am not a brain in a vat because I can see that I am not. [. . .] Just as I can perceive that some animal is not a dog, one might think, I can perceive that I am not a brain in a vat. (21)

Really?

Continue reading “Can One See that One is Not a Brain-in-a-Vat?”

Knowledge Without Belief: A Dallas Willard-Josef Pieper Connection

A commenter on the Pieper post notes that Dallas Willard has a understanding of the belief-knowledge relation (or lack of relation) similar to that of Pieper. A little searching brought me to the following passage in Willard's Knowledge and Naturalism which substantiates the commenter's suggestion (I have bolded the parts relevant to my current concerns):

Continue reading “Knowledge Without Belief: A Dallas Willard-Josef Pieper Connection”

Possibility, Intelligibility, and Miracles

Dave  Gudeman at my old blog commented forcefully and eloquently:

I've always had difficulty with arguments like this:

It is not easy to understand how God could add causal input to the space-time system.

I'm aware that such arguments have a distinguished history, but I don't get it. Just because you don't understand how it works, you doubt that it is possible? But you don't really understand how anything works. Not matter, not energy, not beauty, not humor. Science pretends that it understands things, but if you trace their theories to the end, all they do is propose underlying mechanisms that suffer from the same opaque nature as what they are trying to explain.

Since you don't understand how any cause at all operates, what does it prove that you can't understand how God operates?

Continue reading “Possibility, Intelligibility, and Miracles”

Anarchism is to Political Philosophy as Skepticism is to Epistemology

In Nicole Hassoun's NDPR review of Roderick T. Long and Tibor R. Machan (eds.), Anarchism/Minarchism: Is a Government Part of a Free Country?, Ashgate, 2008, we read:

Anarchism should be of interest [to social liberals] because it plays the role in political philosophy that skepticism plays in epistemology — raising the question of what, if anything, could justify a state in the way that brains in vats, etc. raise the question of what, if anything, could justify beliefs. The debate between anarchists and libertarians should be of interest because if the anarchists are right then libertarianism commits one to anarchism. So, social liberals who take libertarianism seriously may have to take anarchism seriously too.

I was struck by the notion that anarchism is as it were political philosophy's skepticism.  A fruitful analogy.  The anarchist is skeptical about the moral justifiability of the state in the way in which the epistemological skeptic is skeptical about whether what we take to be knowledge really is knowledge.  There is a strong temptation, one I feel, to revert to a double insistence: first, that we have knowledge of the external world whether or not we can answer every conceivable objection to the possibility of such knowledge; and second, that some states are morally justified whether or not we we can explain to everyone's statisfaction what it is that confers moral justifiability on them.

Perhaps the right atitude is as follows.  Provisionally, we should just accept that some beliefs about the external world amount to knowledge and that some states are morally justified.  Ultimately, however, this is not a philosophically satisfactory attitude.  One wants rational insight in both cases.  And so we should keep working on the problems.  But lacking as we do proof of the impossibility of knowledge and of the moral unjustifiability of the state, we have no good reason to abandon our commonsense views about the existence of knowledge and the moral justifiability of some states.  You cannot be a philosopher without being a procedural skeptic; but if your skepticism hardens into dogmatic denial of the commonsensical, then the burden of proof is on you.

 

Imaginable, Conceivable, Possible: How Justify Modal Beliefs?

Crumb_selfportrait As I use them, 'imaginable' and 'conceivable'  mean the following. Bear in mind that there is an element of stipulation and regimentation in what I am about to say.  Bear in mind also that the following thoughts are tentative and exploratory, not to mention fragmentary.  The topics are difficult and in any case this is only a weblog, a sort of online notebook.

To imagine X is to form a mental image of X.   To imagine a two-headed cat is to form a mental image of (more cautiously: as of) a two-headed cat.  To say that X is imaginable is to say that someone has the ability to imagine it. To envisage is to visually imagine. Not all imagining is visual.

Continue reading “Imaginable, Conceivable, Possible: How Justify Modal Beliefs?”

Notes on Van Inwagen on Modal Epistemology

Herewith, some interpretive notes and critical comments on Peter van Inwagen's paper, "Modal Epistemology" (Philosopical Studies 92 (1998), pp. 67-84; reprinted in van Inwagen, Ontology, Identity, and Modality, Cambridge UP, 2001, pp. 243-258.)

1. Van Inwagen describes his position as "modal scepticism" (245) but a better name for it would be 'mitigated modal scepticism' since he does admit that we have modal knowledge: "I think we do know a lot of modal propositions . . . ." (245)

Knowledge, Certainty, and Exaggeration

As I explained the other day, I am inclined to accept Butchvarov's view of knowledge as the impossibility of error. If I know that p, then it is not enough that I have a justified true belief that p; I must have a true belief whose justification rules out the possibility of error. Anything short of this is just not knowledge. But then what are we to say about the knowledge claims that people routinely make, claims that that don't come near satisfying this exacting requirement? We won't say that they are mere beliefs, for many of them will be rationally held beliefs. For example, an air traveler who claims to know that he will be in New York tomorrow has a rational belief that will in all probability turn out to be true; but by Butchvarov's lights, a true belief for which one has reasons does not amount to knowledge unless the reasons entail the belief's truth. Since the air traveler's reasons for believing he will be in New York tomorrow do not entail his being there tomorrow, his belief, though rational, is not a case of knowledge. How then do we explain his use of the word 'know'? Should we say that there is a weak sense of 'know' as rational true belief short of certainty?

One idea, also from Butchvarov (The Concept of Knowledge, pp. 54-61), is that the various loose claims of knowledge can be understood as cases of exaggeration. But I'll try to develop this idea in my own way.

Continue reading “Knowledge, Certainty, and Exaggeration”