In this paper we investigate how inference to the best explanation (IBE) works in engineering science, focussing on the context of malfunction explanation. While IBE has gotten a lot of attention in the philosophy of science literature, few, if any, philosophical work has focussed on IBE in engineering science practice. We first show that IBE in engineering science has a similar structure as IBE in other scientific domains in the sense that in both settings IBE hinges on the weighing of (...) explanatory virtues. We then proceed to show that, due to the intimate connection between explanation and redesign in engineering science, there is a further engineering domain-specific virtue in terms of which engineering malfunction explanations are evaluated, viz. the virtue of redesign utility. This virtue entails that the explanatory information offered by a malfunction explanation should be instrumental in predicting counterfactual dependencies in redesigned systems. We illustrate and elaborate these points in terms of a number of engineering examples, focussing in particular on the 2009 crash of Air France Flight 447. Our extension of analyses of IBE and explanation to engineering science practice offers new insights by identifying a new explanatory virtue in malfunction explanation: redesign utility. (shrink)

In his 1912 book _The Problems of Philosophy_, Bertrand Russell advocates an indirect realism with regard to physical objects. Only two years later, in his book _Our Knowledge of the External World_ and the paper “The Relation of Sense-Data to Physics”, he changes his method in philosophy. Instead of inferring the existence of physical objects, he now sets out to construct them out of sense-data. As I will argue in this article, the main argument from _The Problems of Philosophy_ can (...) be rationally reconstructed as an inference to the best explanation which infers to unobservable objects. The main motivation for the new approach in _Our Knowledge of the External World_, on the other hand, is to establish a more direct variant of realism, in particular because Russell became skeptical with regard to inferences to unobservable objects. As I will argue, the resulting theory of the physical world loses so much in simplicity that it becomes an unattractive alternative to his earlier position, and Russell’s reason for rejecting simplicity as a criterion of theory choice turns out to be inconsequential. (shrink)

Whether abduction is treated as an argument or as an inference, the mainstream view presupposes a tight connection between abduction and inference to the best explanation. This paper critically evaluates this link and supports a narrower view on abduction. Our main thesis is that merely the hypothesis-generative aspect, but not the evaluative aspect, is properly abductive in the sense introduced by C. S. Peirce. We show why equating abduction with IBE unnecessarily complicates argument evaluation by levelling the status of abduction (...) as a third reasoning mode. We also propose a scheme for abductive argument along with critical questions, and suggest retaining abduction alongside IBE as related but distinct categories. (shrink)

Self-consciousness in non-human animals is a complex phenomenon which raises both conceptual and methodological problems. First, what do we mean by the concept of ‘self-consciousness’? Secondly, what is the best experimental approach to self-consciousness? This paper gives a short overview of the concept of self-consciousness in section 1. We can understand the concept of self-consciousness as capturing the ability of subjects to consciously think about themselves as themselves. If this is accurate, then it is prudent to look at a broad (...) bundle of abilities which are related to this ability. The paper then focuses on advantages and problems of the multipronged approach, a kind of empirical approach which uses several different test criteria to determine whether a subject is self-conscious or not. Section 2 briefly contrasts this kind of approach with other possibilities. The main disparity is to singlepronged approaches, which have been discussed and dismissed in greater detail elsewhere. Section 3 discusses the advantages of a multipronged approach, whereas section 4 is dedicated to the discussion of some of its problems. (shrink)

The paper offers a matrix-based logic (relevant matrix quantum physics) for propositions which seems suitable as an underlying logic for empirical sciences and especially for quantum physics. This logic is motivated by two criteria which serve to clean derivations of classical logic from superfluous redundancies and uninformative complexities. It distinguishes those valid derivations (inferences) of classical logic which contain superfluous redundancies and complexities and are in this sense from those which are or in the sense of allowing only the most (...) informative consequences in the derivations. The latter derivations are strictly valid in RMQ, whereas the former are only materially valid. RMQ is a decidable matrix calculus which possesses a semantics and has the finite model property. It is shown in the paper how RMQ by its strictly valid derivations can avoid the difficulties with commensurability, distributivity, and Bell's inequalities when it is applied to quantum physics. (shrink)

An overview of the German philosophy of science community is given for the years 1992–2012, based on a survey in which 159 philosophers of science in Germany participated. To this end, the institutional background of the German philosophy of science community is examined in terms of journals, centers, and associations. Furthermore, a qualitative description and a quantitative analysis of our survey results are presented. Quantitative estimates are given for: (a) academic positions, (b) research foci, (c) philosophers’ of science most important (...) publications, and (d) externally funded projects, where for (c) all survey participants had indicated their five most important publications in philosophy of science. In addition, the survey results for (a)–(c) are also qualitatively described, as they are interesting in their own right. With respect to (a), we estimated the gender distribution among academic positions. Concerning (c), we quantified philosophers’ of science preference for (i) journals and publishers, (ii) publication format, (iii) language, and (iv) coauthorship for their most important publications. With regard to research projects, we determined their (i) prevalence, (ii) length, and (iii) trend (an increase in number?) as well as their most frequent (iv) research foci and (v) funding organizations. We also distinguished between German-based and non-German-based journals, publishers, and funding institutions, making it thereby possible to evaluate the involvement of the German philosophy of science community in the international research landscape. Finally, we discuss some implications of our findings. (shrink)

“Scientific research faces up with an open and unknown world”Within the work of C. S. Peirce, the most fundamental and contentious form of inference is that of abduction. According to Peirce, abduction is the only type of inference from which new ideas are created (CP 5.171, 1903). He wrote, “every single item of scientific theory which stands established today has been due to Abduction” (CP 5.172, 1903). Similarly, “All that makes knowledge applicable comes to us viâ abduction. […] Not the (...) smallest advance can be made in knowledge beyond the stage of vacant staring, without making an abduction at every step” (HP 2:899–900, 1901). It is little wonder that so much attention has been paid to this particular type of.. (shrink)

In this article, creativity is defined as a semiotic phenomenon, as a process in which the boundaries of habits and norms of social communication are exceeded and by which the challenges offered by the environment are solved. Here it is indicated that there is a direct link between attention and animal creativity and shown that there are at least two possibilities for creativity to work – one that needs attention and one which doesn’t. Animal creativity can work through several different (...) mechanisms, which are here combined into a new model. Adding the Uexküllian concepts of the functional cycle and search tone to the model of creativity makes it possible to describe some additional mechanisms of animal creative behaviours. Additional concepts compared include dual memory systems, the theory of associations, and finally Gregory Bateson’s double description. By considering that approach, it is possible to understand how animals find and adapt new behaviours to their repertoires. Researching the creative behaviours of animals and the spread of innovation between populations is important from a wider perspective to understand how animals can adapt to changing environmental conditions. (shrink)

Scientific Realism (SR) has three crucial aspects: 1) the centrality of the concept of truth, 2) the idea that success is a reliable indicator of truth, and 3) the idea that the Inference to the Best Explanation is a reliable inference rule. It will be outlined how some realists try to overcome the difficulties which arise in justifying such crucial aspects relying on an adaptationist view of evolutionism, and why such attempts are inadequate. Finally, we will briefly sketch some of (...) the main difficulties the realist has to face in defending those crucial aspects, and how such difficulties are deeply related: they derive from the inability of SR to satisfyingly avoid the sceptical challenge of the criterion of truth. Indeed, SR seems not to be able to fill the so-called ‘epistemic gap’ (Sankey 2008). In fact, the epistemic gap cannot be filled in no way other than obtaining a criterion of truth, but such a criterion cannot be obtained if the epistemic gap obtains. (shrink)

The roles of abductive inference in dynamic heuristics allows scientific methodologies to test novel explanations for the world’s ways. Deliberate reasoning often follows abductive patterns, as well as patterns dominated by deduction and induction, but complex mixtures of these three modes of inference are crucial for scientific explanation. All possible mixed inferences are formulated and categorized using a novel typology and nomenclature. Twenty five possible combinations among abduction, induction, and deduction are assembled and analyzed in order of complexity. There are (...) five primary categories for sorting these inferential procedures: fallacies, non-scientific procedures, quasi-scientific procedures, scientific procedures, and scientific heuristics. (shrink)

In the extensive methodology of his Logik, Wilhelm Wundt examines in detail the methodological procedure in the individual sciences. As will be shown in this article, these investigations are not only intended to clarify or improve the procedures in the individual sciences, but also to be of benefit to philosophy and especially to metaphysics. Wundt belongs to the traditional line of inductive metaphysics, whose representatives were of the opinion that metaphysics should be based on the results and methods of the (...) individual sciences. In this sense, Wundt's detailed investigation of the methods of the individual sciences should be understood as a prelude to an inductive metaphysics. By means of a central example, namely the introduction of the concept of causality based on an inference to the best explanation, this article shows how Wundt conceives the construction of a metaphysics based on the foundations of the individual sciences. (shrink)

In this paper, I take a closer look at Hans Reichenbach’s relation to metaphysics and work out some interesting parallels between his account and that of the proponents of inductive metaphysics, a tradition that emerged in the mid- and late 19th century and the early 20th century in Germany. It is in particular Hans Reichenbach’s conception of the relation between the natural sciences and metaphysics, as displayed in his treatment of the question of the existence of the external world, that (...) shows some very interesting similarities with inductive metaphysics. By a comparison with the position of the inductive metaphysician Erich Becher and his handling of the problem of realism, I work out the parallels between Reichenbach’s program and inductive metaphysics. I come to the conclusion that while there are certainly some respects in which Reichenbach’s logical empiricism is closer to the positions of the representatives of the Vienna Circle, it turns out that with regard to his views on metaphysics there is a greater affinity with the program of inductive metaphysics. (shrink)

Starting from a brief recapitulation of the contemporary debate on scientific realism, this paper argues for the following thesis : Assume a theory T has been empirically successful in a domain of application A, but was superseded later on by a superior theory T * , which was likewise successful in A but has an arbitrarily different theoretical superstructure. Then under natural conditions T contains certain theoretical expressions, which yielded T's empirical success, such that these T-expressions correspond (in A) to (...) certain theoretical expressions of T * , and given T * is true, they refer indirectly to the entities denoted by these expressions of T * . The thesis is first motivated by a study of the phlogiston–oxygen example. Then the thesis is proved in the form of a logical theorem , and illustrated by further examples. The final sections explain how the correspondence theorem justifies scientific realism and work out the advantages of the suggested account. Introduction: Pessimistic Meta-induction vs. Structural Correspondence The Case of the Phlogiston Theory Steps Towards a Systematic Correspondence Theorem The Correspondence Theorem and Its Ontological Interpretation Further Historical Applications Discussion of the Correspondence Theorem: Objections and Replies Consequences for Scientific Realism and Comparison with Other Positions 7.1 Comparison with constructive empiricism 7.2 Major difference from standard scientific realism 7.3 From minimal realism and correspondence to scientific realism 7.4 Comparison with particular realistic positions CiteULike Connotea Del.icio.us What's this? (shrink)

This paper elaborates on the following correspondence theorem (which has been defended and formally proved elsewhere): if theory T has been empirically successful in a domain of applications A, but was superseded later on by a different theory T* which was likewise successful in A, then under natural conditions T contains theoretical expressions which were responsible for T’s success and correspond (in A) to certain theoretical expressions of T*. I illustrate this theorem at hand of the phlogiston versus oxygen theories (...) of combustion, and the classical versus relativistic theories of mass. The ontological consequences of the theorem are worked out in terms of the indirect reference and partial truth. The final section explains how the correspondence theorem may justify a weak version of scientific realism without presupposing the no-miracles argument. (shrink)

This paper utilizes a logical correspondence theorem (which has been proved elsewhere) for the justification of weak conceptions of scientific realism and convergence to truth which do not presuppose Putnam's no-miracles-argument (NMA). After presenting arguments against the reliability of the unrestricted NMA in Sect. 1, the correspondence theorem is explained in Sect. 2. In Sect. 3, historical illustrations of the correspondence theorem are given, and its ontological consequences are worked out. Based on the transitivity of the concept of correspondence, a (...) correspondence-based notion of convergence to truth is developed in Sect. 4. In the final Sect. 5 it is argued that the correspondence theorem together with the assumption of ' minimal realism' yields a justification of a weak version of scientific realism, which is then compared to metaphysical realism and to instrumentalism. (shrink)

The background of this paper (section 1) consists in a new account to foundation‐theoretic epistemology characterized by two features: (i) All beliefs are to be justified by deductive, inductive or abductive inferences from a minimalistic class of unproblematic (introspective or analytic) basic beliefs. (ii) Higher‐order justifications for these inferences are given by means of the novel method of optimality justifications. Optimality justifications are a new tool for epistemology (section 2). An optimality justification does not attempt todemonstratethat a cognitive method is (...) reliable (which is impossible), but pursues the more modest goal of demonstrating that the method isoptimalamong all accessible alternative methods for the given epistemic goal. The reasoning from the established optimality of a method to the acceptability of a particular belief generated by the method is accomplished by so‐called optimality principles. In sections 3–5, the method of optimality justifications is carried out in detail for three fundamental problems: justifying induction, logic, and theory‐generating abduction. (shrink)

In this paper a new conception of foundation-oriented epistemology is developed. The major challenge for foundation-oriented justifications consists in the problem of stopping the justificational regress without taking recourse to dogmatic assumptions or circular reasoning. Two alternative accounts that attempt to circumvent this problem, coherentism and externalism, are critically discussed and rejected as unsatisfactory. It is argued that optimality arguments are a new type of foundation-oriented justification that can stop the justificational regress. This is demonstrated on the basis of a (...) novel result in the area of induction: the optimality of meta-induction. In the final section the method of optimality justification is generalized to deductive and abductive inferences. (shrink)

How is metaphysics related to the empirical sciences? Should metaphysics in general be guided by the sources, methods and results of the sciences? And what about the special case of the metaphysics of the social world: should it likewise be guided by the sources, methods and results of the social sciences? In her paper “Social Science as a Guide to Social Metaphysics?”, K. Hawley raises the question: If we are sympathetic to the project of naturalising metaphysics, how should we approach (...) the metaphysics of the social world? She proceeds by discussing three approaches to social metaphysics: inference to the best explanation from current social science, descriptive conceptual analysis, and normative, especially ‘ameliorative’ projects. At the end of her discussion, she reaches a rather pessimistic conclusion, especially as regards the IBE approach: “a number of phenomena indicate that the prospects for securely basing social metaphysics via inference to the best explanation from social science are currently faint. […] We need to look elsewhere if we are to develop a metaphysics of the social world.” In my comments on her paper, I try to re-animate the program of an inductive metaphysics by defending the idea that the method of inference to the best explanation should be the central method of justification for metaphysics in general and for social metaphysics in particular. (shrink)

An important distinction is that between selective abductions, which select an optimal candidate from given multitude of possible explanations, and creative abductions, which introduce new theoretical concepts and models. The article focuses on creative abductions, which are essential for scientific progress, although they are rarely discussed in the literature. Scientifically, fruitful creative abductions are demarcated from purely speculative abductions by means of three virtues which are possessed by the former but not by the latter: (i) providing unification, (ii) detecting common (...) causes and (iii) generating novel predictions by means of which they can be independently tested. Based on historical examples it is demonstrated that common cause abduction from correlated dispositions is the fundamental abductive operation by which new theoretical concepts and models are scientifically generated. Statistical factor analysis can be regarded as a statistical generalization of common cause abduction. (shrink)

According to the comparative Bayesian concept of confirmation, rationalized versions of creationism come out as empirically confirmed. From a scientific viewpoint, however, they are pseudo-explanations because with their help all kinds of experiences are explainable in an ex-post fashion, by way of ad-hoc fitting of an empirically empty theoretical framework to the given evidence. An alternative concept of confirmation that attempts to capture this intuition is the use novelty criterion of confirmation. Serious objections have been raised against this criterion. In (...) this paper I suggest solutions to these objections. Based on them, I develop an account of genuine confirmation that unifies the UN-criterion with a refined probabilistic confirmation concept that is explicated in terms of the confirmation of evidence-transcending content parts of the hypothesis. (shrink)

The Problem of Old Evidence (POE) states that Bayesian confirmation theory cannot explain why a theory H can be confirmed by a piece of evidence E already known. Different dimensions of POE have been highlighted. Here, I consider the dynamic and static dimension. In the former, we want to explain how the discovery that H accounts for E confirms H. In the latter, we want to understand why E is and will be a reason to prefer H over its competitors. (...) The aim of the paper is twofold. Firstly, I stress that two recent solutions to the dynamic dimension, recently proposed by Eva and Hartmann, can be read in terms of Inference to the Best Explanation (IBE). On this base, I gauge the weaknesses and strengths of the two models. Namely, I show that the two authors endorse a particular IBE’s formulation, and that it is still unsure if it is the one descriptively used. Moreover, I contend that, while one condition of their first model is not expression of this formulation, the only condition of their second model is. Secondly, I focus on the static dimension of POE which, now, has to be expressed in IBE terms. To solve it, I rely on the counterfactual approach, and on a version of IBE in which explanatory considerations help to evaluate the terms in Bayes’ theorem. However, it turns out that the problems of the counterfactual approach recur even when it is used to solve the static POE in IBE terms. (shrink)

Abductive reasoning involves finding the missing premise of an “unsaturated” deductive inference, thereby selecting a possible _explanans_ for a conclusion based on a set of previously accepted premises. In this paper, we explore abductive reasoning from a structural proof-theory perspective. We present a hybrid sequent calculus for classical propositional logic that uses sequents and antisequents to define a procedure for identifying the set of analytic hypotheses that a rational agent would be expected to select as _explanans_ when presented with an (...) abductive problem. Specifically, we show that this set may not include the deductively minimal hypothesis due to the presence of redundant information. We also establish that the set of all analytic hypotheses exhausts all possible solutions to the given problem. Finally, we propose a deductive criterion for differentiating between the best _explanans_ candidates and other hypotheses. (shrink)

Abduction is considered the most powerful, but also the most controversially discussed type of inference. Based on an analysis of Peirce’s retroduction, Lipton’s Inference to the Best Explanation and other theories, a new theory of abduction is proposed. It considers abduction not as intrinsically explanatory but as intrinsically conditional: for a given fact, abduction allows one to infer a fact that implies it. There are three types of abduction: Selective abduction selects an already known conditional whose consequent is the given (...) fact and infers that its antecedent is true. Conditional-creative abduction creates a new conditional in which the given fact is the consequent and a defined fact is the antecedent that implies the given fact. Propositional-conditional-creative abduction assumes that the given fact is implied by a hitherto undefined fact and thus creates a new conditional with a new proposition as antecedent. The execution of abductive inferences is specified by theory-specific patterns. Each pattern consists of a set of rules for both generating and justifying abductive conclusions and covers the complete inference process. Consequently, abductive inferences can be formalised iff the whole pattern can be formalised. The empirical consistency of the proposed theory is demonstrated by a case study of Semmelweis' research on puerperal fever. (shrink)

In this paper I critically examine the notion of explanation used in Artificial Intelligence in general, and in the theory of belief revision in particular. I focus on two of the best known accounts in the literature: Pagnucco’s abductive expansion functions and Gärdenfors’ counterfactual analysis. I argue that both accounts are at odds with the way in which this notion has historically been understood in philosophy. They are also at odds with the explanatory strategies used in actual scientific practice. At (...) the end of the paper I outline the desiderata for an epistemologically motivated, scientifically informed belief revision model for explanation. (shrink)

This paper is about the pragmatic inferences in play as conversational implicatures (Grice, P. 1989. Studies in the way of words. Cambridge, MA: Harvard University Press) occur. First, it constructs the deductivism versus abductivism debate that transpires from the extant literature but is rarely elaborated. Against deductivism, the paper argues that implicating inferences in conversational implicatures can instantiate an abductive logical form, as abductivism suggests. Against abductivism, however, it grants to deductivism that implicating inferences can have a deductive form provided (...) the latter is of a defeasible type. In sum, it thus argues for pluralist defeasibilism. Second, it turns to the issue of the ontological nature of implicating inferences and advocates normative inferentialism, on which these inferences are not primarily real psychological processes but rules of the practice of implicating. While this allows for the possibility of their psychological instantiation, to be sure, the paper also insists that psychological inferring processes in implicatures are neither necessarily isomorphic to the aforementioned rules nor even necessarily occur as an implicature occurs. (shrink)

David Armstrong argues that necessitation relations among universals are the best explanation of some of our observations. If we consequently accept them into our ontologies, then we can justify induction, because these necessitation relations also have implications for the unobserved. By embracing Armstrongian universals, we can vindicate some of our strongest epistemological intuitions and answer the Problem of Induction. However, Armstrong’s reasoning has recently been challenged on a variety of grounds. Critics argue against both Armstrong’s usage of inference to the (...) best explanation and even whether, by Armstrong’s own standards, necessitation relations offer a potential explanation of this explanandum, let alone the best explanation. I defend Armstrong against these particular criticisms. Firstly, even though there are reasons to think that Armstrong’s justification fails as a self-contained defence of induction, it can usefully complement several other answers to Hume. Secondly, I argue that Armstrong’s reasoning is consistent with his own standards for explanation. (shrink)

Charles S. Peirce introduced in the late 19th century the notion of abduction as inference from effects to causes, or from observational data to explanatory theories. Abductive reasoning has become a major theme in contemporary logic, philosophy of science, and artificial intelligence. This paper argues that the new growing branch of applied mathematics called inverse problems deals successfully with various kinds of abductive inference within a variety of scientific disciplines. The fundamental theorem about the inverse reconstruction of plane functions from (...) their line integrals was proved by Johann Radon already in 1917. The practical applications of Radon’s theorem and its generalizations include computerized tomography which became a routine imaging technique of diagnostic medicine in the 1970s.Keywords: Abduction; Inference to the best explanation; Inverse problems; Peirce; Radon’s theorem; Tomography. (shrink)

It is argued, in this paper, that the core operation underlying any measurement—the inverse modelling under uncertainty—is equivalent to quantitative abductive reasoning which consists in the selection of the best estimate of a measurand in a set of admissible solutions, using a priori information: on the measurand, on the measuring system coupled with an object under measurement, and on the influence of the environment including the user of the measurement results. There are two key premises of this claim: a systematic (...) interpretation of measurement in terms of inverse problems, proposed earlier by the author, and a logical link between inverse problems and abduction, identified by the Finnish philosopher of science Ilkka Niiniluoto. The title claim of this paper is illustrated with an expanded example of measuring optical spectrum by means of a low-resolution spectrometer. (shrink)

Efforts to formalize qualitative accounts of inference to the best explanation (IBE) confront two obstacles: the imprecise nature of such accounts and the unusual logical properties that explanations exhibit, such as contradiction-intolerance and irreflexivity. This paper aims to surmount these challenges by utilising a new, more precise theory that treats explanations as expressions that codify defeasible inferences. To formalise this account, we provide a sequent calculus in which IBE serves as an elimination rule for a connective that exhibits many of (...) the properties associated with the behaviour of the English expression ‘That... best explains why ... ’. We first construct a calculus that encodes these properties at the level of the turnstile, i.e. as a metalinguistic expression for classes of defeasible consequence relations. We then show how this calculus can be conservatively extended over a language that contains a best-explains-why operator. (shrink)

Abductive problems and their solutions are presented by means of justification logic. We introduce additional meta-constructions in order to generate and compare different solutions to the same abductive problem. Our approach has three advantages: (i) it makes structurally explicit the solution to an abductive problem (as it has a syntactic nature); (ii) it gives a precise meaning to the notion of evidence; (iii) it provides clear definitions and procedures for the comparison of solutions that can be adapted to different needs.

This paper presents a dual intention model (DIM) of demonstrations as actions to show the agentive nature of demonstrations. According to the DIM, demonstrations are complex actions that contain as components at least three elements: an abductive intention, a deictic intention, and a basic ostensive act of indication. This paper unpacks these three components and discusses their roles from the viewpoint of the philosophy of action and the philosophy of language. It also shows how the DIM applies in selected practical (...) examples and explains the merits of the model in the context of other views on demonstrations and demonstratives. (shrink)

This article generalizes the explanationist account of inference to the best explanation. It draws a clear distinction between IBE and abduction and presents abduction as the first step of IBE. The second step amounts to the evaluation of explanatory power, which consist in the degree of explanatory virtues that a hypothesis exhibits. Moreover, even though coherence is the most often cited explanatory virtue, on pain of circularity, it should not be treated as one of the explanatory virtues. Rather, coherence should (...) be equated with explanatory power and considered to be derivable from the other explanatory virtues: unification, explanatory depth and simplicity. (shrink)

The frame model was developed in cognitive psychology and imported into the philosophy of science in order to provide representations of scientific concepts and conceptual taxonomies. The aim of this article is to show that beside the representation of scientific concepts the frame model is an efficient instrument to represent and analyze scientific theories. That is, we aim to establish the frame model as a representation tool for the structure of theories within the philosophy of science. For this, we will (...) develop the notion of a theory frame and distinguish between theory frames for qualitative theories in which scientific measurement is based on nominal scales and theory frames for quantitative theories in which measurement is based on ratio scales. In three case studies, we will apply frames to a psychological, a linguistic, and a physical theory, thereby showing that the frame model is a powerful and intuitively accessible instrument to analyze the laws of scientific theories, the determination of theoretical concepts, the explanatory role of theoretical concepts, the abductive introduction of a new theoretical concept, the distinction between the core and the periphery of a theory, the diachronic development of a theory, and the distinction between qualitative and quantitative scientific concepts. Finally, we will provide a comparison to the structuralist view of theories, one of the most elaborated and applied models of theory representation. (shrink)

According to a seminal paper by Barsalou , frames are attribute-value-matrices for representing exemplars or concepts. Frames have been used as a tool for reconstructing scientific concepts as well as conceptual change within scientific revolutions . In the frame-based representations of scientific concepts developed so far the semantic content of concepts is determined by a set of attribute-specific values. This way of representing semantic content works best for prototype concepts and defined concepts of a conceptual taxonomy satisfying the no-overlap principle. (...) In addition to the semantic content of prototype concepts and defined concepts, frames can also contain empirical knowledge that is represented as constraints between the values of the frame. Beside prototype concepts and defined concepts, theoretical concepts that are multiply operationalized play an important role in science. However, so far no frame-based representation of theoretical concepts has been proposed. In this paper, it will be shown that theoretical concepts can be represented by frames and that frame-based representations of prototype concepts and defined concepts have another structure than frame-based representations of theoretical concepts. In order to explicate this difference, we will develop a frame-based method for representing all three kinds of concepts by means of mathematical graph-theory. One important consequence will be that the constraints of a frame representing a theoretical concept are entailed by the structure of the frame, as opposed to a frame representing defined or prototype concepts. (shrink)

Among the many problems posed by Peirce's concept of abduction is how to determine the scope of this form of inference, and how to distinguish different types of abduction. This problem can be illustrated by taking a look at one of his best known definitions of the term:Abduction is the process of forming an explanatory hypothesis. It is the only logical operation which introduces any new idea; for induction does nothing but determine a value, and deduction merely evolves the necessary (...) consequences of a pure hypothesis.The second half of this quote is not part of the definition, but an explanation of it. However, it adds something to this definition because it says implicitly that there are only three logical.. (shrink)

Machine learning systems have shown great potential for performing or supporting inferential reasoning through analyzing large data sets, thereby potentially facilitating more informed decision-making. However, a hindrance to such use of ML systems is that the predictive models created through ML are often complex, opaque, and poorly understood, even if the programs “learning” the models are simple, transparent, and well understood. ML models become difficult to trust, since lay-people, specialists, and even researchers have difficulties gauging the reasonableness, correctness, and reliability (...) of the inferences performed. In this article, we argue that bridging this gap in the understanding of ML models and their reasonableness requires a focus on developing an improved methodology for their creation. This process has been likened to “alchemy” and criticized for involving a large degree of “black art,” owing to its reliance on poorly understood “best practices”. We soften this critique and argue that the seeming arbitrariness often is the result of a lack of explicit hypothesizing stemming from an empiricist and myopic focus on optimizing for predictive performance rather than from an occult or mystical process. We present some of the problems resulting from the excessive focus on optimizing generalization performance at the cost of hypothesizing about the selection of data and biases. We suggest embedding ML in a general logic of scientific discovery similar to the one presented by Charles Sanders Peirce, and present a recontextualized version of Peirce’s scientific hypothesis adjusted to ML. (shrink)

In a discussion of Sherlock Holmes’ “science of deduction” and the related “method of exclusion,” I show that Holmes’ claim that his inferences are deductive makes sense, if we consider his theoretical presuppositions. So, it is more accurate to say that he tries to reduce abduction to deduction than that he confuses them. His theoretical framework, albeit inadequate as a theory of empirical reasoning, can be seen as a basic model of classical (symbolic) AI. The main problems of this approach (...) are surveyed, and abduction is brought into play as both a better characterization of Holmes’ inferences and a better guide for building AI systems. This is a good background for raising the question of creativity because, according to Peirce, it relates to abduction in a substantial way. Is Sherlock Holmes creative? Can machines be creative? An affirmative answer to the second question might be given by a “logic of discovery” but the problem remains that inventing such a logic already presupposes creativity. (shrink)

Schurz (Synthese 164:201–234, 2008) proposed a justification of creative abduction on the basis of the Reichenbachian principle of the common cause. In this paper we take up the idea of combining creative abduction with causal principles and model instances of successful creative abduction within a Bayes net framework. We identify necessary conditions for such inferences and investigate their unificatory power. We also sketch several interesting applications of modeling creative abduction Bayesian style. In particular, we discuss use-novel predictions, confirmation, and the (...) problem of underdetermination in the context of abductive inferences. (shrink)

In this paper I reconstruct and evaluate the validity of two versions of causal exclusion arguments within the theory of causal Bayes nets. I argue that supervenience relations formally behave like causal relations. If this is correct, then it turns out that both versions of the exclusion argument are valid when assuming the causal Markov condition and the causal minimality condition. I also investigate some consequences for the recent discussion of causal exclusion arguments in the light of an interventionist theory (...) of causation such as Woodward's (2003) and discuss a possible objection to my causal Bayes net reconstruction. (shrink)

This paper addresses the question of how scientists determine which type of hypothesis is most suitable for tackling a particular problem by examining the historical case of the anomalous β spectrum in early nuclear physics, a puzzle that occasioned the most diverse hypotheses amongst physicists at the time. It is shown that such determinations are most often implicitly informed by scientists' individual perspectives on the structural relations between the various elements of the theory and the problem at hand. In addition (...) to this main result, it is suggested that Wolfgang Pauli's neutrino idea may well have been an adaptation of Ernst Rutherford's original and older neutron idea, which would provide evidence that the adaptation of older ideas is a more common practice than is often thought. (shrink)

Scientists confronted with multiple explanatory hypotheses as a result of their abductive inferences, generally want to reason further on the different hypotheses one by one. This paper presents a modal adaptive logic MLA s that enables us to model abduction in such a way that the different explanatory hypotheses can be derived individually. This modelling is illustrated with a case study on the different hypotheses on the origin of the Moon.

_Abduction of generalizations_ is the process in which explanatory hypotheses are formed for an observed, yet puzzling generalization such as ``pineapples taste sweet" or ``rainbows appear when the sun breaks through the rain". This phenomenon has received little attention in formal logic and philosophy of science. The current paper remedies this lacuna by first giving an overview of some general characteristics of this process, elaborating on its ubiquity in scientific and daily life reasoning. Second, the adaptive logic $\LAG$ is presented (...) to explicate this process formally. (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)

Certain hypotheses cannot be directly confirmed for theoretical, practical, or moral reasons. For some of these hypotheses, however, there might be a workaround: confirmation based on analogical reasoning. In this paper we take up Dardashti, Hartmann, Thébault, and Winsberg’s (in press) idea of analyzing confirmation based on analogical inference Baysian style. We identify three types of confirmation by analogy and show that Dardashti et al.’s approach can cover two of them. We then highlight possible problems with their model as a (...) general approach to analogical inference and argue that these problems can be avoided by supplementing Bayesian update with Jeffrey conditionalization. (shrink)