Maximal Rationality Redux

This past Friday I gave a talk at UN-L on my paper “On Maximal Rationality.” In that paper I defend an analysis of maximal rationality, which attempts to delineate what it takes to be immune from rational criticism. Luckily for me, I received some excellent feedback on Friday. In lieu of said feedback, I have revised the view considerably. Below the fold is the current view.

First, we must define some terminology. Let JSPA stand in for judgment sensitive propositional attitude.  Call the following type of belief a (1)-type belief:

(1)    I believe that I have decisive reason on my evidence to [JSPA] that ϕ.

So, the (1)-type belief for belief is,

(1b)    I believe that I have decisive reason (on my evidence) to believe that ϕ

and the (1)-type belief for intention is,

(1i)    I believe that I have decisive reason (on my evidence) to intend that ϕ

and et cetera for all of the other JSPAs.  Now, let’s call the proposition that is the content of the (1)-type belief a (1)-type proposition. Hence, the (1)-type proposition for (1b) is,

(1b-p) I have decisive reason (on my evidence) to believe that ϕ.

Finally, call the JSPAs of the following form (2)-type attitudes:

(2) I [JSPA] that ϕ.

Therefore, the (2)-type attitude for belief is the following,

(2b) I believe that ϕ,

and et cetera for the other JSPAs.

Second, the analysis of maximal rationality is the following:

MR: one is maximally rational iff one is both procedurally rational and substantively rational.

Hence, maximal rationality is a function of procedural rationality and substantive rationality. Procedural rationality can be defined thusly:

PR: one is procedurally rational iff one’s attitudes are structurally valid.

One’s attitudes are structurally valid when they are formally coherent.  In order to meet the demands of PR, an agent has to fulfill certain rational requirements.  Some examples are,

Modus Ponens Principle (MPP): One must: (If one believes ‘α’ and believes ‘if α, then ω’, then one believes ‘ω’).

Non-Contradiction Principle (NCP): One must: (If one believes ‘α’, then not believe ‘¬α’).

Means to an End Principle (MEP): One must: (If one’s end is E, and one believes M is a means to E, one intends to M).

Take a Stand Principle (TSP): One must: (If one has a (2)-type attitude, then one has a (1)-type belief).

The examples above all have to do with the structure of one’s attitudes, not about which attitudes are rational to have.  Thus, in terms of PR, if one violates NCP, then one can right her wrong simply by ceasing to believe either ‘α’ or ‘¬α’.

You might think that PR is all that needs to be satisfied in order to be immune from criticism. I think that is false. In support of this, consider two cases from my paper:

Case one: Emmett grows up in rural Louisiana. His parents are fundamentalist Christians who believe that the earth is only 10,000 years old. Currently, he is 25 years old and has always lived in rural Louisiana. He lacks all access to the outside world. He has a fully consistent set of attitudes. He believes that the earth is only 10,000 years old. From this belief, he forms the intention to assert that the earth is only 10,000 years old. He asserts that the earth is only 10,000 years old.

Case two: Emmett grows up in rural Louisiana. His parents are fundamentalist Christians who believe that the earth is only 10,000 years old. Currently, he just began as an assistant professor of geology at a major American university. He has also just finished a PhD dissertation in which he assumed that the earth is much older than 10,000 years old (he even unfaithfully asserted that there is irrefutable evidence that the earth is older than 10,000 years old). Despite this, he still believes that the earth is only 10,000 years old. This belief is part of a consistent set of attitudes. Because of this belief, he forms the intention to assert that the earth is 10,000 years old. He asserts that the earth is only 10,000 years old.

By stipulation, Emmett’s attitudes are structurally consistent in both cases. In both cases he has the (1)-type belief that he has decisive reason to believe the earth is only 10,000 years old. Moreover, in each case he has the corresponding (2)-type belief (that the earth is only 10,000 years old). Moreover, it’s stipulated that Emmett satisfies all of the other principles relevant to PR. However, in case 2 he seems to be clearly open to a type of criticism he is not open to in case 1. Namely, in case 2 he is badly mistaken about the relevance of certain facts he is in a position to know. If this is right, then PR cannot be necessary and sufficient in determining the realm of criticizability. Thus, we need an additional concept.

I argue that that concept is substantive rationality. I define substantive rationality thusly,

SR: one is substantively rational iff  (i) for every (2)-type attitude that one has one knows the corresponding (1)-type proposition and (ii) one believes all of the (1)-type propositions that are salient for her.

The first conjunct says that for every (2)-type attitude one has, one must know the corresponding (1)-type proposition.  For example, if one holds (2*)

(2*) I believe that ϕ,

then one must know (1-p*)

(1-p*) I have decisive reason on my evidence to believe that  ϕ.

Since one must know (1-p*), it follows from the factivity of knowledge that (1-p*) is true.  If (1-p*) is true, then one is justified in holding (2*), and hence is not open to criticism for having an unjustified belief (mutatis mutandis for the other JSPAs).

The second conjunct requires one to believe all of the (1)-type propositions that are salient for her. We can define saliency in the following way:

Saliency Principle (SP): (1-p) ψ ((1)-type proposition ψ) is salient for A iff (1) A is in a position to know ψ and (2) A needs to take a stand about ψ in order to be procedurally rational.

SP1 is designed to eliminate problems with epistemic access that plague some theories of reasons with implausibility (or so it has been argued).   For example, in case 1 above Emmett’s only evidence about how old the earth is comes from theological sources.  In other words, the only information he has every heard about how old the earth is has come from sources that claim the earth is only 10,000 years old. Thus, it seems intuitive that he is rational in believing that the earth is only 10,000 years old, even in terms of substantive rationality. Emmett isn’t criticizable, that is, for failing to believe that the earth is older than 10,000 years old because no evidence that he is in a position to know supports this. Thus, in order for one to be criticizable for not having a (1)-type belief, she must be in a position to know the corresponding (1)-type proposition.

SP2 is designed to sufficiently narrow the set of reasons that the agent is in a position to know in response to cases like the following.  As I walk down the hall to my office, I am barraged by sensory information.  For example, I am in a position to know that there is a poster advertising a clothing store downtown, or a geology talk, etc.  In other words, I am in a position to know the following (1)-type proposition:

(1-pC) I have decisive reason to believe there is an advertisement for a clothing store on the wall of the department.

Now, if I have no prior (2)-type attitudes about the content of the walls, am I criticizable for failing to believe (1-pC)?  I take it that the overwhelming intuition is that I am not criticizable.  If I were, then I would be required to have way too many (1)-type beliefs.  Hence, we need some way of deciding which (1)-type propositions that I am in a position to know are the relevant ones for criticizability.  SP2 tells us which ones are relevant.  Namely, the (1)-type propositions that are relevant are those that we must take a stand on in order to be procedurally rational.  Normally, the Take a Stand Principle (TSP) is going to be the most relevant PR principle to meet this condition.  TSP requires an agent to have a corresponding (1)-type belief for every (2)-type attitude.   In other words, if the agent believes p, she is required by TSP to believe that she has decisive reason to believe p.  If she fails to have the latter belief, but she has the former, then she is accepting the former on blind faith.  She doesn’t think she has decisive reason to hold the belief, but she does anyway.  Thus, she is open to criticism.  Bringing this back to SP2, we get the following: since TSP is (ex hypothesi) a requirement of PR, the salient (1)-type propositions that agent A is in a position to know are those propositions that correspond to (2)-type attitudes the agent holds.  Hence, if I believed that there were no advertisements currently (as I walk down the hall) on the walls, then (1-pC) is salient for me currently.  Thus, since I don’t know (1-pC) (because it’s false), I am open to criticism for having an unjustified (2)-type attitude.
Let’s sum up the requirements of SR, starting with the second conjunct and ending with the first.  The second conjunct requires you to believe all of the (1)-type propositions that you are in a position to know and that correspond to (2)-type attitudes that you hold.   The first conjunct, in turn, requires you to know all of those (1)-type propositions.  Thus, if you don’t know them, you are open to criticism.  Hence, if you believe a false (1)-type proposition, you are criticizable.  But, if you know all of the (1)-type propositions that are salient for you, and you are procedurally rational (and hence have the corresponding (2)-type attitudes),  then you are immune from all criticism.

That is a short (and let me say that some of it is directly lifted from a draft of the paper) summary of the view as it stands now. Comments, as always, are greatly appreciated.

~ by Errol Lord on October 29, 2007.

18 Responses to “Maximal Rationality Redux”

  1. You say this:
    In other words, if the agent believes p, she is required by TSP to believe that she has decisive reason to believe p. If she fails to have the latter belief, but she has the former, then she is accepting the former on blind faith. She doesn’t think she has decisive reason to hold the belief, but she does anyway. Thus, she is open to criticism.

    This strikes me as implausible. I take it that the beliefs we form based on perception often fail to meet this requirement. Of course, you might say that I just don’t know that I believe I have a decisive reason to believe that p when I believe that p in perceptual cases, but is there any non-theory driven reason to think this is what going on? I take it that normally when you look at your table, you just believe that it is a table and you don’t form another belief that you have decisive reason to believe that it is a table. I don’t have any argument other than this. But, as far as I can tell, it is a highly intuitive counter example because, by my lights, it is intuitive to think most of us are not open to criticism about our beliefs formed on the basis of perception.

    Another worry might be that, given the way you have specified, TSP and type-1 and type-2 attitudes you face a regress problems similar to the one that people claim plague the KK principle. Notice that (1b), for example, is also a type-2 attitude. It is a JSPA that p where p=I have decisive reason (on my evidence) to believe that ϕ. From this, it follows by TSP that, in order to not be rationally criticizable, you need to have a type-1 attitude: I believe that I have decisive reason (on my evidence) to believe that p. But if you have this attitude you have a type 2 attitude that q where q=that I have decisive reason (on my evidence) to believe that p. And then, by TSP, you rationally should form the attitude that….and so on.

    Of course, I’m probably missing something. But, those are some thoughts.

  2. Shyam,

    You write,

    “This strikes me as implausible. I take it that the beliefs we form based on perception often fail to meet this requirement. Of course, you might say that I just don’t know that I believe I have a decisive reason to believe that p when I believe that p in perceptual cases, but is there any non-theory driven reason to think this is what going on?”

    I actually think that determining what it means to believe something is one of the hardest philosophical questions. But, on at least one standard way of understanding what it means to believe something, one believes p only if one is disposed to use p as premise in reasoning. This doesn’t mean that one believes p only if one does in fact use p as a premise in reasoning. P might not come up. If this is what we mean by believing–and it is what I mean here–then I think you clearly believe that you have decisive reason to believe in the perception case. I think one way to bring out if you believe the 1-type belief is to ask yourself why you take yourself to believe the 2-type belief. In the perception case, it will be something like “Because I saw that the car is red. That’s why I believe it’s red.” The first sentence is expressing your belief that you have decisive reason to believe the car is red. Most cases of perception are ones in which the agent is not critizable because one generally knows the 1-type belief.

    The regress problem might be more serious. It might pose a problem for either PR (because of TSP) and/or it might pose a problem for SR. Let’s examine them in turn.

    TSP says that for each 2-type belief one has, one must have the corrsponding 1-type belief. So, if one believes

    (2) I believe that p

    then one must believe

    (1) I have decisive reason to believe p.

    But as you say, (1) is also a 2-type belief, and so one must believe (0)

    (0) I have decisive reason to believe that I have decisive reason to believe p.

    But that is a 2-type belief as well, and so you must believe (-1)…

    I think that this sounds weird at first. But after thinking about I don’t find the regress that disturbing. Why wouldn’t you use one of the (-n) beliefs in a premise in reasoning if the situation deemed it appropriate? What would ever make you doubt one of the iterations? You might also worry that this just saddles us with too many beliefs, but I don’t think that is true. We already have a whole lot of beliefs (just think of all of the conditionals we would use as premises in our reasoning if the situation was appropriate).

    Now, the regress might also be a problem for SR, since SR requires you to know the 1-type proposition. So, in order to be justified in (2)

    (2) I believe that p

    you must know (1)

    (1) I have decisive reason to believe that p.

    But since (1) is also a 2-type belief, in order to be substantively rational in holding it you must know (0)

    (0) I have decisive reason to believe that I have decisive reason to believe that p,

    and et cetera to (-n).

    First, it must be said that nothing I say commits me to saying that you are rationally required that you know that you know that you know… the 1-type beliefs. Simple proof: since I am not committed to saying you must know the original 2-type belief, I am not committed to saying that you need to know the subsequent 2-type beliefs. You just have to know that you are justified in believing the subsequent 2-type beliefs. Still though, it seems obvious that you will know the subsequent 2-type beliefs if you are substantively rational on my view. I must admit, this seems very strange. But it need not be. I take it the know-decisive reason principle isn’t that implausible:

    KDRP: If one knows that p, then one is in a position to know that one has decisive reason to believe that p.

    Since knowledge requires justification, and justification requires both decisive reason to believe and an appropriate connection between the reasons and the belief, KDRP seems plausible. Applying KDRP to our regress, we get the following. Assuming you know (1), it follows that (0*)

    (0*) I am in a position to know that I have decisive reason to believe that I have a decisive reason to believe that p.

    Assuming that you do what you need to do to come to know (0*), we get (-1*)

    (-1*) I am in a position to know that I have decisive reason to believe that I have decisive reason to believe that I have decisive to believe that p,

    and et cetera until (-n*). The conclusion seems weird to me, although it does solve the regress problem. But it might not be that weird. You might think that what justifies (0*)…(-n*) is just your original evidence for p. (??)

  3. Sorry I’m not sure I follow your reply. Do you admit this much:

    If S is rationally required to believe that p, then the regress I sketched ensues.

    And do you admit that the antecedent is true for at least 1 substituend for p?

    I think if I know your answer to these I will be able to understand everything else you said a bit better.

  4. Shyam,

    Yes to both questions, I think. Let me stress that although the regress looks weird for both PR and SR, I don’t think it is that weird at all. Plus, it seems like the regress for SR is the case even if my theory is false. In other words, if you know that you have decisive reason to believe that p, then you are in a position to know that you have decisive reason to believe that you have decisive reason to believe that you have decisive reason to believe…

    Also notice that this isn’t the case for any other beliefs other than those that you know w/r/t what you have decisive reason to [JSPA]. If you know that the car is red, then you are in a position to know that you have decisive reason to believe that the car is red. Although the regress ensues about you being in a position to know you have decisive reason to believe, it doesn’t ensue about you knowing that the car is red.

  5. Errol,

    Thanks for the presentation last Friday.

    I am trying to sort out the distinctions between procedural rationality and substantive rationality on your view, and I confess puzzlement on this point. It seems like the two aren’t conceptually independent of one another. You think of TSP as a requirement of procedural rationality, yet TSP seems to be an integral part of saliency, which in turn is an integral part of substantive rationality.

    To wit, as one criteria of saliency, you say that A needs to take a stand about ψ in order to be procedurally rational, and you also say that for A to be substantively rational, one criteria is that A must believe all of the (1)-type propositions that are salient for her. But this seems to me to say that A must be in a position to know and must know all of the things that she needs to in order to be procedurally rational, and it’s not then clear to me what the distinction between SR and PR does, since it looks like PR is underwriting SR.

    Also, I worry that the “decisive reason” criteria is unnecessarily strict and will rule out more than just implausible theological beliefs. You write:

    “TSP requires an agent to have a corresponding (1)-type belief for every (2)-type attitude. In other words, if the agent believes p, she is required by TSP to believe that she has decisive reason to believe p. If she fails to have the latter belief, but she has the former, then she is accepting the former on blind faith. She doesn’t think she has decisive reason to hold the belief, but she does anyway. Thus, she is open to criticism.”

    This sounds implausible to me. I take it that many people do accept things on faith, and not just theological propositions. I accept, on faith, that Saturn has 60 satellites. Do I have good reason to believe this? Yes. Scientists have in fact confirmed that 60 satellites exist, and because scientists have good reason to say what they do, I have good reason to accept what scientists say. But do I have decisive reason to believe that Saturn has 60 satellites? I would say that I do not, since more satellites may be discovered and three others have been observed but not confirmed (this is all from Wikipedia, by the way). But on your view, I am criticizable when I say that Saturn has 60 natural satellites but do not have the (1)-type belief that goes with it. That seems odd to me.

    I may be mistaken about both of the above. If I am, I would appreciate being set right. But I hope (!) that these thoughts help you out.

  6. I’m not sure what to make of your responses that show that the regress isn’t so bad. but, here is what i took to be the teeth of the regress problem. it is a reductio:

    P1 If View V is true then, maximal rationality require S to have infinitely many mental states. {Assumption}
    P2 Humans can only have finitely many mental states. {Fact, because the brain has a finite storage capacity}
    P3 If view V is true, then no human can do what maximal rationality requires {P1, P2 and some fudging for validity}
    P4 A human can (that is, it is naturally possible or possible without changing essential facts about or mind etc like the fact that it is finite) to do what maximal rationality requires. {Intuition}
    C View V is false {P3, P4, a bit of fudging for validity, and MT}

    Like I said I don’t know about your responses to saying that the regress is not that much of a problem. But, this strikes me as a problem for any view that P1 is true of. Maybe what you said some how shows why this argument fails. But as far as I can tell, I don’t think you have denied a premise in this argument (which of course is understandable because I did not give it yet). And insofar as you don’t, I think it is a problem.

  7. Justin,

    You write, “To wit, as one criteria of saliency, you say that A needs to take a stand about ψ in order to be procedurally rational, and you also say that for A to be substantively rational, one criteria is that A must believe all of the (1)-type propositions that are salient for her. But this seems to me to say that A must be in a position to know and must know all of the things that she needs to in order to be procedurally rational, and it’s not then clear to me what the distinction between SR and PR does, since it looks like PR is underwriting SR.”

    In order to be procedurally rational, one needs to have corresponding 1-type beliefs to all of the 2-type attitudes that she holds. But, as far as PR goes, one only needs to have the beliefs. One doesn’t need to know all of those 1-type propositions in order to be procedurally rational. In other words, one doesn’t need to know all of the 1-type propositions in order to avoid some type of internal incoherence. However, one does need to know all of the 1-type propositions if one is going to be substantively rational. In other words, one needs to know all of the 1-type propositions if one is going to be accurate about all of the relevant facts. In a way PR is underwriting SR, but only insofar as what you take a stand on is what you are required to be informed about. There is clearly a difference in emphasis between PR and SR.

    As long as the scientists’ testimony is sufficiently reliable, you do have decisive reason to believe that saturn has 60 satellites. Decisiveness doesn’t entail infallibility. Your evidence might be misleading.

  8. Shyam,

    I reject P1. I take it that you mean that V requires one to have an infinite amount of occurrent beliefs. My view doesn’t require that. It requires that you would be disposed to use the content of the belief as a premise in your reasoning if the situation made it appropriate. Given that definition of belief, we have billions upon billions of beliefs (proof: assign each atom in the universe a number. You believe all conditionals of the following form: If the universe went out of existence, then atom n wouldn’t exist). If you know that you have decisive reason to believe that p, then why would ever deny (-n*)?

    Now, I could fix the problem with the following restriction. 2-type attitudes are only attitudes about the world, whereas 1-type beliefs are only about reasons. Therefore, 1-type beliefs aren’t 2-type attitudes. Thus, you aren’t required to have the (0*)…(-n*) beliefs. But I actually think that you are criticizable if you wouldn’t use one the (0*)…(-n*) propositions as a premise in your reasoning. Doing that is analogous to believing that you have hands while at the same time not believing that you have decisive reason to believe you have hands. In that case, you are clearly criticizable.

    What do you think?

  9. sorry its taken so long for me to reply. ive been trying to understand why you are not committed to P1. It seems to me you need to deny one of the following things in order to not be committed to P1. You need to deny:
    (a) that 1-type attitudes have this form: I believe that I have decisive reason on my evidence to [JSPA] that ϕ,
    (b) that 2-type attitudes have this form: I [JSPA] that ϕ,
    (c) that every 1-type attitude is a 2-type attitude,
    (d) that there is some 2-type attitude that S rationally should have, or
    (e) that TSP is true and has this form: One must: (If one has a (2)-type attitude, then one has a (1)-type belief).

    I think you are committed to all of these because (a), (b), (e) are just what you say, (c) satisfies your definitions, and (d) is intuitive (so i guess you haven’t committed yourself to (d) explicitly but you are implicitly committed to it and even if you aren’t denying (d) is an immediate reductio of your view absent some story about error)

    I got confused about your reply because you mention a lot of stuff about substantive and procedural rationality and I understand they are related to this issue, but am not clear on how those comments deny one of (a)-(e). The same thing is true for your comments on how part of believing that p is that you are disposed to use p as a premise in reasoning. i’m not sure which of (a)-(e) that denies.

    You seem to suggest in your last post you can modify your definition of 1 and 2 type attitudes. If thats what you are doing you reject (a)-(c) which is fine and I think I have a response to that. But, before I say that I was wondering if that was your reply. It seemed to me that was another reply you gave that was independent of the main argument you were giving. So i guess i’m just confused about what exactly your response is.

    So here are my questions put more directly:
    (1) Do you admit that if you are committed to P1, then the argument I gave in a previous post shows your account is in serious trouble?
    (2) If no to (1), then what other premise in the argument do you deny or why is the conclusion not so bad?
    (3) Do you admit that if you accept (a)-(e) you are committed to P1?
    (4) If no to (3), then why do you not think that (a)-(e) do not commit you to P1?
    (5) Do you accept (a)-(e)?
    (6) If no to (5), then which of (a)-(e) do you deny? and what motivates this denial?

    If your only answer to these questions turns on your denial of (a)-(c) as you did in the last paragraph of the previous post, then you can just say that. and if you could explain a bit more about how this strategy work that would be helpful. The questions are primarily directed at what I thought was a different strategy.

    Sorry if this issue as gotten stale and im pushing a dead point. I’m sure im missing something. Thanks for the replies though.

  10. Btw here is why i think (a)-(e) commit you to P1.
    by (d) we get that some rational agent is required to have some 2-type attitude. Call this attitude: 1. By (e) we get that S must have a 1-type attitude, call this attitude 2. By (c), we know 2 is also a 2-type attitude. Then, by (e) (because by (c) we showed that 2 satisfies the antecedent in TSP) we get that S must have another 1-type attitude call it 3. By (c), we know 3 is also a 2-type attitude. Then, by (e) we get that S must have another 1-type attitude call it 4. And by (c)….and so on. That is why P1 is equivalent to if (a)-(e), then regress.

    another thing to notice is that you really have to deny only one of (c)-(e). I include (a) and (b) because you cannot deny (c) without denying (a) or (b) because (c) follows by definition from (a) and (b). By definition, if you have a belief that I have decisive reason on my evidence to [JSPA] that ϕ, you also have a [JSPA] that x. Where x=I have decisive reason on my evidence to [JSPA] that ϕ. This proves that given (a) and (b), you are forced to accept (c).

    So that is my rationale for why (c)-(e) commit you to P1. And my rational for why you are committed to (c) insofar as you don’t modify (a) or (b). And I said above why you are committed to (d) and (e).

  11. Shyam,

    I was obviously being opaque in my previous comments. That is mostly due to the fact that I wasn’t taking adequate time figuring out which part of your argument I thought failed. Let me answer your questions, and then I will say a bit more about why I think that your argument fails.

    (1) Do you admit that if you are committed to P1, then the argument I gave in a previous post shows your account is in serious trouble?

    Let me delay in answering this.

    (2) If no to (1), then what other premise in the argument do you deny or why is the conclusion not so bad?

    I think that there is a problem with the first two premises. More in a moment.

    (3) Do you admit that if you accept (a)-(e) you are committed to P1?

    I admit that if I accept (a)-(e) I am committed to a benign version of P1.

    (4) If no to (3), then why do you not think that
    (a)-(e) do not commit you to P1?

    N/A

    (5) Do you accept (a)-(e)?

    Yes.

    (6) If no to (5), then which of (a)-(e) do you deny? and what motivates this denial?

    N/A

    Here is your argument:

    “P1 If View V is true then, maximal rationality require S to have infinitely many mental states. {Assumption}
    P2 Humans can only have finitely many mental states. {Fact, because the brain has a finite storage capacity}
    P3 If view V is true, then no human can do what maximal rationality requires {P1, P2 and some fudging for validity}
    P4 A human can (that is, it is naturally possible or possible without changing essential facts about or mind etc like the fact that it is finite) to do what maximal rationality requires. {Intuition}
    C View V is false {P3, P4, a bit of fudging for validity, and MT}”

    P1 must assume that view V requires one to have an infinite amount of occurrent mental states. If it doesn’t assume this, then P2 doesn’t really concern P1, for P2 is based solely on the fact that the brain doesn’t have infinite storage capacity. But for all my view says, the brain only has to store one occurrent belief at a time. The agent is only required to use the 1-type proposition as a premise in reasoning when it would be appropriate. Thus, if the agent wanted to, she could go through each successive 1-type belief at a time. Moreover, if you accept the knowledge-decisive reason principle introduced above, she would a priori know each successive 1-type proposition. Because of these remarks, I think that my view is committed to a type of P1:

    P1*: If view V is true, then maximal rationality requires agent S to be disposed to use an infinite number of propositions as premises in reasoning (when appropriate).

    [As an aside, I think that it is not at all counter-intuitive to think that we are required to be disposed to use an infinite number of propositions as premises in our reasoning when appropriate. An example is addition. One can imagine situations where one would be required to use basic addition as a premise in reasoning. If one situation like this can be thought of, then just iterate that situation an infinite amount of times by adding 1 to the number used in the prior situation]

    P1* has no problem with the storage capacity of the brain. Thus, P2 doesn’t do any damage to it. Thus, none of the other premises follow.

    That is why I think your argument doesn’t do damage to my view. Is it at least clearer what my argument is? Are you buying it?

  12. By the by, you might still be curious about the half-hearted amendment to the view I proposed a few comments ago. The thought was that 1-type beliefs are clearly different in one respect from 2-type beliefs. The former are only about reasons, and the latter are only about the world. You might think that because of this 1-type beliefs aren’t 2-type beliefs. Thus, the regress doesn’t get off of the ground (this is similar move to the one Parfit makes in Climbing the Mountain about beliefs about reasons).

    Now, I think that this move is ad hoc. Moreover, I think that the agent is criticizable if she doesn’t use one of the regress beliefs as a premise in reasoning if it is appropriate. Thus, I don’t think that this amendment is that attractive. Do you agree? Do you think I would be better off if I made the amendment?

  13. [...] Department Affiliations ← Maximal Rationality Redux [...]

  14. sorry, not to keep saying the same thing, but i just don’t understand how you aren’t committed to P1 as I wrote it. I gave an argument that said (a)-(e) commits you to my reading of P1. I’m not sure what part of the reasoning I sketch you say fails. You seem to want to say that you should only be disposed to use propositions when appropriate. But (a)-(e) does not contain such a restriction. All my argument needs is you to accept that there is a rational requirement to have some attitude (that’s what (d) says). Then, the rest is or directly follows from your definitions of type-1 attitudes, type-2 attitudes, and TSP. To be max rat, you need to be procedurally and substantively rational. All I ask of substantive rationality is that it gives me one attitude. You accept that it does. For my argument, then, we do not need any other claims from substantive rationality so we can focus on procedural rationality. You are procedurally rational only if you are meeting the principles for structural validity. One of those principles is TSP. If you fail to meet TSP, then you are not procedurally rational which also entails you are not maximally rational. So let’s just talk about TSP. Now the rest of my argument relies on definitions you provide and their logical consequences. The idea of propositions being salient does not show up in the definitions or TSP. There is a salience condition in your formulation but it attached to substantive rationality and, insofar as the one attitude I need from substantive rationality is concerned, my argument meets it. There is no salience condition on any thing else. Maybe it is some time indexing thing you are doing. But, like I said, it is not obvious what the precise formulation of the definitions and TSP are then because you have not offered the time indexes or salience conditions for the definitions or TSP.

    In other words, I just want to know what part of the reasoning I gave which shows that (a)-(e) commits you to P1 on my strong reading do you deny. As it is, it seems to be you are putting some time and salience restrictions on TSP, but, as far as I can tell, this proposal has not, as of yet, been made perspicuous. I’m sure many of my comments were not accurate characterizations of your view and insofar as that is true you may ignore them. The central worry is just this. I say (a)-(e) entails my P1. You say no. It seems like you don’t think that (a)-(e) gets me P1. But, I’m not sure I know what part of the reasoning I gave for the entailment you deny. My diagnosis (or is it a guess?) of my confusion is that you actually don’t accept (e), but a modified version of (e) with a modified TSP. But, I just don’t know if that is true. At any rate thanks for the reply.

  15. Shyam,

    I might accept P1. As you put it, it is not clear what it comes to. Here is your formulation:

    P1 If View V is true then, maximal rationality require S to have infinitely many mental states.

    To be more specific, we should immediately change ‘mental states’ to ‘beliefs’ because belief is the relevant mental state. Now we need to specify what we mean by belief. What I mean, and have meant the whole time, is one believes p iff one is disposed to use p as a premise in reasoning when appropriate. If that is what you mean in P1, then I accept P1. However, if that is what you mean, then I fail to see why P2 is relevant, for P1 (so conceived) has no problems with the storage limitations of the brain.

    I do accept (e). I also accept the ‘premise in reasoning’ definition of belief. Combine those two, and you get a more specific formulation of (e):

    S(e): that TSP is true and has this form: One must: (If one has a (2)-type attitude, then one must be disposed to use the corresponding (1)-type proposition as a premise in reasoning when appropriate).

    I have been assuming this whole time that what the consequent of (e) means is the consequent of S(e). That just follows from TSP and my definition of belief.

    Thus, I accept (e), and under my definition of belief I don’t think P2 is relevant to P1.

  16. your view is that it is possible that S’s belief that p at t does not supervene on anything? That is, there is a world in which S believes p at t and a world where S does not believe p at t and it is possible for there to be no difference between the two world other than the belief? Does any other theorists have this view? I think you might have suggested Scanlon does. I think Scanlon has the view that part of believing p at t is being disposed to use p as a premise in reasoning when relevant. But, im basically positive Scanlon thinks that if S believes that p at t there is something necessarily encoded in S’s brain. And if you admit that believing that p at t requires S to have something encoded in her brain then i get my conclusion. if not, im not sure i think your account of a belief is plausible. but maybe im just ignorant. if so, id be interested in reading some people who have this view of beliefs.

  17. “your view is that it is possible that S’s belief that p at t does not supervene on anything? That is, there is a world in which S believes p at t and a world where S does not believe p at t and it is possible for there to be no difference between the two world other than the belief?”

    It supervenes on S’s dispositions. But I think it is plausible that one can an infinite amount of dispositions. Consider this type of belief which gives rise to an infinite amount of dispositions that everyone competent with addition (and the infinity of the whole numbers) has (I presume)

    A: If n=x, then n+1=x+1.

    E.g. if n=1, then 1+1=2. If n=1,000,000, then 1,000,000+1=1,000,001 etc to infinity.

    My bet is that both you and I are predisposed to use an infinite amount of tokens of the A type as premises in our reasoning when appropriate. My bet is also that both your and my intuition is that we believe an infinite amount of tokens of the A type. In fact, we a priori know an infinite amount of such tokens, just like we a priori know an infinite amount of the (-n*) beliefs.

    Dispositionalists about belief (kinda sorta) hold this view, although I don’t know if anyone thinks that the relationship is a biconditional (it’s hard to tell). But I know of no one who denies that we a priori know (assuming competence with addition) the A type propositions.

    Do you deny it? If not, what is the difference between that type of belief and knowledge and (-n*) type of belief and knowledge?

  18. Shyam,

    I just reread the SEP article on Belief, and it looks like almost everyone wants to say that we have an infinite amount of A type beliefs (in one way or another). Here is the entry. See especially section 2.

Leave a Reply