My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the complications of design (...) problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (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)

Probabilism is the view that a rational agent's credences should always be probabilistically coherent. It has been argued that Probabilism follows, given the assumption that an epistemically rational agent ought to try to have credences that represent the world as accurately as possible. The key claim in this argument is that the goal of representing the world as accurately as possible is best served by having credences that are probabilistically coherent. This essay shows that this claim is false. In certain (...) cases, the goal of having accurate credences is best served by being probabilistically incoherent. Assuming that an epistemically rational agent ought to try to have credences that are as accurate as possible, it follows that in certain cases a rational agent ought to have probabilistically incoherent credences. (shrink)

I re-examine Coherence Arguments (Dutch Book Arguments, No Arbitrage Arguments) for diachronic constraints on Bayesian reasoning. I suggest to replace the usual game–theoretic coherence condition with a new decision–theoretic condition ('Diachronic Sure Thing Principle'). The new condition meets a large part of the standard objections against the Coherence Argument and frees it, in particular, from a commitment to additive utilities. It also facilitates the proof of the Converse Dutch Book Theorem. I first apply the improved Coherence Argument to van Fraassen's (...) (1984) Reflection principle. I then point out the failure of a Coherence Argument that is intended to support Conditionalization as a naive, universal, update rule. I also point out that Reflection is incompatible with the universal use of Conditionalization thus interpreted. The Coherence Argument therefore defeats the naive view on Bayesian learning that it was originally designed to justify. (shrink)

The aim of the paper is to draw a connection between a semantical theory of conditional statements and the theory of conditional probability. First, the probability calculus is interpreted as a semantics for truth functional logic. Absolute probabilities are treated as degrees of rational belief. Conditional probabilities are explicitly defined in terms of absolute probabilities in the familiar way. Second, the probability calculus is extended in order to provide an interpretation for counterfactual probabilities--conditional probabilities where the condition has zero probability. (...) Third, conditional propositions are introduced as propositions whose absolute probability is equal to the conditional probability of the consequent on the antecedent. An axiom system for this conditional connective is recovered from the probabilistic definition. Finally, the primary semantics for this axiom system, presented elsewhere, is related to the probabilistic interpretation. (shrink)

This paper attempts to place Goodman's "New Riddle of Induction" within the context of a subjectivist understanding of inductive logic. It will be argued that predicates such as 'grue' cannot be denied projectible status in any a priori way, but must be considered in the context of a situation of inductive support. In particular, it will be argued that questions of projectibility are to be understood as a variety of questions about the ways a given sample is random. Various examples (...) are considered, including cases when 'grue' (as opposed to 'green') should be projected, and some remarks are offered on what is meant when it is claimed that a sample is random (in ways relevant to inductive support) and how such randomness is determined. The view presented helps to make clear the relation between such apparently non-projectible predicates as 'grue' and the concept of being examined. (shrink)

Is Bayesian decision theory a panacea for many of the problems in epistemology and the philosophy of science, or is it philosophical snake-oil? For years a debate had been waged amongst specialists regarding the import and legitimacy of this body of theory. Mark Kaplan had written the first accessible and non-technical book to address this controversy. Introducing a new variant on Bayesian decision theory the author offers a compelling case that, while no panacea, decision theory does in fact have the (...) most profound consequences for the way in which philosophers think about inquiry, criticism and rational belief. The new variant on Bayesian theory is presented in such a way that a non-specialist will be able to understand it. The book also offers new solutions to some classic paradoxes. It focuses on the intuitive motivations of the Bayesian approach to epistemology and addresses the philosophical worries to which it has given rise. (shrink)

Our decision-theoretic states are not luminous. We are imperfectly reliable at identifying our own credences, utilities and available acts, and thus can never be more than imperfectly reliable at identifying the prescriptions of decision theory. The lack of luminosity affords decision theory a remarkable opportunity — to issue guidance on the basis of epistemically inaccessible facts. We show how a decision theory can guarantee action in accordance with contingent truths about which an agent is arbitrarily uncertain. It may seem that (...) such advantages would require dubiously adverting to externalist facts that go beyond the internalism of traditional decision theory, but this is not so. Using only the standard repertoire of decision-theoretic tools, we show how to modify existing decision theories to take advantage of this opportunity. These improved decision theories require agents to maximize conditional expected utility — expected utility conditional upon an agent’s actual decision situation. We call such modified decision theories ‘self-confident’. These self-confident decision theories have a distinct advantage over standard decision theories: their prescriptions are better. (shrink)

Reasoning from inconclusive evidence, or ‘induction’, is central to science and any applications we make of it. For that reason alone it demands the attention of philosophers of science. This Element explores the prospects of using probability theory to provide an inductive logic, a framework for representing evidential support. Constraints on the ideal evaluation of hypotheses suggest that overall support for a hypothesis is represented by its probability in light of the total evidence, and incremental support, or confirmation, indicated by (...) an increased probability given the evidence than otherwise. This proposal is shown to have the capacity to reconstruct many canons of the scientific method and inductive inference. Along the way, significant objections are discussed, such as the challenge from inductive scepticism and the objection that the probabilistic approach makes evidential support arbitrary. (shrink)

Suppose that you prefer A to B, B to C, and C to A. Your preferences violate Expected Utility Theory by being cyclic. Money-pump arguments offer a way to show that such violations are irrational. Suppose that you start with A. Then you should be willing to trade A for C and then C for B. But then, once you have B, you are offered a trade back to A for a small cost. Since you prefer A to B, you (...) pay the small sum to trade from B to A. But now you have been turned into a money pump. You are back to the alternative you started with but with less money. This Element shows how each of the axioms of Expected Utility Theory can be defended by money-pump arguments of this kind. The Element also defends money-pump arguments from the standard objections to this kind of approach. This title is also available as Open Access on Cambridge Core. (shrink)

– 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)

It is often loosely said that Ramsey The foundations of mathematics and other logical essays, Routledge and Kegan Paul, Abingdon, pp 156–198, 1931) and de Finetti Studies in subjective probability, Kreiger Publishing, Huntington, 1937) proved that if your credences are inconsistent, then you will be willing to accept a Dutch Book, a wager portfolio that is sure to result in a loss. Of course, their theorems are true, but the claim about acceptance of Dutch Books assumes a particular method of (...) calculating expected utilities given the inconsistent credences. I will argue that there are better ways of calculating expected utilities given a potentially inconsistent credence assignment, and that for a large class of credences—a class that includes many inconsistent examples—these ways are immune to Dutch Books and single-shot domination failures. The crucial move is to replace Finite Additivity with Monotonicity, then \\le P\)) and then calculate expected utilities for positive U via the formula \\, dy\). This shows that Dutch Book arguments for probabilism, the thesis that one’s credences should be consistent, do not establish their conclusion. Finally, I will consider a modified argument based on multi-step domination failure that does better, but nonetheless is not as compelling as the Dutch Book arguments appeared to be. (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.

It is well known that a degree-of-belief function P is coherent if and only if it satisfies the probability calculus. In this paper, we show that the notion of coherence can be extended to higher order probabilities such as P(P(h)=p)=q, and that a higher order degree-of-belief function P is coherent if and only if it satisfies the probability calculus plus the following axiom: P(h)=p iff P(P(h)=p)=1. Also, a number of lemmata which extend an incomplete probability function to a complete one (...) are established. (shrink)

According to van Fraassen, inference to the best explanation (IBE) is incompatible with Bayesianism. To argue to the contrary, many philosophers have suggested hybrid models of scientific reasoning with both explanationist and probabilistic elements. This paper offers another such model with two novel features. First, its Bayesian component is imprecise. Second, the domain of credence functions can be extended.

Frank Plumpton Ramsey (1903–30) made seminal contributions to philosophy, mathematics and economics. Whilst he was acknowledged as a genius by his contemporaries, some of his most important ideas were not appreciated until decades later; now better appreciated, they continue to bear an influence upon contemporary philosophy. His historic significance was to usher in a new phase of analytic philosophy, which initially built upon the logical atomist doctrines of Bertrand Russell and Ludwig Wittgenstein, raising their ideas to a new level of (...) sophistication, but ultimately he became their successor rather than remain a mere acolyte. (shrink)

Any dynamic decision model should be based on conditional objects and must refer to (not necessarily structured) domains containing only the elements and the information of interest. We characterize binary relations, defined on an arbitrary set of conditional events, which are representable by a coherent generalized decomposable conditional measure and we study, in particular, the case of binary relations representable by a coherent conditional probability.

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. I discuss the extent to which the original arguments can be buttressed.1. Introduction2. The Dutch Book Argument2.1. Saving the Dutch Book argument2.2. ‘The Dutch Book argument merely dramatizes an inconsistency in the attitudes of an agent whose credences violate probability theory’3. Representation Theorem-based Arguments4. The Calibration Argument5. The Gradational Accuracy Argument6. Conclusion. (shrink)

There is no set Δ of probability axioms that meets the following three desiderata: (1) Δ is vindicated by a Dutch book theorem; (2) Δ does not imply regularity (and thus allows, among other things, updating by conditionalization); (3) Δ constrains the conditional probability q(·,z) even when the unconditional probability p(z) (=q(z,T)) equals 0. This has significant consequences for Bayesian epistemology, some of which are discussed.

The foundations of probability are viewed through the lens of the subjectivist interpretation. This article surveys conditional probability, arguments for probabilism, probability dynamics, and the evidential and subjective interpretations of probability.

This paper reconsiders Frank Ramsey's essay on subjective probability (1926) as a consistent way to articulate logic, rationality and knowledge. The first part of the essay builds an axiomatic theory of subjective probability based on ‘formal logic’, defining rationality as choice-consistency. The second part seems to open up different horizons: the evaluation of degrees of belief by ‘human logic’. Because of the interest Keynes (1931) had taken in ‘human logic’, it was considered to be a possible alternative to the formal (...) logic underlying the neoclassical theory of individual behaviour. The analysis of Ramsey's method in the entire paper, the relation between logic and rationality it constructs and the conception of uncertainty it reveals, lead me to note on the contrary that Ramsey's human logic was a complementary logic rather than an alternative to formal logic. Defining a standard to evaluate beliefs formation according to a frequentist criterion, it completes a normative representation of rationality which supports an original theory of knowledge that appears more in line with further developments of neoclassical methodology than with Keynesian economics. (shrink)

According to Bayesian orthodoxy, an agent should update---or at least should plan to update---her credences by conditionalization. Some have defended this claim by means of a diachronic Dutch book argument. They say: an agent who does not plan to update her credences by conditionalization is vulnerable (by her own lights) to a diachronic Dutch book, i.e., a sequence of bets which, when accepted, guarantee loss of utility. Here, I show that this argument is in tension with evidence externalism, i.e., the (...) view that an agent's evidence can entail non-trivial propositions about the external world. I argue that this tension casts doubt on the idea that diachronic Dutch books can be used to justify or vindicate updating plans. (shrink)

We prove that de Finetti coherence is preserved under taking products of coherent books on two sets of independent events. This establishes a desirable closure property of coherence: were it not the case it would raise a question mark over the utility of de Finetti’s notion of coherence.

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)

The orthodoxy that conditional probabilities reflect what are for a subject evidential bearings is seconded. This significance suggests that there should be principles equating rationally revised probabilities on new information with probabilities reached by conditionalizing on this information. Several principles, two of which are endorsed, are considered. A book is made against a violator of these, and it is argued that there must be something wrong with a person against whom such books can be made. Appendices comment on Popper-functions, elaborate (...) on bets and odds, and relate dutch books and strategies to conditions of inconsistency (Ramsey's idea) and imperfection. (shrink)

Not only is the common‐law standard of proof of mere likelihood in ordinary civil cases justifiable, but its justifiability supports the conclusion that there is no general norm that one must assert that p only if p is known. An argument by Voltaire is formalized to show that the mere likelihood standard is rational. It is also shown that no applicable norm preempts the common‐law rule. An objection that takes the pertinent knowledge‐norm to be honoured in the breach is rejected (...) by appeal to the absence of blameworthiness in alleged breaches of interest. An objection that takes civil verdicts to be manifestations of acceptance, rather than assertoric, is considered and rejected. (shrink)

ZusammenfassungDa die zuletzt von Shimony, Lehman und Kemeny ausgebaute Begründung der Wahrscheinlichkeitstheorie durch Zurückführung auf den Begriff der Wette im wesentlichen nur die Axiome von Kolmogoroff liefert, welche für die Anwendungen nicht ausreichen, muss man nach einem neuen Prinzip suchen, um weitere Axiome zu gewinnen. Als solches bietet sich an ein Einfachheitsprinzip, welches besagt, dass eine einfachere Hypothese die wahrscheinlichere ist. Es wird kritisch berichtet über verschiedene Versuche, die in Münster insbesondere von Kiesow und W. Oberschelp unternommen worden sind, um (...) dieses Einfachheitsprinzip zu präzisieren durch eine exakte Definition der Einfachheit, welche im wesentlichen als sprachliche Einfachheit aufgefasst wird.RésuméRécemment Shimony, Lehman et Kemeny ont développé une fondation de la théorié de la probabilite au moyen d'une réduction au concept de la gageure, qui permet de comprendre essentiellement les axiomes donnés par Kolmogoroff, mais pas d'autres axiomes dont on se sert souvent pour légitimer les applications de la théorie de la probabilité. Il est done nécessaire de chercher un nouveau principe pour motiver ces autres axiomes. On peut réussir en utilisant un principe de simplicité disant que la probabilité d'une hypothése diminue avec sa complication. Un récit et une critique sont donnés concernant plusieurs recherches faites à MuUnster, spécialement par M. Kiesow et M. W. Oberschelp, pour préciser la notion de la simplicité en la réduisant à certaines propriétés syntactiques des propositions.Shimony, Lehman and Kemeny recently developed a foundation of the theory of confirmation by reduction to the concept of rational betting. This procedure yields essentially only the axioms first stated by Kolmogoroff. It is well known that these are not sufficient for application. Thus it is necessary to search for a new principle if one wants to motivate new axioms. This can be done by a principle of simplicity, which expresses that the probability of a hypothesis increases with its degree of simplicity. A critical survey is given about several attempts which have been tried in Münster especially by Kiesow and W. Oberschelp with the aim to make the notion of simplicity precise. The simplicity is reduced to syntactical properties of propositions. (shrink)

Satisficing is a central concept in both individual and social multiagent decision making. In this paper we first extend the notion of satisficing by formally modeling the tradeoff between costs and decision failure. Second, we extend this notion of “neo”-satisficing into the context of social or multiagent decision making and interaction, and model the social conditioning of preferences in a satisficing framework.

Common probability theories only allow the deduction of probabilities by using previously known or presupposed probabilities. They do not, however, allow the derivation of probabilities from observed data alone. The question thus arises as to how probabilities in the empirical sciences, especially in medicine, may be arrived at. Carnap hoped to be able to answer this question byhis theory of inductive probabilities. In the first four sections of the present paper the above mentioned problem is discussed in general. After a (...) short presentation of Carnap''s theory it is then shown that this theory cannot claim validity for arbitrary random processes. It is suggested that the theory be only applied to binomial and multinomial experiments. By application of de Finetti''s theorem Carnap''s inductive probabilities are interpreted as consecutive probabilities of the Bayesian kind. Through the introduction of a new axiom the decision parameter can be determined even if no a priori knowledge is given. Finally, it is demonstrated that the fundamental problem of Wald''s decision theory, i.e., the determination of a plausible criterion where no a priori knowledge is available, can be solved for the cases of binomial and multinomial experiments. (shrink)

When acting in social contexts, we are often able to voluntarily coordinate our choices with one another. It has been suggested that this ability relies on the adoption of preferences that transcend those of the individuals involved in the social interaction. Conditional game theory provides a formal framework that facilitates the study of coordinated rational choice in a way that disentangles the concepts of individual preference and group agency. We argue that these concepts are complementary: individual preferences are formed in (...) a social context and groups coordinate as socially influenced preferences interact. In particular, we show that if agents can engage in conditional reasoning and can define their preferences in the form of hypothetical propositions, group-level coordination can be grounded only on the preference of individuals. (shrink)

In order that a degree-of-belief function be coherent it is necessary and sufficient that it satisfy the axioms of probability theory. This theorem relies heavily for its proof on the two-valued sentential calculus, which emerges as a limiting case of a continuous scale of truth-values. In this “continuum of certainty” a theorem analogous to that instanced above is proved.