Working within the broad lines of general consensus that mark out the core features of John Stuart Mill’s (1806–1873) logic, as set forth in his A System of Logic (1843–1872), this chapter provides an introduction to Mill’s logical theory by reviewing his position on the relationship between induction and deduction, and the role of general premises and principles in reasoning. Locating induction, understood as a kind of analogical reasoning from particulars to particulars, as the basic form of inference that is (...) both free-standing and the sole load-bearing structure in Mill’s logic, the foundations of Mill’s logical system are briefly inspected. Several naturalistic features are identified, including its subject matter, human reasoning, its empiricism, which requires that only particular, experiential claims can function as basic reasons, and its ultimate foundations in ‘spontaneous’ inference. The chapter concludes by comparing Mill’s naturalized logic to Russell’s (1907) regressive method for identifying the premises of mathematics. (shrink)

Recent years have seen a surge in online collaboration between experts and amateurs on scientific research. In this article, we analyse the epistemological implications of these crowdsourced projects, with a focus on Zooniverse, the world’s largest citizen science web portal. We use quantitative methods to evaluate the platform’s success in producing large volumes of observation statements and high impact scientific discoveries relative to more conventional means of data processing. Through empirical evidence, Bayesian reasoning, and conceptual analysis, we show how information (...) and communication technologies enhance the reliability, scalability, and connectivity of crowdsourced e-research, giving online citizen science projects powerful epistemic advantages over more traditional modes of scientific investigation. These results highlight the essential role played by technologically mediated social interaction in contemporary knowledge production. We conclude by calling for an explicitly sociotechnical turn in the philosophy of science that combines insights from statistics and logic to analyse the latest developments in scientific research. (shrink)

Many philosophers think that part of what makes an event lucky concerns how probable that event is. In this paper, I argue that an epistemic probability account of luck successfully resists recent arguments that all theories of luck, including probability theories, are subject to counterexample (Hales 2016). I argue that an event is lucky if and only if it is significant and sufficiently improbable. An event is significant when, given some reflection, the subject would regard the event as significant, and (...) the event’s epistemic probability, determined by the subject’s evidence, is the only kind of probability that directly bears on whether or not the event is lucky. I conclude with some lessons that are applicable to probability theorists of luck generally, including those defending non-epistemic probability theories. (shrink)

The purpose of this essay is to critically review the design of methods for ethically robust forms of technology appraisal in the regulation of research and innovation in synthetic biology. It will focus, in particular, on the extent to which cost‐benefit analysis offers a basis for informing decisions about which technological pathways to pursue and which to discourage. A further goal is to consider what (if anything) the precautionary principle might offer in enabling better decisions. And this, in turn, raises (...) questions about why mention of precaution can excite accusations of unscientific bias or irrational, “anti‐innovation” extremism. What does the polarized debate tell us about the politics around synthetic biology? In seeking more rigorous, timely, and practical ways to govern these remarkable new technologies, what might we be missing?The sophistication, diversity, and scope of synthetic biology may seem to make it a rather idiosyncratic area for exploring these general issues. It may seem to be a special case, with the bewildering pace of change amplifying the difficulties. But at root, some of the trickiest issues are just specific instances of familiar and long‐standing conundrums in the governance of science and technology. The basic challenge is how to weigh up, for a wide range of potential options, the various pros and cons, as viewed from divergent perspectives, and find a way to justify the best course of action on behalf of society as a whole. This is the central problem addressed by a number of techniques in CBA. On the face of it, synthetic biology seems to present just one more application of these well‐established and self‐confident prescriptive methods.But there do emerge several obstinate, even prohibitive, difficulties for CBA. Although they are well acknowledged by the scholarly literature on and around this topic, they are often sidelined in practice. Yet all are central to the case for applying the concept of precaution to a field like synthetic biology. This essay will briefly explore multicriteria mapping, an appraisal method for exploring contrasting perspectives on emerging technologies, as one practical way to address them. The essay focuses on MCM, not because it presents any sort of panacea for appraisal, but because it is illustrative of the concrete implications of precaution. Setting out even just one among potentially many practical alternative methods at least refutes the last‐ditch argument that CBA is the only operational choice. (shrink)

The concepts of coherence and confirmation are closely intertwined: according to a prominent proposal coherence is nothing but mutual confirmation. Accordingly, it should come as no surprise that both are confronted with similar problems. As regards Bayesian confirmation measures these are illustrated by the problem of tacking by conjunction. On the other hand, Bayesian coherence measures face the problem of belief individuation. In this paper we want to outline the benefit of an approach to coherence and confirmation based on content (...) elements. It will be shown that the resulting concepts, called genuine coherence and genuine confirmation, can be used in order to solve the two mentioned problems. In a final section we present some results on degrees of genuine coherence and genuine confirmation. (shrink)

This paper is an extended review of the book Error and Inference, edited by Deborah Mayo and Aris Spanos, about their frequentist and philosophical perspective on testing of hypothesis and on the criticisms of alternatives like the Bayesian approach.

It is widely agreed that Hume's description of human inductive reasoning is inadequate. But many philosophers think that this inadequacy in no way affects the force of Hume's argument for the unjustifiability of inductive reasoning. I argue that this constellation of opinions contains a serious tension, given that Hume was not merely pointing out that induction is fallible. I then explore a recent diagnosis of where Hume's sceptical argument goes wrong, due to Elliott Sober. Sober argues that Hume committed a (...) quantifier-shift fallacy, i.e. inferred a statement of ?? form from one of ?? form. The implications of this diagnosis for the traditional problem of induction are briefly examined. (shrink)

In 1756 Joseph Black published a new theory of the nature of lime, one that is now viewed as essentially correct. Black's theory was not immediately accepted, and a competing theory, published in 1764 by Johann Meyer, was widely preferred to Black's for some years. In this paper, probability theory is used to show that, and why, some of Black's evidence made his theory more probable than Meyer's.

On one important notion of irrelevance, evidence that is irrelevant in an inquiry may rationally be discarded, and attempts to obtain evidence amount to a waste of resources if they are directed at irrelevant evidence. The familiar Bayesian criterion of irrelevance, whatever its merits, is not adequate with respect to this notion. I show that a modification of the criterion due to Ken Gemes, though a significant improvement, still has highly implausible consequences. To make progress, I argue, we need to (...) adopt a hyperintensional conception of content. I go on to formulate a better, hyperintensional criterion of irrelevance, drawing heavily on the framework of the truthmaker conception of propositions as recently developed by Kit Fine. (shrink)

Es gibt kein logisch gültiges Induktionsverfahren. Induktion ist Extrapolation von bisher erfahrenen Einzeltatsachen auf künftige. Die Zukunft ist aber selbst schon eine Extrapolation, keine Erfahrungstatsache, sondern Erwartung. Um sich nicht bloß auf historische Erkenntnis beschränken zu müssen, ist es unentbehrlich, die Voraussetzung zu machen, daß unter gleichen Bedingungen das Gleiche erfolgt. Auf Grund dieser Voraussetzung läßt sich deduktiv ableiten, was induktiv erwiesen werden sollte, aber nicht möglich ist. Logisch stichhaltige Begründung ist nur deduktiv möglich.

Reports of the Intergovernmental Panel on Climate Change (IPCC) employ an evolving framework of calibrated language for assessing and communicating degrees of certainty in findings. A persistent challenge for this framework has been ambiguity in the relationship between multiple degree-of-certainty metrics. We aim to clarify the relationship between the likelihood and confidence metrics used in the Fifth Assessment Report (2013), with benefits for mathematical consistency among multiple findings and for usability in downstream modeling and decision analysis. We discuss how our (...) proposal meshes with current and proposed practice in IPCC uncertainty assessment. (shrink)

Recent progress in synthetic biology has enabled the development of novel therapeutic opportunities for the treatment of human disease. In the near future, first-in-human trials will be indicated. FIH trials mark a key milestone in the translation of medical SynBio applications into clinical practice. Fostered by uncertainty of possible adverse events for trial participants, a variety of ethical concerns emerge with regards to SynBio FIH trials, including ‘risk’ minimization. These concerns are associated with any FIH trial, however, due to the (...) novelty of the approach, they become more pronounced for medical applications of emerging technologies like SynBio. To minimize potential harm for trial participants, scholars, guidelines, regulations and policy makers alike suggest using ‘risk assessment’ as evaluation tool for such trials. Conversely, in the context of emTech FIH trials, we believe it to be at least questionable to contextualize uncertainty of potential adverse events as ‘risk’ and apply traditional risk assessment methods. Hence, this issue needs to be discussed to enable alterations of the evaluation process before the translational phase of SynBio applications begins. In this paper, we will take the opportunity to start the debate and highlight how a misunderstanding of the concept of risk, and the possibilities and limitations of risk assessment, respectively, might impair decision-making by the relevant regulatory authorities and research ethics committees, and discuss possible solutions to tackle the issue. (shrink)

I offer a defense of ana-logical accounts of scientific models by meeting certain logical objections to the legitimacy of analogical reasoning. I examine an argument by Joseph Agassi that purports to show that all putative cases of analogical inference succumb to the following dilemma: either (1) the reasoning remains hopelessly vague and thus establishes no conclusion, or (2) can be analyzed into a logically preferable non-analogical form. In rebuttal, I offer a class of scientific models for which (a) there is (...) no satisfactory non-analogical analysis, and (b) we can gain sufficient clarity for the legitimacy of the inference to be assessed. This result constitutes an existence proof for a class of analogical models that escape Agassi’s dilemma. (shrink)

Reasoning in medicine requires the critical use of a clinical methodology whose validity must be evaluated as well as its limits. In the last decade, an increasing amount of evidence has shown severe limitations and flaws in the conduct of prognostic studies. The main reason behind this fact is that prognostic judgments are at high risk of error. In this paper we investigate the pragmatic and illocutionary aspects of different forms of linguistic acts and judgments involved in clinical practice. More (...) specifically, we analyze the role of uncertainty with regard to ‘particular’ clinical judgments and its relation with ‘general’ evidence. Focusing on how prognostic judgments are formulated and justified, our main purpose is to highlight the explication, the structure and the limits of prognosis from a linguistic and epistemological perspective. (shrink)

Scientific evidence and scientific values under risk and uncertainty are strictly connected from the point of view of Peirce’s pragmaticism. In addition, economy and statistics play a key role in both choosing and testing hypotheses. Hence we may show also the connection between the methodology of the economy of research and statistical frequentism, both originating from pragmaticism. The connection is drawn by the regulative principles of synechism, tychism and uberty. These principles are values that have both epistemic and non-epistemic dimension. (...) They concern both the decisions to test a hypothesis as well as inductive risk. The validity of this result stems from the values cost–benefit analysis imposes on scientific inquiry. Values associated with the economy of research are important not only in the pre-test phases of generating hypotheses but also when hypotheses are effectively tested. Peirce took these economic considerations to leave room for an interpretation of probability which is not only a frequentist and propensity-theoretic but also a conceptualist one referring to degrees of belief. We show that this leeway nonetheless agrees with the theory of the economy of scientific methods. (shrink)

This paper explores the intertwining of uncertainty and values. We consider an important but underexplored field of fundamental uncertainty and values in decision-making. Some proposed methodologies to deal with fundamental uncertainty have included potential surprise theory, scenario planning and hypothetical retrospection. We focus on the principle of uncertainty transduction in hypothetical retrospection as an illustrative case of how values interact with fundamental uncertainty. We show that while uncertainty transduction appears intuitive in decision contexts it nevertheless fails in important ranges of (...) strategic game-theoretic cases. The methodological reasons behind the failure are then examined. (shrink)

Clinical equipoise has been proposed as an ethical principle relating uncertainty and moral leeway in clinical research. Although CE has traditionally been indicated as a necessary condition for a morally justified introduction of a new RCT, questions related to the interpretation of this principle remain woefully open. Recent proposals to rehabilitate CE have divided the bioethical community on its ethical merits. This paper presents a new argument that brings out the epistemological difficulties we encounter in justifying CE as a principle (...) to connect uncertainty and moral leeway in clinical ethics. The argument proposes, first, that the methodology of hypothetical retrospection is applicable to the RCT design and that it can accommodate uncertainty. As currently understood, however, HR should give up its reliance on the assumption of uncertainty transduction, because the latter assumes the principle of indifference, which does not accommodate uncertainty in the right way. The same principle is then seen to distort also the received interpretations of CE. (shrink)

It is sometimes said that faith is recalcitrant in the face of new evidence, but it is puzzling how such recalcitrance could be rational or laudable. I explain this aspect of faith and why faith is not only rational, but in addition serves an important purpose in human life. Because faith requires maintaining a commitment to act on the claim one has faith in, even in the face of counter-evidence, faith allows us to carry out long-term, risky projects that we (...) might otherwise abandon. Thus, faith allows us to maintain integrity over time. (shrink)

The present paper investigates the first step of rational belief acquisition. It, thus, focuses on justificatory relations between perceptual experiences and perceptual beliefs, and between their contents, respectively. In particular, the paper aims at outlining how it is possible to reason from the content of perceptual experiences to the content of perceptual beliefs. The paper thereby approaches this aim by combining a formal epistemology perspective with an eye towards recent advances in philosophy of cognition. Furthermore the paper restricts its focus, (...) it concentrates on the case of color perception and perceptual beliefs about color. (shrink)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

Gentzen’s approach to deductive systems, and Carnap’s and Popper’s treatment of probability in logic were two fruitful ideas that appeared in logic of the mid-twentieth century. By combining these two concepts, the notion of sentence probability, and the deduction relation formalized in the sequent calculus, we introduce the notion of ’probabilized sequent’ \ with the intended meaning that “the probability of truthfulness of \ belongs to the interval [a, b]”. This method makes it possible to define a system of derivations (...) based on ’axioms’ of the form \, obtained as a result of empirical research, and then infer conclusions of the form \. We discuss the consistency, define the models, and prove the soundness and completeness for the defined probabilized sequent calculus. (shrink)

This paper studies general numerical networks with support and attack. Our starting point is argumentation networks with the Caminada labelling of three values 1=in, 0=out and ½=undecided. This is generalised to arbitrary values in [01], which enables us to compare with other numerical networks such as predator?prey ecological networks, flow networks, logical modal networks and more. This new point of view allows us to see the place of argumentation networks in the overall landscape of networks and import and export ideas (...) to and from argumentation networks. We make a special effort to make clear how general concepts in general networks relate to the special case of argumentation networks. We pay special attention to the handling of loops and to the special features of numerical support. We find surprising connections with the Dempster?Shafer rule and with the cross-ratio in projective geometry. This paper is an expansion of our 2005 paper and so we also consider higher level features such as numerical attacks on attacks, and propagation of numerical values.We conclude with a brief view of temporal numerical argumentation and with a detailed comparison with related papers published since 2005. (shrink)

In standard probability theory, probability zero is not the same as impossibility. But many have suggested that only impossible events should have probability zero. This can be arranged if we allow infinitesimal probabilities, but infinitesimals do not solve all of the problems. We will see that regular probabilities are not invariant over rigid transformations, even for simple, bounded, countable, constructive, and disjoint sets. Hence, regular chances cannot be determined by space-time invariant physical laws, and regular credences cannot satisfy seemingly reasonable (...) symmetry principles. Moreover, the examples here are immune to the objections against Williamson’s infinite coin flips. (shrink)