Monday, September 22, 2008

Knowledge as the Norm of Assertion

I have recently been talking to one of my colleagues about norms of assertion. during the course of our conversation, there was some amount of miscommunication between us. My friend wanted to defend that the following is a rule of language:

R1. Assert only what you know.

I expressed skepticism about that rule and suggested that perhaps the following rule was both true and the strongest epistemic rule governing assertion:

R2. Assert only what you justifiably believe.

My friend pointed out that if one were to try to follow R1 he would do all the same things as he would if he were to try to follow R2 (and vice versa). He suggested that we think of our situation like an internal dialogue. Think about a situation in which you are about to assert something and imagine asking yourself if you know the thing you are about to assert. Record whether you said "yes" or "no" in answer to that question. Now ask yourself whether you justifiably believe that same thing. Your answer should be the same as before. So, it looks like you will get the same results regardless of whether you try to follow R1 or R2.

At this point one might think that following R1 amounts to the same thing as following R2. However, I am inclined to think is incorrect. Although you will do the same actions regardless of which rule you try to follow, you will be criticizable in some situation if R1 expresses an accurate rule of assertion but not criticizable if R2 is the strongest rule governing assertion. Let me explain. If you are in fake bark country and assert that the object in front of you is a barn, then you will be criticizable under R1 but not under R2. After all, you asserted something you didn't know but you did not assert something you were not justified in believing.

This, at least, is what I thought a couple of days ago. But, perhaps I don't know what it means to follow a rule. It seems that we can distinguish an internalist interpretation of following a rule and an externalist interpretation. To make these two interpretation clear consider the following scenereo:

Late last night we were all kidnapped and hooked up to the matrix. Now, although we think we are living our lives as usual, we are in fact trapped in a computer generated world. While we were in this world, Greg ordered me to bring him a pen. I picked up what seemed to me to be a pen and seemingly brought it to him. Of course, in reality I did whatever it is that envatted people do when they seemingly pick up a pen and hand it over to another person. Now the question is this: Did I follow Greg's command. In an externalist sense of following commands I did not. After all, Greg is speaking English to me and asked for a pen not a vat-pen and (at most) I brought him the latter and not the former. However, in an internal sense I did follow the command. From the inside I thought, "Greg wants a pen" and then I was appeared to pen-wise and thought "oh there is a pen"and proceeded to do something that I thought was picking up and handing over a pen. So, it seems clear that I internally followed the command but externally did not.

What goes for commands goes for rules as well. We might internally follow a rule while not externally following it. Now, given this background information, we might accept that we should follow the rule R1. However, we might still disagree with whether we should follow it in an internal sense or an external sense. If we decide that we should follow it in an external sense, then we will come up with a very different principle about assertion than we would if we had decided that we should follow it in an internal sense.

If we decide we should externally follow R1, then we might affirm this principle:

P1. One is permitted to assert P only if one knows P.

If however, we decide that we should follow it in an internal sense, then we'll get something more like the following:

P2. One is permitted to assert P only if one is justified in believing P.

As I see it, there are several different positions one might have. One might think that we should follow R1 in an external sense and hence believe that P1 is true. On the other hand, one might think that we should follow R1 in the internal sense and hence believe that P2 is true. On the third hand, we might think that we should follow R2 in the external sense and hence believe P2. Finally, one might think we should follow R2 in the internal sense and believe . . . Oh myhead is spinning! Well, I hope you get the picture.

It is clear though that if we start thinking about norms of assertion by thinking about rules we should follow, then we should do two things: (1) figure out which rule we should follow and (2) figure out what we mean by "follow". Once we have done these two things, then we'll be able to formulate a principle about assertions.

Thursday, September 18, 2008

A New Solution to the Problem of Easy Knowledge

I originally wrote this as a response to Chris's comments on my post "Easy Knowledge and Millianism". Something Chris said suggested this as a plausible solution to the puzzle. I thought it might be good to post this independently and see what everyone thinks. However, this post relies on some background information that can be found in my previous post and in the comments to that post.

This new solution is inspired by the Hawthorne/Stanley view that something is known only if it can be "used as a premise in practical reasoning". I am beginning to be attracted to something like this Hawthorne/Stanley position. I will try to spell out a bit of the view below.

Let's let JTB be a three place relation that bears between an individual, a proposition and a way or guise. We can say that someone, S, has a justified true (non-gettierized) belief that P just in case S stands in the JTB relation to a proposition under some guise or other. Further we can say that S knows that P just in case S stands in the JTB relation to P under some guise or other and that belief can be used under that guise as "a premise in practical reasoning". I know this last bit is a little bit vague. But I hope you'll still be able to follow me.

Now, we have gotten rid of the problem of easy knowledge. Ned the navigator does not justifiably believe the truth that that the oldest tree in Washington is at L under a guise that can be used in practical reasoning. (Although he does justifiably believe that truth). So, he does not know that the oldest tree in Washington is at L.

Moreover, we can still connect up knowledge-wh to knowledge-that by saying things like "S knows where x is just in case S knows an answer to the question 'where is x?'". Since we got rid of the problem of easy knowledge, we don't have a problem of easy knowledge-wh.

This solution matches our intuition that you can't have easy knowledge. It also matches with our intuitions about when a person knows-wh. It might also fit better with our ordinary use of the word 'knows'. Moreover, it does not invoke the weird acquaintance relation.

One thing that is slightly counter-intuitive is that even though Ned introduced the name 'L' by saying "let 'L' name the location of the oldest tree in Washington" and even though he can easily reason his way to the conclusion that the location of the oldest tree in Washington is at L, he does not know this. He has a justified true (non-gettier) belief because he JTBs that proposition under some guise or other. But, he doesn't know that proposition because he can't use that justified true belief as a premise in practical reasoning.

I kind of like this view. Does anyone see anything immediately wrong with it or does anyone have a suggested amendment?

Sunday, September 07, 2008

Easy Knowledge and Millianism

Millianism is the thesis that the meaning of a proper name is the object to which it refers. Some people who believe Millianism also endorse certain principles connecting the possession of a proper name to the ability of a thinker to think things about the named object and principles that allow the introduction of a proper name into language by way of a definite description. These philosophers seem to face a problem of easy knowledge. In this post I will present this puzzle of easy knowledge. I will note some of the replies that a Millian can give to such a puzzle, including the deflationist reply which says that we do have such easy knowledge but it is not as bad as one might expect. Finally, I will press the deflationist position with a worry and suggest the best response that a deflationist might give. Before I begin, I should note that this puzzle has been extensively discussed amongst the members of our little tribe for several years. so, many of the things I say here may have come up in conversations between us in the past. I have just recently become interested in this puzzle again because I recently heard a talk on this subject.

So, let's begin by presenting the puzzle. Let's assume that Millianism is true and introduce two new theses that will help generate the puzzle. The first thesis is that a person can introduce a proper name for an individual into a language simply in virtue of using a definite description that refers to that individual. For example, I can introduce a proper name for Benjamin Franklin into English by saying something like this: "Let 'Fred' be a proper name for the guy who invented bifocals". Similarly, I can introduce a proper name for the guy who invented the wheel by saying "let 'Gorg' be a proper name for the guy who invented the wheel". This trick can be used for anything that can be (properly) named and which can be picked out by a definite description.

The second thesis is that someone can have de re beliefs and other attitudes about an individual simply in virtue of possessing a name for that individual. So, for example, after introducing the name 'Gorg' for the inventor of the wheel, I can wonder whether Gorg was tall. I can believe of Gorg that he was a clever man. And I can (with the appropriate evidence) know that Gorg lived a long time ago.

With these theses in mind, we can now present the puzzle of easy knowledge. Suppose I introduce the name 'Gorg' by saying "let 'Gorg' be a proper name for the guy who invented the wheel". Now I think to myself that if anybody invented the wheel, then the guy I named 'Gorg' invented the wheel. I also think that if I named anyone 'Gorg', then Gorg is the guy I named. finally, I conclude that if anybody invented the wheel, then Gorg invented the wheel. At each step, I seem to be justified in my belief. Moreover, my beliefs are true. One migh think that these are justified, true beliefs that don't amount to knowledge. but, the situation certainly doesn't look like classical Gettier situations. So, we may reasonably conclude that I know that if anybody invented the wheel, then Gorg did. but, such knowledge seems too easy. How can I know anything about Gorg when I have never met him. Moreover, it seems that this trick can generalize in a way that indicates that I have a lot more knowledge than one might initially expect. This is the problem of easy knowledge.

There are several solutions to this puzzle. One might think that my beliefs about Gorg are unjustified or that even though they are not justified, they do now amount to knowledge. I think this is an interesting response which I am not going to explore in this post (though I may explore it in a later post). I think the best option here is to suggest that I fail to meet a safety condition on knowledge. Although I believe that if anyone invented the wheel, then Gorg did, in the nearby worlds where I form such a belief, it is not justified. I suspect this strategy will have many problems, but (as I indicated) I will not be exploring those problems here.

One might say that proper names cannot be so easily introduced. some Millians think there are two kinds of names out there: proper names and descriptive names. A name that is introduced by way of a description is a discriptive name. Moreover, although the meaning of proper names are the things they refer to, the meanings of such descriptive names are the descriptions that were used in their introduction. On this view, the content of the sentence "if anyone invented the wheel, then Gorg did" is actually "if anyone invented the wheel, then the guy who invented the wheel did". But, this is trivial knowledge that most people can have simply be reflection.

Finally, some people might think that although we can introduce a proper name with a description, we cannot have thoughts about the thing so named. This view breaks the connection between possessing a proper name and being able to have a thought about the thing named. (I believe this is Salmon's view).

These are some of the ways out of our puzzle of easy knowledge. But there are a few people out there who think the best option is simply to accept that we have such easy knowledge. (Some of us might even be attracted to such a view). Part of the job for these people is to explain why it isn't so bad to have such easy knowledge. But, their job is made even more difficult by the following fact. It seems that we are not able to act on knowledge such easy knowledge and yet knowledge that is acquired in the traditional way can typically be acted upon.

To make this problem more acute, let's focus on an example. Suppose that Ned the navigator is a man who is extremely good at getting to places given the appropriate information. In fact, he boasts that he can take anyone to any coordinate on Earth. However, Ned is also a philosopher and he introduces a name for the coordinates of the oldest tree in Washington state by saying "Let 'L' be a proper name for the coordinates of the oldest tree in Washington state". then, through a simple series of justified inferences he comes to know that if there is a location of the oldest tree in Washington state, then it is at L. Fred the navigator, on the other hand, has the same navigational abilities as Ned, but looks up the location of the oldest tree in Washington state in an encylopedia. Fred knows that if there is a location of the oldest tree in Washington state, then it is 48 degrees north by 124 degrees west. Now, since 'L' is a proper name for the location of the oldest tree in Washington state and since that location is 48 degrees north by 124 degrees west, it turns out that Ned and Fred know the exact same thing. Yet, if I were to ask to takes to the location of the oldest tree in Washington state, Ned wouldn't be able to take me there whereas Fred would. This seems like a difference that needs to be explained.

I take it that there are a couple of explanations available to the Millian who accepts easy knowledge. First, He can say that although we can have easy knowledge it is not usefull because there is some difference between the easy knowledge and regular knowledge. such a Millian would be required to explain what that difference is.

On the other hand, a Millian might simply say that we are looking for explanations in the wrong direction. He might simply say that the difference between easy knowledge and regulary knowledge lies in the fact that we have abilities to act on regular knowledge that we lack with mere easy knowledge. That is to say that knowledge is easy in virtue of the fact that we cannot act on it.

Finally, a Millian might simply reject explanations at this point and say that although there is a correlation between having abilities and having knowledge that is acquired in the traditional way, such a correlation need not be explained.

I think the first option is the way to go. I will quickly argue against each of the other two options and then explain how one might flesh out the first option in more detail. the Final option is not good because such a correlation will be a strong, perhaps necessary connection. It is hard to imagine, for example, a world in which most people's knowledge comes by way of naming and yet they are still able to act on that knowledge. It is hard to imagine, for example, a world in which Ned does exactly what he does in our actual world to come to know the location of the oldest tree in Washington and yet takes us right to the tree when we ask. Even if he did so, we would simply say that he was lucky in his guess.

The second option seems weird. It seems like easy knowledge is easy knowledge in virtue of the way it is acquired rather than in virtue of any correlation between our lack of abilities. Moreover, it seems intuitively plausible to say that there is a difference between Fred and Ned's knowledge that accounts for their differences in ability. This all leads me to believe that the first option is the one that a Millian who accepts easy knowledge should take.

Here is what such a Millian can say: Although Fred and Ned know the same things, Fred has an ability the Ned lacks because his knowledge is had under an appropriate guise or way of believing. Ned knows the location of the oldest tree in a particular way. He knows navigational facts in one way and the fact about the location of the oldest tree in another. So, he is not able to connect up those bits of knowledge and act appropriately. On the other hand, Fred's navigational knowledge and knowledge about the location of the oldest tree are had in the same way. So, he is able to connect up those bits of knowledge and act appropriately. So, it seems to me that the deflationist solution to the problem of easy knowledge is best when combined with an endorsement of Ways Millianism.