We use recently developed approaches in argumentation theory in order to revamp the hypothetico-deductive model of confirmation, thus alleviating the well-known paradoxes the H-D account faces. More specifically, we introduce the concept of dialectic confirmation on the background of the so-called theory of dialectical structures (Betz 2010, 2012b). Dialectic confirmation generalises hypothetico-deductive confirmation and mitigates the raven paradox, the grue paradox, the tacking paradox, the paradox from conceptual difference, and the problem of surprising evidence.

This paper concerns what Jerry Fodor calls a 'metaphysical mystery': How can there by macroregularities that are realized by wildly heterogeneous lower level mechanisms? But the answer to this question is not as mysterious as many, including Jaegwon Kim, Ned Block, and Jerry Fodor might think. The multiple realizability of the properties of the special sciences such as psychology is best understood as a kind of universality, where 'universality' is used in the technical sense one finds in the physics literature. (...) It is argued that the same explanatory strategy used by physicists to provide understanding of universal behavior in physics can be used to explain how special science properties can be heterogeneously multiply realized. (shrink)

Introduction -- Sanctioning models : theories and their scope -- Methodology for a virtual world -- A tale of two methods -- When theories shake hands -- Models of climate : values and uncertainties -- Reliability without truth -- Conclusion.

Thomas Reid was a philosopher who founded the Scottish school of 'common sense'. Much of Reid's work is a critique of his contemporary, David Hume, whose empiricism he rejects. In this work, written after Reid's appointment to a professorship at the university of Glasgow, and published in 1785, he turns his attention to ideas about perception, memory, conception, abstraction, judgement, reasoning and taste. He examines the work of his predecessors and contemporaries, arguing that 'when we find philosophers maintaining that there (...) is no heat in the fire, nor colour in the rainbow … we may be apt to think the whole to be only a dream of fanciful men, who have entangled themselves in cobwebs spun out of their own brain'. Written by one of the Scottish Enlightenment's most important thinkers, this work brings to life the intellectual debates of the time. (shrink)

Not since Ernest Nagel’s 1939 monograph on the theory of probability has there been a comprehensive elementary survey of the philosophical problems of probablity and induction. This is an authoritative and up-to-date treatment of the subject, and yet it is relatively brief and nontechnical. Hume’s skeptical arguments regarding the justification of induction are taken as a point of departure, and a variety of traditional and contemporary ways of dealing with this problem are considered. The author then sets forth his own (...) criteria of adequacy for interpretations of probability. Utilizing these criteria he analyzes contemporary theories of probability, as well as the older classical and subjective interpretations. (shrink)

Scientific reasoning is—and ought to be—conducted in accordance with the axioms of probability. This Bayesian view—so called because of the central role it accords to a theorem first proved by Thomas Bayes in the late eighteenth ...

Probabilistic models have much to offer to philosophy. We continually receive information from a variety of sources: from our senses, from witnesses, from scientific instruments. When considering whether we should believe this information, we assess whether the sources are independent, how reliable they are, and how plausible and coherent the information is. Bovens and Hartmann provide a systematic Bayesian account of these features of reasoning. Simple Bayesian Networks allow us to model alternative assumptions about the nature of the information sources. (...) Measurement of the coherence of information is a controversial matter: arguably, the more coherent a set of information is, the more confident we may be that its content is true, other things being equal. The authors offer a new treatment of coherence which respects this claim and shows its relevance to scientific theory choice. Bovens and Hartmann apply this methodology to a wide range of much discussed issues regarding evidence, testimony, scientific theories, and voting. Bayesian Epistemology is an essential tool for anyone working on probabilistic methods in philosophy, and has broad implications for many other disciplines. (shrink)

The ArgumentIn its reconstruction of scientific practice, philosophy of science has traditionally placed scientific theories in a central role, and has reduced the problem of mediating between theories and the world to formal considerations. Many applications of scientific theories, however, involve complex mathematical models whose constitutive equations are analytically unsolvable. The study of these applications often consists in developing representations of the underlying physics on a computer, and using the techniques of computer simulation in order to learn about the behavior (...) of these systems. In many instances, these computer simulations are not simple number-crunching techniques. They involve a complex chain of inferences that serve to transform theoretical structures into specific concrete knowledge of physical systems. In this paper I argue that this process of transformation has its own epistemology. I also argue that this kind of epistemology is unfamiliar to most philosophy of science, which has traditionally concerned itself with the justification of theories, not with their application. Finally, I urge that the nature of this epistemology suggests that the end results of some simulations do not bear a simple, straightforward relation to the theories from which they stem. (shrink)

I give a fairly systematic and thorough presentation of the case for regarding black holes as thermodynamic systems in the fullest sense, aimed at students and non-specialists and not presuming advanced knowledge of quantum gravity. I pay particular attention to the availability in classical black hole thermodynamics of a well-defined notion of adiabatic intervention; the power of the membrane paradigm to make black hole thermodynamics precise and to extend it to local-equilibrium contexts; the central role of Hawking radiation in permitting (...) black holes to be in thermal contact with one another; the wide range of routes by which Hawking radiation can be derived and its back-reaction on the black hole calculated; the interpretation of Hawking radiation close to the black hole as a gravitationally bound thermal atmosphere. In an appendix I discuss recent criticisms of black hole thermodynamics by Dougherty and Callender. This paper confines its attention to the thermodynamics of black holes; a sequel will consider their statistical mechanics. (shrink)

A number of recent discussions comparing computer simulation and traditional experimentation have focused on the significance of “materiality.” I challenge several claims emerging from this work and suggest that computer simulation studies are material experiments in a straightforward sense. After discussing some of the implications of this material status for the epistemology of computer simulation, I consider the extent to which materiality (in a particular sense) is important when it comes to making justified inferences about target systems on the basis (...) of experimental results. (shrink)

Computational methods such as computer simulations, Monte Carlo methods, and agent-based modeling have become the dominant techniques in many areas of science. Extending Ourselves contains the first systematic philosophical account of these new methods, and how they require a different approach to scientific method. Paul Humphreys draws a parallel between the ways in which such computational methods have enhanced our abilities to mathematically model the world, and the more familiar ways in which scientific instruments have expanded our access to the (...) empirical world. This expansion forms the basis for a new kind of empiricism, better suited to the needs of science than the older anthropocentric forms of empiricism. Human abilities are no longer the ultimate standard of epistemological correctness.Humphreys also includes arguments for the primacy of properties rather than objects, the need to consider technological constraints when appraising scientific methods, and a detailed account of how the path from computational template to scientific application is constructed. This last feature allows us to hold a form of selective realism in which anti-realist arguments based on formal reconstructions of theories can be avoided. One important consequence of the rise of computational methods is that the traditional organization of the sciences is being replaced by an organization founded on computational templates.Extending Ourselves will be of interest to philosophers of science, epistemologists, and to anyone interested in the role played by computers in modern science. (shrink)

The process of constructing mathematical models is examined and a case made that the construction process is an integral part of the justification for the model. The role of heuristics in testing and modifying models is described and some consequences for scientific methodology are drawn out. Three different ways of constructing the same model are detailed to demonstrate the claims made here.

The argument from analogy is examined from the point of view of Carnap's confirmation theory. It is argued that if inductive arguments are to be applicable to the real world, they must contain elementary analogical inferences. Carnap's system as originally developed (theλ -system) is not strong enough to take account of analogical arguments, but it is shown that the new system, which he has announced but not published in detail (theη -system), is capable of satisfying the conditions of inductive analogy. (...) Finally it is shown that an elementary analysis of analogical inference yields postulates of the η -system with a minimum of arbitrary assumptions. (shrink)

The argument from analogy is examined from the standpoint of Carnap's confirmation theory. Carnap's own discussion of analogy in relation to his c*— function is restricted to cases where the analogues are known to be similar, but not known to be different in any respect. It has been argued by the author in a previous work,, and by P. Achinstein, that typical analogy arguments involve known differences between the analogues as well as similarities. Achinstein shows that for such arguments none (...) of Carnap's Δ— system of conflrmation functions gives satisfactory values, and it is further shown in the present paper that for these arguments the confirmation never rises above its initial value, irrespective of evidence drown from an analogue. it is argued that even if inductive arguments are to be applicable to the real world, they must in principle be capable of taking into account known differences between the instances of an inductive generalization. Hence Carnap's Δ— system is inadequate as an explication of both induction and analogy.Three conditions are stated as necessary for any confirmation theory which gives a satisfactory explication of analogical inference:I. If two individuals a and b are known to agree in certain properties and differ in others, and if in addition a has a further property, then the confirmation of the hypothesis that b also has this property is greater than its initial confirmation, at least if the weight of the similarities is sufficiently great compared with the weight of the differences.II. The confirmation‐value increases or decreases with the weight of the similarities between the analogues compared with the weight of their differences.III. The confirmation that b has a certain property is greater if a has that property than if a does not have it.The Δ— system sastisfles none of these conditions. Carnap and Stegmüller have now, however, presented a new anxiom system for confirmation functions. the — system, Which is introduced primarily to deal with languages whose primitive predicates fall into families such that each individual can only be qualified by one predicate of each family. They construct a c‐ function which, as well as dealing with a language having two families of such predicates, also depends, unlike the functions in the Δ— system, on similarities between otherwise different individuals. The system is not developed far enough in this Appendix to enable the authors to discuss the confirmation in analogy arguments satisfying conditions I — III above, but it is shown in the present paper that, with a simple generalization of the measure‐function defined by Carnap and Stegmüller, and in the simplest non‐trivial case, condition I — III are all satisfied, indeed a stronger form of condition I is satisfied, in which no known similarity of the analogues is postulated.Finally it is remarked that Carnap and Stegmüller's method of introducing their Δ— system is extremely arbitrary and ad hoc, and an alternative method of introducing is suggested. Bearing in mind the fundamental nature of the argument from analogy in all application of induction to the real world, it is suggesetd that the fundamental inductive inference needing explication is not the inference of‘P1b, from ‘P,1a, but the analogical infeence of‘P2b, from‘P1P2a.P1b,. It is posinitial confirmation of‘P2b, and the confirmation of‘P2b, given‘P2a” and that the later two confirmation‐values are equivalent to those in the Δ— system. It is then shown that Carnap and Stegmüller's new measure‐function follows from their axiom system together with these postulates. Thus some of the arbitrariness of the — system is removed by general considérations regarding inductive and analogical inference. (shrink)

A physically consistent semi-classical treatment of black holes requires universality arguments to deal with the `trans-Planckian' problem where quantum spacetime effects appear to be amplified such that they undermine the entire semi-classical modelling framework. We evaluate three families of such arguments in comparison with Wilsonian renormalization group universality arguments found in the context of condensed matter physics. Our analysis is framed by the crucial distinction between robustness and universality. Particular emphasis is placed on the quality whereby the various arguments are (...) underpinned by `integrated' notions of robustness and universality. Whereas the principal strength of Wilsonian universality arguments can be understood in terms of the presence of such integration, the principal weakness of all three universality arguments for Hawking radiation is its absence. (shrink)

Computer simulations are an exciting tool that plays important roles in many scientific disciplines. This has attracted the attention of a number of philosophers of science. The main tenor in this literature is that computer simulations not only constitute interesting and powerful new science , but that they also raise a host of new philosophical issues. The protagonists in this debate claim no less than that simulations call into question our philosophical understanding of scientific ontology, the epistemology and semantics of (...) models and theories, and the relation between experimentation and theorising, and submit that simulations demand a fundamentally new philosophy of science in many respects. The aim of this paper is to critically evaluate these claims. Our conclusion will be sober. We argue that these claims are overblown and that simulations, far from demanding a new metaphysics, epistemology, semantics and methodology, raise few if any new philosophical problems. The philosophical problems that do come up in connection with simulations are not specific to simulations and most of them are variants of problems that have been discussed in other contexts before. (shrink)

Contemporary Bayesian confirmation theorists measure degree of (incremental) confirmation using a variety of non-equivalent relevance measures. As a result, a great many of the arguments surrounding quantitative Bayesian confirmation theory are implicitly sensitive to choice of measure of confirmation. Such arguments are enthymematic, since they tacitly presuppose that certain relevance measures should be used (for various purposes) rather than other relevance measures that have been proposed and defended in the philosophical literature. I present a survey of this pervasive class of (...) Bayesian confirmation-theoretic enthymemes, and a brief analysis of some recent attempts to resolve the problem of measure sensitivity. (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)

Scientists have used models for hundreds of years as a means of describing phenomena and as a basis for further analogy. In Scientific Models in Philosophy of Science, Daniela Bailer-Jones assembles an original and comprehensive philosophical analysis of how models have been used and interpreted in both historical and contemporary contexts. Bailer-Jones delineates the many forms models can take (ranging from equations to animals; from physical objects to theoretical constructs), and how they are put to use. She examines early mechanical (...) models employed by nineteenth-century physicists such as Kelvin and Maxwell, describes their roots in the mathematical principles of Newton and others, and compares them to contemporary mechanistic approaches. Bailer-Jones then views the use of analogy in the late nineteenth century as a means of understanding models and to link different branches of science. She reveals how analogies can also be models themselves, or can help to create them. The first half of the twentieth century saw little mention of models in the literature of logical empiricism. Focusing primarily on theory, logical empiricists believed that models were of temporary importance, flawed, and awaiting correction. The later contesting of logical empiricism, particularly the hypothetico-deductive account of theories, by philosophers such as Mary Hesse, sparked a renewed interest in the importance of models during the 1950s that continues to this day. Bailer-Jones analyzes subsequent propositions of: models as metaphors; Kuhn's concept of a paradigm; the Semantic View of theories; and the case study approaches of Cartwright and Morrison, among others. She then engages current debates on topics such as phenomena versus data, the distinctions between models and theories, the concepts of representation and realism, and the discerning of falsities in models. (shrink)

In this work, Paul Bartha proposes a normative theory of analogical arguments and raises questions and proposes answers regarding the criteria for evaluating analogical arguments, the philosophical justification for analogical reasoning, and the place of scientific analogies in the context of theoretical confirmation.

Bayesianism is our leading theory of uncertainty. Epistemology is defined as the theory of knowledge. So “Bayesian Epistemology” may sound like an oxymoron. Bayesianism, after all, studies the properties and dynamics of degrees of belief, understood to be probabilities. Traditional epistemology, on the other hand, places the singularly non-probabilistic notion of knowledge at centre stage, and to the extent that it traffics in belief, that notion does not come in degrees. So how can there be a Bayesian epistemology?

Simulation techniques, especially those implemented on a computer, are frequently employed in natural as well as in social sciences with considerable success. There is mounting evidence that the "model-building era" (J. Niehans) that dominated the theoretical activities of the sciences for a long time is about to be succeeded or at least lastingly supplemented by the "simulation era". But what exactly are models? What is a simulation and what is the difference and the relation between a model and a simulation? (...) These are some of the questions addressed in this article. I maintain that the most significant feature of a simulation is that it allows scientists to imitate one process by another process. "Process" here refers solely to a temporal sequence of states of a system. Given the observation that processes are dealt with by all sorts of scientists, it is apparent that simulations prove to be a powerful interdisciplinarily acknowledged tool. Accordingly, simulations are best suited to investigate the various research strategies in different sciences more carefully. To this end, I focus on the function of simulations in the research process. Finally, a somewhat detailed case-study from nuclear physics is presented which, in my view, illustrates elements of a typical simulation in physics. (shrink)

Bayesian epistemology addresses epistemological problems with the help of the mathematical theory of probability. It turns out that the probability calculus is especially suited to represent degrees of belief (credences) and to deal with questions of belief change, confirmation, evidence, justification, and coherence. Compared to the informal discussions in traditional epistemology, Bayesian epis- temology allows for a more precise and fine-grained analysis which takes the gradual aspects of these central epistemological notions into account. Bayesian epistemology therefore complements traditional epistemology; it (...) does not re- place it or aim at replacing it. (shrink)

In 1981 Unruh proposed that fluid mechanical experiments could be used to probe key aspects of the quantum phenomenology of black holes. In particular, he claimed that an analogue to Hawking radiation could be created within a fluid mechanical `dumb hole', with the event horizon replaced by a sonic horizon. Since then an entire sub-field of `analogue gravity' has been created. In 2016 Steinhauer reported the experimental observation of quantum Hawking radiation and its entanglement in a Bose-Einstein condensate analogue black (...) hole. What can we learn from such analogue experiments? In particular, in what sense can they provide evidence of novel phenomena such as black hole Hawking radiation? (shrink)

Information theory presupposes the notion of an epistemic agent, such as a scientist or an idealized human. Despite that, information theory is increasingly invoked by physicists concerned with fundamental physics, physics at very high energies, or generally with the physics of situations in which even idealized epistemic agents cannot exist. In this paper, I shall try to determine the extent to which the application of information theory in those contexts is legitimate. I will illustrate my considerations using the case of (...) black hole thermodynamics and Bekenstein's celebrated argument for his formula for the entropy of black holes. This example is particularly pertinent to the theme of the present collection because it is widely accepted as `empirical data' in notoriously empirically deprived quantum gravity, even though the laws of black hole thermodynamics have so far evaded direct empirical confirmation. (shrink)