We start this paper by arguing that causality should, in analogy with force in Newtonian physics, be understood as a theoretical concept that is not explicated by a single definition, but by the axioms of a theory. Such an understanding of causality implicitly underlies the well-known theory of causal nets and has been explicitly promoted by Glymour. In this paper we investigate the explanatory warrant and empirical content of TCN. We sketch how the assumption of directed cause–effect relations can be (...) philosophically justified by an inference to the best explanation. We then ask whether the explanations provided by TCN are merely post-facto or have independently testable empirical content. To answer this question we develop a fine-grained axiomatization of TCN, including a distinction of different kinds of faithfulness. A number of theorems show that although the core axioms of TCN are empirically empty, extended versions of TCN have successively increasing empirical content. (shrink)

I introduce a mathematical account of expectation based on a qualitative criterion of coherence for qualitative comparisons between gambles (or random quantities). The qualitative comparisons may be interpreted as an agent’s comparative preference judgments over options or more directly as an agent’s comparative expectation judgments over random quantities. The criterion of coherence is reminiscent of de Finetti’s quantitative criterion of coherence for betting, yet it does not impose an Archimedean condition on an agent’s comparative judgments, it does not require the (...) binary relation reflecting an agent’s comparative judgments to be reflexive, complete or even transitive, and it applies to an absolutely arbitrary collection of gambles, free of structural conditions (e.g., closure, measurability, etc.). Moreover, unlike de Finetti’s criterion of coherence, the qualitative criterion respects the principle of weak dominance, a standard of rational decision making that obliges an agent to reject a gamble that is possibly worse and certainly no better than another gamble available for choice. Despite these weak assumptions, I establish a qualitative analogue of de Finetti’s Fundamental Theorem of Prevision, from which it follows that any coherent system of comparative expectations can be extended to a weakly ordered coherent system of comparative expectations over any collection of gambles containing the initial set of gambles of interest. The extended weakly ordered coherent system of comparative expectations satisfies familiar additivity and scale invariance postulates (i.e., independence) when the extended collection forms a linear space. In the course of these developments, I recast de Finetti’s quantitative account of coherent prevision in the qualitative framework adopted in this article. I show that comparative previsions satisfy qualitative analogues of de Finetti’s famous bookmaking theorem and his Fundamental Theorem of Prevision.The results of this article complement those of another article (Pedersen, Strictly coherent preferences, no holds barred, Manuscript, 2013). I explain how those results entail that any coherent weakly ordered system of comparative expectations over a unital linear space can be represented by an expectation function taking values in a (possibly non-Archimedean) totally ordered field extension of the system of real numbers. The ordered field extension consists of formal power series in a single infinitesimal, a natural and economical representation that provides a relief map tracing numerical non-Archimedean features to qualitative non-Archimedean features. (shrink)

According to Vázquez and Liz (Found Sci 16(4): 383–391, 2011), Points of View (PoV) can be considered in two different ways. On the one hand, they can be explained following the model of propositional attitudes. This model assumes that the internal structure of a PoV is constituted by a subject, a set of contents, and a set of relations between the subject and those contents. On the other hand, we can analyze points of view taking as a model the notions (...) of location and access. If we choose to follow the second approach, instead of the first one, the internal structure of a PoV is not directly addressed, and the emphasized features of PoV are related to the function that PoV are intended to have. That is, PoV are directly identified by their role and they can solely be understood as ways of accessing the world that bring some kind of perspective about it. Having this in mind, we would like to propose a notation that explains how to understand such access as a sort of models (that can allow the creation of concepts), independently of whether the precise PoV under consideration is impersonal or non-impersonal, its kind of content, and its subjective or objective character. First, we will present an account of some previous approaches to the study of points of view. Then, we will analyze what kind of structure the world is assumed to posses and how the access to it is possible. Third, we will develop a notation that explains PoV as qualitative dimensions by means of which it is possible to valuate objects and states of the world. (shrink)

Extant literature on Goodman’s ‘New Riddle of Induction’ deals mainly with two versions. I consider both of them, starting from the (‘epistemic’) version of Goodman’s classic of 1954. It turns out that it belongs to the realm of applications of inductive logic, and that it can be resolved by admitting only significant evidence (as I call it) for confirmations of hypotheses. Sect. 1 prepares some ground for the argument. As much of it depends on the notion of evidential significance, this (...) concept is defined and its introduction motivated. Further, I introduce and explain the distinction between support and confirmation: put in a slogan, ‘confirmation is support by significant evidence’. The second section deals with the Riddle itself. I demonstrate that, given the provisions of the first section, not ‘anything confirms anything’: significant green-evidence confirms only green-hypotheses (and no grue-hypotheses), and significant grue-evidence confirms only grue-hypotheses (and no green-hypotheses), whichever terms we use for expressing these evidences or hypotheses. The third section rounds off my treatment. First I show that Frank Jackson’s use of his counterfactual condition is unsuccessful. Further, I argue that no unwanted consequences result, if one starts from the other, ‘objective’, definition of ‘grue’, as it constitutes no more than a mere fact of logic that cannot do any harm. Finally, I present a grue-case involving both kinds of definition, where the exclusive confirmation of either the green- or the grue-hypothesis is shown. (shrink)

We explore ways in which purely qualitative belief change in the AGM tradition throws light on options in the treatment of conditional probability. First, by helping see why it can be useful to go beyond the ratio rule defining conditional from one-place probability. Second, by clarifying what is at stake in different ways of doing that. Third, by suggesting novel forms of conditional probability corresponding to familiar variants of qualitative belief change, and conversely. Likewise, we explain how recent work on (...) the qualitative part of probabilistic inference leads to a very broad class of 'proto-probability' functions. (shrink)

This paper concerns exchangeable analogical predictions based on similarity relations between predicates, and deals with a restricted class of such relations. It describes a system of Carnapian λγ rules on underlying predicate families to model the analogical predictions for this restricted class. Instead of the usual axiomatic definition, the system is characterized with a Bayesian model that employs certain statistical hypotheses. Finally the paper argues that the Bayesian model can be generalized to cover cases outside the restricted class of similarity (...) relations. (shrink)

It is widely believed that one should not become more confident that all swans are white and all lions are brave simply by observing white swans. Irrelevant conjunction or “tacking” of a theory onto another is often thought problematic for Bayesianism, especially given the ratio measure of confirmation considered here. It is recalled that the irrelevant conjunct is not confirmed at all. Using the ratio measure, the irrelevant conjunction is confirmed to the same degree as the relevant conjunct, which, it (...) is argued, is ideal: the irrelevant conjunct is irrelevant. Because the past’s really having been as it now appears to have been is an irrelevant conjunct, present evidence confirms theories about past events only insofar as irrelevant conjunctions are confirmed. Hence the ideal of not confirming irrelevant conjunctions would imply that historical claims are not confirmed. Confirmation measures partially realizing that ideal make the confirmation of historical claims by present evidence depend strongly on the (presumably subjective) degree of belief in the irrelevant conjunct. The unusually good behavior of the ratio measure has a bearing on the problem of measure sensitivity. For non-statistical hypotheses, Bayes’ theorem yields a fractional linear transformation in the prior probability, not a linear rescaling, so even the ratio measure arguably does not aptly measure confirmation in such cases. (shrink)

This paper focuses on the view that rationality requires that our credences be regular. I go through different formulations of the requirement, and show that they face several problems. I then formulate a version of the requirement that solves most of, if not all, these problems. I conclude by showing that an argument thought to support the requirement as traditionally formulated actually does not; if anything, the argument, slightly modified, supports my version of the requirement.Send article to KindleTo send this (...) article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.REGULARITY REFORMULATEDVolume 9, Issue 4Weng Hong TangDOI: https://doi.org/10.1017/epi.2012.23Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. REGULARITY REFORMULATEDVolume 9, Issue 4Weng Hong TangDOI: https://doi.org/10.1017/epi.2012.23Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. REGULARITY REFORMULATEDVolume 9, Issue 4Weng Hong TangDOI: https://doi.org/10.1017/epi.2012.23Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

In this paper we discuss the new Tweety puzzle. The original Tweety puzzle was addressed by approaches in non-monotonic logic, which aim to adequately represent the Tweety case, namely that Tweety is a penguin and, thus, an exceptional bird, which cannot fly, although in general birds can fly. The new Tweety puzzle is intended as a challenge for probabilistic theories of epistemic states. In the first part of the paper we argue against monistic Bayesians, who assume that epistemic states can (...) at any given time be adequately described by a single subjective probability function. We show that monistic Bayesians cannot provide an adequate solution to the new Tweety puzzle, because this requires one to refer to a frequency-based probability function. We conclude that monistic Bayesianism cannot be a fully adequate theory of epistemic states. In the second part we describe an empirical study, which provides support for the thesis that monistic Bayesianism is also inadequate as a descriptive theory of cognitive states. In the final part of the paper we criticize Bayesian approaches in cognitive science, insofar as their monistic tendency cannot adequately address the new Tweety puzzle. We, further, argue against monistic Bayesianism in cognitive science by means of a case study. In this case study we show that Oaksford and Chater’s (2007, 2008) model of conditional inference—contrary to the authors’ theoretical position—has to refer also to a frequency-based probability function. (shrink)

The λ-continuum of inductive methods was derived from an assumption, called λ-condition, which says that the probability of finding an individual having property $x_{j}$ depends only on the number of observed individuals having property $x_{j}$ and on the total number of observed individuals. So, according to that assumption, all individuals with properties which are different from $x_{j}$ have equal weight with respect to that probability and, in particular, it does not matter whether any individual was observed having some property similar (...) to $x_{j}$ (the most complete proof of this result is presented in Carnap, 1980). The problem thus remained open to find some general condition, weaker than the λ-condition, which would allow for the derivation of probability functions which might be sensitive to similarity. Carnap himself suggested a weakening of the λ-condition which might allow for similarity sensitive probability functions (Carnap, 1980, p. 45) but he did not find the family of probability functions derivable from that principle. The aim of this paper is to present the family of probability functions derivable from Carnap's suggestion and to show how it is derived. In Section 1 the general problem of analogy by similarity in inductive logic is presented, Section 2 outlines the notation and the conceptual background involved in the proof, Section 3 gives the proof, Section 4 discusses Carnap's principle and the result, Section 5 is a brief review of the solutions which have previously been proposed. (shrink)

In October 2009 I decided to stop doing philosophy. This meant, in particular, stopping work on the book that I was writing on the nature of probability. At that time, I had no intention of making my unfinished draft available to others. However, I recently noticed how many people are reading the lecture notes and articles on my web site. Since this draft book contains some important improvements on those materials, I decided to make it available to anyone who wants (...) to read it. That is what you have in front of you. The account of Laplace’s theory of probability in Chapter 4 is very different to what I said in my seminar lectures, and also very different to any other account I have seen; it is based on a reading of important texts by Laplace that appear not to have been read by other commentators. The discussion of von Mises’ theory in Chapter 7 is also new, though perhaps less revolutionary. And the final chapter is a new attempt to come to grips with the popular, but amorphous, subjective theory of probability. The material in the other chapters has mostly appeared in previous articles of mine but things are sometimes expressed differently here. I would like to say again that this is an incomplete draft of a book, not the book I would have written if I had decided to finish it. It no doubt contains poor expressions, it may contain some errors or inconsistencies, and it doesn’t cover all the theories that I originally intended to discuss. Apart from this preface, I have done no work on the book since October 2009. (shrink)

We introduce a distinction, unnoticed in the literature, between four varieties of objective Bayesianism. What we call ' strong objective Bayesianism' is characterized by two claims, that all scientific inference is 'logical' and that, given the same background information two agents will ascribe a unique probability to their priors. We think that neither of these claims can be sustained; in this sense, they are 'dogmatic'. The first fails to recognize that some scientific inference, in particular that concerning evidential relations, is (...) not (in the appropriate sense) logical, the second fails to provide a non-question-begging account of 'same background information'. We urge that a suitably objective Bayesian account of scientific inference does not require either of the claims. Finally, we argue that Bayesianism needs to be fine-grained in the same way that Bayesians fine-grain their beliefs. (shrink)

Arguably no concept is more fundamental to science than that of causality, for investigations into cases of existence, persistence, and change in the natural world are largely investigations into the causes of these phenomena. Yet the metaphysics and epistemology of causality remain unclear. For example, the ontological categories of the causal relata have been taken to be objects (Hume 1739), events (Davidson 1967), properties (Armstrong 1978), processes (Salmon 1984), variables (Hitchcock 1993), and facts (Mellor 1995). (For convenience, causes and effects (...) will usually be understood as events in what follows.) Complicating matters, causal relations may be singular (Socrates’s drinking hemlock caused Socrates’s death) or general (Drinking hemlock causes death); hence the relata might be tokens (e.g., instances of properties) or types (e.g., types of events) of the category in question. Other questions up for grabs are: Are singular causes metaphysically and/or epistemologically prior to general causes or vice versa (or neither)? What grounds the intuitive asymmetry of the causal relation? Are macro-causal relations reducible to micro-causal relations? And perhaps most importantly: Are causal facts (e.g., the holding of causal relations) reducible to non-causal facts (e.g., the holding of certain spatiotemporal relations)? (shrink)

This paper describes the development of theories of scientific explanation since Hempel's earliest models in the 1940ies. It focuses on deductive and probabilistic whyexplanations and their main problems: lawlikeness, explanation-prediction asymmetries, causality, deductive and probabilistic relevance, maximal specifity and homogenity, the height of the probability value. For all of these topic the paper explains the most important approaches as well as their criticism, including the author's own accounts. Three main theses of this paper are: (1) Both deductive and probabilistic explanations (...) are important in science, not reducible to each other. (2) One must distinguish between (cause giving) explanations and (reason giving) justifications and predictions. (3) The adequacy of deductive as well as probabilistic explanations is relative to a pragmatically given background knowledge-which does not exclude, however, the possibility of purely semantic models. (shrink)

Karl Popper, in "The Logic of Scientific Discovery" Section *vii, argues that if you find that some objecta a,b, c ... have a specific property P, then this discovery by itself does not increase the probability that some other object also has P. He concludes that there can be no effective principle of induction. My paper disproves Popper's claim, using very elementary considerations..

We consider the desirability, or otherwise, of various forms of induction in the light of certain principles and inductive methods within predicate uncertain reasoning. Our general conclusion is that there remain conflicts within the area whose resolution will require a deeper understanding of the fundamental relationship between individuals and properties.

The characteristic difference between laws and accidental generalizations lies in our epistemic or inductive attitude towards them. This idea has taken various forms and dominated the discussion about lawlikeness in the last decades. Likewise, the issue about ceteris paribus conditions is essentially about how we epistemically deal with exceptions. Hence, ranking theory with its resources of defeasible reasoning seems ideally suited to explicate these points in a formal way. This is what the paper attempts to do. Thus it will turn (...) out that a law is simply the deterministic analogue of a sequence of independent, identically distributed random variables. This entails that de Finetti's representation theorems can be directly transformed into an account of confirmation of laws thus conceived. (shrink)

Inductive logic admits a variety of semantics (Haenni et al., 2011, Part 1). This paper develops semantics based on the norms of Bayesian epistemology (Williamson, 2010, Chapter 7). §1 introduces the semantics and then, in §2, the paper explores methods for drawing inferences in the resulting logic and compares the methods of this paper with the methods of Barnett and Paris (2008). §3 then evaluates this Bayesian inductive logic in the light of four traditional critiques of inductive logic, arguing (i) (...) that it is language independent in a key sense, (ii) that it admits connections with the Principle of Indifference but these connections do not lead to paradox, (iii) that it can capture the phenomenon of learning from experience, and (iv) that while the logic advocates scepticism with regard to some universal hypotheses, such scepticism is not problematic from the point of view of scientific theorising. (shrink)

According to the fitting-attitude analysis of value , to be valuable is to be a fitting object of a pro-attitude. In earlier publications, setting off from this format of analysis, I proposed a modelling of value relations which makes room for incommensurability in value. In this paper, I first recapitulate the value modelling and then move on to suggest adopting a structurally similar analysis of probability. Indeed, many probability theorists from Poisson onwards did adopt an analysis of this kind. This (...) move allows to formally model probability and probability relations in essentially the same way as value and value relations. One of the advantages of the model is that we get a new account of Keynesian incommensurable probabilities, which goes beyond Keynes in distinguishing between different types of incommensurability. It also becomes possible to draw a clear distinction between incommensurability and vagueness in probability comparisons. (shrink)

We consider two formalizations of the notion of irrelevance as a rationality principle within the framework of (Carnapian) Inductive Logic: Johnson's Sufficientness Principle, JSP, which is classically important because it leads to Carnap's influential Continuum of Inductive Methods and the recently proposed Weak Irrelevance Principle, WIP. We give a complete characterization of the language invariant probability functions satisfying WIP which generalizes the Nix-Paris Continuum. We argue that the derivation of two very disparate families of inductive methods from alternative perceptions of (...) 'irrelevance' is an indication that this notion is imperfectly understood at present. (shrink)

This essay describes a variety of contributions which relate to the connection of probability with logic. Some are grand attempts at providing a logical foundation for probability and inductive inference. Others are concerned with probabilistic inference or, more generally, with the transmittance of probability through the structure (logical syntax) of language. In this latter context probability is considered as a semantic notion playing the same role as does truth value in conventional logic. At the conclusion of the essay two fully (...) elaborated semantically based constructions of probability logic are presented. (shrink)

The author finds no support for the claim that J. M. Keynes had severe reservations, in general, as opposed to particular, concerning the application of mathematical, logical and statistical methods in economics. These misinterpretations rest on the omission of important source material as well as a severe misconstrual ofThe Treatise on Probability (1921).

Recent debate on the nature of probabilities in evolutionary biology has focused largely on the propensity interpretation of fitness (PIF), which defines fitness in terms of a conception of probability known as “propensity”. However, proponents of this conception of fitness have misconceived the role of probability in the constitution of fitness. First, discussions of probability and fitness have almost always focused on organism effect probability, the probability that an organism and its environment cause effects. I argue that much of the (...) probability relevant to fitness must be organism circumstance probability, the probability that an organism encounters particular, detailed circumstances within an environment, circumstances which are not the organism’s effects. Second, I argue in favor of the view that organism effect propensities either don’t exist or are not part of the basis of fitness, because they usually have values close to 0 or 1. More generally, I try to show that it is possible to develop a clearer conception of the role of probability in biological processes than earlier discussions have allowed. (shrink)

The sharpest corner of the cutting edge of recent epistemology is to be found in Richard Pettigrew’s Accuracy and the Laws of Credence. In this fine book Pettigrew argues that a certain kind of accuracy-based value monism entails that rational credence manifests a host of features emphasized by anti-externalists in epistemology. Specifically, he demonstrates how a particular version of accuracy-based value monism—to be discussed at length below—when placed with some not implausible views about how epistemic value and rationality relate to (...) one another, ensures that rational credence manifests many of the structural properties emphasized by those who give evidence pride of place in the theory of rationality. A major goal of Pettigrew’s book, then, is to make clear how accuracy-based value monism fits together with the phenomena used by those who argue against accuracy-based externalism.2 2. (shrink)

Systems of logico-probabilistic reasoning characterize inference from conditional assertions that express high conditional probabilities. In this paper we investigate four prominent LP systems, the systems _O, P_, _Z_, and _QC_. These systems differ in the number of inferences they licence _. LP systems that license more inferences enjoy the possible reward of deriving more true and informative conclusions, but with this possible reward comes the risk of drawing more false or uninformative conclusions. In the first part of the paper, we (...) present the four systems and extend each of them by theorems that allow one to compute almost-tight lower-probability-bounds for the conclusion of an inference, given lower-probability-bounds for its premises. In the second part of the paper, we investigate by means of computer simulations which of the four systems provides the best balance of reward versus risk. Our results suggest that system _Z_ offers the best balance. (shrink)

We give a brief account of some de Finetti style representation theorems for probability functions satisfying Spectrum Exchangeability in Polyadic Inductive Logic, together with applications to Non-splitting, Language Invariance, extensions with Equality and Instantial Relevance.

A decade ago, Harris Nover and I introduced the Pasadena game, which we argued gives rise to a new paradox in decision theory even more troubling than the St Petersburg paradox. Gwiazda's and Smith's articles in this volume both offer revisionist solutions. I critically engage with both articles. They invite reflections on a number of deep issues in the foundations of decision theory, which I hope to bring out. These issues include: some ways in which orthodox decision theory might be (...) supplemented; the role of simulations of such infinite games; the role of small probabilities, and of idealization, in decision theory; tolerance about practical norms; and alternative ways of understanding decision theory's job description. (shrink)

Many papers have been devoted to the semantic turn Carnap took in the late 1930s after Tarski had explained to him his method for defining truth and his work on the establishment of scientific semantics. Commentators have often argued that the major turn in Carnap’s approach to languages had already been taken in the Logical Syntax of Language, but they have usually assumed that Carnap was happy to subsequently follow Tarski and adopt Tarskian semantics. In this paper, it is argued (...) that this assumption needs to be qualified and that Carnap was actually far from following Tarski when he decided to complement his syntactic method with a semantic one. Carnap and Tarski had different goals, divergent programs, and dissenting views on truth and semantics. After exploring several possible methods for the explication of logical concepts such as L-truth and L-implication, Carnap opted for definitions based on concepts he had found in Wittgenstein’s Tractatus and Waismann’s work on a logical interpretation of probability. Carnap’s reasons for taking a semantic turn are to be understood in the context of his principle of tolerance. He first hoped he could use Tarski’s technique to recover in the semantic setting the completeness result he had tried to establish in the Logical Syntax. His eventual adoption of non-Tarskian semantics can be accounted for by his program of a logical analysis of science—including empirical science—and his ambition to elaborate a unified logical framework for deductive, inductive, and modal logic, and for explicating analyticity. (shrink)

This paper uses Popper's treatment of probability and an epistemic constraint on probability assignments to conditionals to extend the Bayesian representation of rational belief so that revision of previously accepted evidence is allowed for. Results of this extension include an epistemic semantics for Lewis' theory of counterfactual conditionals and a representation for one kind of conceptual change.

A fundamental philosophical question that arises in connection with evolutionary theory is whether the fittest patterns of behavior are always the most rational. Are fitness and rationality fully compatible? When behavioral rationality is characterized formally as in classical decision theory, the question becomes mathematically meaningful and can be explored systematically by investigating whether the optimally fit behavior predicted by evolutionary process models is decision-theoretically coherent. Upon investigation, it appears that in nontrivial evolutionary models the expected behavior is not always in (...) accord with the norms of the standard theory of decision as ordinarily applied. Many classically irrational acts, e.g. betting on the occurrence of one event in the knowledge that the probabilities favor another, can under certain circumstances constitute adaptive behavior.One interesting interpretation of this clash is that the criterion of rationality offered by classical decision theory is simply incorrect (or at least incomplete) as it stands, and that evolutionary theory should be called upon to provide a more generally applicable theory of rationality. Such a program, should it prove feasible, would amount to the logical reduction of the theory of rational choice to evolutionary theory. (shrink)