Epistemology

You are currently browsing articles tagged Epistemology.

Epistemic Parity

The literature on the Epistemology of Disagreement has been primarily characterized by two opposing views: the steadfast and conciliatory. The steadfast view proposes that, in the context of peer disagreement, certain factors allow one to hold one’s ground. That is to say, the evidence provided by peer disagreement is weak—not something that would generally require belief revision. The conciliatory position, on the other hand, places great weight on the evidence provided by the fact that two epistemic peers disagree. The conciliationist bases the particular weight given to peer disagreement on the principle that if epistemic parity is indeed maintained, one should have no reason to discount one’s peer. Provided this, the question remains as to how one might certify an epistemic peer in such a way as to prevent question-begging downgrades based on the content of the disagreement itself. Given this problem, the conciliationist requires a regulatory principle: independence. This principle certifies that the evaluation of an epistemic peer should take place antecedently to the disagreement in order to prevent such downgrades of parity. It will be the purpose of this paper to argue that the current conciliationist resolution to certain hard cases of disagreement either violates or trivializes this principle. To establish these results, I will (1) outline the principle in full detail, (2) provide an example case in which independence becomes problematic, (3) detail the arguments provided to resolve this case in which independence is purportedly maintained, (4) argue that these results either violate independence outright or force modifications to the principle in such a way that it becomes epistemically vacuous, and (5) develop some possible alterations available to the conciliationist that might salvage the independence principle.

The most recent concilliationist formulation of independence is provided by David Christensen (draft, 2008), the principle is stated thus:

Independence. In evaluating the epistemic credentials of another’s expressed belief about P, in order to determine how (or whether) to modify my own belief about P, I should do so in a way that doesn’t rely on the reasoning behind my initial belief about P.1

It is important to note here that independence as stated provides a necessary condition on epistemic parity: parity must be established independently of one’s reasoning about the content of the disagreement. In order to establish independence of this nature, Adam Elga (2006) provides necessary and sufficient conditions on epistemic parity thus:

A counts B as an epistemic peer with respect to an about-to-be judged claim if and only if S thinks that, conditional on A and B disagreeing about the claim, A and B are equally likely to be mistaken.2

These conditions specify that parity must be established antecedently to the disagreement, and such parity is represented by the equality:3

(EP) Pr(A is right whether p | A and B disagree whether p) = Pr(B is right whether p | A and B disagree whether p)4

Given this characterization, nothing has yet been said regarding the factors upon which such a parity evaluation must stand. Christensen, however, has recently provided two tentative requirements:

(A)  One’s dispute-independent assessment of her epistemic credentials yields high estimates for:

  1. The likelihood that her expressed disagreement is sincere,
  2. Her degree of informedness, and
  3. The likelihood of her having reasoned correctly from the evidence she has;

and,

(B) The reasons for one’s assessments of (a)-(c) are strong.5

Given these requirements, (PH) can be reformulated thus:

(EP’) Pr(A is right whether p | A is sincere & A is well informed with respect to p & A is basing her reasoning on her evidence) = Pr(B is right whether p | B is sincere & B is well informed with respect to p & B is basing her reasoning on her evidence)

So, if one has antecedently judged that one’s interlocutor satisfies (PH’), and such a judgment satisfies condition (B), which is just to say that one is doxastically justified in one’s assessment of (EP’), one is then in a position to split-the-difference when a disagreement with respect to p arises6.

Given the preceding characterization of the conciliatory position, I will now outline a (very familiar) case that serves to problematize the position:

Splitting the Check. Suppose that I am going to dinner with my friend. We often dine together, and she has never given me reason to doubt her abilities to perform mathematical calculations on the fly. We often split the bill, and on this occasion we have decided to do just that. On previous occasions, we have come to agreement over the price of our shares, and my friend has a very good track record with respect to splitting the check. On this occasion, however, I come to the conclusion that the split is $43, and she comes to the conclusion that the split is $430.7

Given this case, and provided that there are no antecedent consideration relative to the context of disagreement that would cause me to downgrade my compatriots status as an epistemic peer, such as the consumption of a few bottles of wine, it would appear that (PH’) would easily be established pre-disagreement. Further, given the track record we have relative to this kind of occasion, it is conceivable that I am in fact justified in my assessment. But this seems to be a case where my compatriot is clearly in error. And we can fill out the background information of this case to extenuate this error: consider, for example, that no item on the menu is priced higher than $25, and we have not been overindulgent and ordered multiple meals. Given these considerations, it would seem that the conciliationist would require me to lower my credence in the proposition that the split is $43. Neither Elga nor Christensen sit comfortably with this result.

In hard cases such as this, the conciliationist appeals to counterfactual considerations in order to break the peerhood symmetry. The basic line is that, while the original probability function in the right-hand-side of (EP’) provides an equality, there is a possible alternative probability function PrC(B is right whether p | B is sincere & B is well informed with respect to p & B is basing her reasoning on her evidence & B is malfunctioning cognitively) that does not satisfy this equality. Given that were I to conditionalize in this way, I would not consider B my epistemic peer, it is clear that in cases where my compatriot’s answer is in fact crazy, I should downgrade her peerhood status.8 Christensen makes this move by an appeal to personal information, a concept introduced by Lackey (forthcoming), where it is observed that one has access to additional evidence about “the normal functioning of one’s own cognitive faculties.”9 Christensen further extends this kind of information to include information regarding your estimation of the sincerity of your judgement. These considerations lead to the ability to asses the various aspects of the conditionalization relative to the contextual information available after the disagreement has occurred, and given these considerations, were these circumstances to arise, I would again be able to downgrade the peerhood status of my compatriot by instantiating a different probability function than that of my original parity judgment.10

Both Elga and Christensen claim that this kind of downgrading is independent of the content of the disagreement. This is an odd claim. Looking diachronically at the Splitting the Check case, it would seem that we have the following temporal ordering of events:

t0: A and B agree to split the check, and calculate their respective answers to the question whether p. Given the information available, A and B then make a parity judgment relative to (EP’).

t1: A proposes that the split is $43, and B proposes that the split is $430.

t2: Given the new information available, and realizing that something has gone horribly awry, A makes a judgment to the effect that B’s peerhood status with respect to A is downgraded.

Now, given that t1 represents the content of the disagreement, it is difficult to see how a judgment made by A at t2 is independent of the said content. For without the new information introduced by t1, there would be no reason to change B’s parity status. Claiming that the information upon which A made a parity judgment is purely contextual, and thus not relevant to the content, does not help either, for any relevant contextual pre-disagreement information would be exhausted in the initial parity judgment. Any additional information would have to be inferred from the content of the disagreement, and an inference based on the content of the disagreement fails to satisfy the condition in Independence such that one’s reasoning be independent of the reasoning behind one’s initial belief that p. For the content of the disagreement is based on one’s initial reasoning about p, and the reasoning involved in t3 is based on the content of disagreement. It is simply one step removed.

Even if we were to grant that independence is not violated in this case, what would prevent one from, by parity of reasoning, making a counterfactual judgment such that an alternative, equality violating, probability function is introduced: PrQB(B is right whether p | B is sincere & B is well informed with respect to p & B is basing her reasoning on her evidence & B is mistaken whether p). It would seem that, in any case of disagreement, one could simply appeal post-disagreement to a probability function such as this in order to downgrade the status of one’s peer. If the purpose of Independence were to prevent question-begging maneuvers such as this, it would seem that it has ceased to function as a regulatory principle. Thus, it seems that either the conciliationist has violated independence by a chain of reasoning based indirectly on the initial reasoning about the question whether p, or the regulatory function of the principle itself has been trivialized.11

How, then, should we consider the claim made both by Christensen and Elga that the line of reasoning adopted in the above case is independent of the reasoning about the disagreement? It looks initially like this kind of counterfactual consideration could possibly be some kind of safety or sensitivity constraint on one’s epistemic parity judgment, and, if so, taking into consideration the above constraints, we might have some necessary and sufficient conditions for judgments of epistemic parity like this:

(JEP) S judges S’ an epistemic peer iff

(1) (EP’) is satisfied,

(2) S is justified in (1),

(3) S bases S’s (1)-Judgment on (2), and

(4) If S’ were not an epistemic peer of S, S would not judge S’ to be an epistemic peer.

Now, in this case (4) is a sensitivity requirement. In other words, S’s judgment of epistemic parity must align with what is in fact the case regarding S’. So, in the Splitting the Check case, S would violate (4) if S did not pick up on some symmetry breaking contextual information that violates (1) prior to the disagreement occurring. (JEP) looks like it accomplishes that which the conciliationist is attempting with his response to the Splitting the Check case, but I think it is going to end out too strong. The force of the previous case is just that there is no antecedent information, contextual or otherwise, that breaks the symmetry. It is only post-disagreement that one finds that there is some problem with S’. Thus, (4) looks to be too easy to violate. In any normal case of disagreement, where (1), (2), and (3) are satisfied, there will be possible worlds in which S’ has some sort of hidden cognitive malfunction which delivers illicit answers to the question under discussion.

Given the preceding considerations, perhaps (JEP) might benefit from a safety condition:

(4′) If S were to judge S’ to be an epistemic peer, S’ would be an epistemic peer of S.

If satisfaction of (EP’) is our definition of epistemic peer, however, then it looks like we run into problems similar to the sensitivity constraint. To be clear, the reasoning in (1) comes antecedently to the disagreement. In all of those cases where there is some hidden form of cognitive malfunction, the state of information previous to the disagreement is such that S would evaluate S’ correctly relative to (EP’). It is only after the judgment that the additional information becomes available, and it is only relative to this information-state that the safety constraint would become substantive. But this is not the point at which the parity judgment takes place.

In conclusion, I have developed some conditions on epistemic parity and epistemic parity judgments amenable to the conciliationist, but it is not initially clear how these judgments successfully navigate the hard cases of disagreement in a way that does not violate or trivialize Independence.

 

  1. Cf. Christensen, David (manuscript).
  2. Elga, Adam (2006) p. 13 fn. 21.
  3. I have to thank Fabrizio Cariani for making this point initially in Jennifer Lackey’s Epistemology Seminar.
  4. Here ‘Pr’ is cast in terms of credence.
  5. Christensen, David (Manuscript) p. 27.
  6. I am glossing (B) here a bit, for Christensen does not specifically note that one must have good reasons.
  7. This case is due in its original formulation to Christensen (2007).
  8. Cf. Elga (2006) p.19.
  9. Lackey, Jennifer (forthcoming) p. 14.
  10. Cf. Christensen (manuscript) p. 14-15.
  11. This general kind of argument has been made by Lackey, from what I understand, in correspondence with Christensen.

Tags: , , ,

The Amherst Lecture in Philosophy has published Lecture 4: “Probability and Danger”, Timothy Williamson.

Abstract: What is the epistemological structure of situations where many small risks amount to a large one? Lottery and preface paradoxes and puzzles about quantum-mechanical blips threaten the idea that competent deduction is a way of extending our knowledge (MPC). Seemingly, every- day knowledge involves small risks, and competently deducing the conjunction of many such truths from them yields a conclusion too risky to constitute knowledge. But the dilemma be- tween scepticism and abandoning MPC is false. In extreme cases, objectively improbable truths are known. Safety is modal, not probabilistic, in structure, with closure and factiveness conditions. It is modelled using closeness of worlds. Safety is analogous to knowledge. It suggests an interpretation of possible worlds semantics for epistemic logic. To avoid logical omniscience, a relation of epistemic counterparthood between formulas is introduced. This supports a safety conception of knowledge and formalizes how extending knowledge by deduction depends on logical competence.

Tags: ,

My recent trip to Chicago was a success, and I had a great time at the Disagreement Conference1. While there were many excellent presentations–with Roger White, Sherri Roush, and Branden Fitelson’s presentations (in order of appearance) being my favorites–, I have one persistent worry that I noticed unaddressed throughout the conference. In other words, when considering the epistemic significance of disagreement, the presenters tended to bracket the considerations by excluding those who were not considered epistemic peers in some form or fashion. This kind of bracketing took many different forms, from considering the general reliability of the testimonial reports of the agent to whether the agent was epistemically virtuous. The worry I have is this: when considering whether one is an epistemic peer, it would seem that the primary method of analysis is that of attributing a dispositional property, and when attributing such a property, one tends to run into the problems of the conditional fallacy. In what follows I will take an unrefined notion of epistemic peerhood, requiring only that it be considered some form of dispositional property of an agent, and look at several possible sharpenings of a familiar thought experiment in the disagreement literature which will serve to develop some problems for such a dispositional analysis.

A dispositional analysis of epistemic peerhood can be stated thus:

P. Necessarily, a subject S is considered an epistemic peer iff were S to be in some context of disagreement, some dispositional property M would emerge.

The dispositional property involved here will differ with the particulars of the theory in question. To simplify the exposition, I will consider the manifestation property of peerhood to be reliability of testimonial reporting relative to the kind of dispute in question.

Now, for the example, I will use the classical disagreement over a restaurant bill:

Suppose agent A and agent B are splitting the bill at a restaurant. Both agents see the price of the bill, and, on the basis of some quick mental math, come to the conclusion that a certain amount is owed. Agent A asserts that the amount owed is $42, while agent B asserts that the amount owed is $45.

In this case both A and B have access to a shared set of evidence, the cost of the bill, and, given that the numbers do not match, they are in a context of disagreement. To demonstrait the finkishness of epistemic peerhood, it will not be necessary to stipulate which member of the disagreement is correct, but we will consider A to have both sound mathematical reasoning abilities and to be a generally reliable purveyor of testimonial knowledge. In what follows, I will provide three separate cases in which B’s disposition to be A’s epistemic peer is finked. First, B’s disposition will be masked, and then two separate cases of dispositional mimicking will be considered.

For the first case, suppose B is generally reliable in mathematical calculations, has no problems with mental math, and in fact preforms calculations of the sort required for splitting the bill every day without error. Further, B is able to record her calculations reliably in her mathematics notebook. It just so happens, however, that due to randomly occurring crippling social anxiety, the majority of the time B is interacting with other people, her mathematical acuity diminishes severely. When this social anxiety occurs, B can only provide approximate yet unreliable guesses when considering mathematical problems such as that provided above. Further, it just so happens that in all actual cases of disagreement, B has been beset by said social anxiety.

For the second case, suppose that B is actually an incompetent mathematician, such that even the most simple arithmetic problems are incomprehensible. B has, however, survived thus far by a series of incredibly lucky random guesses. B has never mentioned to her so-called peers that she is incompetent, and has a demonstrably better than average track record in producing solutions to arithmetic problems in cases of disagreement.

In the final case, suppose that B is a pathological liar, and while her mathematical abilities are functioning properly, she is not a reliable purveyor of testimony. As it so happens, however, in all previous contexts of disagreement she has based her lies on false beliefs due to accidental error, and the majority of the testimony itself has been true.

Thus, in the first case, while B has the disposition transmit reliable testimony regarding her mathematical calculations, it just so happens that in contexts of disagreement she fails to do so. In the second case, while B does not have the disposition to transmit reliable mathematical testimony, she has so far been succesfull and reliable in such transmission. And finally, in the third case, while B has the disposition to transmit unreliable testimony, she has heretofore been unsuccesfull in her endeavors.

  1. I have to thank Jennifer Lackey, Alvin Goldman, and David Christensen for putting on such an impressive event, and while my reference class may be somewhat small, I can say I have not yet been to a better conference.

Tags: , , ,

Erkenntnis Vol 70, Number 2/March, 2009 is currently open access. Editors Franz Huber, Erik Swanson, and Jonathan Weisberg put together this issue from the proceedings of the first Formal Epistemology Festival in Konstanz, Germany. The issue focuses on conditionals and ranking functions, with contributions from philosophers such as Timothy Williamson, Robert Stalnaker, and Alan Hájek.

Tags: , ,

Plato: Knowledge, Wisdom, and True Belief

Re-reading the Symposium Sunday night, I stumbled across a passage which I had not noticed before, and it is quite intriguing. As Diotima’s speech begins (202a), she points out to Socrates that there is something between wisdom and ignorance: correct judgment1. Specifically, “judging things correctly without being able to give a reason.” This is an interesting definition,as it amounts to a true belief rather than knowledge, which would constitute the additional constraint of being able to give a reason. Looking to the road to Larissa passage in the Meno (97b-99b), Socrates notes:

True opinions [true belief]. For true opinions, as long as they remain, are a fine thing and all they do is good, but they are not willing to remain long, and they escape from a man’s mind, so that they are not worth much until one ties them down by (giving) an account of the reason why. [...] After they are tied down, in the first place they become knowledge, and then they remain in place. That is why knowledge is prized higher than correct opinion, and knowledge differs from correct opinion in being tied down. (98a)

True belief, however, is not inferior to knowledge in its ability to direct one’s actions, it is just not as reliable as when it is tethered by good reasons. It is interesting that true belief is set between wisdom and ignorance in the Symposium, and that later in the dialogue Diotima notes that Love, as the son of Poros and Penia, is both a lover of wisdom–a philosopher–and between wisdom and ignorance (203a-204a). This differs from the gods, who are already wise, and the ignorant, who do not seek wisdom. It is the distinct quality of the philosopher. To fall between the two extremes, then, is to have correct judgment, or to hold true beliefs: to be a philosopher.

A distinction needs to be made between judgement and belief, however, for correct judgement would lead one to hold true beliefs, but would not itself be a belief, it would be more along the lines of an intuition. The philosophers intuition, then, leads one closer to wisdom than the intuitions of the ignorant, but it is striking that good reasons are not required. If knowledge is more reliable than true opinions, but not necessary for correct judgement, what use does the philosopher have for knowledge in the first place? More to the point, the philosophers intuitions are learned by the practice of philosophy. It is only by learning from one’s mistakes and from one’s teachers that this kind of philosophic intuition is cultivated. If this is the case, then these experiences would constitute background reasons for one’s proceeding judgements, and without these experiences one’s intuitions would be no better than those of the ignorant. In the platonic framework, however, it would seem that simply having the correct state of mind would be enough.  If one seeks wisdom in the way of the philosopher, then, something magical happens2: one’s intuitions become more reliable.

  1. Note that there are two senses of ‘correct’. I am resting my analysis on the first sense, a success sense. A second interpretation is possible, where correct might be interpreted along the lines of ‘appropriate’ or ’suitable’. I do not know what is in the Greek offhand, but I will be looking further into this matter.
  2. It’s not literally magic, it is recollection. But this answer works only within the framework of a platonic metaphysics, and my thoughts are as of yet undeveloped regarding this specific area. More on this to come, as I work it out.

Tags: , , , ,