Catrin Campbell-Moore

Philosophers have recently attempted to justify particular belief revision procedures by arguing that they are the optimal means towards the epistemic end of accurate credences. These attempts, however, presuppose that means should be evaluated according to classical expected utility theory; and there is a long tradition maintaining that expected utility theory is too restrictive as a theory of means–end rationality, ruling out too many natural ways of taking risk into account. In this paper, we investigate what belief-revision procedures are supported by accuracy-theoretic considerations once we depart from expected utility theory to allow agents to be risk-sensitive. We argue that if accuracy-theoretic considerations tell risk-sensitive agents anything about belief-revision, they tell them the same thing they tell risk-neutral agents: they should conditionalize.

We propose a model of uncertain belief. This models coherent beliefs by a filter, ????, on the set of probabilities. That is, it is given by a collection of sets of probabilities which are closed under supersets and finite intersections. This can naturally capture your probabilistic judgements. When you think that it is more likely to be sunny than rainy, we have{????|????(????????????????????)>????(????????????????????)}∈????. When you think that a gamble ???? is desirable, we have {????|Exp????[????]>0}∈????. It naturally extends the model of credal sets; and we will show it captures all the expressive power of the desirable gambles model. It also captures the expressive power of sets of desirable gamble sets (with a mixing axiom, but no Archimadean axiom).

When one allows truth to be indeterminate, “fixed point” interpretations can be found even when the language includes sentences such as the liar paradox. In this chapter this kind of account is applied to rational credences, to find non-undermining indeterminate epistemic states even in certain situations which have been discussed as challenges for rationality. In the process of doing this, a deeper understanding of how the supervaluational account of truth works is obtained, especially when one focuses on sets of precisifications.

Moss (2018) argues that rational agents are best thought of not as having degrees of belief in various propositions but as having beliefs in probabilistic contents, or probabilistic beliefs. Probabilistic contents are sets of probability functions. Probabilistic belief states, in turn, are modeled by sets of probabilistic contents, or sets of sets of probability functions. We argue that this Mossean framework is of considerable interest quite independently of its role in Moss’ account of probabilistic knowledge or her semantics for epistemic modals and probability operators. It is an extremely general model of uncertainty. Indeed, it is at least as general and expressively powerful as every other current imprecise probability framework, including lower probabilities, lower previsions, sets of probabilities, sets of desirable gambles, and choice functions. In addition, we partially answer an important question that Moss leaves open, viz., why should rational agents have consistent probabilistic beliefs? We show that an important subclass of Mossean believers avoid Dutch bookability iff they have consistent probabilistic beliefs.

We investigate how to assign probabilities to sentences that contain a type-free truth predicate. These probability values track how often a sentence is satisfied in transfinite revision sequences, following Gupta and Belnap’s revision theory of truth. This answers an open problem by Leitgeb which asks how one might describe transfinite stages of the revision sequence using such probability functions. We offer a general construction, and explore additional constraints that lead to desirable properties of the resulting probability function. One such property is Leitgeb’s Probabilistic Convention T, which says that the probability of φ equals the probability that φ is true.

We present a new proposal for what to do at limits in the revision theory. The usual criterion for a limit stage is that it should agree with any definite verdicts that have been brought about before that stage. We suggest that one should not only consider definite verdicts that have been brought about but also more general properties; in fact any closed property can be considered. This more general framework is required if we move to considering revision theories for concepts that are concerned with real numbers, but also has consequences for more traditional revision theories such as the revision theory of truth.

In Michael Caie's article “Rational Probabilistic Incoherence,” Caie argues that in light of certain situations involving self-reference, it is sometimes rational to have probabilistically incoherent credences. This essay further considers his arguments. It shows that probabilism isn't to blame for the failure of rational introspection and that Caie's modified accuracy criterion conflicts with Dutch book considerations, is scoring rule dependent, and leads to the failure of rational introspection.

This thesis focuses on expressively rich languages that can formalise talk about probability. These languages have sentences that say something about probabilities of probabilities, but also sentences that say something about the probability of themselves. For example: (π): “The probability of the sentence labelled π is not greater than 1/2.” Such sentences lead to philosophical and technical challenges; but can be useful. For example they bear a close connection to situations where ones confidence in something can affect whether it is the case or not. The motivating interpretation of probability as an agent's degrees of belief will be focused on throughout the thesis. This thesis aims to answer two questions relevant to such frameworks, which correspond to the two parts of the thesis: “How can one develop a formal semantics for this framework?” and “What rational constraints are there on an agent once such expressive frameworks are considered?”.

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.