This book examines the philosophical conception of abductive reasoning as developed by Charles S. Peirce, the founder of American pragmatism. It explores the historical and systematic connections of Peirce's original ideas and debates about their interpretations. Abduction is understood in a broad sense which covers the discovery and pursuit of hypotheses and inference to the best explanation. The analysis presents fresh insights into this notion of reasoning, which derives from effects to causes or from surprising observations to explanatory theories. The (...) author outlines some logical and AI approaches to abduction as well as studies various kinds of inverse problems in astronomy, physics, medicine, biology, and human sciences to provide examples of retroductions and abductions. The discussion covers also everyday examples with the implication of this notion in detective stories, one of Peirce’s own favorite themes. The author uses Bayesian probabilities to argue that explanatory abduction is a method of confirmation. He uses his own account of truth approximation to reformulate abduction as inference which leads to the truthlikeness of its conclusion. This allows a powerful abductive defense of scientific realism. This up-to-date survey and defense of the Peircean view of abduction may very well help researchers, students, and philosophers better understand the logic of truth-seeking. (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)

I argue against the tendency in the philosophy of science literature to link abduction to the inference to the best explanation (IBE), and in particular, to claim that Peireean abduction is a conceptual predecessor to IBE. This is not to discount either abduction or IBE. Rather the purpose of this paper is to clarify the relation between Peireean abduction and IBE in accounting for ampliative inference in science. This paper aims at a proper classification—not justification—of types of scientific reasoning. In (...) particular, I claim that Peireean abduction is an in-depth account of the process of generating explanatory hypotheses, while IBE, at least in Peter Lipton's thorough treatment, is a more encompassing account of the processes both of generating and of evaluating scientific hypotheses. There is then a two-fold problem with the claim that abduction is IBE. On the one hand, it conflates abduction and induction, which are two distinct forms of logical inference, with two distinct aims, as shown by Charles S. Peirce; on the other hand it lacks a clear sense of the full scope of IBE as an account of scientific inference. (shrink)

It is undeniable that inductive reasoning has brought us much good. At least since Hume, however, philosophers have wondered how to justify our reliance on induction. In important recent work, Schurz points out that philosophers have been wrongly assuming that justifying induction is tantamount to showing induction to be reliable. According to him, to justify our reliance on induction, it is enough to show that induction is optimal. His optimality approach consists of two steps: an analytic argument for meta-induction (that (...) is, induction over inductive methods) and an application of meta-induction to empirical findings concerning the predictive accuracy of our actual inductive practices as compared to various non-inductive methods. The present article agrees with Schurz’s general conclusion but also argues that it leaves an important aspect of our inductive practices unaccounted for, to wit, that these practices have so far been highly successful; to satisfy the optimality requirement, induction only needs to be as successful as random guessing. To explain the success of induction, I turn to insights from social epistemology, also highlighted in Schurz’s work, and make these formally explicit in a framework that combines the Hegselmann–Krause model for opinion dynamics and Carnap’s system of λ rules. Within this framework, I use a standard evolutionary algorithm to show how communities of interacting agents may, through variation and selection, come to consist of highly successful inductive reasoners. (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)

This introduction consists of two parts. In the first part, the special issue editors introduce inductive metaphysics from a historical as well as from a systematic point of view and discuss what distinguishes it from other modern approaches to metaphysics. In the second part, they give a brief summary of the individual articles in this special issue.

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)

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)

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)

Most philosophers agree that abduction (in the sense of Inference to the Best Explanation) is a type of inference that is frequently employed, in some form or other, both in everyday and in scientific reasoning. However, the exact form as well as the normative status of abduction are still matters of controversy. This entry contrasts abduction with other types of inference; points at prominent uses of it, both in and outside philosophy; considers various more or less precise statements of it; (...) discusses its normative status; and highlights possible connections between abduction and Bayesian confirmation theory. (shrink)

Some New Mechanists have proposed that claims of compositional relations are justified by combining the results of top-down and bottom-up interlevel interventions. But what do scientists do when they can perform, say, a cellular intervention, but not a subcellular detection? In such cases, paired interlevel interventions are unavailable. We propose that scientists use abduction and we illustrate its use through a case study of the ionic theory of resting and action potentials.

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)

Enhanced indispensability arguments claim that Scientific Realists are committed to the existence of mathematical entities due to their reliance on Inference to the best explanation. Our central question concerns this purported parity of reasoning: do people who defend the EIA make an appropriate use of the resources of Scientific Realism to achieve platonism? We argue that just because a variety of different inferential strategies can be employed by Scientific Realists does not mean that ontological conclusions concerning which things we should (...) be Scientific Realists about are arrived at by any inferential route which eschews causes, and nor is there any direct pressure for Scientific Realists to change their inferential methods. We suggest that in order to maintain inferential parity with Scientific Realism, proponents of EIA need to give details about how and in what way the presence of mathematical entities directly contribute to explanations. (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)

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)

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)

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)

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)

Reverse inference is a crucial inferential strategy used in cognitive neuroscience to derive conclusions about the engagement of cognitive processes from patterns of brain activation. While widely employed in experimental studies, it is now viewed with increasing scepticism within the neuroscience community. One problem with reverse inference is that it is logically invalid, being an instance of abduction in Peirce’s sense. In this paper, we offer the first systematic analysis of reverse inference as a form of abductive reasoning and highlight (...) some relevant implications for the current debate. We start by formalising an important distinction that has been entirely neglected in the literature, namely the distinction between weak and strong reverse inference. Then, we rely on case studies from recent neuroscientific research to systematically discuss the role and limits of both strong and weak reverse inference; in particular, we offer the first exploration of weak reverse inference as a discovery strategy within cognitive neuroscience. (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)

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)

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)

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)

The present paper aims at a synthesis of belief revision theory with the Sneed formalism known as the structuralist theory of science. This synthesis is brought about by a dynamisation of classical structuralism, with an abductive inference rule and base generated revisions in the style of Rott (2001). The formalism of prioritised default logic (PDL) serves as the medium of the synthesis. Why seek to integrate the Sneed formalism into belief revision theory? With the hybrid system of the present investigation, (...) a substantial simplification of the ranking information that is necessary to define revisions and contractions uniquely is achieved. This system is, furthermore, expressive enough to capture complex and non-trivial scientific examples. It is thus closely related to a novel research area within belief revision theory which addresses the dynamics of scientific knowledge. (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)

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)

La critique de la métaphysique dans la Dialectique transcendantale de la Critique de la raison pure débouche sur la doctrine de l’usage régulateur des idées transcendantales de la raison pure. La théorie de l’usage régulateur de ces idées est relativement abstraite et demande à être clarifiée. Kant affirme que ces idées ont un usage dans les sciences empiriques. Cependant il ne spécifie pas quel usage les sciences peuvent faire de ces idées. Dans cet article je compare les caractéristiques des idées (...) transcendantales aux caractéristiques des modèles scientifiques. Ainsi la thèse principale de mon article est que la théorie kantienne de l’usage régulateur des idées est comparable à la modélisation en science. C’est ce que je nomme « l’approche modélisatrice des idées transcendantales chez Kant ». D’après cette interprétation, on trouve chez ce dernier une conception relativement élaborée de la modélisation que l’on peut comprendre comme signifiant que la métaphysique fournit aux sciences les formes les plus universelles de modèles qui peuvent être spécifiés pour des objectifs particuliers par les sciences. (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)

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.

“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)

Computer simulations are involved in numerous branches of modern science, and science would not be the same without them. Yet the question of how they can explain real-world processes remains an issue of considerable debate. In this context, a range of authors have highlighted the inferences back to the world that computer simulations allow us to draw. I will first characterize the precise relation between computer and target of a simulation that allows us to draw such inferences. I then argue (...) that in a range of scientifically interesting cases they are particular abductions and defend this claim by appeal to two case studies. (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)

We propose a logic of abduction that (i) provides an appropriate formalization of the explanatory conditional, and that (ii) captures the defeasible nature of abductive inference. For (i), we argue that explanatory conditionals are non-classical, and rely on Brian Chellas’s work on conditional logics for providing an alternative formalization of the explanatory conditional. For (ii), we make use of the adaptive logics framework for modeling defeasible reasoning. We show how our proposal allows for a more natural reading of explanatory relations, (...) and how it overcomes problems faced by other systems in the literature. (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)

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)

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)

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)

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)

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)

In this paper, we provide a re-interpretation of qualitative and quantitative modeling from a representationalist perspective. In this view, both approaches attempt to construct abstract representations of empirical relational structures. Whereas quantitative research uses variable-based models that abstract from individual cases, qualitative research favors case-based models that abstract from individual characteristics. Variable-based models are usually stated in the form of quantified sentences. This syntactic structure implies that sentences about individual cases are derived using deductive reasoning. In contrast, case-based models are (...) usually stated using context-dependent existential sentences. This syntactic structure implies that sentences about other cases are justifiable by inductive reasoning. We apply this representationalist perspective to the problems of generalization and replication. Using the analytical framework of modal logic, we argue that the modes of reasoning are often not only applied to the context that has been studied empirically, but also on a between-contexts level. Consequently, quantitative researchers mostly adhere to a top-down strategy of generalization, whereas qualitative researchers usually follow a bottom-up strategy of generalization. Depending on which strategy is employed, the role of replication attempts is very different. In deductive reasoning, replication attempts serve as empirical tests of the underlying theory. Therefore, failed replications imply a faulty theory. From an inductive perspective, however, replication attempts serve to explore the scope of the theory. Consequently, failed replications do not question the theory per se, but help to shape its boundary conditions. We conclude that quantitative research may benefit from a bottom-up generalization strategy as it is employed in most qualitative research programs. Inductive reasoning forces us to think about the boundary conditions of our theories and provides a framework for generalization beyond statistical testing. In this perspective, failed replications are just as informative as successful replications, because they help to explore the scope of our theories. (shrink)

Inference to the Best Explanation is usually employed in the Scientific Realism debates. As far as particular scientific theories are concerned, its most ready usage seems to be that of a theory of confirmation. There are however more uses of IBE, namely as an epistemological theory of testimony and as a means of categorising and justifying the sources of evidence. In this paper, I will present, develop and exemplify IBE as a theory of the quality of evidence - taking examples (...) from medicine and showing that IBE can thereby provide the epistemological underpinning and justify the criteria of grading quality of mechanistic evidence that have been recently provided in the Clarke et al. paper on how evidence of medical mechanisms is to be construed alongside population studies. (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)

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)

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)

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)