The phenomenon of digital computation is explained (often differently) in computer science, computer engineering and more broadly in cognitive science. Although the semantics and implications of malfunctions have received attention in the philosophy of biology and philosophy of technology, errors in computational systems remain of interest only to computer science. Miscomputation has not gotten the philosophical attention it deserves. Our paper fills this gap by offering a taxonomy of miscomputations. This taxonomy is underpinned by a conceptual analysis of the design (...) and implementation of conventional computational systems at various levels of abstraction. It shows that ‘malfunction’ as it is typically used in the philosophy of artefacts only represents one type of miscomputation. (shrink)

The question of whether or not to partition data for the purposes of inferring phylogenetic hypotheses remains controversial. Opinions have been especially divided since Kluge's (1989, Systematic Zoology 38, 7–25) claim that data partitioning violates the requirement of total evidence (RTE). Unfortunately, advocacy for or against the RTE has not been based on accurate portrayals of the requirement. The RTE is a basic maxim for non-deductive inference, stipulating that evidence must be considered if it has relevance to an inference. Evidence (...) is relevant if it has a positive or negative effect on a given conclusion. In the case of ℈partitioned’ phylogenetic inferences, the RTE is violated, and the basis for rational belief in any conclusion is compromised, unless it is shown that the partitions are evidentially irrelevant to one another. The goal of phylogenetic systematics is to hypothesize past causal conditions to account for observed shared similarities among two or more species. Such inferences are non-deductive, necessitating consideration of the RTE. Some phylogeneticists claim the parsimony criterion as justification for the RTE. There is no relation between the two – parsimony is a relation between a hypothesis and causal question(s). Parsimony does not dictate the content of premises prior to an inference. ℈Taxonomic congruence,’ ℈supertrees,’ and ℈conditional combination’ methods violate the RTE. Taxonomic congruence and supertree methods also fail to achieve the intended goal of phylogenetic inference, such that ℈consensus trees’ and ℈supertrees’ lack an empirical basis. ℈Conditional combination’ is problematic because hypotheses derived from partitioned data cannot be compared – a causal hypothesis inferred to account for a set of effects only has relevance to those effects, not any comparative relevance to other causal hypotheses. A similar problem arises in the comparisons of hypotheses derived from different causal theories. (shrink)

The formal definition of species as explanatory hypotheses presented by Fitzhugh is emended. A species is an explanatory account of the occurrences of the same character among gonochoristic or cross-fertilizing hermaphroditic individuals by way of character origin and subsequent fixation during tokogeny. In addition to species, biological systematics also employs hypotheses that are ontogenetic, tokogenetic, intraspecific, and phylogenetic, each of which provides explanatory hypotheses for distinctly different classes of causal questions. It is suggested that species hypotheses can not be applied (...) to organisms with obligate asexual, parthenogenetic, and self-fertilizing modes of reproduction. Hypotheses explaining shared characters among such organisms are, instead, strictly phylogenetic. Several implications of this emended definition are examined, especially the relations between species, intraspecific, and phylogenetic hypotheses, as well as the limitations of species names to be applied to temporally different characters within populations. (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)

Three competing ‘methods’ have been endorsed for inferring phylogenetic hypotheses: parsimony, likelihood, and Bayesianism. The latter two have been claimed superior because they take into account rates of sequence substitution. Can rates of substitution be justified on its own accord in inferences of explanatory hypotheses? Answering this question requires addressing four issues: (1) the aim of scientific inquiry, (2) the nature of why-questions, (3) explanatory hypotheses as answers to why-questions, and (4) acknowledging that neither parsimony, likelihood, nor Bayesianism are inferential (...) actions leading to explanatory hypotheses. The aim of scientific inquiry is to acquire causal understanding of effects. Observation statements of organismal characters lead to implicit or explicit why-questions. Those questions, conveyed in data matrices, assume the truth of observation statements, which is contrary to subsequently invoking substitution rates within inferences to phylogenetic hypotheses. Inferences of explanatory hypotheses are abductive in form, such that some version of an evolutionary theory(ies) is/are included or implied. If rates of sequence evolution are to be considered, it must be done prior to, rather than within abduction, which requires renaming those putatively-shared nucleotides subject to substitution rates. There are, however, no epistemic grounds for renaming characters to accommodate rates, calling into question the legitimacy of causally accounting for sequence data. (shrink)

COVID-19 has substantially affected our lives during 2020. Since its beginning, several epidemiological models have been developed to investigate the specific dynamics of the disease. Early COVID-19 epidemiological models were purely statistical, based on a curve-fitting approach, and did not include causal knowledge about the disease. Yet, these models had predictive capacity; thus they were used to ground important political decisions, in virtue of the understanding of the dynamics of the pandemic that they offered. This raises a philosophical question about (...) how purely statistical models can yield understanding, and if so, what the relationship between prediction and understanding in these models is. Drawing on the model that was developed by the Institute of Health Metrics and Evaluation, we argue that early epidemiological models yielded a modality of understanding that we call descriptive understanding, which contrasts with the so-called explanatory understanding which is assumed to be the main form of scientific understanding. We spell out the exact details of how descriptive understanding works, and efficiently yields understanding of the phenomena. Finally, we vindicate the necessity of studying other modalities of understanding that go beyond the conventionally assumed explanatory understanding. (shrink)

This essay develops an inferential account of model explanation, based on Mauricio Suárez’s inferential conception of scientific representation and Alisa Bokulich’s counterfactual account of model explanation. It is suggested that the fact that a scientific model can explain is essentially linked to how a modeler uses an established model to make various inferences about the target system on the basis of results derived from the model. The inference practice is understood as a two-step activity, with the first step involving making (...) counterfactual statements about the model itself and the second step involving making hypothetical statements transferring over claims derived from the model onto the target. To illustrate how this two-step activity proceeds, an agent-based simulation model is discussed. (shrink)

In this paper, domain-specificity is presented as an understudied problem in chemical education. This argument is unpacked by drawing from two bodies of literature: learning of science and epistemology of science, both themes that have cognitive as well as philosophical undertones. The wider context is students’ engagement in scientific inquiry, an important goal for science education and one that has not been well executed in everyday classrooms. The focus on science learning illustrates the role of domain specificity in scientific reasoning. (...) The discussion on epistemology of science presents ideas from the emerging field of philosophy of chemistry to highlight the much neglected area of epistemology in chemical education. Domain-specificity is exemplified in the context of chemical laws, in particular the Periodic Law. The applications of the discussion for chemical education are explored in relation to argumentation, itself an epistemologically grounded discourse pattern in science. The overall implications include the need for reconceptualization of the nature of teaching and learning in chemistry to include more particular epistemological aspects of chemistry. (shrink)

We argue that artificial networks are explainable and offer a novel theory of interpretability. Two sets of conceptual questions are prominent in theoretical engagements with artificial neural networks, especially in the context of medical artificial intelligence: Are networks explainable, and if so, what does it mean to explain the output of a network? And what does it mean for a network to be interpretable? We argue that accounts of “explanation” tailored specifically to neural networks have ineffectively reinvented the wheel. In (...) response to, we show how four familiar accounts of explanation apply to neural networks as they would to any scientific phenomenon. We diagnose the confusion about explaining neural networks within the machine learning literature as an equivocation on “explainability,” “understandability” and “interpretability.” To remedy this, we distinguish between these notions, and answer by offering a theory and typology of interpretation in machine learning. Interpretation is something one does to an explanation with the aim of producing another, more understandable, explanation. As with explanation, there are various concepts and methods involved in interpretation: Total or Partial, Global or Local, and Approximative or Isomorphic. Our account of “interpretability” is consistent with uses in the machine learning literature, in keeping with the philosophy of explanation and understanding, and pays special attention to medical artificial intelligence systems. (shrink)

Nagel ist es nicht geglückt, die Möglichkeit des Verzichts auf teleologische Formulierungen und Erklärungen plausibel zu begründen. Bei seinem Versuch, die Äquivalenz teleologischer und nichtteleologischer Erklärungen nachzuweisen und den Bedeutungsüberschuß teleologischer Sprache hinwegzuformulieren, ist er immer schon an die Voraussetzung dieses Bedeutungsüberschusses gebunden, dessen er sich nicht, wie seine Beschreibung zielgerichteter Systeme beweist, entledigen kann. Unser Ergebnis dispensiert jedoch nicht von der Frage, ob der Anspruch 'der in teleologischen Wendungen geltend gemacht wird, auch zu Recht besteht. Denn die semantische Unmöglichkeit (...) der Reduktion von Relevanzrelationen auf Bedingungsrelationen verbürgt ja noch nicht, daß die teleologische Sprache den Gegenstandsbereich der Biologie auch adäquat trifft. Eine über unsere Studie hinausgehende Untersuchung müßte daher die hier aufgeworfene Frage in den größeren Zusammenhang der als klassisch geltenden Stellungnahmen einbetten und unter Einbeziehung der Resultate der kybernetischen Wissenschaften dem Problem nachgehen, ob Teleologie nur heuristischer Leitfaden der Reflexion ist, der aus forschungsstrategischen Gründen der Organisation des Gegenstandes an diesen von außen herangetragen wird, oder darüberhinaus eine Struktureigenschaft von Objekten selbst bezeichnet. Ist Teleologie also nur eine "Sache der Formulierung" oder eine "Formulierung der Sache"? (shrink)

Recent years have seen increasing interest in interventionist analyses of metaphysical explanation. One area where interventionism traditionally shines, is in providing an account of explanatory depth; the sense in which explanation comes in degrees. However, the literature on metaphysical explanation has left the notion of depth almost entirely unexplored. In this paper I shall attempt to rectify this oversight by motivating an interventionist analysis of metaphysical explanatory depth (MED), in terms of the range of interventions under which a metaphysically explanatory (...) generalization remains invariant. After elucidating the notion through a toy-example, I demonstrate the important work which MED can perform in characterizing debate within contemporary metaphysics. Focusing upon rival approaches to explaining the identity and distinctness of concrete objects, I argue that the progress achieved in this debate can be characterized in terms of increasing explanatory depth. Having made an initial case for the utility of MED, I then turn this analysis to the metaphysics of explanation itself. By adopting an interventionist framework with respect to MED, I will show that we can assess the depth of competing theories of explanation. This application has two interesting results: first, it suggests that an interventionist analysis of explanation provides deeper explanations of the connection between explanans and explanandum than rival accounts; and second, it suggests that explanations provided by interventionism become deeper still, if one accepts that this methodology ranges over metaphysical, as well as causal, instances. (shrink)

Philosophical Perspectives, Volume 35, Issue 1, Page 170-188, December 2021.

The problem of ceteris paribus clauses and Hempel’s problem of provisos are closely-related difficulties. Both challenge advocates of accounts of scientific theories involving laws understood as universal generalizations, and they have been treated as identical problems. Earman and Roberts argue that the problems are distinct. Towards arguing against them, I characterize the relationship between Hempel’s provisos and one way of expressing ceteris paribus clauses. I then describe the relationship between the problems attributed to the clauses, suggesting that they form a (...) single problem-cluster. However, Hempel’s way of formulating provisos and discussing what they involve entangles provisos with the problem of skepticism. This creates a departure in Hempel’s discussion of provisos from the distinctive problem of vacuity which characterizes the problem of ceteris paribus clauses, though for different reasons than Earman and Roberts suggest. (shrink)

argumentation has been shown to be a powerful tool within many fields such as artificial intelligence, logic and legal reasoning. In this paper we enhance Dung’s well-known abstract argumentation framework with explanatory capabilities. We show that an explanatory argumentation framework (EAF) obtained in this way is a useful tool for the modeling of scientific debates. On the one hand, EAFs allow for the representation of explanatory and justificatory arguments constituting rivaling scientific views. On the other hand, different procedures for selecting (...) arguments, corresponding to different methodological and epistemic requirements of theory evaluation, can be formulated in view of our framework. (shrink)

This book addresses key conceptual issues relating to the modern scientific and engineering use of computer simulations. It analyses a broad set of questions, from the nature of computer simulations to their epistemological power, including the many scientific, social and ethics implications of using computer simulations. The book is written in an easily accessible narrative, one that weaves together philosophical questions and scientific technicalities. It will thus appeal equally to all academic scientists, engineers, and researchers in industry interested in questions (...) related to the general practice of computer simulations. (shrink)

Group size is a function of relative neocortical volume in nonhuman primates. Extrapolation from this regression equation yields a predicted group size for modern humans very similar to that of certain hunter-gatherer and traditional horticulturalist societies. Groups of similar size are also found in other large-scale forms of contemporary and historical society. Among primates, the cohesion of groups is maintained by social grooming; the time devoted to social grooming is linearly related to group size among the Old World monkeys and (...) apes. To maintain the stability of the large groups characteristic of humans by grooming alone would place intolerable demands on time budgets. It is suggested that (1) the evolution of large groups in the human lineage depended on the development of a more efficient method for time-sharing the processes of social bonding and that (2) language uniquely fulfills this requirement. Data on the size of conversational and other small interacting groups of humans are in line with the predictions for the relative efficiency of conversation compared to grooming as a bonding process. Analysis of a sample of human conversations shows that about 60% of time is spent gossiping about relationships and personal experiences. It is suggested that language evolved to allow individuals to learn about the behavioural characteristics of other group members more rapidly than is possible by direct observation alone. (shrink)

Recenzja koncentruje się na filozoficznej krytyce adaptacjonizmu – jednego z filarów teorii ewolucji – przeprowadzonej przez Fodora i Piattelli-Palmariniego. Ich główny zarzut dotyczy eksplanacyjnej słabości teorii Darwina, a dokładnie jej niezdolności przewidywania, na jakie cechy będzie działać dobór naturalny? Z tego powodu autorzy recenzowanej pracy klasyfikują teorię ewolucji jako należącą do nauk historycznych i zaprzeczają, by przedstawiała ona jakieś prawo przyrody.

The goal of this paper is to present and defend an empiricist, neo-Hempelian account of scientific explanation as ampliative, specialized embedding. The proposal aims to preserve what I take to be the core of Hempel’s empiricist account, by weakening it in some respects and strengthening it in others, introducing two new conditions that solve most of Hempel’s problems without abandoning his empiricist strictures. According to this proposal, to explain a phenomenon is to make it expectable by introducing new conceptual/ontological machinery (...) and using special, and non-ad hoc, non-accidental regularities. The new conditions are elaborated making essential use of two central structuralist ideas, namely T-theoreticity and specialization. I first introduce and qualify the project, then present the new account in detail and assess it vis-à-vis its rivals, and finally discuss some possible objections, concluding that the account fares better than its monistic rivals and well enough to qualify as a promising neo-Hempelian account. Even for those unpersuaded by its monistic goals, it has the merit of calling attention to two new necessary conditions not explicitly emphasized thus far and showing how they serve to answer many of the criticisms addressed against Hempel’s account. (shrink)

We argue that there is no general theory of explanation that spans the sciences, mathematics, and ethics, etc. More specifically, there is no good reason to believe that substantive and domain-invariant constraints on explanatory information exist. Using Nickel (Noûs 44(2):305–328, 2010 ) as an exemplar of the contrary, generalist position, we first show that Nickel’s arguments rest on several ambiguities, and then show that even when these ambiguities are charitably corrected, Nickel’s defense of general theories of explanation is inadequate along (...) several different dimensions. Specifically, we argue that Nickel’s argument has three fatal flaws. First, he has not provided any compelling illustrations of domain-invariant constraints on explanation. Second, in order to fend off the most vehement skeptics of domain-invariant theories of explanation, Nickel must beg all of the important questions. Third, Nickel’s examples of explanations from different domains with common explanatory structure rely on incorrect formulations of the explanations under consideration, circular justifications, and/or a mischaracterization of the position Nickel intends to critique. Given that the best and most elaborate defense of the generalist position fails in so many ways, we conclude that the standard practice in philosophy (and in philosophy of science in particular), which is to develop theories of explanation that are tailored to specific domains, still is justified. For those who want to buy into a more ambitious project: beware of the costs! (shrink)

Scientific reasoning is particularly pertinent to science education since it is closely related to the content and methodologies of science and contributes to scientific literacy. Much of the research in science education investigates the appropriate framework and teaching methods and tools needed to promote students’ ability to reason and evaluate in a scientific way. This paper aims to contribute to an extended understanding of the nature and pedagogical importance of model-based reasoning and to exemplify how using computer simulations can support (...) students’ model-based reasoning. We provide first a background for both scientific reasoning and computer simulations, based on the relevant philosophical views and the related educational discussion. This background suggests that the model-based framework provides an epistemologically valid and pedagogically appropriate basis for teaching scientific reasoning and for helping students develop sounder reasoning and decision-taking abilities and explains how using computer simulations can foster these abilities. We then provide some examples illustrating the use of computer simulations to support model-based reasoning and evaluation activities in the classroom. The examples reflect the procedure and criteria for evaluating models in science and demonstrate the educational advantages of their application in classroom reasoning activities. (shrink)

The act of understanding is at the heart of all scientific activity; without it any ostensibly scientific activity is as sterile as that of a high school student substituting numbers into a formula. Ordinary language often uses visual metaphors in connection with understanding. When we finally understand what someone is trying to point out to us, we exclaim: “I see!” When someone really understands a subject matter, we say that she has “insight”. There appears to be a link between visualization (...) and understanding, and between visualizability and intelligibility. This applies in science no less than in daily life: visualization is regarded as a useful means of achieving scientific understanding, even in the .. (shrink)

It is often claimed—especially by scientific realists—that science provides understanding of the world only if its theories are (at least approximately) true descriptions of reality, in its observable as well as unobservable aspects. This paper critically examines this ‘realist thesis’ concerning understanding. A crucial problem for the realist thesis is that (as study of the history and practice of science reveals) understanding is frequently obtained via theories and models that appear to be highly unrealistic or even completely fictional. So we (...) face the dilemma of either giving up the realist thesis that understanding requires truth, or allowing for the possibility that in many if not all practical cases we do not have scientific understanding. I will argue that the first horn is preferable: the link between understanding and truth can be severed. This becomes a live option if we abandon the traditional view that scientific understanding is a special type of knowledge. While this view implies that understanding must be factive, I avoid this implication by identifying understanding with a skill rather than with knowledge. I will develop the idea that understanding phenomena consists in the ability to use a theory to generate predictions of the target system’s behavior. This implies that the crucial condition for understanding is not truth but intelligibility of the theory, where intelligibility is defined as the value that scientists attribute to the theoretical virtues that facilitate the construction of models of the phenomena. I will show, first, that my account accords with the way practicing scientists conceive of understanding, and second, that it allows for the use of idealized or fictional models and theories in achieving understanding. (shrink)

In recent years, scientific understanding has become a focus of attention in philosophy of science. Since understanding is typically associated with the pragmatic and psychological dimensions of explanation, shifting the focus from explanation to understanding may induce a shift from accounts that embody normative ideals to accounts that provide accurate descriptions of scientific practice. Not surprisingly, many ‘friends of understanding’ sympathize with a naturalistic approach to the philosophy of science. However, this raises the question of whether the proposed theories of (...) understanding can still have normative power. In this paper I address this question by examining two theories of scientific understanding: Jan Faye’s pragmatic-rhetorical theory and my own contextual theory of scientific understanding. I argue that both theories leave room for normativity, despite their naturalistic tendencies. The normative power of my contextual theory is illustrated with a case study of the chemical revolution. (shrink)

In recent years, a revisionist process focused on logical positivism can be observed, particularly regarding Carnap’s work. In this paper, I argue against the interpretation that Kuhn’s The Structure of Scientific Revolutions having been published in the International Encyclopedia of Unified Science, co-edited by Carnap, is evidence of the revisionist idea that Carnap “would have found Structure philosophically congenial”. I claim that Kuhn’s book, from Carnap’s point of view, is not in philosophy of science but rather in history of science (...) (in the context of a sharp discovery–justification distinction). It could also explain the fact that, despite his sympathetic letters to Kuhn as editor, Carnap never refers to Kuhn’s book in his work in philosophy of science. (shrink)

This paper analyzes the historical context and systematic importance of Kant's hypothetical use of reason. It does so by investigating the role of hypotheses in Kant's philosophy of science. We first situate Kant’s account of hypotheses in the context of eighteenth-century German philosophy of science, focusing on the works of Wolff, Meier, and Crusius. We contrast different conceptions of hypotheses of these authors and elucidate the different theories of probability informing them. We then adopt a more systematic perspective to discuss (...) Kant's idea that scientific hypotheses must articulate real possibilities. We argue that Kant's views on the intelligibility of scientific hypotheses constitute a valuable perspective on scientific understanding and the constraints it imposes on scientific rationality. (shrink)

Understanding is a valued trait in any epistemic practice, scientific or not. Yet, when it comes to characterizing its nature, the notion has not received the philosophical attention it deserves. We have set ourselves three tasks in this paper. First, we defend the importance of this endeavor. Second, we consider and criticize a number of proposals to this effect. Third, we defend an alternative account, focusing on abilities as the proper mark of understanding.

There are many putative counterexamples to the view that all scientific explanations are causal explanations. Using a new theory of what it is to be a causal explanation, Bradford Skow has recently argued that several of the putative counterexamples fail to be non-causal. This paper defends some of the counterexamples by showing how Skow’s argument relies on an overly permissive theory of causal explanations.

PurposeIn this article, we aim to present and defend a contextual approach to mathematical explanation.MethodTo do this, we introduce an epistemic reading of mathematical explanation.ResultsThe epistemic reading not only clarifies the link between mathematical explanation and mathematical understanding, but also allows us to explicate some contextual factors governing explanation. We then show how several accounts of mathematical explanation can be read in this approach.ConclusionThe contextual approach defended here clears up the notion of explanation and pushes us towards a pluralist vision (...) on mathematical explanation. (shrink)

In The Explanatory Dispensability of Idealizations, Sam Baron suggests a possible strategy enabling the indispensability argument to break the symmetry between mathematical claims and idealization assumptions in scientific models. Baron’s distinction between mathematical and non-mathematical idealization, I claim, is in need of a more compelling criterion, because in scientific models idealization assumptions are expressed through mathematical claims. In this paper I argue that this mutual dependence of idealization and mathematics cannot be read in terms of symmetry and that Baron’s non-causal (...) notion of mathematical difference-making is not effective in justifying any symmetry-breaking between mathematics and idealization. The function of making a difference that Baron attributes to mathematics cannot be referred to physical facts, but to the features of quantities, such as step lengths or time intervals taken into account in the models. It appears, indeed, that it does not follow from Baron’s argument that idealizations do not help to carry the explanatory load at least for two reasons: mathematics is not independent of idealizations in modelling and idealizations help mathematics to carry the explanatory load of a model in different degrees. (shrink)

There appears to be a widespread belief that the social sciences during the 1950s and 1960s can be characterized by an almost unquestioned faith in a positivist philosophy of science. In contrast, the article shows that even within the narrower segment of Cold War social science, positivism was not an unquestioned doctrine blindly followed by everybody, but that quite divergent views coexisted. The article analyses two ‘techniques of prospection’, the Delphi technique and political gaming, from the perspective of a comprehensive (...) set of ideas attributed to ‘positivism’. Both techniques were developed in the early 1950s by researchers at the RAND Corporation, a Californian think tank with tight relations to the US Air Force. Despite the closeness of origin, the two techniques show considerable differences in their basic epistemologies. The article thus concludes that more important than positivism in uniting US Cold War social science was the shared sense of urgency and of the potential of social science to put decision-making in foreign policy on a rational basis. In this sense, as far as the Cold War social sciences were of a piece, they were made so by the sense of danger and urgency of action evoked by the image of the Iron Curtain. (shrink)

Mary Douglas's Purity and Danger and Herbert Fingarette's Confucius: The Secular as Sacred have had a continuous impact on cultural anthropology and the study of ancient Chinese thought, respectively, but neither has typically been read as a contribution to comparative religious ethics. This paper argues that both books developed from profound dissatisfaction with the empiricist presuppositions that dominated their fields into the 1970s and that both should be associated with the revival of American pragmatism that is currently driving a reinterpretation (...) of ethics as a social practice embedded in historically contingent discourse about agency, virtue, and social organization. This pragmatic turn results in a shift of comparative ethics away from issues of methods and metaethics in the direction of history and fieldwork as the preconditions for useful comparison. (shrink)

Many arguments found in the physics literature involve concepts that are not well-defined by the usual standards of mathematics. I argue that physicists are entitled to employ such concepts without rigorously defining them so long as they restrict the sorts of mathematical arguments in which these concepts are involved. Restrictions of this sort allow the physicist to ignore calculations involving these concepts that might lead to contradictory results. I argue that such restrictions need not be ad hoc, but can sometimes (...) be justified by considering some of the metaphysical issues surrounding the question of the applicability of mathematics to physical reality. 1 Introduction 2 Rejecting inferential permissiveness 3 The agreement problem 4 Independent objections to the liberal view. (shrink)

We present a Bayesian analysis of the epistemology of analogue experiments with particular reference to Hawking radiation. Provided such experiments can be externally validated via universality arguments, we prove that they are confirmatory in Bayesian terms. We then provide a formal model for the scaling behaviour of the confirmation measure for multiple distinct realisations of the analogue system and isolate a generic saturation feature. Finally, we demonstrate that different potential analogue realisations could provide different levels of confirmation. Our results thus (...) provide a basis both to formalise the epistemic value of analogue experiments that have been conducted and to advise scientists as to the respective epistemic value of future analogue experiments. (shrink)

In this article we argue for the existence of ‘analogue simulation’ as a novel form of scientific inference with the potential to be confirmatory. This notion is distinct from the modes of analogical reasoning detailed in the literature, and draws inspiration from fluid dynamical ‘dumb hole’ analogues to gravitational black holes. For that case, which is considered in detail, we defend the claim that the phenomena of gravitational Hawking radiation could be confirmed in the case that its counterpart is detected (...) within experiments conducted on diverse realizations of the analogue model. A prospectus is given for further potential cases of analogue simulation in contemporary science. 1 Introduction2 Physical Background2.1 Hawking radiation in semi-classical gravity2.2 Modelling sound in fluids2.3 The acoustic analogue model of Hawking radiation3 Simulation and Analogy in Physical Theory3.1 Analogical reasoning and analogue simulation3.2 Confirmation via analogue simulation3.3 Recapitulation4 The Sound of Silence: Analogical Insights into Gravity4.1 Experimental realization of analogue models4.2 Universality and the Hawking effect4.3 Confirmation of gravitational Hawking radiation5 Prospectus. (shrink)

This paper proposes a limitation to epistemological claims to theory building prevalent in critical realist research. While accepting the basic ontological and epistemological positions of the perspective as developed by Roy Bhaskar, it is argued that application in social science has relied on sociological concepts to explain the underlying generative mechanisms, and that in many cases this has been subject to the effects of an anthropocentric constraint. A novel contribution to critical realist research comes from the work and ideas of (...) Gregory Bateson. This is in service of two central goals of critical realism, namely an abductive route to theory building and a commitment to interdisciplinarity. Five aspects of Bateson’s epistemology are introduced: difference, logical levels of abstraction, recursive causal loops, the logic of metaphor, and Bateson’s theory of mind. The comparison between Bateson and Bhaskar’s ideas is seen as a form of double description, illustrative of the point being raised. The paper concludes with an appeal to critical realists to start exploring the writing and outlook of Bateson himself. (shrink)

Geologists, Paleontologists and other historical scientists are frequently concerned with narrative explanations targeting single cases. I show that two distinct explanatory strategies are employed in narratives, simple and complex. A simple narrative has minimal causal detail and is embedded in a regularity, whereas a complex narrative is more detailed and not embedded. The distinction is illustrated through two case studies: the ‘snowball earth’ explanation of Neoproterozoic glaciation and recent attempts to explain gigantism in Sauropods. This distinction is revelatory of historical (...) science. I argue that at least sometimes which strategy is appropriate is not a pragmatic issue, but turns on the nature of the target. Moreover, the distinction reveals a counterintuitive pattern of progress in some historical explanation: shifting from simple to complex. Sometimes, historical scientists rightly abandon simple, unified explanations in favour of disunified, complex narratives. Finally I compare narrative and mechanistic explanation, arguing that mechanistic approaches are inappropriate for complex narrative explanations. (shrink)

A primary goal of quantum computer science is to find an explanation for the fact that quantum computers are more powerful than classical computers. In this paper I argue that to answer this question is to compare algorithmic processes of various kinds and to describe the possibility spaces associated with these processes. By doing this, we explain how it is possible for one process to outperform its rival. Further, in this and similar examples little is gained in subsequently asking a (...) how-actually question. Once one has explained how-possibly, there is little left to do. (shrink)