ABSTRACTA probability model is underdetermined when there is no rational reason to assign a particular infinitesimal value as the probability of single events. Pruss claims that hyperreal probabilities are underdetermined. The claim is based upon external hyperreal-valued measures. We show that internal hyperfinite measures are not underdetermined. The importance of internality stems from the fact that Robinson’s transfer principle only applies to internal entities. We also evaluate the claim that transferless ordered fields may have advantages over hyperreals in probabilistic modeling. (...) We show that probabilities developed over such fields are less expressive than hyperreal probabilities. (shrink)

We analyze recent criticisms of the use of hyperreal probabilities as expressed by Pruss, Easwaran, Parker, and Williamson. We show that the alleged arbitrariness of hyperreal fields can be avoided by working in the Kanovei–Shelah model or in saturated models. We argue that some of the objections to hyperreal probabilities arise from hidden biases that favor Archimedean models. We discuss the advantage of the hyperreals over transferless fields with infinitesimals. In Paper II we analyze two underdetermination theorems by Pruss and (...) show that they hinge upon parasitic external hyperreal-valued measures, whereas internal hyperfinite measures are not underdetermined. (shrink)

Bayesian epistemology has struggled with the problem of regularity: how to deal with events that in classical probability have zero probability. While the cases most discussed in the literature, such as infinite sequences of coin tosses or continuous spinners, do not actually come up in scientific practice, there are cases that do come up in science. I shall argue that these cases can be resolved without leaving the realm of classical probability, by choosing a probability measure that preserves “enough” regularity. (...) This approach also provides a resolution to the McGrew, McGrew and Vestrum normalization problem for the fine-tuning argument. (shrink)

A number of philosophers have attempted to solve the problem of null-probability possible events in Bayesian epistemology by proposing that there are infinitesimal probabilities. Hájek and Easwaran have argued that because there is no way to specify a particular hyperreal extension of the real numbers, solutions to the regularity problem involving infinitesimals, or at least hyperreal infinitesimals, involve an unsatisfactory ineffability or arbitrariness. The arguments depend on the alleged impossibility of picking out a particular hyperreal extension of the real numbers (...) and/or of a particular value within such an extension due to the use of the Axiom of Choice. However, it is false that the Axiom of Choice precludes a specification of a hyperreal extension—such an extension can indeed be specified. Moreover, for all we know, it is possible to explicitly specify particular infinitesimals within such an extension. Nonetheless, I prove that because any regular probability measure that has infinitesimal values can be replaced by one that has all the same intuitive features but other infinitesimal values, the heart of the arbitrariness objection remains. (shrink)

Classical real-valued probabilities come at a philosophical cost: in many infinite situations, they assign the same probability value—namely, zero—to cases that are impossible as well as to cases that are possible. There are three non-classical approaches to probability that can avoid this drawback: full conditional probabilities, qualitative probabilities and hyperreal probabilities. These approaches have been criticized for failing to preserve intuitive symmetries that can be preserved by the classical probability framework, but there has not been a systematic study of the (...) conditions under which these symmetries can and cannot be preserved. This paper fills that gap by giving complete characterizations under which symmetries understood in a certain “strong” way can be preserved by these non-classical probabilities, as well as by offering some results to make it plausible that the strong notion of symmetry here is the right one. Philosophical implications are briefly discussed, but the main purpose of the paper is to offer technical results to help make further philosophical discussion more sophisticated. (shrink)

A New Chance for Infinitesimals? This article discusses the connection between the Zenonian paradox of magnitude and probability on infinite sample spaces. Two important premises in the Zenonian argument are: the Archimedean axiom, which excludes infinitesimal magnitudes, and perfect additivity. Standard probability theory uses real numbers that satisfy the Archimedean axiom, but it rejects perfect additivity. The additivity requirement for real-valued probabilities is limited to countably infinite collections of mutually incompatible events. A consequence of this is that there exists no (...) standard probability function that describes a fair lottery on the natural numbers. If we reject the Archimedean axiom, allowing infinitesimal probability values, we can retain perfect additivity and describe a fair, countable infinite lottery. The article gives a historical overview to understand how the first option has become the current standard, whereas the latter remains ‘non-standard’. (shrink)

A probability distribution is regular if it does not assign probability zero to any possible event. Williamson argued that we should not require probabilities to be regular, for if we do, certain “isomorphic” physical events must have different probabilities, which is implausible. His remarks suggest an assumption that chances are determined by intrinsic, qualitative circumstances. Weintraub responds that Williamson’s coin flip events differ in their inclusion relations to each other, or the inclusion relations between their times, and this can account (...) for their differences in probability. Haverkamp and Schulz rebut Weintraub, but their rebuttal fails because the events in their example are even less symmetric than Williamson’s. However, Weintraub’s argument also fails, for it ignores the distinction between intrinsic, qualitative differences and relations of time and bare identity. Weintraub could rescue her argument by claiming that the events differ in duration, under a non-standard and problematic conception of duration. However, we can modify Williamson’s example with Special Relativity so that there is no absolute inclusion relation between the times, and neither event has longer duration except relative to certain reference frames. Hence, Weintraub’s responses do not apply unless chance is observer-relative, which is also problematic. Finally, another symmetry argument defeats even the appeal to frame-dependent durations, for there the events have the same finite duration and are entirely disjoint, as are their respective times and places. (shrink)

A probability distribution is regular if it does not assign probability zero to any possible event. While some hold that probabilities should always be regular, three counter-arguments have been posed based on examples where, if regularity holds, then perfectly similar events must have different probabilities. Howson and Benci et al. have raised technical objections to these symmetry arguments, but we see here that their objections fail. Howson says that Williamson’s “isomorphic” events are not in fact isomorphic, but Howson is speaking (...) of set-theoretic representations of events in a probability model. While those sets are not isomorphic, Williamson’s physical events are, in the relevant sense. Benci et al. claim that all three arguments rest on a conflation of different models, but they do not. They are founded on the premise that similar events should have the same probability in the same model, or in one case, on the assumption that a single rotation-invariant distribution is possible. Having failed to refute the symmetry arguments on such technical grounds, one could deny their implicit premises, which is a heavy cost, or adopt varying degrees of instrumentalism or pluralism about regularity, but that would not serve the project of accurately modelling chances. (shrink)

A probability distribution is regular if no possible event is assigned probability zero. While some hold that probabilities should always be regular, three counter-arguments have been posed based on examples where, if regularity holds, then perfectly similar events must have different probabilities. Howson (2017) and Benci et al. (2016) have raised technical objections to these symmetry arguments, but we see here that their objections fail. Howson says that Williamson’s (2007) “isomorphic” events are not in fact isomorphic, but Howson is speaking (...) of set-theoretic representations of events in a probability model. While those sets are not isomorphic, Williamson’s physical events are, in the relevant sense. Benci et al. claim that all three arguments rest on a conflation of different models, but they do not. They are founded on the premise that similar events should have the same probability in the same model, or in one case, on the assumption that a single rotation-invariant distribution is possible. Having failed to refute the symmetry arguments on such technical grounds, one could deny their implicit premises, which is a heavy cost, or adopt varying degrees of instrumentalism or pluralism about regularity, but that would not serve the project of accurately modelling chances. (shrink)

On the first page of “What is Cantor's Continuum Problem?”, Gödel argues that Cantor's theory of cardinality, where a bijection implies equal number, is in some sense uniquely determined. The argument, involving a thought experiment with sets of physical objects, is initially persuasive, but recent authors have developed alternative theories of cardinality that are consistent with the standard set theory ZFC and have appealing algebraic features that Cantor's powers lack, as well as some promise for applications. Here we diagnose Gödel's (...) argument, showing that it fails in two important ways: Its premises are not sufficiently compelling to discredit countervailing intuitions and pragmatic considerations, nor pluralism, and its final inference, from the superiority of Cantor's theory as applied to sets of changeable physical objects to the unique acceptability of that theory for all sets, is irredeemably invalid. (shrink)

As an application of his Material Theory of Induction, Norton (2018; manuscript) argues that the correct inductive logic for a fair infinite lottery, and also for evaluating eternal inflation multiverse models, is radically different from standard probability theory. This is due to a requirement of label independence. It follows, Norton argues, that finite additivity fails, and any two sets of outcomes with the same cardinality and co-cardinality have the same chance. This makes the logic useless for evaluating multiverse models based (...) on self-locating chances, so Norton claims that we should despair of such attempts. However, his negative results depend on a certain reification of chance, consisting in the treatment of inductive support as the value of a function, a value not itself affected by relabeling. Here we define a purely comparative infinite lottery logic, where there are no primitive chances but only a relation of ‘at most as likely’ and its derivatives. This logic satisfies both label independence and a comparative version of additivity as well as several other desirable properties, and it draws finer distinctions between events than Norton's. Consequently, it yields better advice about choosing between sets of lottery tickets than Norton's, but it does not appear to be any more helpful for evaluating multiverse models. Hence, the limitations of Norton's logic are not entirely due to the failure of additivity, nor to the fact that all infinite, co-infinite sets of outcomes have the same chance, but to a more fundamental problem: We have no well-motivated way of comparing disjoint countably infinite sets. (shrink)

In a fair, infinite lottery, it is possible to conclude that drawing a number divisible by four is strictly less likely than drawing an even number; and, with apparently equal cogency, that drawing a number divisible by four is equally as likely as drawing an even number.

The Borel-Kolmogorov paradox is often presented as an obscure problem that certain mathematical accounts of conditional probability must face. In this article, we point out that the paradox arises in the physical sciences, for physical probability or chance. By carefully formulating the paradox in this setting, we show that it is a puzzle for everyone, regardless of one’s preferred probability formalism. We propose a treatment that is inspired by the approach that scientists took when confronted with these cases.

– We offer a new motivation for imprecise probabilities. We argue that there are propositions to which precise probability cannot be assigned, but to which imprecise probability can be assigned. In such cases the alternative to imprecise probability is not precise probability, but no probability at all. And an imprecise probability is substantially better than no probability at all. Our argument is based on the mathematical phenomenon of non-measurable sets. Non-measurable propositions cannot receive precise probabilities, but there is a natural (...) way for them to receive imprecise probabilities. The mathematics of non-measurable sets is arcane, but its epistemological import is far-reaching; even apparently mundane propositions are liable to be affected by non-measurability. The phenomenon of non-measurability dramatically reshapes the dialectic between critics and proponents of imprecise credence. Non-measurability offers natural rejoinders to prominent critics of imprecise credence. Non-measurability even reverses some of the critics’ arguments—by the very lights that have been used to argue against imprecise credences, imprecise credences are better than precise credences. (shrink)

In a well-known paper, Timothy Williamson claimed to prove with a coin-flipping example that infinitesimal-valued probabilities cannot save the principle of Regularity, because on pain of inconsistency the event ‘all tosses land heads’ must be assigned probability 0, whether the probability function is hyperreal-valued or not. A premise of Williamson’s argument is that two infinitary events in that example must be assigned the same probability because they are isomorphic. It was argued by Howson that the claim of isomorphism fails, but (...) a more radical objection to Williamson’s argument is that it had been, in effect, refuted long before it was published. (shrink)

Timothy Williamson claimed to prove with a coin-tossing example that hyperreal probabilities cannot save the principle of regularity. A premise of his argument is that two specified infinitary events must be assigned the same probability because, he claims, they are isomorphic. But as has been pointed out, they are not isomorphic. A way of framing Williamson’s argument that does not make it depend on the isomorphism claim is in terms of shifts in Bernoulli processes, the usual mathematical model of sequential (...) coin tossing. But even so framed, the argument still fails. (shrink)

A new formal model of belief dynamics is proposed, in which the epistemic agent has both probabilistic beliefs and full beliefs. The agent has full belief in a proposition if and only if she considers the probability that it is false to be so close to zero that she chooses to disregard that probability. She treats such a proposition as having the probability 1, but, importantly, she is still willing and able to revise that probability assignment if she receives information (...) that gives her sufficient reasons to do so. Such a proposition is undoubted, but not undoubtable. In the formal model it is assigned a probability 1 − δ, where δ is an infinitesimal number. The proposed model employs probabilistic belief states that contain several underlying probability functions representing alternative probabilistic states of the world. Furthermore, a distinction is made between update and revision, in the same way as in the literature on belief change. The formal properties of the model are investigated, including properties relevant for learning from experience. The set of propositions whose probabilities are infinitesimally close to 1 forms a belief set. Operations that change the probabilistic belief state give rise to changes in this belief set, which have much in common with traditional operations of belief change. (shrink)

The main conclusion is this conditional: If the principle of reflection is a valid constraint on rational credences, then it is not rational to have a uniform credence distribution on a countable outcome space. The argument is a variation on some arguments that are already in the literature, but with crucial differences. The conditional can be used for either a modus ponens or a modus tollens; some reasons for thinking that the former is most reasonable are given.

This article investigates the properties of multistate top revision, a dichotomous model of belief revision that is based on an underlying model of probability revision. A proposition is included in the belief set if and only if its probability is either 1 or infinitesimally close to 1. Infinitesimal probabilities are used to keep track of propositions that are currently considered to have negligible probability, so that they are available if future information makes them more plausible. Multistate top revision satisfies a (...) slightly modified version of the set of basic and supplementary AGM postulates, except the inclusion and success postulates. This result shows that hyperreal probabilities can provide us with efficient tools for overcoming the well known difficulties in combining dichotomous and probabilistic models of belief change. (shrink)

In standard Bayesian probability revision, the adoption of full beliefs (propositions with probability 1) is irreversible. Once an agent has full belief in a proposition, no subsequent revision can remove that belief. This is an unrealistic feature, and it also makes probability revision incompatible with belief change theory, which focuses on how the set of full beliefs is modified through both additions and retractions. This problem in probability theory can be solved in a model that (i) lets the codomain of (...) the probability function be a hyperreal-valued rather than the real-valued closed interval [0, 1], and (ii) identifies the full beliefs as the propositions whose probability is either 1 or infinitesimally smaller than 1. In this model, changes in the probability function will result in changes in the set of full beliefs (belief set), which constitutes a submodel that can be conceived as the “tip of the iceberg” within the larger model that also contains beliefs on lower levels of probability. The patterns of change in the set of full beliefs in this modified Bayesian model coincides with the corresponding pattern in a slightly modified version of AGM revision, which is commonly conceived as the gold standard of (dichotomous) belief change. The modification only concerns the marginal case of revision by an inconsistent input sentence. These results show that probability revision and dichotomous belief change can be unified in one and the same framework, or – if we so wish – that belief change theory can be subsumed under a modified version of probability revision that allows for iterated change and for the removal of full beliefs. (shrink)

If the laws of nature are as the Humean believes, it is an unexplained cosmic coincidence that the actual Humean mosaic is as extremely regular as it is. This is a strong and well-known objection to the Humean account of laws. Yet, as reasonable as this objection may seem, it is nowadays sometimes dismissed. The reason: its unjustified implicit assignment of equiprobability to each possible Humean mosaic; that is, its assumption of the principle of indifference, which has been attacked on (...) many grounds ever since it was first proposed. In place of equiprobability, recent formal models represent the doxastic state of total ignorance as suspension of judgment. In this paper I revisit the cosmic coincidence objection to Humean laws by assessing which doxastic state we should endorse. By focusing on specific features of our scenario I conclude that suspending judgment results in an unnecessarily weak doxastic state. First, I point out that recent literature in epistemology has provided independent justifications of the principle of indifference. Second, given that the argument is framed within a Humean metaphysics, it turns out that we are warranted to appeal to these justifications and assign a uniform and additive credence distribution among Humean mosaics. This leads us to conclude that, contrary to widespread opinion, we should not dismiss the cosmic coincidence objection to the Humean account of laws. (shrink)

Since Euclid defined a point as “that which has no part” it has been widely assumed that points are necessarily unextended. It has also been assumed that this is equivalent to saying that points or, more properly speaking, degenerate segments, have length zero. We challenge these assumptions by providing models of Euclidean geometry where the points are extended despite the fact that the degenerate segments have null lengths, and observe that whereas the extended natures of the points are not recognizable (...) in the given models, they can be recognized and characterized by structures that are suitable expansions of the models. (shrink)

A number of philosophers have thought that fair lotteries over countably infinite sets of outcomes are conceptually incoherent by virtue of violating countable additivity. In this article, I show that a qualitative analogue of this argument generalizes to an argument against the conceptual coherence of a much wider class of fair infinite lotteries—including continuous uniform distributions. I argue that this result suggests that fair lotteries over countably infinite sets of outcomes are no more conceptually problematic than continuous uniform distributions. Along (...) the way, I provide a novel argument for a weak qualitative, epistemic version of regularity. (shrink)

We formulate and explore two basic axiomatic systems of type-free subjective probability. One of them explicates a notion of finitely additive probability. The other explicates a concept of infinitely additive probability. It is argued that the first of these systems is a suitable background theory for formally investigating controversial principles about type-free subjective probability.

Although expected utility theory has proven a fruitful and elegant theory in the finite realm, attempts to generalize it to infinite values have resulted in many paradoxes. In this paper, we argue that the use of John Conway's surreal numbers shall provide a firm mathematical foundation for transfinite decision theory. To that end, we prove a surreal representation theorem and show that our surreal decision theory respects dominance reasoning even in the case of infinite values. We then bring our theory (...) to bear on one of the more venerable decision problems in the literature: Pascal's Wager. Analyzing the wager showcases our theory's virtues and advantages. To that end, we analyze two objections against the wager: Mixed Strategies and Many Gods. After formulating the two objections in the framework of surreal utilities and probabilities, our theory correctly predicts that (1) the pure Pascalian strategy beats all mixed strategies, and (2) what one should do in a Pascalian decision problem depends on what one's credence function is like. Our analysis therefore suggests that although Pascal's Wager is mathematically coherent, it does not deliver what it purports to, a rationally compelling argument that people should lead a religious life regardless of how confident they are in theism and its alternatives. (shrink)

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. (shrink)

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. (shrink)

We relate Popper functions to regular and perfectly additive such non-Archimedean probability functions by means of a representation theorem: every such non-Archimedean probability function is infinitesimally close to some Popper function, and vice versa. We also show that regular and perfectly additive non-Archimedean probability functions can be given a lexicographic representation. Thus Popper functions, a specific kind of non-Archimedean probability functions, and lexicographic probability functions triangulate to the same place: they are in a good sense interchangeable.

According to the so-called Lockean thesis, a rational agent believes a proposition just in case its probability is sufficiently high, i.e., greater than some suitably fixed threshold. The Preface paradox is usually taken to show that the Lockean thesis is untenable, if one also assumes that rational agents should believe the conjunction of their own beliefs: high probability and rational belief are in a sense incompatible. In this paper, we show that this is not the case in general. More precisely, (...) we consider two methods of computing how probable must each of a series of propositions be in order to rationally believe their conjunction under the Lockean thesis. The price one has to pay for the proposed solutions to the paradox is what we call “quasi-dogmatism”: the view that a rational agent should believe only those propositions which are “nearly certain” in a suitably defined sense. (shrink)

Non-Archimedean probability functions allow us to combine regularity with perfect additivity. We discuss the philosophical motivation for a particular choice of axioms for a non-Archimedean probability theory and answer some philosophical objections that have been raised against infinitesimal probabilities in general. _1_ Introduction _2_ The Limits of Classical Probability Theory _2.1_ Classical probability functions _2.2_ Limitations _2.3_ Infinitesimals to the rescue? _3_ NAP Theory _3.1_ First four axioms of NAP _3.2_ Continuity and conditional probability _3.3_ The final axiom of NAP (...) _3.4_ Infinite sums _3.5_ Definition of NAP functions via infinite sums _3.6_ Relation to numerosity theory _4_ Objections and Replies _4.1_ Cantor and the Archimedean property _4.2_ Ticket missing from an infinite lottery _4.3_ Williamson’s infinite sequence of coin tosses _4.4_ Point sets on a circle _4.5_ Easwaran and Pruss _5_ Dividends _5.1_ Measure and utility _5.2_ Regularity and uniformity _5.3_ Credence and chance _5.4_ Conditional probability _6_ General Considerations _6.1_ Non-uniqueness _6.2_ Invariance Appendix. (shrink)

Rational agents seem more confident in any possible event than in an impossible event. But if rational credences are real-valued, then there are some possible events that are assigned 0 credence nonetheless. How do we differentiate these events from impossible events then when we order events? de Finetti (1975), Hájek (2012) and Easwaran (2014) suggest that when ordering events, conditional credences and subset relations are as relevant as unconditional credences. I present a counterexample to all their proposals in this paper. (...) While their proposals order possible and impossible events correctly, they deliver the wrong verdict for disjoint possible events assigned equal positive credence. (shrink)

I argue for a connection between two debates in the philosophy of probability. On the one hand, there is disagreement about conditional probability. Is it to be defined in terms of unconditional probability, or should we instead take conditional probability as the primitive notion? On the other hand, there is disagreement about how additive probability is. Is it merely finitely additive, or is it additionally countably additive? My thesis is that, if conditional probability is primitive, then it is not countably (...) additive. (shrink)

We present an abstract social aggregation theorem. Society, and each individual, has a preorder that may be interpreted as expressing values or beliefs. The preorders are allowed to violate both completeness and continuity, and the population is allowed to be infinite. The preorders are only assumed to be represented by functions with values in partially ordered vector spaces, and whose product has convex range. This includes all preorders that satisfy strong independence. Any Pareto indifferent social preorder is then shown to (...) be represented by a linear transformation of the representations of the individual preorders. Further Pareto conditions on the social preorder correspond to positivity conditions on the transformation. When all the Pareto conditions hold and the population is finite, the social preorder is represented by a sum of individual preorder representations. We provide two applications. The first yields an extremely general version of Harsanyi's social aggregation theorem. The second generalizes a classic result about linear opinion pooling. (shrink)

Non-Archimedean probability functions allow us to combine regularity with perfect additivity. We discuss the philosophical motivation for a particular choice of axioms for a non-Archimedean probability theory and answer some philosophical objections that have been raised against infinitesimal probabilities in general.

The purpose of this note is to contrast a Cantorian outlook with a non-Cantorian one and to present a picture that provides support for the latter. In particular, I suggest that: i) infinite hyperreal numbers are the (actual, determined) infinite numbers, ii) ω is merely potentially infinite, and iii) infinitesimals should not be used in the di Finetti lottery. Though most Cantorians will likely maintain a Cantorian outlook, the picture is meant to motivate the obvious nature of the non-Cantorian outlook.