Richard Pettigrew offers an extended investigation into a particular way of justifying the rational principles that govern our credences. The main principles that he justifies are the central tenets of Bayesian epistemology, though many other related principles are discussed along the way. Pettigrew looks to decision theory in order to ground his argument. He treats an agent's credences as if they were a choice she makes between different options, gives an account of the purely epistemic utility enjoyed by different sets (...) of credences, and then appeals to the principles of decision theory to show that, when epistemic utility is measured in this way, the credences that violate the principles listed above are ruled out as irrational. The account of epistemic utility set out here is the veritist's: the sole fundamental source of epistemic utility for credences is their accuracy. Thus, Pettigrew conducts an investigation in the version of epistemic utility theory known as accuracy-first epistemology. (shrink)

By Parallel Reasoning is the first comprehensive philosophical examination of analogical reasoning in more than forty years designed to formulate and justify standards for the critical evaluation of analogical arguments. It proposes a normative theory with special focus on the use of analogies in mathematics and science. In recent decades, research on analogy has been dominated by computational theories whose objective has been to model analogical reasoning as a psychological process. These theories have devoted little attention to normative questions. In (...) this book Bartha proposes that a good analogical argument must articulate a clear relationship that is capable of generalization. This idea leads to a set of distinct models for the critical analysis of prominent forms of analogical argument. The same core principle makes it possible to relate analogical reasoning to norms and values of scientific practice. Reasoning by analogy is justified because it strikes an optimal balance between conservative values, such as simplicity and coherence, and progressive values, such as fruitfulness and theoretical unification. Analogical arguments are also justified by appeal to symmetry--like cases are to be treated alike. In elaborating the connection between analogy and these broad epistemic principles, By Parallel Reasoning offers a novel contribution to explaining how analogies can play an important role in the confirmation of scientific hypotheses. (shrink)

This chapter explores the topic of imprecise probabilities as it relates to model validation. IP is a family of formal methods that aim to provide a better representationRepresentation of severe uncertainty than is possible with standard probabilistic methods. Among the methods discussed here are using sets of probabilities to represent uncertainty, and using functions that do not satisfy the additvity property. We discuss the basics of IP, some examples of IP in computer simulation contexts, possible interpretations of the IP framework (...) and some conceptual problems for the approach. We conclude with a discussion of IP in the context of model validation. (shrink)

This new work provides an approachable introduction to the complex system that Making It Explicit mapped out.

In several papers, John Norton has argued that Bayesianism cannot handle ignorance adequately due to its inability to distinguish between neutral and disconfirming evidence. He argued that this inability sows confusion in, e.g., anthropic reasoning in cosmology or the Doomsday argument, by allowing one to draw unwarranted conclusions from a lack of knowledge. Norton has suggested criteria for a candidate for representation of neutral support. Imprecise credences (families of credal probability functions) constitute a Bayesian-friendly framework that allows us to avoid (...) inadequate neutral priors and better handle ignorance. The imprecise model generally agrees with Norton's representation of ignorance but requires that his criterion of self-duality be reformulated or abandoned. (shrink)

De Finetti would claim that we can make sense of a draw in which each positive integer has equal probability of winning. This requires a uniform probability distribution over the natural numbers, violating countable additivity. Countable additivity thus appears not to be a fundamental constraint on subjective probability. It does, however, seem mandated by Dutch Book arguments similar to those that support the other axioms of the probability calculus as compulsory for subjective interpretations. These two lines of reasoning can be (...) reconciled through a slight generalization of the Dutch Book framework. Countable additivity may indeed be abandoned for de Finetti's lottery, but this poses no serious threat to its adoption in most applications of subjective probability. Introduction The de Finetti lottery Two objections to equiprobability 3.1 The ‘No random mechanism’ argument 3.2 The Dutch Book argument Equiprobability and relative betting quotients The re-labelling paradox 5.1 The paradox 5.2 Resolution: from symmetry to relative probability Beyond the de Finetti lottery. (shrink)

Explores sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathematics, Boolean algebras, informal axiomatic set theory, several algebraic theories, and 1st-order theories.

First-ever comprehensive introduction to the major new subject of quantum computing and quantum information.

Isn't probability 1 certainty? If the probability is objective, so is the certainty: whatever has chance 1 of occurring is certain to occur. Equivalently, whatever has chance 0 of occurring is certain not to occur. If the probability is subjective, so is the certainty: if you give credence 1 to an event, you are certain that it will occur. Equivalently, if you give credence 0 to an event, you are certain that it will not occur. And so on for other (...) kinds of probability, such as evidential probability. The formal analogue of this picture is the regularity constraint: a probability distribution over sets of possibilities is regular just in case it assigns probability 0 only to the null set, and therefore probability 1 only to the set of all possibilities. (shrink)

This article discusses how the concept of a fair finite lottery can best be extended to denumerably infinite lotteries. Techniques and ideas from non-standard analysis are brought to bear on the problem.

It is possible that a fair coin tossed infinitely many times will always land heads. So the probability of such a sequence of outcomes should, intuitively, be positive, albeit miniscule: 0 probability ought to be reserved for impossible events. And, furthermore, since the tosses are independent and the probability of heads (and tails) on a single toss is half, all sequences are equiprobable. But Williamson has adduced an argument that purports to show that our intuitions notwithstanding, the probability of an (...) infinite sequence is 0. In this paper, I rebut his argument.No Abstract. (shrink)

I point out a radical indeterminism in potential-based formulations of Newtonian gravity once we drop the condition that the potential vanishes at infinity. This indeterminism, which is well known in theoretical cosmology but has received little attention in foundational discussions, can be removed only by specifying boundary conditions at all instants of time, which undermines the theory's claim to be fully cosmological, i.e., to apply to the Universe as a whole. A recent alternative formulation of Newtonian gravity due to Saunders (...) pp.22-48) provides a conceptually satisfactory cosmology but fails to reproduce the Newtonian limit of general relativity in homogenous but anisotropic universes. I conclude that Newtonian gravity lacks a fully satisfactory cosmological formulation. (shrink)

Semmelweis’s discovery of the cause of puerperal fever around the middle of the 19th century counts among the paradigm cases of scientific discovery. For several decades, philosophers of science have used the episode to illustrate, appraise and compare views of proper scientific methodology.Here I argue that the episode can be profitably reexamined in light of two cognate notions: causal reasoning and mechanisms. Semmelweis used several causal reasoning strategies both to support his own and to reject competing hypotheses. However, these strategies (...) have gone unappreciated in the existing literature. I show that a causal reasoning approach makes sense of the multitude of tables in Semmelweis’s main text, which in later editions were often abridged because they appeared redundant.Moreover, the existing literature tends to focus on Semmelweis’s clinical intervention and on the extent to which it alone confirms his theoretical conclusions. This neglects Semmelweis’s efforts to show by animal experiments that his clinical results are in agreement with a demonstrable mechanism of puerperal fever pathogenesis. I argue that the full evidential force of Semmelweis’s argument can only be appreciated if both his clinical and his laboratory investigations are taken into account. (shrink)

The principle of uniformity of nature has sometimes been invoked for the purpose of justifying induction. This principle cannot be established "a priori", And in the absence of a justification of induction, It cannot be established "a posteriori". There is no justification for assuming it as a postulate of science. Use of such a principle is, However, Neither sufficient nor necessary for a justification of induction. In any plausible form, It is too weak for that purpose, And hence, It is (...) insufficient. Since a justification which does not rely upon this principle can be given, It is not necessary. (shrink)

The question of the relationship of the making of value judgments in a typically ethical sense to the methods and procedures of science has been discussed in the literature at least to that point which e. e. cummings somewhere refers to as “The Mystical Moment of Dullness.” Nevertheless, albeit with some trepidation, I feel that something more may fruitfully be said on the subject.

First issued in translation as a two-volume work in 1975, this classic book provides the first complete development of the theory of probability from a subjectivist viewpoint. It proceeds from a detailed discussion of the philosophical mathematical aspects to a detailed mathematical treatment of probability and statistics. De Finetti’s theory of probability is one of the foundations of Bayesian theory. De Finetti stated that probability is nothing but a subjective analysis of the likelihood that something will happen and that that (...) probability does not exist outside the mind. It is the rate at which a person is willing to bet on something happening. This view is directly opposed to the classicist/ frequentist view of the likelihood of a particular outcome of an event, which assumes that the same event could be identically repeated many times over, and the 'probability' of a particular outcome has to do with the fraction of the time that outcome results from the repeated trials. (shrink)

We provide self-contained proof of a theorem relating probabilistic coherence of forecasts to their non-domination by rival forecasts with respect to any proper scoring rule. The theorem recapitulates insights achieved by other investigators, and clarifi es the connection of coherence and proper scoring rules to Bregman divergence.

This paper argues that the appraisal of theory is in important respects closer in structure to value-judgement than it is to the rule-governed inference that the classical tradition in philosophy of science took for granted.

An examination of topics involved in statistical reasoning with imprecise probabilities. The book discusses assessment and elicitation, extensions, envelopes and decisions, the importance of imprecision, conditional previsions and coherent statistical models.

This paper is a response to Forster and Sober's [1994] solution to the curve-fitting problem. If their solution is correct, it will provide us with a solution to the New Riddle of Induction as well as provide a basis for choosing realism over conventionalism. Examining this solution is also important as Forster and Sober incorporate it in much of their other philosophical work (see Forster [1995a, b, 1994] and Sober [1996, 1995, 1993]). I argue that Forster and Sober's solution is (...) subject precisely to the problem they seek to solve. They provide a method of choosing among hypotheses but only at the cost of requiring that we have a method of choosing between different ways of conceptualizing the world. Thus the solution raises a new problem--the world-fitting problem. (shrink)

1. Introduction. David Malament has described a natural and satisfying resolution of the traditional problems of Newtonian cosmology—natural in the sense that it effects the escape by altering Newtonian gravitation theory in a way that leaves its observational predictions completely unaffected. I am in full agreement with his approach. There is one part of his account, however, over which Malament has been excessively modest. The resolution requires a modification to Newtonian gravitation theory. Malament presents the modification as so straightforward as (...) to be automatic. This trivializes the crucial postulate, which I shall call the “relativity of acceleration.” It is a significant physical statement in its own right and requires careful justification. Moreover the postulate proved easy to overlook for decades of discussion of the paradox. It really only becomes natural from the perspective of the newer geometric methods Malament exploits. There the postulate has become a commonplace. My purpose here is to develop the following: While Newtonian cosmology can be repaired satisfactorily, in its traditional form it remains deeply troubled. These troubles can be expressed most vividly as the paradoxical contradictions indicated below. They persist in both the integral and differential formulations of Newtonian gravitation theory. Malament's careful geometric treatment is necessarily dense. By taking some liberties with precision, his core result can be expressed in a far simpler form. Attempts to avoid the resolution Malament describes do lead to disaster. Therefore this episode can be inverted and used as the strongest extant argument for the relativity of acceleration in Newtonian gravitation theory. (shrink)

While there is no universal logic of induction, the probability calculus succeeds as a logic of induction in many contexts through its use of several notions concerning inductive inference. They include Addition, through which low probabilities represent disbelief as opposed to ignorance; and Bayes property, which commits the calculus to a ‘refute and rescale’ dynamics for incorporating new evidence. These notions are independent and it is urged that they be employed selectively according to needs of the problem at hand. It (...) is shown that neither is adapted to inductive inference concerning some indeterministic systems. (shrink)

The epistemic state of complete ignorance is not a probability distribution. In it, we assign the same, unique, ignorance degree of belief to any contingent outcome and each of its contingent, disjunctive parts. That this is the appropriate way to represent complete ignorance is established by two instruments, each individually strong enough to identify this state. They are the principle of indifference (PI) and the notion that ignorance is invariant under certain redescriptions of the outcome space, here developed into the (...) ‘principle of invariance of ignorance' (PII). Both instruments are so innocuous as almost to be platitudes. Yet the literature in probabilistic epistemology has misdiagnosed them as paradoxical or defective since they generate inconsistencies when conjoined with the assumption that an epistemic state must be a probability distribution. To underscore the need to drop this assumption, I express PII in its most defensible form as relating symmetric descriptions and show that paradoxes still arise if we assume the ignorance state to be a probability distribution. *Received February 2007; revised July 2007. †To contact the author, please write to: Department of History and Philosophy of Science, University of Pittsburgh, Pittsburgh, PA 15260; e-mail: [email protected]. (shrink)

In eternally inflating cosmology, infinitely many pocket universes are seeded. Attempts to show that universes like our observable universe are probable amongst them have failed, since no unique probability measure is recoverable. This lack of definite probabilities is taken to reveal a complete predictive failure. Inductive inference over the pocket universes, it would seem, is impossible. I argue that this conclusion of impossibility mistakes the nature of the problem. It confuses the case in which no inductive inference is possible, with (...) another in which a weaker inductive logic applies. The alternative, applicable inductive logic is determined by background conditions and is the same, non-probabilistic logic as applies to an infinite lottery. This inductive logic does not preclude all predictions, but does affirm that predictions useful to deciding for or against eternal inflation are precluded. (shrink)

The duality of truth and falsity in a Boolean algebra of propositions is used to generate a duality of belief and disbelief. To each additive probability measure that represents belief there corresponds a dual additive measure that represents disbelief. The dual measure has its own peculiar calculus, in which, for example, measures are added when propositions are combined under conjunction. A Venn diagram of the measure has the contradiction as its total space. While additive measures are not self-dual, the epistemic (...) state of complete ignorance is represented by the unique, monotonic, non-additive measure that is self-dual in its contingent propositions. Convex sets of additive measures fail to represent complete ignorance since they are not self-dual. (shrink)

A broad class of inductive logics that includes the probability calculus is defined by the conditions that the inductive strengths [A|B] are defined fully in terms of deductive relations in preferred partitions and that they are asymptotically stable. Inductive independence is shown to be generic for propositions in such logics; a notion of a scale-free inductive logic is identified; and a limit theorem is derived. If the presence of preferred partitions is not presumed, no inductive logic is definable. This no-go (...) result precludes many possible inductive logics, including versions of hypothetico-deductivism. (shrink)

Bayesian probabilistic explication of inductive inference conflates neutrality of supporting evidence for some hypothesis H (“not supporting H”) with disfavoring evidence (“supporting not-H”). This expressive inadequacy leads to spurious results that are artifacts of a poor choice of inductive logic. I illustrate how such artifacts have arisen in simple inductive inferences in cosmology. In the inductive disjunctive fallacy, neutral support for many possibilities is spuriously converted into strong support for their disjunction. The Bayesian “doomsday argument” is shown to rely entirely (...) on a similar artifact, for the result disappears in a reanalysis that employs fragments of inductive logic able to represent evidential neutrality. Finally, the mere supposition of a multiverse is not yet enough to warrant the introduction of probabilities without some factual analog of a randomizer over the multiverses. (shrink)

That quantum mechanical measurement processes are indeterministic is widely known. The time evolution governed by the differential Schrödinger equation can also be indeterministic under the extreme conditions of a quantum supertask, the quantum analogue of a classical supertask. Determinism can be restored by requiring normalizability of the supertask state vector, but it must be imposed as an additional constraint on the differential Schrödinger equation.

In a formal theory of induction, inductive inferences are licensed by universal schemas. In a material theory of induction, inductive inferences are licensed by facts. With this change in the conception of the nature of induction, I argue that the celebrated “problem of induction” can no longer be set up and is thereby dissolved. Attempts to recreate the problem in the material theory of induction fail. They require relations of inductive support to conform to an unsustainable, hierarchical empiricism.

Contrary to formal theories of induction, I argue that there are no universal inductive inference schemas. The inductive inferences of science are grounded in matters of fact that hold only in particular domains, so that all inductive inference is local. Some are so localized as to defy familiar characterization. Since inductive inference schemas are underwritten by facts, we can assess and control the inductive risk taken in an induction by investigating the warrant for its underwriting facts. In learning more facts, (...) we extend our inductive reach by supplying more localized inductive inference schemes. Since a material theory no longer separates the factual and schematic parts of an induction, it proves not to be vulnerable to Hume's problem of the justification of induction. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Nobel Laureate's brilliant early treatise on Einstein's theory consists of his original 1921 text plus retrospective comments 35 years later.

"[This book] proposes new foundations for the Bayesian principle of rational action, and goes on to develop a new logic of desirability and probabtility."—Frederic Schick, _Journal of Philosophy_.

Degrees of belief; Dempster's rule of combination; Simple and separable support functions; The weights of evidence; Compatible frames of discernment; Support functions; The discernment of evidence; Quasi support functions; Consonance; Statistical evidence; The dual nature of probable reasoning.