Although it has often been claimed that all the information contained in second‐order probabilities can be contained in first‐order probabilities, no practical recipe for the elimination of second‐order probabilities without loss of information seems to have been presented. Here, such an elimination method is introduced for repeatable events. However, its application comes at the price of losses in cognitive realism. In spite of their technical eliminability, second‐order probabilities are useful because they can provide models of important features of the world (...) that are cognitively more plausible than those that can be obtained with single‐level probabilities. (shrink)

The standard Bayesian recipe for selecting the rational choice is presented. A familiar example in which the recipe fails to produce any definite result is introduced. It is argued that a generalization of Gärdenfors’ and Sahlin’s theory of unreliable probabilities — which itself does not guarantee a solution to the problem — offers the best available approach. But a number of challenges to this approach are also presented and discussed.

ABSTRACT For changing opinion, represented by an assignment of probabilities to propositions, the criterion proposed is motivated by the requirement that the assignment should have, and maintain, the possibility of matching in some appropriate sense statistical proportions in a population. This ‘tracking’ criterion implies limitations on policies for updating in response to a wide range of types of new input. Satisfying the criterion is shown equivalent to the principle that the prior must be a convex combination of the possible posteriors. (...) Furthermore, this is equivalent to the requirement that prior expected values must fall inside the range spanned by possible posterior expected values. The tracking criterion is liberal; it allows for, but does not require, a policy such as Bayesian conditionalization, and can be offered as a general constraint on policies for managing opinion over time. Examples are given of non-Bayesian policies, both ones that satisfy and ones that violate the criterion. _1_ Introduction _2_ Alternative Updating Policies _3_ Modelling the Situation for Normal Updating _4_ Tracking: A Criterion for Updating Policies _5_ Tracking: Precise Formulation and Relation to Convexity _6_ The Spanning Criterion _7_ Non-Bayesian Policies that Satisfy the Spanning and Tracking Criteria _8_ Policies that Violate the Spanning and Tracking Criteria Appendix Appendix. (shrink)

There is a widespread view that in order to be rational we must mostly know what we believe. In the probabilistic tradition this is defended by arguments that a person who failed to have this knowledge would be vulnerable to sure loss, or probabilistically incoherent. I argue that even gross failure to know one's own beliefs need not expose one to sure loss, and does not if we follow a generalization of the standard bridge principle between first-order and second-order beliefs. (...) This makes it possible for a subject to use probabilistic decision theory to manage in a rational way cases of potential failure of this self-knowledge, as we find in implicit bias. Through such cases I argue that it is possible for uncertainty about what our beliefs are to be not only rationally permissible but advantageous. (shrink)

Two types of measures of probabilistic uncertainty are introduced and investigated. Dispersion measures report how diffused the agent’s second-order probability distribution is over the range of first-order probabilities. Robustness measures reflect the extent to which the agent’s assessment of the prior (objective) probability of an event is perturbed by information about whether or not the event actually took place. The properties of both types of measures are investigated. The most obvious type of robustness measure is shown to coincide with one (...) of the major candidates for a dispersion measure, the mean square deviation measure. (shrink)

Fitch’s paradox shows, from fairly innocent-looking assumptions, that if there are any unknown truths, then there are unknowable truths. This is generally thought to deliver a blow to antirealist positions that imply that all truths are knowable. The present paper argues that a probabilistic version of antirealism escapes Fitch’s result while still offering all that antirealists should care for.

One of the deepest ideological divides in contemporary epistemology concerns the relative importance of belief versus credence. A prominent consideration in favor of credence-based epistemology is the ease with which it appears to account for rational action. In contrast, cases with risky payoff structures threaten to break the link between rational belief and rational action. This threat poses a challenge to traditional epistemology, which maintains the theoretical prominence of belief. The core problem, we suggest, is that belief may not be (...) enough to register all aspects of a subject’s epistemic position with respect to any given proposition. We claim this problem can be solved by introducing other doxastic attitudes—genuine representations—that differ in strength from belief. The resulting alternative picture, a kind of doxastic states pluralism, retains the central features of traditional epistemology—most saliently, an emphasis on truth as a kind of objective accuracy—while adequately accounting for rational action. (shrink)

The author uses a series of examples to illustrate two versions of a new, nonprobabilist principle of epistemic rationality, the special and general versions of the metacognitive, expected relative frequency principle. These are used to explain the rationality of revisions to an agent’s degrees of confidence in propositions based on evidence of the reliability or unreliability of the cognitive processes responsible for them—especially reductions in confidence assignments to propositions antecedently regarded as certain—including certainty-reductions to instances of the law of excluded (...) middle or the law of noncontradiction in logic or certainty-reductions to the certainties of probabilist epistemology. The author proposes special and general versions of the MERF principle and uses them to explain the examples, including the reasoning that would lead to thoroughgoing fallibilism—that is, to a state of being certain of nothing. The author responds to the main defenses of probabilism: Dutch Book arguments, Joyce’s potential accuracy defense, and the potential calibration defenses of Shimony and van Fraassen by showing that, even though they do not satisfy the probability axioms, degrees of belief that satisfy the MERF principle minimize expected inaccuracy in Joyce’s sense; they can be externally calibrated in Shimony and van Fraassen’s sense; and they can serve as a basis for rational betting, unlike probabilist degrees of belief, which, in many cases, human beings have no rational way of ascertaining. The author also uses the MERF principle to subsume the various epistemic akrasia principles in the literature. Finally, the author responds to Titelbaum’s argument that epistemic akrasia principles require that we be certain of some epistemological beliefs, if we are rational. (shrink)

In this discussion note, we explain how to relax some of the standard assumptions made in Garber-style solutions to the Problem of Old Evidence. The result is a more general and explanatory Bayesian approach.

Some philosophers have claimed that it is meaningless or paradoxical to consider the probability of a probability. Others have however argued that second-order probabilities do not pose any particular problem. We side with the latter group. On condition that the relevant distinctions are taken into account, second-order probabilities can be shown to be perfectly consistent. May the same be said of an infinite hierarchy of higher-order probabilities? Is it consistent to speak of a probability of a probability, and of a (...) probability of a probability of a probability, and so on, {\em ad infinitum}? We argue that it is, for it can be shown that there exists an infinite system of probabilities that has a model. In particular, we define a regress of higher-order probabilities that leads to a convergent series which determines an infinite-order probability value. We demonstrate the consistency of the regress by constructing a model based on coin-making machines. (shrink)

We present a semantics for a language that includes sentences that can talk about their own probabilities. This semantics applies a fixed point construction to possible world style structures. One feature of the construction is that some sentences only have their probability given as a range of values. We develop a corresponding axiomatic theory and show by a canonical model construction that it is complete in the presence of the ω-rule. By considering this semantics we argue that principles such as (...) introspection, which lead to paradoxical contradictions if naively formulated, should be expressed by using a truth predicate to do the job of quotation and disquotation and observe that in the case of introspection the principle is then consistent. (shrink)

Consider someone whom you know to be an expert about some issue. She knows at least as much as you do and reasons impeccably. The issue is a straightforward case of statistical inference that raises no deep problems of epistemology. You happen to know the expert’s opinion on this issue. Should you defer to her by adopting her opinion as your own? An affirmative answer may appear mandatory. But this paper argues that a crucial factor in answering this question is (...) the description under which you identify the expert. Experts may be identified under various descriptions (e.g., “the expert appearing on Channel 7 at 5 pm”). Section 2 provides cases that illustrate how deference to a known expert may be appropriate under some descriptions, but not others. Section 3 proposes that, in these cases, the differentiating factor is self-identification: deference to an expert under a given description is appropriate when the expert self-identifies under that description. Section 4 presents a formal framework that demonstrates the sufficiency of self-identification for appropriate deference within a significant class of cases. Section 5 notes a way in which this phenomenon allows for a form of “agreeing to disagree” in Robert Aumann’s sense. Section 6 illustrates the practical application of these results to the case of testimonials. (shrink)

Is it coherent to speak of the probability of a probability, and the probability of a probability of a probability, and so on? We show that it is, in the sense that a regress of higher-order probabilities can lead to convergent sequences that determine all these probabilities. By constructing an implementable model which is based on coin-making machines, we demonstrate the consistency of our regress.

The papers focuses on pragmatic arguments for various rationality constraints on a decision maker’s state of mind: on her beliefs or preferences. An argument of this kind typically targets constraint violations. It purports to show that a violator of a given constraint can be confronted with a decision problem in which she will act to her guaranteed disadvantage. Dramatically put, she can be exploited by a clever bookie who doesn’t know more than the agent herself. Examples of pragmatic arguments of (...) this kind are synchronic Dutch Books, for the standard probability axioms, diachronic Dutch Books, for the more controversial principles of reflection and conditionalization, and Money Pumps, for the acyclicity requirement on preferences. The paper suggests that the proposed exploitation set-ups share a common feature. If the violator of a given constraint is logically and mathematically competent, and if she prefers to be better off rather than worse off, she can be exploited only if she is disunified in her decision-making, i.e. only if she makes decisions on various issues she faces separately rather than jointly. Unification in decision making is relatively unproblematic in synchronic contexts, but it may be costly and inconvenient diachronically. On this view, therefore, pragmatic arguments should be seen as delivering conditional recommendations: If you want to afford disunification, then you’d better satisfy these constraints. They identify safeguards of a disunified mind. Isaac Levi’s position on these matters is diametrically different. According to Levi, only synchronic pragmatic arguments are valid. The diachronic ones, he argues, lack any validity at all. This line of reasoning is questioned in the paper. (shrink)

Four important arguments for probabilism—the Dutch Book, representation theorem, calibration, and gradational accuracy arguments—have a strikingly similar structure. Each begins with a mathematical theorem, a conditional with an existentially quantified consequent, of the general form: if your credences are not probabilities, then there is a way in which your rationality is impugned. Each argument concludes that rationality requires your credences to be probabilities. I contend that each argument is invalid as formulated. In each case there is a mirror-image theorem and (...) a corresponding argument of exactly equal strength that concludes that rationality requires your credences not to be probabilities. Some further consideration is needed to break this symmetry in favour of probabilism. (shrink)

(2014). Exploring the Stability of Belief: Resiliency and Temptation. Inquiry: Vol. 57, The Nature of Belief, pp. 1-27. doi: 10.1080/0020174X.2014.858414.

Bayesian Conditionalization is a widely used proposal for how to update one’s beliefs upon the receipt of new evidence. This is in part because of its attention to the totality of one’s evidence, which often includes facts about what one’s new evidence is and how one has come to have it. However, an increasingly popular position in epistemology holds that one may gain new evidence, construed as knowledge, without being in a position to know that one has gained this evidence. (...) These are cases of KK-Failure, cases where one knows p but is not in a position to know that one knows p. This paper assumes that certain KK-Failures are possible and argues that Conditionalization goes wrong in those cases. (shrink)

Suppose q is some proposition, and let P(q) = v0 (1) be the proposition that the probability of q is v0.1 How can one know that (1) is true? One cannot know it for sure, for all that may be asserted is a further probabilistic statement like P(P(q) = v0) = v1, (2) which states that the probability that (1) is true is v1. But the claim (2) is also subject to some further statement of an even higher probability: P(P(P(q) (...) = v0) = v1) = v2, (3) and so on. Thus, an infinite regress emerges of probabilities of probabilities, and the question arises as to whether this regress is vicious or harmless. Radical probabilists would like to claim that it is harmless, but Nicholas Rescher (2010), in his scholarly and very stimulating Infinite Regress: The Theory and History of Varieties of Change, argues that it is vicious. He believes that an infinite hierarchy of probabilities makes it impossible to know anything about the probability of the original proposition q: unless some claims are going to be categorically validated and not just adjudged probabilistically, the radically probabilistic epistemology envisioned here is going to be beyond the prospect of implementation. . . . If you can indeed be certain of nothing, then how can you be sure of your probability assessments. If all you ever have is a nonterminatingly regressive claim of the format . . . the probability is .9 that (the probability is .9 that (the probability of q is .9)) then in the face of such a regress, you would know effectively nothing about the condition of q. After all, without a categorically established factual basis of some sort, there is no way of assessing probabilities. But if these requisites themselves are never categorical but only probabilistic, then we are propelled into a vitiating regress of presuppositions. (shrink)

Epistemic transparency tells us that, if an agent S knows a given proposition p , then S knows that she knows that p . This idea is usually encoded in the so-called KK principle of epistemic logic. The paper develops an argument in favor of a moderate version of KK , which I dub quasi-transparency , as a normative rather than a descriptive principle. In the second Section I put forward the suggestion that epistemic transparency is not a demand of (...) ideal rationality, but of ideal epistemic responsibility, and hence that ideally responsible agents verify transparency principles of some sort; I also contend that their satisfaction should not be tied to an internalist epistemology. The central argument in favor of transparency is then addressed in Sections 3 to 8, through the development of a formal system. I show that, in a well-behaved formal setting, a moderate version of transparency is imposed upon us as a result of a number of independent decisions on the structure of higher-order probabilities, as long as we request that our probability and knowledge attributions cohere with each other. Thus I give a rationale to build a model for a hierarchy of languages with different levels of knowledge and probability operators; we obtain an analogous to KK for successive knowledge operators without actually demanding transitivity. The formal argument reinforces the philosophical intuition that epistemic transparency is an important desideratum we should not be too ready to dismiss. (shrink)

If knowledge is the norm of practical reasoning, then we should be able to alter people's behavior by affecting their knowledge as well as by affecting their beliefs. Thus, as Roy Sorensen (2010) suggests, we should expect to find people telling lies that target knowledge rather than just lies that target beliefs. In this paper, however, I argue that Sorensen's discovery of “knowledge-lies” does not support the claim that knowledge is the norm of practical reasoning. First, I use a Bayesian (...) framework to show that in each of Sorensen's examples, knowledge-lies alter people's behavior by affecting their beliefs. Second, I show that while we can imagine lies that target knowledge without targeting beliefs, they cannot alter people's behavior. In other words, knowledge-lies actually work (i.e., manipulate behavior) by targeting beliefs or they do not work at all. (shrink)

Hierarchical models are commonly used for modelling uncertainty. They arise whenever there is a `correct' or `ideal' uncertainty model but the modeller is uncertain about what it is. Hierarchical models which involve probability distributions are widely used in Bayesian inference. Alternative models which involve possibility distributions have been proposed by several authors, but these models do not have a clear operational meaning. This paper describes a new hierarchical model which is mathematically equivalent to some of the earlier, possibilistic models and (...) also has a simple behavioural interpretation, in terms of betting rates concerning whether or not a decision maker will agree to buy or sell a risky investment for a specified price. We give a representation theorem which shows that any consistent model of this kind can be interpreted as a model for uncertainty about the behaviour of a Bayesian decision maker. We describe how the model can be used to generate buying and selling prices and to make decisions. (shrink)

The Dutch Book argument, like Route 66, is about to turn 80. It is arguably the most celebrated argument for subjective Bayesianism. Start by rejecting the Cartesian idea that doxastic attitudes are ‘all-or-nothing’; rather, they are far more nuanced degrees of belief, for short credences, susceptible to fine-grained numerical measurement. Add a coherentist assumption that the rationality of a doxastic state consists in its internal consistency. The remaining problem is to determine what consistency of credences amounts to. The Dutch Book (...) argument, in a nutshell, says that if your credences do not obey the probability calculus, you are ‘incoherent’—susceptible to sure losses at the hands of a ‘Dutch Bookie’—and thus irrational. Conclusion: rationality requires your credences to obey the probability calculus. And like Route 66, the fortunes of the Dutch Book argument have been mixed. Opinions on the argument are sharply divided. The list of its proponents is quite a ‘who’s who’ of philosophers of probability; they include de Finetti (1937, 1980), Carnap (1950, 1962, and more fully, 1955), Kemeny (1955), Lehman (1955), Shimony (1955), Adams (1962), Mellor (1971), Rosenkrantz (1981), van Fraassen (1989), Jeffrey (1983, 1992). (shrink)

I develop a general framework with a rationality constraint that shows how coherently to represent and deal with second-order information about one's own judgmental reliability. It is a rejection of and generalization away from the typical Bayesian requirements of unconditional judgmental self-respect and perfect knowledge of one's own beliefs, and is defended by appeal to the Principal Principle. This yields consequences about maintaining unity of the self, about symmetries and asymmetries between the first- and third-person, and a principled way of (...) knowing when to stop second-guessing oneself. Peer disagreement is treated as a special case where one doubts oneself because of news that an intellectual equal disagrees. This framework, and variants of it, imply that the typically stated belief that an equally reliably peer disagrees is incoherent, and thus that pure rationality constraints without further substantive information cannot give an answer as to what to do. The framework also shows that treating both ourselves and others as thermometers in the disagreement situation does not imply the Equal Weight view. (shrink)

The idea that beliefs may be stake-sensitive is explored. This is the idea that the strength with which a single, persistent belief is held may vary and depend upon what the believer takes to be at stake. The stakes in question are tied to the truth of the belief—not, as in Pascal’s wager and other cases, to the belief’s presence. Categorical beliefs and degrees of belief are considered; both kinds of account typically exclude the idea and treat belief as stake-invariant (...) , though an exception is briefly described. The role of the assumption of stake-invariance in familiar accounts of degrees of belief is also discussed, and morals are drawn concerning finite and countable Dutch book arguments. (shrink)

Simon Evnine examines various epistemic aspects of what it is to be a person. Persons are defined as finite beings that have beliefs, including second-order beliefs about their own and others' beliefs, and are agents, capable of making long-term plans. It is argued that for any being meeting these conditions, a number of epistemic consequences obtain. First, all such beings must have certain logical concepts and be able to use them in certain ways. Secondly, there are at least two principles (...) governing belief that it is rational for persons to satisfy and are such that nothing can be a person at all unless it satisfies them to a large extent. These principles are that one believe the conjunction of one's beliefs and that one treat one's future beliefs as, by and large, better than one's current beliefs. Thirdly, persons both occupy epistemic points of view on the world and show up within those views. This makes it impossible for them to be completely objective about their own beliefs. Ideals of rationality that require such objectivity, while not necessarily wrong, are intrinsically problematic for persons. This "aspectual dualism" is characteristic of treatments of persons in the Kantian tradition. In sum, these epistemic consequences support a traditional view of the nature of persons, one in opposition to much recent theorizing. (shrink)

How to regard the weight we give to a proposition on the grounds of its being endorsed by an authority? I examine this question as it is raised within the epistemology of science, and I argue that “authority-based weight” should receive special handling, for the following reason. Our assessments of other scientists’ competence or authority are nearly always provisional, in the sense that to save time and money, they are not made nearly as carefully as they could be---indeed, they are (...) typically made on the basis of only a small portion of the available evidence. Consequently, we need to represent the authority-based elements of our epistemic attitudes in such a way as to allow the later revision of those elements, in case we decide in the light of new priorities that a more conscientious assessment is warranted. I look to the literature in confirmation theory, statistics, and economics for a semiformal model of this revision process, and make a particular proposal of my own. The discussion also casts some light on the question of why certain aspects of science’s epistemic state are not made public. (shrink)

Although it has often been claimed that all the information contained in second-order probabilities can be contained in first-order probabilities, no practical recipe for the elimination of second-order probabilities without loss of information seems to have been presented. Here, such an elimination method is introduced for repeatable events. However, its application comes at the price of losses in cognitive realism. In spite of their technical eliminability, second-order probabilities are useful because they can provide models of important features of the world (...) that are cognitively more plausible than those that can be obtained with single-level probabilities. (shrink)

What can rational deliberation indicate about belief? Belief clearly influences deliberation. The principle that rational belief is stake-invariant rules out at least one way that deliberation might influence belief. The principle is widely, if implicitly, held in work on the epistemology of categorical belief, and it is built into the model of choice-guiding degrees of belief that comes to us from Ramsey and de Finetti. Criticisms of subjective probabilism include challenges to the assumption of additive values (the package principle) employed (...) by defenses of probabilism. But the value-interaction phenomena often cited in such challenges are excluded by stake-invariance. A comparison with treatments of categorical belief suggests that the appeal to stake-invariance is not ad hoc. Whether or not to model belief as stake-invariant is a question not settled here. (shrink)

In Bayes or Bust? John Earman quickly dismisses a possible resolution (or avoidance) of the problem of old evidence. In this note, I argue that his dismissal is premature, and that the proposed resolution (when charitably reconstructed) is reasonable.

The question of diachronic coherence, coherence of degrees of belief across time, is investigated within the context of Richard Jeffrey’s radical probabilism. Diachronic coherence is taken as fundamental, and coherence results for degrees of belief at a single time, such as additivity, are recovered only with additional assumptions. Additivity of probabilities of probabilities is seen to be less problematic than additivity of first-order probabilities. Without any assumed model of belief change, diachronic coherence applied to higher-order degrees of belief yields the (...) martingale property. (shrink)

I present a puzzle which seems simple, but is found to have interesting implications for confirmation. Its dissolution also helps us to throw light on the relationship between first- and second-order probabilities construed as rational degrees of belief.

The Principal Principle (PP) says that, for any proposition A, given any admissible evidence and the proposition that the chance of A is x%, one's conditional credence in A should be x%. Humean Supervenience (HS) claims that, among possible worlds like ours, no two differ without differing in the spacetime-point-by-spacetime-point arrangement of local properties. David Lewis (1986b, 1994a) has argued that PP contradicts HS, and the validity of his argument has been endorsed by Bigelow et al. (1993), Thau (1994), Hall (...) (1994), Strevens (1995), Ismael (1996), Hoefer (1997), and Black (1998). Against this consensus, I argue that PP might not contradict HS: Lewis's argument is invalid, and every attempt – within a broad class of attempts – to amend the argument fails. (shrink)

This is surely a bit of Socrates' famous irony. He draws the analogy to explain how his friends should regard poetry as they regretfully banish it from the ideal state. But lovers were no more sensible then than they are now. The advice to banish poetry, undermined already by Plato's own delight and skill in drama, is perhaps undermined still further by this evocation of a 'sensible' lover who counts love so well lost. Yet Socrates' image is one of avowed (...) rationality and prudence. The sensible lover imitates the older literary example of Ulysses' tying himself to the mast. (The example belongs therefore to the class of problems treated in Elster (1979)). Both this lover and Ulysses foresee that under certain possible future conditions, their opinions, values and preferences will or would differ from what they are now, in a very definite fashion. To what extent is such foresight possible? Correspondingly (when we do not claim foreknowledge) to what extent is such opinion reasonable, rational, coherent, or consistent in some suitably broad sense? It is not easy to understand exactly what is possible or even logically permissible in this respect. In an earlier paper, "Belief and the Will", I argued for a principle ("Reflection") to govern such deliberation. Here I will both generalize the treatment of opinion in "Belief and the Will" and respond to criticism. Critical examples mainly resembled the story of Ulysses who foresaw a period of dysfunction (at the sound 2 of the sirens) in his epistemic and/or doxastic future. Other criticism focused on the model of opinion used (precise numerical subjective probability) and on the merits of Dutch Book arguments. The present argument will not rely on Dutch Book arguments and strategies, and the Reflection principle will be formulated so as to apply also to vague opinion. (shrink)

Contrary to what has been widely supposed, Bayesian theory deals successfully with the introduction of new theories that have never previously been entertained. The theory enables us to say what sorts of method should be used to assign probabilities to these new theories, and it allows that the probabilities of existing theories may be modified as a result.

Larry Wright and others have advanced causal accounts of functional explanation, designed to alleviate fears about the legitimacy of such explanations. These analyses take functional explanations to describe second order causal relations. These second order relations are conceptually puzzling. I present an account of second order causation from within the framework of Eells' probabilistic theory of causation; the account makes use of the population-relativity of causation that is built into this theory.

Economic forms of analysis have penetrated to many disciplines in the last 30 years: political science, sociology, law, social and political philosophy, and so forth. We wish to extend the economic paradigm to certain problems in epistemology and the philosophy of science. Scientific agents, and scholarly inquirers generally, act in some ways like vendors, trying to "sell" their findings, theories, analyses, or arguments to an audience of prospective "buyers". The analogy with the marketplace is imperfect. The ideas or discoveries that (...) a scientist offers are not private goods in the economist's sense. Nonetheless, there are parallels with the marketplace that are worth exploring. (shrink)

The concepts of supportive evidence and of relevant evidence seem very closely related to each other. Supportive evidence is clearly always relevant as well. But must relevant evidence be defined as evidence which is either supportive or weakeking? In an explicit or implicit manner, this is indeed the position of many philosophers. The paradox of ideal evidence, however, shows us that this is to restrictive. Besides increasing or decreasing the probability attached to some hypothesis, evidence can alter or interact with (...) the background assumptions underlying the hypothesis.In most circumstances, the (post hoc) relevance of evidence can indeed be judged by its effect on the confidence one attaches to hypotheses. Occasionally, as in the circumstances described by Example I, and more generally called “the Paradox of Ideal Evidence”, the relevance of evidence to an hypothesis can only be understood by appeal to a broader sense. (shrink)

A theory of evidential probability is developed from two assumptions:(1) the evidential probability of a proposition is its probability conditional on the total evidence;(2) one's total evidence is one's total knowledge. Evidential probability is distinguished from both subjective and objective probability. Loss as well as gain of evidence is permitted. Evidential probability is embedded within epistemic logic by means of possible worlds semantics for modal logic; this allows a natural theory of higher-order probability to be developed. In particular, it is (...) emphasized that it is sometimes uncertain which propositions are part of one's total evidence; some surprising implications of this fact are drawn out. (shrink)