According to principles of probability coordination, such as Miller's Principle or Lewis's Principal Principle, you ought to set your subjective probability for an event equal to what you take to be the objective probability of the event. For example, you should expect events with a very high probability to occur and those with a very low probability not to occur. This paper examines the grounds of such principles. It is argued that any attempt to justify a principle of probability coordination (...) encounters the same difficulties as attempts to justify induction. As a result, no justification can be found. (shrink)

We argue that a fashionable interpretation of the theory of natural selection as a claim exclusively about populations is mistaken. The interpretation rests on adopting an analysis of fitness as a probabilistic propensity which cannot be substantiated, draws parallels with thermodynamics which are without foundations, and fails to do justice to the fundamental distinction between drift and selection. This distinction requires a notion of fitness as a pairwise comparison between individuals taken two at a time, and so vitiates the interpretation (...) of the theory as one about populations exclusively. (shrink)

Quantum computing is of high interest because it promises to perform at least some kinds of computations much faster than classical computers. Arute et al. 2019 (informally, “the Google Quantum Team”) report the results of experiments that purport to demonstrate “quantum supremacy” – the claim that the performance of some quantum computers is better than that of classical computers on some problems. Do these results close the debate over quantum supremacy? We argue that they do not. In the following, we (...) provide an overview of the Google Quantum Team’s experiments, then identify some open questions in the quest to demonstrate quantum supremacy. (shrink)

This paper takes part in the methodological debate concerning the nature and the justification of hypotheses about computational systems in software engineering by providing an epistemological analysis of Software Testing, the practice of observing the programs’ executions to examine whether they fulfil software requirements. Property specifications articulating such requirements are shown to involve falsifiable hypotheses about software systems that are evaluated by means of tests which are likely to falsify those hypotheses. Software Reliability metrics, used to measure the growth of (...) probability that given failures will occur at specified times as new executions are observed, is shown to involve a Bayesian confirmation of falsifiable hypotheses on programs. Coverage criteria, used to select those input values with which the system under test is to be launched, are understood as theory-laden principles guiding software tests, here compared to scientific experiments. Redundant computations, fault seeding models and formal methods used in software engineering to evaluate test results are taken to be instantiations of some epistemological strategies used in scientific experiments to distinguish between valid and non-valid experimental outcomes. The final part of the paper explores the problem, advanced in the context of the philosophy of technology, of defining the epistemological status of software engineering by conceiving it as a scientifically attested technology. (shrink)

Logical Form, Probability Interpretations, and the Inductive/Deductive Distinction.

The dilemma objection charges that ‘weak’ versions of the precautionary principle (PP) are vacuous while ‘strong’ ones are incoherent. I respond that the ‘weak’ versus ‘strong’ distinction is misleading and should be replaced with a contrast between PP as a meta-rule and PP proper. Meta versions of PP require that the decision-making procedures used for environmental policy not be susceptible to paralysis by scientific uncertainty. Such claims are substantive because they often recommend against basing environmental policy decisions on cost–benefit analysis. (...) I argue that the second horn of the dilemma fails as a result of disregarding the role of proportionality in applications of PP. (shrink)

The main objective of the paper is to propose a frequentist interpretation of probability in the context of model-based induction, anchored on the Strong Law of Large Numbers (SLLN) and justifiable on empirical grounds. It is argued that the prevailing views in philosophy of science concerning induction and the frequentist interpretation of probability are unduly influenced by enumerative induction, and the von Mises rendering, both of which are at odds with frequentist model-based induction that dominates current practice. The differences between (...) the two perspectives are brought out with a view to defend the model-based frequentist interpretation of probability against certain well-known charges, including [i] the circularity of its definition, [ii] its inability to assign ‘single event’ probabilities, and [iii] its reliance on ‘random samples’. It is argued that charges [i]–[ii] stem from misidentifying the frequentist ‘long-run’ with the von Mises collective. In contrast, the defining characteristic of the long-run metaphor associated with model-based induction is neither its temporal nor its physical dimension, but its repeatability (in principle); an attribute that renders it operational in practice. It is also argued that the notion of a statistical model can easily accommodate non-IID samples, rendering charge [iii] simply misinformed. (shrink)

The sheer multitude of criteria of empirical significance has been taken as evidence that the pre-analytic notion being explicated is too vague to be useful. I show instead that a significant number of these criteria—by Ayer, Popper, Przełęcki, Suppes, and David Lewis, among others—not only form a coherent whole, but also connect directly to the theory of definition, the notion of empirical content as explicated by Ramsey sentences, and the theory of measurement; two criteria by Carnap and Sober are trivial, (...) but can be saved and connected to the other criteria by slight modifications. A corollary is that the ordinary language defense of Lewis, the conceptual arguments by Ayer and Popper, the theoretical considerations by Przełęcki, and the practical considerations by Suppes all apply to the same criterion or closely related criteria. Furthermore, the equivalence of some criteria allows for their individual justifications to be taken cumulatively and, together with the entailment relations between nonequivalent criteria, suggest criteria for general auxiliary assumptions, comparative criteria, and more liberal conceptions of observation. (shrink)

: For philosophers of science interested in elucidating the social character of science, an important question concerns the manner in which and degree to which the objectivity of scientific knowledge is socially constituted. We address this broad question by focusing specifically on philosophical theories of evidence. To get at the social character of evidence, we take an interdisciplinary approach informed by categories from argumentation studies. We then test these categories by exploring their applicability to a case study from high-energy physics. (...) Our central claim is that normative philosophy of science must move beyond abstract theories of justification, confirmation, or evidence conceived impersonally and incorporate a theoretical perspective that includes dialogical elements, either as adjuncts to impersonal theories of evidence or as intrinsic to the cogency of scientific argumentation. (shrink)

I argue that to the extent to which philosophical theories of objective probability have offered theoretically adequateconceptions of objective probability (in connection with such desiderata as causal and explanatory significance, applicability to single cases, etc.), they have failed to satisfy amethodological standard — roughly, a requirement to the effect that the conception offered be specified with the precision appropriate for a physical interpretation of an abstract formal calculus and be fully explicated in terms of concepts, objects or phenomena understood independently (...) of the idea of physical probability. The significance of this, and of the suggested methodological standard, is then briefly discussed. (shrink)

Reichenbach held that all scientific inference reduces, via probability calculus, to induction, and he held that induction can be justified. He sees scientific knowledge in a practical context and insists that any rational assessment of actions requires a justification of induction. Gaps remain in his justifying argument; for we can not hope to prove that induction will succeed if success is possible. However, there are good prospects for completing a justification of essentially the kind he sought by showing that while (...) induction may succeed, no alternative is a rational way of trying.Reichenbach's claim that probability calculus, especially via Bayes' Theorem, can help to exhibit the structure of inference to theories is a valuable insight. However, his thesis that the weighting of all hypotheses rests only on frequency data is too restrictive, especially given his scientific realism. Other empirical factors are relevant. Any satisfactory account of scientific inference must be deeply indebted to Reichenbach's foundation work. (shrink)

Richmond Campbell and Thomas Vinci have recently presented a Bayesian theory of confirmation by novel evidence (Campbell and Vinci [1983]). I shall review their theory as briefly as possible and present three objections to it.

Putnam construed the aim of Carnap’s program of inductive logic as the specification of a “universal learning machine,” and presented a diagonal proof against the very possibility of such a thing. Yet the ideas of Solomonoff and Levin lead to a mathematical foundation of precisely those aspects of Carnap’s program that Putnam took issue with, and in particular, resurrect the notion of a universal mechanical rule for induction. In this paper, I take up the question whether the Solomonoff–Levin proposal is (...) successful in this respect. I expose the general strategy to evade Putnam’s argument, leading to a broader discussion of the outer limits of mechanized induction. I argue that this strategy ultimately still succumbs to diagonalization, reinforcing Putnam’s impossibility claim. (shrink)

John D. Norton’s “Material Theory of Induction” has been one of the most intriguing recent additions to the philosophy of induction. Norton’s account appears to be a notably natural account of actual inductive practices, although his theory has attracted considerable criticism. I detail several novel issues for his theory but argue that supplementing the Material Theory with a theory of direct inference could address these problems. I argue that if this combination is possible, a stronger theory of inductive reasoning emerges, (...) which has a more propitious answer to the Problem of Induction. (shrink)

The word ‘probability’ in ordinary language has two different senses, here called inductive and physical probability. This paper examines the concept of inductive probability. Attempts to express this concept in other words are shown to be either incorrect or else trivial. In particular, inductive probability is not the same as degree of belief. It is argued that inductive probabilities exist; subjectivist arguments to the contrary are rebutted. Finally, it is argued that inductive probability is an important concept and that it (...) is a mistake to try to replace it with the concept of degree of belief, as is usual today. (shrink)

Cohen and Meskin 2006 recently offered a counterfactual theory of information to replace the standard probabilistic theory of information. They claim that the counterfactual theory fares better than the standard account on three grounds: first, it provides a better framework for explaining information flow properties; second, it requires a less expensive ontology; and third, because it does not refer to doxastic states of the information-receiving organism, it provides an objective basis. In this paper, I show that none of these is (...) really an advantage. Moreover, the counterfactual theory fails to satisfy one of the basic properties of information flow, namely the Conjunction principle. Thus, I conclude, there is no reason to give up the standard probabilistic theory for the counterfactual theory of information. (shrink)

This paper begins with a rigorous critique of David Stove''s recent bookThe Rationality of Induction. In it, Stove produced four different proofs to refute Hume''s sceptical thesis about induction. I show that Stove''s attempts to vindicate induction are unsuccessful. Three of his proofs refute theses that are not the sceptical thesis about induction at all. Stove''s fourth proof, which uses the sampling principle to justify one particular inductive inference, makes crucial use of an unstated assumption regarding randomness. Once this assumption (...) is made explicit, Hume''s thesis once more survives.The refutation of Stove''s fourth proof leads to some observations which relate Goodman''s grue paradox with randomness of a sample. I formulate a generalized version of Goodman''s grue paradox, and argue that whenever a sample, no matter how large, is drawn from a predetermined smaller interval of a population that is distributed over a larger interval, any conclusion drawn about the characteristics of the population based on the observed characteristics of the sample is fatally vulnerable to the generalized grue paradox. (shrink)

A careful analysis of Salmon’s Theoretical Realism and van Fraassen’s Constructive Empiricism shows that both share a common origin: the requirement of literal construal of theories inherited by the Standard View. However, despite this common starting point, Salmon and van Fraassen strongly disagree on the existence of unobservable entities. I argue that their different ontological commitment towards the existence of unobservables traces back to their different views on the interpretation of probability via different conceptions of induction. In fact, inferences to (...) statements claiming the existence of unobservable entities are inferences to probabilistic statements, whence the crucial importance of the interpretation of probability. (shrink)

I begin by making some distinctions between kinds of response to a skeptical claim, the purpose of which is to explain what I mean by a "dissolution" of the problem of induction, and to focus on one of the ways it can be implemented. I then argue that previous attempts to dissolve the problem in this way fail, present mine, and defend it. Finally, I show that the dissolution of the problem doesn't improve our normative situation and may even worsen (...) it. (shrink)

I argue that none of the usual interpretations of probability provide an adequate interpretation of probabilistic theories in science. Assuming that the aim of such theories is to capture noisy relationships in the world, I suggest that we do not have to give them classical truth-conditional content at all: their probabilities can remain uninterpreted. Indirectly, this account turns out to explain what is right about the frequency interpretation, the best-systems interpretation, and the epistemic interpretation.

Proposition 5.122 of Wittgenstein’s Tractatus has been the source of much puzzlement among interpreters, so much so that no fully satisfactory account is yet available. This is unfortunate, if only because the containment account of logical consequence has a venerable tradition behind it. Pasquale Frascolla’s interpretation of proposition 5.122 is based on a valid argument and one true premise. However, the argument explains sense containment only in an indirect way, leaving some crucial questions unanswered. Besides, Frascolla does not address the (...) issue of how to make sense containment notationally perspicuous, an essential theme in Wittgenstein’s reflections. In this paper, we elaborate on Frascolla’s account by looking at the issue through the Tractarian notion of logical space. Our analysis shows that, for containment to be fully appreciated, one should adopt a negative perspective on the notion of sense, in line with the exclusionary theory of conceptual content, as labelled by Ian Rumfitt. Besides this, we introduce and discuss two methods—one envisaged by Wittgenstein himself—for making sense containment notationally perspicuous. (shrink)

Elliott Sober has suggested his criterion of contrastive testability as an improvement over previous criteria of empirical significance like falsifiability. I argue that his criterion renders almost any theory empirically significant because its restrictions on auxiliary assumptions are to weak. Even when the criterion is modified to avoid this trivialization, it fails to meet other conditions of adequacy for a criterion of empirical significance that follow from Sober's position. I suggest to define empirical significance as empirical non-equivalence to a tautology, (...) because this definition does meet the conditions of adequacy. Specifically, it is equivalent to the standard Bayesian criterion of empirical significance whenever all probabilities are defined and contains falsifiability as a special case. This latter feature is important because those conditions of adequacy that apply to criteria of deductive empirical significance single out falsifiability. (shrink)

Philosophical theories of evidence have been on offer, but they are mostly evaluated in terms of all-or-none desiderata — if they fail to meet one of the desiderata, they are not a satisfactory theory. In this thesis, I aim to accomplish three missions. Firstly, I construct a new way of evaluating theories of evidence, which I call a tool-based view. Secondly, I analyse the nature of what I will call the various relevance-mediating vehicles that each theory of evidence employs. Thirdly, (...) I articulate the comparative core of evidential reasoning in the historical sciences, one which is overlooked in major theories of evidence. On the first mission, I endorse a meta-thesis of pluralism on theories of evidence, namely a tool-based view. I regard a theory of evidence as a purpose-specific and setting-sensitive tool which has its own strengths, difficulties and limitations. Among the major theories of evidence I have reviewed, I focus on Achinstein’s explanationist theory, Cartwright’s argument theory and Reiss’s inferentialist account, scrutinising and evaluating them against the purposes they set out and the scope of their applications. On the second mission, I note that there is no such thing as intrinsically ‘being evidence’. Rather, I hold that relevance-mediating vehicles configure data, materials or claims in such ways that some of them are labelled evidence. I identify the relevance-mediating vehicles that the theories of evidence employ. On the final mission, I argue that the likelihoodist account is an appropriate tool for explaining the evidential reasoning in poorly specified settings where likelihoods can be only imprecisely compared. Such settings, I believe, are typical in the historical sciences. Using the reconstruction of proto-sounds in historical linguistics as a case study, I formalise the rationale behind it by means of the law of likelihood. (shrink)

Humeans are often accused of positing laws which fail to explain or are involved in explanatory circularity. Here, I will argue that these arguments are confused, but not because of anything to do with Humeanism: rather, they rest on false assumptions about causal explanation. I’ll show how these arguments can be neatly sidestepped if one takes on two plausible commitments which are motivated independently of Humeanism: first, that laws don’t directly feature in scientific explanation and second, the view that explanation (...) is contrastive. After outlining and motivating these views, I show how they bear on explanation-based arguments against Humeanism. (shrink)

In diesem Beitrag wird ausgeführt, daß Poppers Falsifikationskriterium einen logischen Fehler enthält. Die Regeln deduktiver Ableitung sind selbst für ihre Durchführung von induktiver Ableitung abhängig. Um das "Criterion of Flasification" für gültig zu erklären, beruft sich Popper auf diese Regeln deduktiver Ableitung. Es wird weiter gezeigt, daß eine Untersuchung aktueller wissenschaftlicher Gesetze nicht die These beweist, daß die wissenschaftlichen Gesetze universale Feststellungen von unbeschränktem Horizonte in der Zeit und im Zeitraum sind. Die Anerkennung dieser Tatsache scheint im Zusammenhang der wissenschaftlichen (...) Forschung die Wichtigkeit des Problems der Induktion sehr zu verkleinern. (shrink)

Responding to the paradox of inference and the related problems in philosophy of logic, this paper argues for the necessity of distinguishing between two different objects of justification: logica utens and logica docens. Then, equipped with Peirce’s critical common-sensist conception of logica utens and his classification of sciences, I propose a diagnosis of and a solution to the problem of justification of logic. I argue that this alternative approach successfully avoids circularity in which most attempts in philosophy of logic have (...) been inescapably trapped. I also anticipate and respond to possible objections to taking a Peircean turn in justifying logic. (shrink)

Framing systematics as a field consistent with scientific inquiry entails that inferences of phylogenetic hypotheses have the goal of producing accounts of past causal events that explain differentially shared characters among organisms. Linking observations of characters to inferences occurs by way of why-questions implied by data matrices. Because of their form, why-questions require the use of common-cause theories. Such theories in phylogenetic inferences include natural selection and genetic drift. Selection or drift can explain ‘morphological’ characters but selection cannot be causally (...) applied to sequences since fitness differences cannot be directly associated with individual nucleotides or amino acids. The relation of selection to sequence data is by way of downward or top-down causation from those phenotypes upon which selection occurs. The application of phylogenetic inference to explain sequence data is thus restricted to instances where drift is the relevant theory; those nucleotides or amino acids that can be explained via downward causation are precluded from inclusion in the data matrix. The restrictions on the inclusion of sequence data in phylogenetic inferences equally apply to species hypotheses, precluding the more restrictive approach known as DNA barcoding. Not being able to discern drift and selection as relevant causal mechanisms can severely constrain the inclusion and explanations of sequence data. Implications of such exclusion are discussed in relation to the requirement of total evidence. (shrink)

This study aims to understand scientific inference for the evolutionary procedure of Continental Drift based on abductive inference, which is important for creative inference and scientific discovery during problem solving. We present the following two research problems: (1) we suggest a scientific inference procedure as well as various strategies and a criterion for choosing hypotheses over other competing or previous hypotheses; aspects of this procedure include puzzling observation, abduction, retroduction, updating, deduction, induction, and recycle; and (2) we analyze the “theory (...) of continental drift” discovery, called the Earth science revolution, using our multistage inference procedure. Wegener’s Continental Drift hypothesis had an impact comparable to the revolution caused by Darwin’s theory of evolution in biology. Finally, the suggested inquiry inference model can provide us with a more consistent view of science and promote a deeper understanding of scientific concepts. (shrink)