This dissertation starts with a concise overview of what philosophers of science have written about unification and its role in scientific explanation during the last 50 years to provide the reader with some background knowledge. In order to bring unification back into the picture, I have followed two strategies, resulting respectively in Parts I and II of this dissertation. In Part I the idea of unification is used to refine and enrich the dominant causalmechanist and causal-interventionist accounts of scientific explanation. (...) In this part of the dissertation I bracket the classical ideas about unification: deduction and derivation. I do grant, for the sake of argument, that explanations are causal and argue that unification is important from within this causalist perspective. In Part II I continue my strategy of digging into scientific practice to find cases of ontological unification. But here I distance myself from the dominant literature that all explanations must be causal. I will investigate whether explanatory unification is possible in non-causal explanations. Part III contains some further reflections and conclusions. I will formulate my primary results, and I will elaborate on their implications for thinking about unification and explanation. The different forms of ontological unification were quite diverse. This relates to the method I have used. Throughout this dissertation the types of unification that were discussed emerged from digging into scientific practice. This philosophy-of-science-practice approach steered me towards a pluralistic view on unification and on explanation. In this dissertation I do not try to develop a new model of explanation and compare it to existing models. The aim is to show that there are important types of explanatory practice which cannot be properly analyzed if we neglect unification as a desideratum for explanations. (shrink)

Explanations are supposed to provide us with understanding. It is common to make a distinction between genuine, scientific understanding, and the phenomenological, or ‘aha’ notion of understanding, where the former is considered epistemically relevant, the latter irrelevant. I argue that there is a variety of phenomenological understanding that does play a positive epistemic role. This phenomenological understanding involves a similarity between bodily sensations that is used as evidence for mechanistic hypotheses. As a case study, I will consider 17th and 18th (...) century research into the mechanism behind the electric eel’s power to shock. Se supone que las explicaciones nos dotan de comprensión. Es habitual hacer una distinción entre compresión cientifica, genuina, y la noción fenomenológica, o ‘ahá’, de comprensión, donde la primera se considera epistemológicamente relevante y esta última irrelevante. Argumento que hay un tipo de compresión fenomenológica que sí juega un papel positivo epistémico. Esta comprensión epistemológica conlleva cierta semejanza con las sensaciones corporales que se usan como evidencia de algunas hipótesis mecanicistas. Como caso de estudio, consideraré la investigación en los siglos xvii y xviii del mecanismo tras la capacidad de la anguila eléctrica para provocar un shock. (shrink)

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

According to the traditional requirement, formulated by William Whewell in his account of the “consilience of inductions” in 1840, a scientific hypothesis should have unifying power in the sense that it explains and predicts several mutually independent phenomena. Variants of this notion of consilience or unification include deductive, inductive, and approximate systematization. Inference from surprising phenomena to their theoretical explanations was called abduction by Charles Peirce. As a unifying theory is independently testable by new kinds of phenomena, it should also (...) receive confirmation from its empirical success. The study of the prospects of probabilistic Bayesianism to motivate this kind of criterion for abductive confirmation is shown to lead to two quite distinct conceptions of unification. (shrink)

In this article I argue that there are two different types of understanding: the understanding we get from explanations, and the understanding we get from unification. This claim is defended by first showing that explanation and unification are not as closely related as has sometimes been thought. A critical appraisal of recent proposals for understanding without explanation leads us to discuss the example of a purely classificatory biology: it turns out that such a science can give us understanding of the (...) world through unification of the phenomena, even though it does not give us any explanations. The two types of understanding identified in this paper, while strictly separate, do have in common that both consist in seeing how the individual phenomena of the universe hang together. Explanations give us connections between the phenomena through the asymmetric, ‘vertical’ relation of determination; unifications give us connections through the symmetric, ‘horizontal’ relation of kinship. We then arrive at a general definition of understanding as knowledge of connections between the phenomena, and indicate that there might be more than two types of understanding. (shrink)

In this paper, I propose that the debate in epistemology concerning the nature and value of understanding can shed light on the role of scientific idealizations in producing scientific understanding. In philosophy of science, the received view seems to be that understanding is a species of knowledge. On this view, understanding is factive just as knowledge is, i.e., if S knows that p, then p is true. Epistemologists, however, distinguish between different kinds of understanding. Among epistemologists, there are those who (...) think that a certain kind of understanding—objectual understanding—is not factive, and those who think that objectual understanding is quasi-factive. Those who think that understanding is not factive argue that scientific idealizations constitute cognitive success, which we then consider as instances of understanding, and yet they are not true. This paper is an attempt to draw lessons from this debate as they pertain to the role of idealizations in producing scientific understanding. I argue that scientific understanding is quasi-factive. (shrink)

Knowledge of many facts does not amount to understanding unless one also has a sense of how the facts fit together. This aspect of coherence among scientific observations and theories is usually overlooked in summaries of scientific method, since the emphasis is on justification and verification rather than on understanding. I argue that the inter-theoretic coherence, as the hallmark of understanding, is an essential and informative component of any accurate description of science.

In this book, I present the results of an investigation which began with an extended stay at Oxford's Balliol College during the first half of 1995. My visit to Oxford was made possible by a grant from the Spanish Ministerio de Educaci6n y Ciencia. My sincere thanks go to Joseph Raz who served as my supervisor in Oxford. For several points of the present study, conversations with Timothy Endicott in Oxford were also of great help. The book is part of (...) a larger project of investigation, directed by Albert Calsami glia, which is a joint effort of a group of legal philosophers from the Universitat Pom peu Fabra and the Universitat de Girona, and which also receives financial support from the Spanish Ministerio de Educaci6n y Ciencia. An earlier version of the manuscript was presented in June 1996 to the selection committee for a tenured professorship in Legal Philosophy at the Universitat de Girona. The members of the committee were Francisco Laporta, Albert Calsamiglia, Gregorio Peces-Barba, Camilo J. Cela Conde, and Francesca Puigpelat. I am grateful to all of them for their comments, which have been extremely useful in preparing the final ver sion of this book. (shrink)

Criteria of empirical significance are supposed to state conditions under which reference to an unobservable object or property is “empirically meaningful.” The intended kind of empirical meaningfulness should be necessary for admissibility into the selective contexts of scientific inquiry. I defend Justus’s recent argument that the reasons generally given for rejecting the project of defining a significance criterion are unpersuasive. However, as I show, this project remains wedded to an overly narrow conception of its subject matter. Even the most cutting (...) edge significance criteria identify empirical significance with predictive power, and thereby rule out vocabulary with legitimate scientific functions. In a nutshell, the problem is that there are terms that reduce the computational burden of extracting predictions from theory, and that may therefore be scientifically useful, but that do not add to the theory’s observational consequences, and so are ruled scientifically inadmissibility by existing significance criteria. I spell out this objection by specifying shortcut terms that are ruled inadmissible by Creath’s and Schurz’s criteria. Having objected in this way to extant criteria, and to the equation of empirical significance with predictive power in general, I discuss an approach to defining empirical significance that is capable of avoiding my objection and, more ambitiously, that may break the cycle of “punctures and patches” that has plagued the project from the beginning. I gloss Goldfarb and Ricketts’s idea of “case-by-case” delineations of empirically significant terms as the provision of special rather than general explications of the informal concept of empirical significance. (shrink)

Criteria of empirical significance are supposed to state conditions under which reference to an unobservable object or property is “empirically meaningful”. The intended kind of empirical meaningfulness should be necessary for admissibility into the selective contexts of scientific inquiry. I defend Justus’s recent argument that the reasons generally given for rejecting the project of defining a significance criterion are unpersuasive. However, as I show, this project remains wedded to an overly narrow conception of its subject matter. Even the most cutting (...) edge significance criteria identify empirical significance with predictive power, and thereby rule out vocabulary with legitimate scientific functions. In a nutshell, the problem is that there are terms that reduce the computational burden of extracting predictions from theory, and that may therefore be scientifically useful, but that do not produce any additional predictions, and so are ruled scientifically inadmissibility by existing significance criteria. I spell out this objection by specifying terms of this kind that are ruled inadmissible by Creath’s and Schurz’s criteria. Having objected in this way to extant criteria, and to the equation of empirical significance with predictive power in general, I discuss an approach to defining empirical significance that is capable of avoiding my objection and, more ambitiously, that may break the cycle of “punctures and patches” that has plagued the project from the beginning: I gloss Goldfarb and Ricketts’s idea of “case-by-case” delineations of empirically significant terms as the provision of special rather than general explications of the informal concept of empirical significance. (shrink)

In this paper, the contributions to the account of meta-induction (Schurz 2019) collected in this volume are critically discussed and thereby, new insights are developed. How broad and expandable the program of meta-induction is can be learned from Ortner’s contribution. New insights about the transition from the a priori justification of meta-induction to the a posteriori justification of object-induction emerge from the reflection of Shogenji’s paper. How meta-induction may be applied also to religious prophecies and that their meta-inductive justification does (...) not fail for a priori reasons but because of missing evidence for predictive success is learned from the discussion of Pitts’ contribution. That meta-induction does not rely on a particular prior distribution, while the no free lunch theorem depends implicitly on a uniform prior, is the major conclusion drawn from the discussion of Wolpert’s article. How the problem of induction is treated in different versions of the Bayesian account is learned from the discussion of Willliamson’s paper. That meta-induction can also be employed for abduction, and that abductive theory-revision can offer meta-inductive aggregation methods is a new insight emerging from the reflection of Aliseda’s contribution. (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)

There is a strong tendency in science to opt for simpler and more unified hypotheses. A view that has often been voiced is that such qualities, though aesthetically pleasing or beautiful, are at best pragmatic considerations in matters of choosing between rival hypotheses. This essay offers a novel conception and an associated measure of unification, both of which are manifestly more than just pragmatic considerations. The discussion commences with a brief survey of some failed attempts to conceptualise unification. It then (...) proceeds to an analysis of the notions of confirmational connectedness and disconnectedness, as these are essential ingredients in the proposed conception of unification and its associated measure. Roughly speaking, the notions attempt to capture the way support flows or fails to flow between the content parts of a hypothesis. Equally roughly, the more the content of a hypothesis is confirmationally connected, i.e. support flows between its content parts, the more that content is unified. Since the confirmational connectedness of two content parts is determined by purely objective matters of fact, the proposed notion and measure of unification are themselves strictly objective, i.e. not merely pragmatic. The essay concludes with a discussion of how the proposed measure handles several examples but also how it relates to the debate over measures of coherence.En la ciencia hay una marcada tendencia a preferir las hipotesis mas simples y unificadas. Una opinion mantenida a menudo es que tales cualidades, aun siendo atractivas o esteticamente satisfactorias, constituyen consideraciones pragmaticas, a lo sumo, en el asunto de la eleccion entre teorias rivales. Este ensayo ofrece una concepcion novedosa de unificacion y una medida asociada a ella, ambas claramente algo mas que meras consideraciones pragmaticas. La discusion comienza con un breve repaso de algunos intentos fallidos de conceptualizar la unificacion. Despues se analizan las nociones de conexion y desconexion confirmacional, componentes esenciales en la nocion de unificacion y la medida asociada que aqui se proponen. Dicho brevemente, esas nociones pretenden captar el modo en que el apoyo discurre o no entre las partes del contenido de las hipotesis. Simplificando, cuanto mas conectado confirmacionalmente esta el contenido de una hipotesis, mas unificado esta. Dado que la conectividad confirmacional de dos partes del contenido esta determinada por cuestiones de hecho objetivas, la nocion y la medida que propongo son tambien estrictamente objetivas, esto es, su valor no es meramente pragmatico. El ensayo concluye con una discusion sobre como la medida propuesta afronta diversos ejemplos y sobre su relacion con el debate sobre las diferentes medidas de coherencia. (shrink)

This is a response to the papers in the special issue Logical Perspectives on Science and Cognition—The Philosophy of Gerhard Schurz.

This paper presents an outline of a new theory of relevant deduction which arose from the purpose of solving paradoxes in various fields of analytic philosophy. In distinction to relevance logics, this approach does not replace classical logic by a new one, but distinguishes between relevance and validity. It is argued that irrelevant arguments are, although formally valid, nonsensical and even harmful in practical applications. The basic idea is this: a valid deduction is relevant iff no subformula of the conclusion (...) is replaceable on some of its occurrences by any other formula salva validitate of the deduction. The paper first motivates the approach by showing that four paradoxes seemingly very distant from each other have a common source. Then the exact definition of relevant deduction is given and its logical properties are investigated. An extension to relevance of premises is discussed. Finally the paper presents an overview of its applications in philosophy of science, ethics, cognitive psychology and artificial intelligence. (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)

This paper provides a sorely-needed evaluation of the view that mathematical explanations in science explain by unifying. Illustrating with some novel examples, I argue that the view is misguided. For believers in mathematical explanations in science, my discussion rules out one way of spelling out how they work, bringing us one step closer to the right way. For non-believers, it contributes to a divide-and-conquer strategy for showing that there are no such explanations in science. My discussion also undermines the appeal (...) to unifying power in support of the enhanced indispensability argument. (shrink)

Philosophers of science have by and large neglected technology. In this book, I have tried to do something about this lacuna by analyzing a few aspects of technical artifacts from a philosophical angle. The project was part of the research program "The Dual Nature of Technical Artifacts" based at Delft University of Technology in the Netherlands. Technical artifacts are both plain physical objects and objects that have been purposefully made for a purpose; which is to say they have a physical (...) structure and a technical function. As a result, they belong equally in a purely physical conceptualisation of the world "in which human intentions and goals seem to have no place" and in an intentional conceptualisation, which is used to describe and understand people and their mental lives. My main goal was to find out how these two philosophically very different aspects of artifacts are related to one another. To achieve this goal, I looked at two contexts in which these aspects are regularly brought together in a systematic fashion. First, the context of design; design can be characterized as a transition from a desired function or goal to a physical structure. In particular, I have studied and analyzed the role of functional decomposition in design processes. The second context is the explanation of how artifacts are able to fulfill their technical function in virtue of their specific physical structure. The result of this part of the project is a general account of such explanations. (shrink)