Explanation

[EDIT: This book will be published open access. Check back around April 2024 to access the entire book.] One central aim of science is to provide explanations of natural phenomena. What role(s) does mathematics play in achieving this aim? How does mathematics contribute to the explanatory power of science? Rules to Infinity defends the thesis, common though perhaps inchoate among many members of the Vienna Circle, that mathematics contributes to the explanatory power of science by expressing conceptual rules, rules which (...) allow the transformation of empirical descriptions. Mathematics should not be thought of as describing, in any substantive sense, an abstract realm of eternal mathematical objects, as traditional platonists have thought. In Rules to Infinity, this view, which I call mathematical normativism, is updated with contemporary philosophical tools, and it is argued that normativism is compatible with mainstream semantic theory. This allows the normativist to accept that there are mathematical truths, while resisting the platonistic idea that there exist abstract mathematical objects that explain such truths. Furthermore, Rules to Infinity defends a particular account of the distinction between scientific explanations that are in some sense distinctively mathematical – those that explain natural phenomena in some uniquely mathematical way – and those that are only standardly mathematical, and it lays out desiderata for any account of this distinction. Normativism is compared with other prominent views in the philosophy of mathematics such as neo-Fregeanism, fictionalism, conventionalism, and structuralism. Rules to Infinity serves as an entry point into debates at the forefront of philosophy of science and mathematics, and it defends novel positions in these debates. (shrink)

The main aim of this paper is to evaluate the evolution of Accident Causation Models (ACMs) from the perspective of philosophy of science. I use insights from philosophy of science to provide an epistemological analysis of the ways in which engineering scientists judge the value of different types of ACMs and to offer normative reflection on these judgements. I review three widespread ACMs and clarify their epistemic value: sequential models, epidemiological models, and systemic models. I first consider how they produce (...) and ensure safety (‘usefulness’) relative to each other. This is evaluated in terms of the ability of models to afford a larger set of relevant counterfactual inferences. I take relevant inferences to be ones that provide safety (re)design information or suggest countermeasures (safety-design-interventions). I argue that systemic models are superior at providing said safety information. They achieve this, in part, by representing non-linear causal relationships. The second issue is whether we should retire linear and epidemiological models. I argue negatively. If the goal is to assign blame, linear models are better candidates. The reason is that they can provide semantic simplicity. Similarly, epidemiological models are better suited for the goal of audience communication because they can provide cognitive salience. (shrink)

I introduce an argument for Platonism based on intra-mathematical explanation: the explanation of one mathematical fact by another. The argument is important for two reasons. First, if the argument succeeds then it provides a basis for Platonism that does not proceed via standard indispensability considerations. Second, if the argument fails it can only do so for one of three reasons: either because there are no intra-mathematical explanations, or because not all explanations are backed by dependence relations, or because some form (...) of noneism-the view according to which non-existent entities possess properties and stand in relations-is true. The argument thus forces a choice between nominalism without noneism, intra-mathematical explanation and a backing conception of explanation. You can have any two, but not all three. (shrink)

Modern life sciences research is increasingly relying on artificial intelligence (AI) approaches to model biological systems, primarily centered around the use of machine learning (ML) models. Although ML is undeniably useful for identifying patterns in large, complex data sets, its widespread application in biological sciences represents a significant deviation from traditional methods of scientific inquiry. As such, the interplay between these models and scientific understanding in biology is a topic with important implications for the future of scientific research, yet it (...) is a subject that has received little attention. Here, we draw from an epistemological toolkit to contextualize recent applications of ML in biological sciences under modern philosophical theories of understanding, identifying general principles that can guide the design and application of ML systems to model biological phenomena and advance scientific knowledge. We propose that conceptions of scientific understanding as information compression, qualitative intelligibility, and dependency relation modelling provide a useful framework for interpreting ML-mediated understanding of biological systems. Through a detailed analysis of two key application areas of ML in modern biological research – protein structure prediction and single cell RNA-sequencing – we explore how these features have thus far enabled ML systems to advance scientific understanding of their target phenomena, how they may guide the development of future ML models, and the key obstacles that remain in preventing ML from achieving its potential as a tool for biological discovery. Consideration of the epistemological features of ML applications in biology will improve the prospects of these methods to solve important problems and advance scientific understanding of living systems. (shrink)

The ontic conception of explanation is predicated on the proposition that “explanation is a relation between real objects in the world” and hence, according to this approach, scientific explanation cannot take place absent such a premise. Despite the fact that critics have emphasized several drawbacks of the ontic conception, as for example its inability to address the so-called “abstract explanations”, the debate is not settled and the ontic view can claim to capture cases of explanation that are non-abstract, such as (...) causal relations between events. However, by eliminating the distinction between abstract and non-abstract explanations, it follows that ontic and epistemic proposals can no longer contend to capture different cases of explanation and either all are captured by the ontic view or all are captured by the epistemic view. On closer inspection, it turns out that the ontic view deals with events that fall outside the scientists’ scope of observation and that it does not accommodate common instances of explanation such as explanations from false propositions and hence it cannot establish itself as the dominant philosophical stance with respect to explanation. On the contrary, the epistemic conception does account for almost all episodes of explanation and can be described as a relation between representations, whereby the explanans transmit information to the explanandum and that this information can come, dependent on context, in the form of any of the available theories of explanation (law-like, unificatory, causal and non-causal). The range of application of the ontic view thus is severely restricted to trivial cases of explanation that come through direct observation of the events involved in an explanation and explanation is to be mostly conceived epistemically. (shrink)

It is a mistake to think that any philosophical contribution to the study of psychopathology is otiose. I identify three non-exhaustive roles that philosophy can and does occupy in the study of mental disorder, which I call the agenda-setting role, the synthetic role, and the regulative role. The three roles are illustrated via consideration of the importance of Jaspers' notion of understanding and its application to specific examples of mental disorder, including delusions of reference, Capgras delusion and other monothematic delusions, (...) and clinical depression. Together the three roles assign to philosophy of psychopathology the task of determining how to situate the varieties of mental disorder within the system of interpretive and evaluative concepts that partially make up the dynamic but indispensable manifest image. (shrink)

We argue that two well-known examples (strawberry distribution and Konigsberg bridges) generally considered genuine cases of distinctively _mathematical_ explanation can also be understood as cases of distinctively _generic_ explanation. The latter answer resemblance questions (e.g., why did neither person A nor B manage to cross all bridges) by appealing to ‘generic task laws’ instead of mathematical necessity (as is done in distinctively mathematical explanations). We submit that distinctively generic explanations derive their explanatory force from their role in ontological unification. Additionally, (...) we argue that distinctively generic explanations are better seen as standardly mathematical instead of distinctively mathematical. Finally, we compare and contrast our proposal with the work of Christopher Pincock on abstract explanations in science and the views of Michael Strevens on abstract causal event explanations. (shrink)

In this article I examine several related views expressed by Robin Hendry concerning molecular structure, emergence and chemical bonding. There is a long-standing problem in the philosophy of chemistry arising from the fact that molecular structure cannot be strictly derived from quantum mechanics. Two or more compounds which share a molecular formula, but which differ with respect to their structures, have identical Hamiltonian operators within the quantum mechanical formalism. As a consequence, the properties of all such isomers yield precisely the (...) same calculated quantities such as their energies, dipole moments etc. The only means through which the difference between the isomers can be recovered is to build their structures into the quantum mechanical calculations, something that is carried out by the application of the Born-Oppenheimer approximation. Consequently, it has been argued by many authors that molecular structure is written in ‘by hand’ rather than derived. Robin Hendry is one such author, but he goes a great deal further by proposing that this situation implies the existence of emergence and downward causation. In the current article I argue that there are alternative explanations which render emergence and downward causation redundant. Such an alternative lies in the notion of quantum decoherence and the appeal to work in the foundations of physics, which posits that the various isomers exist as a superposition until their wavefunctions are collapsed either by observation or by interacting with their environment. Hendry also alludes to a debate among chemists as to whether chemical bonds are real or not, in the sense of directional connections between two or more nuclei in any given molecule. I reject this view and propose that the structural and energetic views of chemical bonding, that have been discussed by some philosophers of chemistry including Hendry, do not refer to any essential ontological differences. I agree that chemists view bonding in a more realistic fashion and may consider bonds to be in some senses real, while physicists may consider bonding in more abstract energetic terms. However, I do not believe that such differences in scientific practice and attitudes should be considered to offer a window as to the ontological status of bonding or whether bonding is real. Finally, I discuss the kinetic energy school of chemical bonding which would seem to challenge any notion of bonds as directional entities, since bonding is no longer regarded as being primarily due to the build-up of electron density between nuclei. (shrink)

It is well-known that the global structure of every space-time model for relativistic cosmology is observationally underdetermined. In order to alleviate the severity of this underdetermination, it has been proposed that we adopt the Cosmological Principle because the Principle restricts our attention to a distinguished class of space-time models (spatially homogeneous and isotropic models). I argue that, even assuming the Cosmological Principle, the topology of space remains observationally underdetermined. Nonetheless, I argue that we can muster reasons to prefer various topological (...) properties over others. In particular, I favor the adoption of multiply connected universe models on grounds of (i) simplicity, (ii) Machian considerations, and (iii) explanatory power. We are able to appeal to such grounds because multiply connected topologies open up the possibility of finite universe models (consistent with our best data), which in turn avoid thorny issues concerning the postulation of an actually infinite universe. (shrink)

The role of evolutionary theory at the origin of life is an extensively debated topic. The origin and early development of life is usually separated into a prebiotic phase and a protocellular phase, ultimately leading to the Last Universal Common Ancestor. Most likely, the Last Universal Common Ancestor was subject to Darwinian evolution, but the question remains to what extent Darwinian evolution applies to the prebiotic and protocellular phases. In this review, we reflect on the current status of evolutionary theory (...) in origins of life research by bringing together philosophy of science, evolutionary biology, and empirical research in the origins field. We explore the various ways in which evolutionary theory has been extended beyond biology; we look at how these extensions apply to the prebiotic development of (proto)metabolism; and we investigate how the terminology from evolutionary theory is currently being employed in state-of-the-art origins of life research. In doing so, we identify some of the current obstacles to an evolutionary account of the origins of life, as well as open up new avenues of research. (shrink)

This paper studies the epistemic failures to reach understanding in relation to scientific explanations. We make a distinction between genuine understanding and its negative phenomena—lack of understanding and misunderstanding. We define explanatory understanding as inclusive as possible, as the epistemic success that depends on abilities, skills, and correct explanations. This success, we add, is often supplemented by specific positive phenomenology which plays a part in forming epistemic inclinations—tendencies to receive an insight from familiar types of explanations. We define lack of (...) understanding as the epistemic failure that results from a lack of an explanation or from an incorrect one. This can occur due to insufficient abilities and skills, or to fallacious explanatory information. Finally, we characterize misunderstanding by cases where one’s epistemic inclinations do not align with an otherwise correct explanation. We suggest that it leads to potential debates about the explanatory power of different explanatory strategies. We further illustrate this idea with a short meta-philosophical study on the current debates about distinctively mathematical explanations. (shrink)

This essay discusses Peter Langland-Hassan's approach to "explaining imagination" as it plays out in his recent book of that title. Langland-Hassan offers a theory of “attitude imagining” that avoids positing what he calls a “sui generis cognitive attitude.” This theory attempts to explain things like pretend play, hypothetical reasoning, and cognition of fiction; to explain them using only (what he calls) more “basic” mental states like beliefs and desires; and thus to explain them without positing a distinct cognitive attitude of (...) imagining, as many theorists do (including me). In other words, “attitude imagining,” for Langland-Hassan, is whatever explains those things (except for a distinct cognitive attitude of imagining itself). Despite the theoretical interest of this approach, I argue it is ontologically pennywise and pound foolish: for a slight savings in ontological complexity it dramatically reduces explanatory power. (shrink)

Le « contexte » est un concept qui, même réduit à la portion congrue dans le cadre de l’individualisme méthodologique, joue un rôle dans beaucoup d’explications sociologiques. Il est avancé quatre arguments : 1° « individu-en-contexte » est forgé sur le modèle « figure-sur-fond » de la Gestaltpsychologie dont le holisme est incompatible avec les paradigmes individualistes ; 2° contrairement au « fond » de la Gestalt, le « contexte » des sociologues est indéfini quant à l’échelle, quant aux limites (...) et quant au contenu ; c’est pourquoi il ne peut être en position de sujet causal d’une expression bien formée : seuls les individus sont capables d’action ; 3° dans ses aspects objectifs, le contexte est réductible au réseau social de l’individu ; 4° dans ses aspects subjectifs, le contexte est réductible à une croyance de l’individu. La sociologie des sciences fournit l’exemple d’une telle redéfinition spontanée : l’action des chercheurs a d’abord été référée à la « communauté scientifique », puis aux « communautés auto-régulées », aux « sous-communautés spécialisées », aux « collèges invisibles » et enfin aux « réseaux de collaboration scientifique ». Dernier de ces remaniements, le réseau de collaboration permet de reconstruire plus finement la perception qu’un chercheur se fait de sa discipline et contribue à expliquer sa productivité scientifique. Du point de vue de l’individualisme structural, il n’est pas indispensable de maintenir le concept de contexte sinon comme fiction ou façon de parler : les usages explicatifs sont illégitimes ; l’usage référentiel peut être évité en remplaçant contexte par croyance et réseau social. (shrink)

Proportionality—the idea that causes are neither too general nor too specific for their effects—seems to recommend implausibly disjunctive causes (McGrath, 1998 ; Shapiro & Sober, 2012 ; Franklin-Hall, 2016 ). I argue that this problem should be avoided by appeal to the notion of cohesion. I propose an account of cohesion in terms of the similarity structure of property-spaces, argue that it is not objectionably mysterious, and that alternative approaches—based on naturalness, interventionism, and contrastivism—are inadequate without appeal to it. In (...) an appendix, I show how my proposal can be perspicuously formalized by adapting structural equation models. (shrink)

Epistemic pluralists in the philosophy of science often argue that different epistemic perspectives in science are equally warranted. Sandra Mitchell – with her Integrative Pluralism (IP) – has notably advocated for this kind of epistemic pluralism. A problem arises for Mitchell however because she also wants to be an epistemological pluralist. She claims that, not only are different epistemic perspectives in science equally warranted in different contexts, but different understandings of these epistemic perspectives in science are also equally warranted in (...) different contexts. The problem is that Mitchell argues that her understanding of epistemic perspectives in science (IP) is the correct one, and it is dilemmic to then claim that there is more than one such understanding. As solution, I suggest that we abandon epistemological pluralism and instead follow Feyerabend in being opportunistic pluralists. We can adopt pluralism as a short-term strategy in the pursuit of a long-term unitary goal. This unitary goal is what philosophers of understanding call objectual understanding, the kind of understanding that Integrative Pluralism tacitly aspires to anyway. (shrink)

Ross Cameron (2022) argues that metaphysical infinitists should reject the generally accepted idea that metaphysical determination relations back metaphysical explanations. Otherwise it won’t be possible for them to come up with successful explanations for the existence of dependent entities in non-wellfounded chains of dependence. I argue that his argument suffers from what he calls the finitist dogma, although indirectly so. However, there is a better way of motivating Cameron’s conclusion. Assuming Cameron’s principle of Essence, explanations for the existence of dependent (...) entities turn out to be circular if determination relations back explanations. This latter argument provides a stronger case as it puts the foundationalist under significant pressure, besides putting the infinitist under some pressure, to deny the idea that determination relations back explanations. (shrink)

According to new mechanists, mechanisms explain how specific biological phenomena are produced. New mechanists have had little to say about how mechanisms relate to the organism in which they reside. A key feature of organisms, emphasized by the autonomy tradition, is that organisms maintain themselves. To do this, they rely on mechanisms. But mechanisms must be controlled so that they produce the phenomena for which they are responsible when and in the manner needed by the organism. To account for how (...) they are controlled, we characterize mechanisms as sets of constraints on the flow of free energy. Some constraints are flexible and can be acted on by other mechanisms, control mechanisms, that utilize information procured from the organism and its environment to alter the flexible constraints in other mechanisms so that they produce phenomena appropriate to the circumstances. We further show that control mechanisms in living organisms are organized heterarchically—control is carried out primarily by local controllers that integrate information they acquire as well as that which they procure from other control mechanisms. The result is not a hierarchy of control but an integrated network of control mechanisms that has been crafted over the course of evolution. (shrink)

The observational-theoretical distinction has played a central role in the philosophy of science from logical empiricism onwards. Developments within the discipline have shown that such a distinction hides two non-identical distinctions: observational vs. non-observational and theoretical vs. non-theoretical. Likewise, metatheoretical structuralism proposed a more sophisticated treatment of theoricity in terms of the operational dependence or independence of concepts from the theories in which they appear. Despite this remarkable sophistication, it is still generally accepted that the distinction between theoretical and non-theoretical (...) concepts coincides with the explanatory vs. non-explanatory and testing vs. non-testing distinctions. Ginnobili and Carman argued for the independence between theoricity and explanation. In this paper we will focus on testing and argue for its independence from both theoricity and explanation. To do so, we propose an account of theory testing based on the framework of metatheoretical structuralism and apply it to natural selection theory and cladistics. (shrink)

The chapter discusses the issue of how we may achieve knowledge of essence. It offers a critical survey of the main theories of knowledge of essence that have been proposed within contemporary debates, particularly by Lowe, Hale, Oderberg, Elder, and Kment.

I argue that ML models used in science function as highly idealized toy models. If we treat ML models as a type of highly idealized toy model, then we can deploy standard representational and epistemic strategies from the toy model literature to explain why ML models can still provide epistemic success despite their lack of similarity to their targets.

There is, among philosophers involved in the debate concerning the nature and epistemology of understanding, a general recognition that this state has a grasping component that accounts for some of its distinctive features. This paper defends the view that this component of understanding consists of a knowledge of how to use a particular explanation to account for a given phenomenon. The way in which a subject acquires this knowledge is examined and the result of this examination is shown to highlight (...) the particular contribution of the grasping component of understanding to the distinctive features of this state. (shrink)

Most psychological research aims to uncover generalizations about the mind that hold across subjects. Philosophical discussions of scientific explanation have focused on such generalizations, but in doing so, have often overlooked an important phenomenon: variation. Variation is ubiquitous in psychology and many other domains, and an important target of explanation in its own right. Here I characterize explananda that concern individual differences and formulate an account of what it takes to explain them. I argue that the notion of actual difference (...) making, the only causal concept in the literature that explicitly addresses variation, cannot be used to ground such an account. Instead, I propose a view on which explaining individual differences involves identifying causes that could be intervened on to reduce the variability in the population. This account provides criteria of success for explaining variation and deepens our understanding of causal explanation. (shrink)

Social phenomena—quite like mental states in the philosophy of mind—are often regarded as potential troublemakers from the start, particularly if they are approached with certain explanatory commitments, such as naturalism or social individualism, already in place. In this paper, we argue that such explanatory constraints should be at least initially bracketed if we are to arrive at an adequate non-biased description of social phenomena. Legitimate explanatory projects, or so we maintain, such as those of making the social world fit within (...) the natural world with the help of, e.g., collective intentionality, social individualism, and the like, should neither exclude nor influence the prior description of social phenomena. Just as we need a description of the mental that is not biased, for example, by (anti)physicalist constraints, we need a description of the social that is not biased, for example, by (anti)individualist or (anti)naturalist commitments. Descriptive social ontology, as we shall conceive of it, is not incompatible with the adoption of explanatory frameworks in social ontology; rather, the descriptive task, according to our conception, ought to be recognized as prior to the explanatory project in the order of inquiry. If social phenomena are, for example, to be reduced to nonsocial (e.g., psychological or physical) phenomena, we need first to understand clearly what the social candidates for the reduction in question are. While such descriptive or naive approaches have been influential in general metaphysics (see Fine 2017), they have so far not been prominent in analytic social ontology (though things are different outside of analytic philosophy, see esp. Reinach (1913). In what follows, we shall outline the contours of a descriptive approach by arguing, first, that description and explanation need to be distinguished as two distinct ways of engaging with social phenomena. Secondly, we defend the claim that the descriptive project ought to be regarded as prior to the explanatory project in the order of inquiry. We begin, in Section 2, by considering two different ways of engaging with mental phenomena: a descriptive approach taken by descriptive psychology and an explanatory approach utilized in analytic philosophy of mind. We take these two ways of approaching the study of the mind to be analogous to the distinction we want to draw in social ontology between a descriptive and an explanatory approach to the study of social phenomena. We consider next, in Section 3, how our approach compares to neighboring perspectives that are familiar to us from general metaphysics and philosophy more broadly, such as Aristotle’s emphasis on “saving the appearances”, Strawson’s distinction between descriptive and revisionary metaphysics, as well as Fine’s contrast between na¨ive and foundational metaphysics. In Section 4, we apply the proposed descriptive/explanatory distinction to the domain of social ontology and argue that descriptive social ontology ought to take precedence in the order of inquiry over explanatory social ontology. Finally, in Section 5, we consider and respond to several objections to which our account might seem to be susceptible. (shrink)

A conjunction of two hypotheses may provide a better explanation than either one of them individually, even if each already provides a good explanation on its own. An appropriate measure of explanatory power should reflect this, but none of the measures discussed in the literature do so because they only consider how much an explanatory hypothesis reduces our surprise at the evidence – which is problematic. This chapter introduces and defends a class of coherentist measures of explanatory power, and shows (...) that one particular such measure that combines different intuitions underlying the epistemological notion of coherence overcomes the aforementioned problems of surprise reduction measures. (shrink)

I argue that notions of relative fundamentality need to be invoked if there is to be something substantive at stake in the debate between proponents of Harvey Brown's dynamical approach to relativity and defenders of a more traditional interpretation of spacetime. I will review some problems that stand in the way of the advocate of the dynamical approach making good on their claim that dynamical symmetries are more fundamental than spacetime symmetries.

No presente trabalho apresentamos e traduzimos o texto “O Perigo da confirmação não-empírica", de Carlo Rovelli, cosmólogo italiano, um dos proponentes da gravitação quântica em loop. Trata-se do texto apresentado por Rovelli em 2015 durante o chamado “Debate de Munich” sobre o problema da base empírica do método científico. Rovelli analisa – e se contrapõe – à proposta do filósofo da ciência Richard Dawid, que em String Theory and the Scientific Method, defende que teorias científicas podem ser avaliadas, aceitas e (...) defendidas a partir de critérios não-empíricos. Rovelli, a despeito de concordar com Dawid quanto a importância histórica dos argumentos não-empíricos no desenvolvimento de teorias físicas, sustenta que a confirmação empírica deve permanecer sendo considerada indispensável para a prática científica e o sucesso cumulativo da ciência. (shrink)

This paper presents a novel argument against one theoretically attractive form of panpsychism. I argue that “idealist panpsychism” is false since it cannot account for spacetime’s structure. Idealist panpsychists posit that fundamental reality is purely experiential. Moreover, they posit that the consciousness at the fundamental level metaphysically grounds and explains both the facts of physics and the facts of human consciousness. I argue that if idealist panpsychism is true, human consciousness and the consciousness at the fundamental level will have the (...) same metrical structure. However, as I demonstrate, human consciousness does not exhibit the same metrical structure as spacetime. Consequently, the idealist panpsychist faces an explanatory gap between the fundamental consciousness she posits and spacetime. Idealist panpsychism is incompatible with the existence of such an explanatory gap. Thus, idealist panpsychists must close this explanatory gap (which I argue they lack the resources to do), or idealist panpsychism is false. (shrink)

Although standard Machine Learning models are optimized for making predictions about observations, more and more they are used for making predictions about the results of actions. An important goal of Explainable Artificial Intelligence (XAI) is to compensate for this mismatch by offering explanations about the predictions of an ML-model which ensure that they are reliably action-guiding. As action-guiding explanations are causal explanations, the literature on this topic is starting to embrace insights from the literature on causal models. Here I take (...) a step further down this path by formally defining the causal notions of sufficient explanations and counterfactual explanations. I show how these notions relate to (and improve upon) existing work, and motivate their adequacy by illustrating how different explanations are action-guiding under different circum- stances. Moreover, this work is the first to offer a formal definition of actual causation that is founded entirely in action-guiding explanations. Although the definitions are motivated by a focus on XAI, the analysis of causal explanation and actual causation applies in general. I also touch upon the significance of this work for fairness in AI by showing how actual causation can be used to improve the idea of path-specific counterfactual fairness. (shrink)

The concept of causality is central to the assessment of numerous related metaphysical and epistemic positions, in Hegel and elsewhere. The present essay tries 1) to understand Hegel’s critique of the merely categorically understood concept of causality; 2) to uncover the theoretical structure that must accompany the categorical concept of causality in order to avoid the problems mentioned above; and 3) to argue that such a theory of causality has a fundamental function for Hegel’s conception of objectivity.

By introducing and extending description logic (DLs) and growing up their application in knowledge representation and especially in OWLs and semantic web scope, many shortcomings and bugs were identified that weren’t resolvable in classical DLs and so logicians and computer scientists intended to non-classical and non-monotonic reasoning tools. In this paper, I discuses about abduction problem solvers, and by introducing A-Box abduction in description logics (DLs), such as ALC, discuss about decidability and complexity in different introduced algorithms, and report shortly (...) our team’s advantages in developing and implementation of ΑBox abduction in DLs. (shrink)

Cancer biology features the ascription of normal functions to parts of cancers. At least some ascriptions of function in cancer biology track local normality of parts within the global abnormality of the aberration to which those parts belong. That is, cancer biologists identify as functions activities that, in some sense, parts of cancers are supposed to perform, despite cancers themselves having no purpose. The present paper provides a theory to accommodate these normal function ascriptions—I call it the Modeling Account of (...) Normal Function (MA). MA comprises two claims. First, normal functions are activities whose performance by the function-bearing part contributes to the self-maintenance of the whole system and, thereby, results in the continued presence of that part. Second, MA holds that models of system-level activities that are (partly) constitutive of self-maintenance are improved by including a representation of the relevant function-bearing part and by making reference to the activity/activities that part performs which contribute(s) to those system-level activities. I contrast MA with two other accounts that seek to explicate the ascription of normal functions in biology, namely, the organizational account and the selected effects account. Both struggle to extend to cancer biology. However, I offer ecumenical readings which allow them to recover some ascriptions of normal function to parts of cancers. So, though I contend that MA excels in this respect, the purpose of this paper is served if it provides materials for bridging the gap between cancer biology, philosophy of cancer, and the literature on function. (shrink)

La tesis principal de este trabajo es que los modelos estadísticos facilitan explicaciones acerca de los errores que pueden cometer nuestros procedimientos de inferencia de datos a fenómenos, en el contexto de la estadística clásica o frecuentista. La explicación del error es una operación que, a su vez, ayuda a evitarlo en donde es evitable e intolerable; tolerarlo donde es inevitable y tolerable; y suspender el juicio donde es inevitable e intolerable. Todas estas operaciones son elementos de una práctica generadora (...) de evidencia confiable. Se ilustra esta tesis con el modelo lineal en econometría, el estimador de mínimos cuadrados ordinarios, el estimador y modelo de variables instrumentales y con los conceptos relacionados con las pruebas de hipótesis. Se pone especial énfasis en las propiedades de insesgadez, consistencia y precisión como caracterizaciones del tipo de error que se puede cometer usándo un estimador. Se sostiene que los modelos explican identificando patrones de dependencia contrafáctica entre características del mecanismo estocástico representadas por el modelo y características de los procedimientos inferenciales. (shrink)

Este trabalho tem como principal objetivo apresentar uma abordagem lógico-formal capaz de apreender alguns aspectos do raciocínio abdutivo – o raciocínio responsável pela criação de hipóteses explicativas para fatos surpreendentes -, mediante tanto as noções filosófico-conceituais da canônica abdução peirceana quanto as de explicação científica. No caso desta última, procurarei evidenciar, inicialmente, pontos de contraste entre as concepções de explicação científica de Aristóteles e de Carl Hempel, a fim de elucidar, de modo mais satisfatório, em que medida, de fato, teorias (...) e hipóteses “explicam” algo. Apresentarei, também, um modo de tratar hipóteses explicativas contraditórias, por meio do operador de consistência ○ – próprio da lógica paraconsistente mbC -, o qual amplia o poder expressivo da linguagem-objeto subjacente ao sistema lógico, bem como apresentarei uma abordagem formal alternativa do raciocínio abdutivo pensado como dinâmica de mudança de crenças, especificamente por intermédio da lógica de revisão de crenças AGM. (shrink)

Although the idiom “genesis and structure” is usually associated with the rise of structuralism in the late 1950s and early 1960s, the two notions are arguably among the most persistent methods in the history of modern philosophy. This article outlines the emergence of “genetic epistemology” in the seventeenth century, when the seemingly antithetical character of the conceptual pair was reworked into a productive epistemological theory, especially in Descartes, Hobbes, Spinoza, and Leibniz, who increasingly used diachronic (genetic) narratives to explain the (...) synchronic (structural) features in their theories. Against Cassirer, I argue that it was Descartes rather than Hobbes who first presented structural issues genetically. In Descartes’ natural philosophy, his frequent claims that showing how a thing is produced reveals its true nature foreshadow precisely what Hobbes and Isaac Barrow later describe as causal definitions of geometric figures, in which the process of ideal generation by motion is what constitutes the very essence of a figure. I link this method to the historicizing discourse on origins in the Enlightenment and conclude by suggesting that there is a trace of Platonic idealism in genetic epistemology. (shrink)

This chapter responds to Michael Tamir and Elay Shech’s chapter “Understanding from Deep Learning Models in Context.”.

In his recent book, John Norton has created a theory of inference to the best explanation, within the context of his "material theory of induction". I apply it to the problem of scientific explanations that are false: if we want the theories in our explanations to be true, then why do historians and scientists often say that false theories explained phenomena? I also defend Norton's theory against some possible objections.

I explore the process of changes in the observability of entities and objects in science and how such changes impact two key issues in the scientific realism debate: the claim that predictively successful elements of past science are retained in current scientific theories, and the inductive defense of a specific version of inference to the best explanation with respect to unobservables. I provide a case-study of the discovery of radium by Marie Curie in order to show that the observability of (...) some entities can change and that such changes are relevant for arguments seeking to establish the reliability of success-to-truth inferences with respect to unobservables. (shrink)

Explanations in genetics have intriguing aspects to both biologists and philosophers, and there is no account that satisfactorily elucidates such explanations. The aim of this article is to analyze the kind of explanations usually given in Classical (Transmission) Genetics (CG) and to present in detail the application of an account of explanation as ampliative, specialized nomological embedding to elucidate the such explanations. First, we present explanations in CG in the classical format of inferences with the explanans as the premises and (...) the explanandum as the conclusion and compare them with explanations in other paradigmatic explanatory fields such as Classical Mechanics. Second, we summarize the main aspects discussed in the literature with regard the peculiarities of genetic explanations. Third, we introduce the account of scientific explanation as ampliative, specialized nomological embedding making use of Sneedian structuralism, in particular the notions of theory-net, fundamental law or guiding principle, specialization, and special laws. Finally, we apply this account to the case of CG and show that this analysis sheds light to the intriguing aspects of genetic explanations and remove most of their alleged oddities. (shrink)

Science, philosophy of science, and metaphysics have long been concerned with the question of how novel things emerge. How can order come out of disorder? This book introduces a new account, contextual emergence, seeking to answer such questions."--Back cover.

Thinking about metaphysical problems in terms of grounding has its uses, but those uses are limited. This paper argues against attempts to see issues of grounding as having a central and organising role in metaphysical inquiry. After arguing that grounding does some useful work, this paper will argue that grounding is neither the central tool for understanding explanation in metaphysics, nor defines the subject matter of metaphysics. Instead, grounding tracks only some of the metaphysical explanations we should be looking for, (...) and is only one among many of the topics metaphysics aims to address. (shrink)

This volume brings together leading scholars working on understanding and representation in philosophy of science. It features a critical conversation format between contributors that advances debates concerning scientific understanding, scientific representation, and their delicate interplay.

This paper explores a novel notion of self-explanation that combines ideas from two sources: the tripartite account of explanation, according to which a proposition can help explain another either in the capacity of a reason why the latter obtains or in the capacity of an explanatory link, and the notion of an empty-base explanation, which generalizes the ideas of explanation by zero-grounding and explanation by status. After having introduced these ideas and the novel notion of self-explanation, I argue that the (...) latter has the potential to resist extant arguments against the possibility of self-explanation. In the remainder of the paper, I discuss candidates for such self-explanatory propositions and suggest possible applications for Humeanism about laws of nature, the debate on the grounds of ground, the rationalist tradition, and philosophical theology. (shrink)

This paper outlines a procedure for assessing the quality of failure explanations in engineering failure analysis. The procedure structures the information contained in explanations such that it enables to find weak points, to compare competing explanations, and to provide redesign recommendations. These features make the procedure a good asset for critical reflection on some areas of the engineering practice of failure analysis and redesign. The procedure structures relevant information contained in an explanation by means of structural equations so as to (...) make the relations between key elements more salient. Once structured, the information is examined on its potential to track counterfactual dependencies by offering answers to relevant what-if-things-had-been-different questions. This criterion for explanatory goodness derives from the philosophy of science literature on scientific explanation. The procedure is illustrated by applying it to two case studies, one on Failure Analysis in Mechanical Engineering (a broken vehicle shaft) and one on Failure Analysis in Civil Engineering (a collapse in a convention center). The procedure offers failure analysts a practical tool for critical reflection on some areas of their practice while offering a deeper understanding of the workings of failure analysis (framing it as an explanatory practice). It, therefore, allows to improve certain aspects of the explanatory practices of failure analysis and redesign, but it also offers a theoretical perspective that can clarify important features of these practices. Given the programmatic nature of the procedure and its object (assessing and refining explanations), it extends work on the domain of computational argumentation. (shrink)

There is longstanding interpretive dispute between commentators over Spinoza’s commitment to necessitarianism, the doctrine that all things are metaphysically necessary and none are contingent. Those who affirm Spinoza’s commitment to the doctrine adhere to the necessitarian interpretation whereas those who deny it adhere to what I call the semi-necessitarian interpretation. As things stand, the disagreement between commentators appears to have reached an impasse. Notwithstanding, there seems to be no disagreement among commentators on the question of necessitarianism’s philosophical plausibility as a (...) metaphysical view: the doctrine is wildly untenable. This consensus view is more relevant to the interpretive debate than few have recognized, since leading semi-necessitarian commentators take the doctrine’s alleged absurdity to be one of the most compelling reasons (if not the most compelling reason) to prefer their reading over the necessitarian interpretation: for, as a matter of methodological principle, great philosophers like Spinoza should not be ascribed ridiculous views in the absence of better evidence. -/- This dissertation seeks to defend Spinoza’s commitment to necessitarianism on both the interpretive and philosophical fronts. I argue not only that the necessitarian interpretation of Spinoza is more plausible than the semi-necessitarian interpretation on textual grounds, but that Spinoza’s necessitarianism is a serviceable philosophical view whose tenability has been almost entirely overlooked and perfunctorily rejected. The principal basis upon which I build this defense is Spinoza’s rich and fascinating view of essences—what I simply refer to as his essentialism. Spinoza’s essentialism forms the bedrock of his metaphysics and is significant not least because it underlies and informs doctrines like his necessitarianism. Spinoza’s essentialism supplies resources to answer not just interpretive problems associated with necessitarianism, but philosophical challenges to the plausibility of the doctrine. My defense of Spinoza’s necessitarianism on philosophical grounds also offers a novel way of getting past much of the current interpretive impasse among commentators by effectively undercutting the methodological motivation for the semi-necessitarian reading. In addition to my defense on the interpretive front, then, my defense on the philosophical front provides supplementary reason to a fortiori favor the necessitarian reading of Spinoza. (shrink)