In this article, I explore the compatibility of inference to the best explanation (IBE) with several influential models and accounts of scientific explanation. First, I explore the different conceptions of IBE and limit my discussion to two: the heuristic conception and the objective Bayesian conception. Next, I discuss five models of scientific explanation with regard to each model’s compatibility with IBE. I argue that Kitcher’s unificationist account supports IBE; Railton’s deductive–nomological–probabilistic model, Salmon’s statistical-relevance model, and van Fraassen’s (...) erotetic account are incompatible with IBE; and Salmon’s causal–mechanical model is merely consistent with IBE. In short, many influential models of scientific explanation do not support IBE. I end by outlining three possible conclusions to draw: (1) either philosophers of science or defenders of IBE have seriously misconstrued the concept of explanation, (2) philosophers of science and defenders of IBE do not use the term ‘explanation’ univocally, and (3) the ampliative conception of IBE, which is compatible with any model of scientific explanation, deserves a closer look. (shrink)

Ever since the advent of molecular biology in the 1970s, mechanical models have become the dogma in the field, where a "true" understanding of any subject is equated to a mechanistic description. This has been to the detriment of the biomedical sciences, where, barring some exceptions, notable new feats of understanding have arguably not been achieved in normal and disease biology, including neurodegenerative disease and cancer pathobiology. I argue for a "mechanism-plus-X" paradigm, where mainstay elements of mechanistic models (...) such as hierarchy and correlation are combined with nomological principles such as general operative rules and generative principles. Depending on the question at hand and the nature of the inquiry, X could range from proven physical laws to speculative biological generalizations, such as the notional principle of cellular synchrony. I argue that the "mechanism-plus-X" approach should ultimately aim to move biological inquiries out of the deadlock of oft-encountered mechanistic pitfalls and reposition biology to its former capacity of illuminating fundamental truths about the world. (shrink)

Using as case studies two early diagrams that represent mechanisms of the cell division cycle, we aim to extend prior philosophical analyses of the roles of diagrams in scientific reasoning, and specifically their role in biological reasoning. The diagrams we discuss are, in practice, integral and indispensible elements of reasoning from experimental data about the cell division cycle to mathematical models of the cycle’s molecular mechanisms. In accordance with prior analyses, the diagrams provide functional explanations of the cell cycle (...) and facilitate the construction of mathematical models of the cell cycle. But, extending beyond those analyses, we show how diagrams facilitate the construction of mathematical models, and we argue that the diagrams permit nomological explanations of the cell cycle. We further argue that what makes diagrams integral and indispensible for explanation and model construction is their nature as locality aids: they group together information that is to be used together in a way that sentential representations do not. (shrink)

We address the need for a model by considering two competing theories regarding the origin of life: (i) the Metabolism First theory, and (ii) the RNA World theory. We discuss two interrelated points, namely: (i) Models are valuable tools for understanding both the processes and intricacies of origin-of-life issues, and (ii) Insights from models also help us to evaluate the core objection to origin-of-life theories, called “the inefficiency objection”, which is commonly raised by proponents of both the Metabolism (...) First theory and the RNA World theory against each other. We use Simpson’s Paradox (SP) as a tool for challenging this objection. We will use models in various senses, ranging from taking them as representations of reality to treating them as theories/accounts that provide heuristics for probing reality. In this paper, we will frequently use models and theories interchangeably. Additionally, we investigate Conway’s Game of Life and contrast it with our SP-based approach to emergence-of-life issues. Finally, we discuss some of the consequences of our view. A scientific model is testable in three senses: (i) a logical sense, (ii) a nomological sense, and (iii) a current technological sense. The SP-based model is testable in the first two senses but it is not feasible to test it using current technology. (shrink)

Opinionated state of the art paper on scientific explanation. Analysis and discussion of the most relevant models and theories in the contemporary literature, namely, the deductive-nomological model, the models of inductive-statistical and statistical relevance, the pragmatic theory of why questions, the unifying theory of standard arguments, and the causal/non-causal counterfactual theory.

In a recent article, Erasmus, Brunet, and Fisher (2021) argue that Artificial Neural Networks (ANNs) are explainable. They survey four influential accounts of explanation: the Deductive-Nomological model, the Inductive-Statistical model, the Causal-Mechanical model, and the New-Mechanist model. They argue that, on each of these accounts, the features that make something an explanation is invariant with regard to the complexity of the explanans and the explanandum. Therefore, they conclude, the complexity of ANNs (and other Machine Learning models) does not (...) make them less explainable. In this reply, it is argued that Erasmus et al. left out one influential account of explanation from their discussion: the Unificationist model. It is argued that, on the Unificationist model, the features that makes something an explanation is sensitive to complexity. Therefore, on the Unificationist model, ANNs (and other Machine Learning models) are not explainable. It is emphasized that Erasmus et al.’s general strategy is correct. The literature on explainable Artificial Intelligence can benefit by drawing from philosophical accounts of explanation. However, philosophical accounts of explanation do not settle the problem of whether ANNs are explainable because they do not unanimously declare that explanation is invariant with regard to complexity. (shrink)

(1) In the first part of this paper, I review Chomsky's meandering journey from the formalism/mentalism of Syntactic Structures, through several methodological positions, to the minimalist theory of his latest work. Infected with mentalism from first to last, each and every position vitiates Chomsky's repeated claims that his theories will provide useful guidance to later theories in such fields as cognitive psychology and cognitive neuroscience. With the guidance of his insights, he claims, psychologists and neuroscientists will be able to avoid (...) costly dead-end lines of research. -/- (2) This never happened. As I have shown, this never could have happened. (See Johnston, 2018). What has happened, instead, is that current neurolinguistic research (with the arguable exception of the now-dated Lemma Model of Willem Levelt) proceeds without reference to Chomsky. It also wholeheartedly rejects the mentalism of the associated Language of Thought theory of Jerry Fodor. (See Johnston, 2018). -/- (3) I make this argument in the first part of this paper. I would also like to point out that most of my argument was developed in 1972, when I was a graduate student. I know of no other sustained criticisms of Chomsky at that time, and certainly none along the lines I had developed back then. -/- (4) In the second part of this paper, I present my own account of the methodology of science. When I was a graduate student, philosophy of science was dominated by an attempt to describe a methodology common to all the specific sciences, i.e. Hempel’s deductive-nomological model. These days, Hempel’s emphasis on the methodological unity of science has been rejected by such “dis-unity” philosophers of science as Ian Hacking, Patrick Suppes and Nancy Cartwright (see Cat, 2021). -/- (5) I view this change as the swing of a pendulum or, to change the metaphor, a journey from one end point of a continuum to another. As the level of abstraction at which one tries to describe scientific method is raised, the descriptions become increasingly general. Whether or not unity-of-science theories become so general as to be vacuous, is ultimately a subjective judgment. And so I expect that philosophers will eventually become tired of increasingly specific “close to the workbench” descriptions of how scientists work, and begin to turn back to methodological “big pictures”, finding in them powerful abstractions rather than empty irrelevancies. -/- (6) In the second part of this paper, I present my own account of the methodology of science, which I would situate somewhere between the “unity” and “dis-unity” accounts. However, I am not a scientist. My own views about scientific method have three origins: -/- (6a) my work as a graduate student from 1966 until I passed my comprehensive exams in 1973 (at a different university); -/- (6b) reading every issue of Scientific American from 1972 until nearly 2000, (at which point I continued to read it only sporadically, since I concluded that, around that time, it had evolved from a serious science magazine to a popular science magazine); and -/- (6c) my three-year immersion in the cognitive neuroscience of language after I retired, based on repeated study of and note-taking for (Banesh & Compton, 2018), (Kemmerer, 2015), several other books and, finally, numerous articles not hidden behind a paywall. -/- So, as always with my writings: caveat emptor. (shrink)

The deductive nomological (DN) model has been the basis for discussions about scientific explanations for decades. The overcoming of the logical empiricist program together with the raise of several counter-examples to the DN model have progressively led to a renewal of the reflections on this topic. The first step of this paper is to clarify the framework in which the epistemological question of scientific explanation is adressed. We make a proposal for a universal structure of scientific models, which (...) constitute the basic epistemic unit of our analysis. It is then possible, within this framework, to clarify some discussions about scientific explanation, and to offer a new account of it. The latter tries to benefit from the advantages of the DN model, as resting on a law, together with neutralizing some of its typical criticisms. The work presented here is both abstract, exhibiting formal structures as general patterns of explanation, and concrete with real examples taken from actual scientific disciplines. (shrink)

Call an explanation in which a non-mathematical fact is explained—in part or in whole—by mathematical facts: an extra-mathematical explanation. Such explanations have attracted a great deal of interest recently in arguments over mathematical realism. In this article, a theory of extra-mathematical explanation is developed. The theory is modelled on a deductive-nomological theory of scientific explanation. A basic DN account of extra-mathematical explanation is proposed and then redeveloped in the light of two difficulties that the basic theory faces. The final (...) view appeals to relevance logic and uses resources in information theory to understand the explanatory relationship between mathematical and physical facts. 1Introduction2Anchoring3The Basic Deductive-Mathematical Account4The Genuineness Problem5Irrelevance6Relevance and Information7Objections and Replies 7.1Against relevance logic7.2Too epistemic7.3Informational containment8Conclusion. (shrink)

In this paper I will introduce a problem for at least those Humeans who believe that the future is open. More particularly, I will argue that the following aspect of scientific practice cannot be explained by openfuture- Humeanism: There is a distinction between states that we cannot bring about (which are represented in scientific models as nomologically impossible) and states that we merely happen not to bring about. Open-future-Humeanism has no convincing account of this distinction. Therefore it fails to (...) explain why we cannot bring about certain states of affairs, it cannot explain what I call the “recalcitrance of nature”. (shrink)

Non-Humean accounts of the metaphysics of nature posit either laws or powers in order to account for natural necessity and world-order. We argue that such monistic views face fundamental problems. On the one hand, neo-Aristotelians cannot give unproblematic power-based accounts of the functional laws among quantities offered by physical theories, as well as of the place of conservation laws and symmetries in a lawless ontology; in order to capture these characteristics, commitment to governing laws is indispensable. On the other hand, (...) ontologies that entirely exclude some kind of power ascription to worldly entities face what we call the Governing Problem: such ontologies do not have the resources to give an adequate account of how laws play their governing role. We propose a novel dualist model, which, we argue, has the resources to solve the difficulties encountered by its two dominant competitors, without inheriting the problems of either view. According to the dualist model, both laws and powers are equally fundamental and irreducible to each other, and both are needed in order to give a satisfactory account of the nomological structure of the world. The dualist model constitutes thus a promising alternative to current monistic views in the metaphysics of science. (shrink)

A finer-grained delineation of a given explanandum reveals a nexus of closely related causal and non- causal explanations, complementing one another in ways that yield further explanatory traction on the phenomenon in question. By taking a narrower construal of what counts as a causal explanation, a new class of distinctively mathematical explanations pops into focus; Lange’s characterization of distinctively mathematical explanations can be extended to cover these. This new class of distinctively mathematical explanations is illustrated with the Lotka-Volterra equations. There (...) are at least two distinct ways those equations might hold of a system, one of which yields straightforwardly causal explanations, but the other of which yields explanations that are distinctively mathematical in terms of nomological strength. In the first, one first picks out a system or class of systems, finds that the equations hold in a causal -explanatory way; in the second, one starts with the equations and explanations that must apply to any system of which the equations hold, and only then turns to the world to see of what, if any, systems it does in fact hold. Using this new way in which a model might hold of a system, I highlight four specific avenues by which causal and non- causal explanations can complement one another. (shrink)

The aim of this paper is to argue that the adoption of an unrestricted principle of bivalence is compatible with a metaphysics that (i) denies that the future is real, (ii) adopts nomological indeterminism, and (iii) exploits a branching structure to provide a semantics for future contingent claims. To this end, we elaborate what we call Flow Fragmentalism, a view inspired by Kit Fine (2005)’s non-standard tense realism, according to which reality is divided up into maximally coherent collections of (...) tensed facts. In this way, we show how to reconcile a genuinely A-theoretic branching-time model with the idea that there is a branch corresponding to the thin red line, that is, the branch that will turn out to be the actual future history of the world. (shrink)

In this dissertation I achieve the following: (1) I present motivating criteria for a general comprehensive theory of scientific explanation. I review historical approaches to modeling explanation in light of these criteria. (2) I present New Mechanist Explanation ("NME") as the leading candidate for a contemporary, complete theory of scientific explanation. (3) I present constraints on the applicability of New Mechanism in modeling biology, chemistry, and physics. I argue for the unsuitability of NME as a candidate for a general theory (...) of explanation due to its significant omissions of explanatory content and subsequent incompleteness. (4) I present arguments for the indispensable explanatory power of mathematics in science, noting that much of NME's failures are owed to its poor integration of mathematical explanation as applied to science. (5) I propose a Rational-Relational theory of explanation(“RRE”). I present RRE in detail and demonstrate it as a true working general theory of explanation which best meets the motivating criteria presented in (1). I disambiguate RRE from structural explanation ("SE"). I show that historical models of explanation, including the deductive nomological (DNE) model, statistical relevance ("SRE") model, structural model (SE) and unification model ("UE") may be successfully treated as sub-classes of explanation within the scope of RRE. I provide a rubric for selecting amongst sub-theories of explanation under RRE in the purpose of highlighting particular features of relational explanations. (6) In conclusion, I argue that philosophers of science should move forward using RRE as a general model of scientific explanation as a working alternative to the incomplete model of NME. (shrink)

This paper models God and time in the framework of modern physics. God bridges and simultaneously exists in (1) a universe with infinite tenseless time and (2) a created parallel universe with tensed time and a point origin. The primary attributes of God are inexhaustible love, inexhaustible perception, and inexhaustible force. The model also incorporates modern physics theories that include relativity, the conservation of energy, quantum mechanics, and multiverse geometry. For example, creation out of nothing and divine intervention are (...) subject to physical processes and likewise nomological possibility. I will call this model semiclassical theism. (shrink)

An account of distinctively mathematical explanation (DME) should satisfy three desiderata: it should account for the modal import of some DMEs; it should distinguish uses of mathematics in explanation that are distinctively mathematical from those that are not (Baron [2016]); and it should also account for the directionality of DMEs (Craver and Povich [2017]). Baron’s (forthcoming) deductive-mathematical account, because it is modelled on the deductive-nomological account, is unlikely to satisfy these desiderata. I provide a counterfactual account of DME, the (...) Narrow Ontic Counterfactual Account (NOCA), that can satisfy all three desiderata. NOCA appeals to ontic considerations to account for explanatory asymmetry and ground the relevant counterfactuals. NOCA provides a unification of the causal and the non-causal, the ontic and the modal, by identifying a common core that all explanations share and in virtue of which they are explanatory. (shrink)

Husserl’s early picture of explanation in the sciences has never been completely provided. This lack represents an oversight, which we here redress. In contrast to currently accepted interpretations, we demonstrate that Husserl does not adhere to the much maligned deductive-nomological (DN) model of scientific explanation. Instead, via a close reading of early Husserlian texts, we reveal that he presents a unificationist account of scientific explanation. By doing so, we disclose that Husserl’s philosophy of scientific explanation is no mere anachronism. (...) It is, instead, tenable and relevant. We discuss how Husserl and other contemporary thinkers draw theoretical inspiration from the same source—namely, Bernard Bolzano. Husserl’s theory of scientific explanation shares a common language and discusses the same themes as, for example, Phillip Kitcher and Kit Fine. To advance our novel reading, we discuss Husserl’s investigations of grounding, inter-lawful explanation, intra-mathematical explanation, and scientific unification. (shrink)

Fodor and Pylyshyn's critique of connectionism has posed a challenge to connectionists: Adequately explain such nomological regularities as systematicity and productivity without postulating a "language of thought" (LOT). Some connectionists like Smolensky took the challenge very seriously, and attempted to meet it by developing models that were supposed to be non-classical. At the core of these attempts lies the claim that connectionist models can provide a representational system with a combinatorial syntax and processes sensitive to syntactic structure. (...) They are not implementation models because, it is claimed, the way they obtain syntax and structure sensitivity is not "concatenative," hence "radically different" from the way classicists handle them. In this paper, I offer an analysis of what it is to physically satisfy/realize a formal system. In this context, I examine the minimal truth-conditions of LOT Hypothesis. From my analysis it will follow that concatenative realization of formal systems is irrelevant to LOTH since the very notion of LOT is indifferent to such an implementation level issue as concatenation. I will conclude that to the extent to which they can explain the law-like cognitive regularities, a certain class of connectionist models proposed as radical alternatives to the classical LOT paradigm will in fact turn out to be LOT models, even though new and potentially very exciting ones. (shrink)

The functionalist approach to kinds has suffered recently due to its association with law-based approaches to induction and explanation. Philosophers of science increasingly view nomological approaches as inappropriate for the special sciences like psychology and biology, which has led to a surge of interest in approaches to natural kinds that are more obviously compatible with mechanistic and model-based methods, especially homeostatic property cluster theory. But can the functionalist approach to kinds be weaned off its dependency on laws? Dan Weiskopf (...) has recently offered a reboot of the functionalist program by replacing its nomological commitments with a model-based approach more closely derived from practice in psychology. Roughly, Weiskopf holds that the natural kinds of psychology will be the functional properties that feature in many empirically successful cognitive models, and that those properties need not be localized to parts of an underlying mechanism. I here skeptically examine the three modeling practices that Weiskopf thinks introduce such non-localizable properties: fictionalization, reification, and functional abstraction. In each case, I argue that recognizing functional properties introduced by these practices as autonomous kinds comes at clear cost to those explanations’ counterfactual explanatory power. At each step, a tempting functionalist response is parochialism: to hold that the false or omitted counterfactuals fall outside the modeler’s explanatory aims, and so should not be counted against functional kinds. I conclude by noting the dangers this attitude poses to scientific disagreement, inviting functionalists to better articulate how the individuation conditions for functional kinds might outstrip the perspective of a single modeler. (shrink)

How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show (...) how epistemicists, supervaluationists, and theorists of metaphysical vagueness like Barnes and Williams (2010) can interpret the framework.  We will also present a complete axiomatization of the logic we recommend to both epistemicists and local supervaluationists. . (shrink)

In a recent paper, Erasmus et al. (2021) defend the idea that the ambiguity of the term “explanation” in explainable AI (XAI) can be solved by adopting any of four different extant accounts of explanation in the philosophy of science: the Deductive Nomological, Inductive Statistical, Causal Mechanical, and New Mechanist models. In this chapter, I show that the authors’ claim that these accounts can be applied to deep neural networks as they would to any natural phenomenon is mistaken. (...) I also provide a more general argument as to why the notion of explainability as it is currently used in the XAI literature bears little resemblance to the traditional concept of scientific explanation. It would be more fruitful to use the label “understandable AI” to avoid the confusion that surrounds the goal and purposes of XAI. In the second half of the chapter, I argue for a pragmatic conception of understanding that is better suited to play the central role attributed to explanation in XAI. Following De Regt (2017) and Kuorikoski and Ylikoski (2015), the conditions of satisfaction for understanding an ML system are fleshed out in terms of an agent’s success in using the system. (shrink)

This paper addresses a fundamental line of research in neuroscience: the identification of a putative neural processing core of the cerebral cortex, often claimed to be “canonical”. This “canonical” core would be shared by the entire cortex, and would explain why it is so powerful and diversified in tasks and functions, yet so uniform in architecture. The purpose of this paper is to analyze the search for canonical explanations over the past 40 years, discussing the theoretical frameworks informing this research. (...) It will highlight a bias that, in my opinion, has limited the success of this research project, that of overlooking the dimension of cortical development. The earliest explanation of the cerebral cortex as canonical was attempted by David Marr, deriving putative cortical circuits from general mathematical laws, loosely following a deductive-nomological account. Although Marr’s theory turned out to be incorrect, one of its merits was to have put the issue of cortical circuit development at the top of his agenda. This aspect has been largely neglected in much of the research on canonical models that has followed. Models proposed in the 1980s were conceived as mechanistic. They identified a small number of components that interacted as a basic circuit, with each component defined as a function. More recent models have been presented as idealized canonical computations, distinct from mechanistic explanations, due to the lack of identifiable cortical components. Currently, the entire enterprise of coming up with a single canonical explanation has been criticized as being misguided, and the premise of the uniformity of the cortex has been strongly challenged. This debate is analyzed here. The legacy of the canonical circuit concept is reflected in both positive and negative ways in recent large-scale brain projects, such as the Human Brain Project. One positive aspect is that these projects might achieve the aim of producing detailed simulations of cortical electrical activity, a negative one regards whether they will be able to find ways of simulating how circuits actually develop. (shrink)

I critically examine the assumption that the theoretical structure that varies under theoretical symmetries is redundant and should be eliminated from a metaphysical picture of the universe, following a ‘symmetry to reality’ inference. I do so by analysing the status of coordinate change symmetries taking a pragmatic approach. I argue that coordinate systems function as indexical devices, and play an important pragmatic role for representing concrete physical systems. I examine the implications of considering this pragmatic role seriously, taking what I (...) call a perspectivist stance. My conclusion is that under a perspectivist stance, all symmetries (including local gauge symmetries) potentially have a direct empirical status: they point to dynamical aspects that are invariant under changes of operationalisation, and they constitute a guide not to reality, but to nomology and kinship. (shrink)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those (...) assumptions arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

Deductionism assimilates nature to conceptual artifacts (models, equations), and tacitly holds that real physical systems are such artifacts. Some physical concepts represent properties of deductive systems rather than of nature. Properties of mathematical or deductive systems can thereby sometimes falsely be ascribed to natural systems.

Our examination of universal origins and fine-tuning will begin with a discussion of infl ationary scenarios grafted onto Big Bang cosmology and the proof that all infl ationary spacetimes are past-incomplete. After diverting into a lengthy critical examination of the “different physics” offered by quantum cosmologists at the past-boundary of the universe, we will proceed to dissect the inadequacies of infl ationary explanations and string-theoretic constructs in the context of three cosmological models that have received much attention: the Steinhardt-Turok (...) cyclic ekpyrotic model (which does not invoke inflation), the Gasperini-Veneziano pre-Big Bang infl ationary model, and the inflationary string landscape model advanced by Susskind, Polchinski, Bousso, and Linde. We will argue that none of these highly speculative string cosmologies removes the necessity of a beginning to the process of universe generation, and we will emphasize the implications of this fact. Then, since the inflationary “mechanism” only really addresses the fi ne-tuning of the initial conditions of the universe and not the conditions embodied in its finely tuned laws and constants, we will analyze the adequacy of the string multiverse in its three versions (cyclic ekpyrotic, pre-Big Bang, and landscape) for explaining the nomological structure and values of these precisely tuned life-compatible universal parameters. When all is said and done, it will be clear that transcendent intelligent agency is not just the only causally suffi cient and therefore metaphysically sound explanation for universal origins and fine-tuning, but it is also much more parsimonious, elegant, and resonant with meaning than all of the ad hoc machinations of multiverse cosmology. (shrink)

Le réalisme structural est une tentative d’établir un compromis entre le réalisme scientifique et l’empirisme, en restreignant le réalisme à la structure relationnelle des théories scientifiques. Il se décline en deux versions, épistémique et ontique. Le réalisme structural ontique propose de concevoir les relations nomologiques décrites par les théories comme des éléments primitifs de la réalité. Il est motivé, notamment, par le fait que sous sa forme épistémique, le réalisme structural ne se distingue pas réellement d’une position empiriste. Cependant, il (...) fait face à des difficultés, en particulier pour différencier relations physiques et mathématiques et rendre compte de l’ancrage expérimental des théories. Il est possible d’établir un parallèle entre ces difficultés et le problème de la mesure en mécanique quantique, qui concerne lui aussi les rapports entre modèle théorique et expérience : on constate alors qu’un réalisme structural épistémique est plus à même d’y répondre. Une solution de compromis entre le réalisme structural ontique et le réalisme structural épistémique pourrait permettre de conserver les avantages des deux positions. -/- Structural realism attempts to make a compromise between scientific realism and empiricism, by restricting our realist commitment to the relational structure of scientific theories. There are two main versions of the position: ontic, or epistemic. According to ontic structural realism, the nomological relations expressed by theories are the primitive entities of reality. This ontic version is motivated in particular by arguments to the effect that epistemic versions are not really distinct from mere empiricism. However according to some authors, it’s not clear that ontic structural realism can differentiate between physical and mathematical relations, and account for the relations between scientific theories and their experimental basis. These difficulties can be related to the measurement problem in quantum mechanics, which also concerns the link between theoretical models and experiments. It appears that epistemic structural realism is in a better position to respond to these difficulties. A compromise between both versions of structural realism could allow us to keep the advantages of both. (shrink)

Al final de su libro “La conciencia inexplicada”, Juan Arana señala que la nomología, explicación según las leyes de la naturaleza, requiere de una nomogonía, una consideración del origen de las leyes. Es decir, que el orden que observamos en el mundo natural requiere una instancia previa que ponga ese orden específico. Sabemos que desde la revolución científica la mejor manera de explicar dicha nomología ha sido mediante las matemáticas. Sin embargo, en las últimas décadas se han presentado algunas propuestas (...) basadas en modelos matemáticos que fundamentarían muchos aspectos de la realidad. Dos claros ejemplos provienen de Roger Penrose y Max Tegmark. Esto lleva a pensar en una posición no solo nomológica sino además nomogónica de la matemática. ¿Puede la Naturaleza estar fundada por las matemáticas como señalan algunos físico-matemáticos? Y en ese caso, ¿sería pertinente buscar una nomo-génesis de esta índole en la constitución de la conciencia? -/- At the end of his book “La conciencia inexplicada”, Juan Arana points out that nomology, explanation according to the laws of nature requires a nomogony, an account of the origin of the laws. This means that the order that we can observe in the natural World demands something prior to posit that specific order. Since the scientific revolution we know that the best way to explain that nomology has been through mathematics. Anyway, in recent decades a number of proposals based on mathematical models that found many aspects of reality has been offered. Two clear examples come from Roger Penrose and Max Tegmark. This drives us to think of a position of mathematics as not only nomological but also nomogonical. Can Nature be founded by mathematics as some physicists and mathematicians point out? And, in this case, would be relevant this kind of approach to search a nomo-genesis in the constitution of consciousness? (shrink)

In recent years, New Mechanism has become one of the most popular and widely discussed philosophical accounts of scientific explanation. Some of its proponents see it as a successor to traditional deductive nomological and statistical approaches to the philosophy of explanation. New Mechanists thus argue for the generality of their approach as a model of scientific explanation. Here we will show that the generality of NME as an account of scientific explanation is restricted. Most significantly, NME is widely recognized (...) to have trouble in accounting for explanation in traditional physics. Yet, in the face of obstacles to NME in the physical sciences, New Mechanists have yet to provide a convincing defense of the generality of their view. In this paper, I (1) summarize when and how NME works, (2) describe briefly what NME is not and can’t be, (3) outline some areas of contemporary scientific explanation where New Mechanism misses the mark; and (4) demonstrate that New Mechanism does not constitute a general theory of scientific explanation but rather covers a restricted scope of explanations. (shrink)

In his bold and excellent book on Hume's scientific methodology, David Landy positions himself between the "Deductive-Nomological" reading, which explains particular phenomena in terms of empirical regularities, and the "New Hume" position, which considers empirical regularities to be the explananda and unknowable essences the explanans. Landy sides with the New Humeans, except that for him the essences, or "theoretical posits," are knowable. These essences become knowable, despite their being in principle unobservable, through the tool of "perceptible models." Landy (...) argues that "theoretical posits are only possible via the deployment of a perceptible model," and he explains that perceptual models allow us to... (shrink)

Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled in’ elements of (...) truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

According to the Nomological Argument, observed regularities in nature are best explained by an appeal to a supernatural being. A successful explanation must avoid two perils. Some explanations provide too little structure, predicting a universe without regularities. Others provide too much structure, thereby precluding an explanation of certain types of lawlike regularities featured in modern scientific theories. We argue that an explanation based in the creative, intentional action of a supernatural being avoids these two perils whereas leading competitors do (...) not. Although our argument falls short of a full defense, it does suggest that the Nomological Argument is worthy of philosophical attention. (shrink)

Political theory as a discipline has long been skeptical of computational methods. In this paper, I argue that it is time for theory to make a perspectival shift on these methods. Specifically, we should consider integrating recently developed generative large language models like GPT-4 as tools to support our creative work as theorists. Ultimately, I suggest that political theorists should embrace this technology as a method of supporting our capacity for creativity—but that we should do so in a way (...) that is mindful of the content and value of theorizing, the technical constraints of the models, and the ethical questions that the technology raises. (shrink)

Does the capacity to think require the capacity to sense? A lively debate on this topic runs throughout the history of philosophy and now animates discussions of artificial intelligence. Many have argued that AI systems such as large language models cannot think and understand if they lack sensory grounding. I argue that thought does not require sensory grounding: there can be pure thinkers who can think without any sensory capacities. As a result, the absence of sensory grounding does not (...) entail that large language models cannot think or understand. I also consider to what extent quasi-sensory grounding can at least boost the performance of a language model. (shrink)

Much of computational cognitive science construes human cognitive capacities as representational capacities, or as involving representation in some way. Computational theories of vision, for example, typically posit structures that represent edges in the distal scene. Neurons are often said to represent elements of their receptive fields. Despite the ubiquity of representational talk in computational theorizing there is surprisingly little consensus about how such claims are to be understood. The point of this chapter is to sketch an account of the nature (...) and function of representation in computational cognitive models. (shrink)

In this conceptual paper, the traditional conceptualization of sustainable entrepreneurship is challenged because of a fundamental tension between processes involved in sustainable development and processes involved in entrepreneurship: the concept of sustainable business models contains a paradox, because sustainability involves the reduction of information asymmetries, whereas entrepreneurship involves enhanced and secured levels of information asymmetries. We therefore propose a new and integrated theory of sustainable entrepreneurship that overcomes this paradox. The basic argument is that environmental problems have to be (...) conceptualized as wicked problems or sustainability-related ecosystem failures. Because all actors involved in the entrepreneurial process are characterized by their epistemic insufficiency regarding the solving of these problems, the role of information in the sustainable entrepreneurial process changes. On the one hand, the reduction of information asymmetries primarily aims to enable actors to become critical of sustainable entrepreneurs’ actual business models. On the other hand, the epistemic insufficiency of sustainable entrepreneurs guarantees that information asymmetries remain as a source of new sustainable business opportunities. Three further characteristics of sustainable entrepreneurs are distinguished: sustainability and entrepreneurship-related risk-taking; sustainability and entrepreneurship-related self-efficacy; and the development of satisficing and open-ended solutions, together with multiple stakeholders. (shrink)

The zombie, mocking all nomological arguments, gives rise to axiological considerations that also result in a vindication of the nomological paradigm. So the ‘philosophical benefit of zombies’ ultimately proves to be that they lead to an understanding they were originally invented to refute.

Analytical categories of scientific cultures have typically been used both exclusively and universally. For instance, when styles of scientific research are employed in attempts to understand and narrate science, styles alone are usually employed. This article is a thought experiment in interweaving categories. What would happen if rather than employ a single category, we instead investigated several categories simultaneously? What would we learn about the practices and theories, the agents and materials, and the political-technological impact of science if we analyzed (...) and applied styles, paradigms, and models simultaneously? I address these questions in general and for a specific case study: a brief history of systematics. (shrink)

Continued urbanization, along with anthropogenic global warming, has and will increase land surface temperature and air temperature anomalies in urban areas when compared to their rural surroundings, leading to Urban Heat Islands (UHI). UHI poses environmental and health risks, affecting both psychological and physiological aspects of human health. Thus, using a deep learning approach that considers morphological variables, this study predicts UHI intensity in 69 European cities from 2007 to 2021 and projects UHI impacts for 2050 and 2080. The research (...) employs Artificial Neural Networks, Deep Neural Networks, and Gated Recurrent Units, combining high-resolution 3D urban models with environmental data to analyze UHI trends. The results indicate strong associations between urban form, weather patterns, and UHI intensity, highlighting the need for customized urban planning and policy measures to reduce UHI impacts and foster sustainable urban settings. This research enhances understanding of UHI dynamics and serves as a valuable tool for urban planners and policymakers to address the challenges of climate change, urbanization, and air pollution, ultimately aiding in the improvement of health outcomes and building energy consumption. Moreover, the methodology effectively demonstrates the ability of the GRU to link its scores with UHI projections, offering crucial insights into potential health impacts. (shrink)

A key challenge for probabilistic causal models is to distinguish non-causal probabilistic dependencies from true causal relations. To accomplish this task, causal models are usually required to satisfy several constraints. Two prominent constraints are the causal Markov condition and the faithfulness condition. However, other constraints are also needed. One of these additional constraints is the causal sufficiency condition, which states that models must not omit any direct common causes of the variables they contain. In this paper, I (...) argue that the causal sufficiency condition is problematic: (1) it is incompatible with the requirement that the variables in a model must not stand in non-causal necessary dependence relations, such as mathematical or conceptual relations, or relations described in terms of supervenience or grounding, (2) it presupposes more causal knowledge as primitive than is actually needed to create adequate causal models, and (3) if models are only required to be causally sufficient, they cannot deal with cases where variables are probabilistically related by accident, such as Sober’s example of the relationship between bread prices in England and the sea level in Venice. I show that these problems can be avoided if causal models are required to be monotonic in the following sense: the causal relations occurring in a model M would not disappear if further variables were added to M. I give a definition of this monotonicity condition and conclude that causal models should be required to be monotonic rather than causally sufficient. (shrink)

Since causal processes can be prevented and interfered with, law-governed causation is a challenge for necessitarian theories of laws of nature. To show that there is a problematic friction between necessity and interference, I focus on David Armstrong's theory; with one proviso, his lawmaker, nomological necessity, is supposed to be instantiated as the causation of the law's second relatum whenever its first relatum is instantiated. His proviso is supposed to handle interference cases, but fails to do so. In order (...) to be able to handle interferences, any theory which utilizes a kind of necessitation as lawmaker has to downgrade what it treats as necessity to something more akin to (Newtonian) forces. (shrink)

I present a case for a rapprochement between aspects of rationalism and scientific realism, by way of a general framework employing modal epistemology and elements of 2-dimensional semantics (2DS). My overall argument strategy is meta-inductive: The bulk of this paper establishes a “base case,” i.e., a concretely constructive example by which I demonstrate this linkage. The base case or constructive example acts as the exemplar for generating, in a constructively ‘bottom-up’ fashion, a more generally rigorous case for rationalism-realism qua modal (...) epistemology. The exemple I choose in D. Chalmers’ (2002) modal rationalism and R. Giere’s (1985, 1988) constructive realism. I show by way of a thorough analysis how Giere’s claims concerning modal scope are characterized as instances of Chalmers’ modal rationalism, both weak and strong. In essence, as I demonstrate via Chalmers’ notions, ceteris paribus the constructive realist ultimately opts for a comparatively wider gate, characterized by modal reasoning, to lead from the rooms of conceivability qua thought experiments and models, to the pastures of metaphysical possibility. Chalmers likewise tries to erect such a wider gate, in his general conceivability-possibility theses. Anti-realists, on the other hand, see a narrower passage and my contention herein is that they suffer from modal myopia, which hopefully the ‘corrective vision’ of Chalmers’ modal rationalism can restore. In the introduction and concluding sections I sketch out suggestions of constructing ‘inductive steps’ from my base case, to generate more extensively general claims regarding realism qua rationalism. -/- . (shrink)

The potential of using personalized Large Language Models (LLMs) or “generative AI” (GenAI) to enhance productivity in academic research, as highlighted by Porsdam Mann and colleagues (Porsdam Mann...

The goal of this paper is to defend the general tenet that time travelers cannot change the past within B-theoretical models of time, independently of how many temporal dimensions there are. Baron Pacific Philosophical Quarterly, 98, 129–147 offered a strong argument intended to reach this general conclusion. However, his argument does not cover a peculiar case, i.e. a B-theoretical one-dimensional model of time that allows for the presence of internal times. Loss Pacific Philosophical Quarterly, 96, 1–11 used the latter (...) model to argue that time travelers can change the past within such model. We show a way to debunk Loss’s argument, so that the general tenet about the impossibility of changing the past within B-theoretical models is maintained. (shrink)

In recent analytic literature on the Trinity we have seen a variety of "social" models of the Trinity. By contrast there are few "non-­‐social" models. One prominent "non-­‐social" view is Brian Leftow's "Latin Trinity." I argue that the name of Leftow's model is not sufficiently descriptive in light of diverse models within Latin speaking theology. Next, I develop a new "non-­‐social" model that is inspired by Richard of St. Victor's description of a person in conjunction with my (...) appropriating insights about indexicals from David Kaplan and John Perry. I point out that the copula in tokens of statements like, "I am the Father," is an ambiguous term and when used by a certain divine person a different proposition is affirmed. Central to this model is the claim that the copula bears the "is of identity" and the "is of numerical sameness without identity." Further, I show that Leftow's model employs two concepts of "person," a Lockean one and a Boethian one, and mine employs Richard of St. Victor's. I describe Leftow's model as a "hard non-­‐social" model and mine as a "soft non-­‐social" model that is nearer to some social models. I conclude that Leftow's model is not the lone candidate among "non-­‐social" models and that the variety of "non-­‐social" models has yet to be exhausted. (shrink)

Our universe features a harmonious match between laws and states: applying its laws to its states generates other states. This is a striking fact. Matters might have been otherwise. The universe might have been stillborn in a state unengaged by its laws. The problem of nomological harmony is that of explaining the noted striking fact. After introducing and developing this problem, we canvass candidate solutions and identify some of their virtues and vices. Candidate solutions invoke the likes of a (...) designer, axiarchic meta-laws, multiverses, essential causal powers, and Humean laws. (shrink)

In our contemporary world, the rights of nature have become an important legal device for environmental protection. Some of the most influential rights of nature frameworks can be found in non-Western contexts and have been strongly influenced by ecocentric accounts of nature. This article addresses the question of whether rights of nature can be implemented in Western contexts as well, focusing in particular on Europe. It first examines ecocentric justifications of the rights of nature and discusses two possible non-ecocentric alternatives. (...) Second, two models for implementing rights of nature—the nature’s rights model and the legal personhood model—are compared to demonstrate how different combinations of elements from both models can fit different socio-cultural contexts, including Western ones. (shrink)

A common view of how-possibly explanations in biology treats them as explanatorily incomplete. In addition to this interpretation of how-possibly explanation, I argue that there is another interpretation, one which features what I term “explanatory strategies.” This strategy-centered interpretation of how-possibly explanation centers on there being a different explanatory context within which how-possibly explanations are offered. I contend that, in conditions where this strategy context is recognized, how-possibly explanations can be understood as complete explanations. I defend this alternative interpretation by (...) analyzing the explanatory value of simple physical models the nineteenth century developmental biologist Wilhelm His constructed for animal development. (shrink)

Wilson [Dialectica 63:525–554, 2009], Moore [Int Stud Philos Sci 26:359–380, 2012], and Massin [Br J Philos Sci 68:805–846, 2017] identify an overdetermination problem arising from the principle of composition in Newtonian physics. I argue that the principle of composition is a red herring: what’s really at issue are contrasting metaphysical views about how to interpret the science. One of these views—that real forces are to be tied to physical interactions like pushes and pulls—is a superior guide to real forces than (...) the alternative, which demands that real forces are tied to “realized” accelerations. Not only is the former view employed in the actual construction of Newtonian models, the latter is both unmotivated and inconsistent with the foundations and testing of the science. (shrink)

According to our understanding of the everyday physical world, observable phenomena are underpinned by persistent objects that can be reidentified across time by observation of their distinctive properties. This understanding is reflected in classical mechanics, which posits that matter consists of persistent, reidentifiable particles. However, the mathematical symmetrization procedures used to describe identical particles within the quantum formalism have led to the widespread belief that identical quantum particles lack either persistence or reidentifiability. However, it has proved difficult to reconcile these (...) assertions with the fact that identical particles are routinely assumed to be reidentifiable in particular circumstances. For example, when two electrons move through a bubble chamber, each is said to generate a sequence of bubbles that is caused by one and the same particle. Moreover, neither of these assertions accounts for the mathematical form of the symmetrization procedures used to describe identical particles within the quantum framework, leaving open theoretical possibilities other than bosonic and fermionic behavior, such as paraparticles, which do not appear to be realized in nature. Here we propose the novel idea that both persistence and nonpersistence models must be employed in order to fully account for the behaviour of identical particles. Thus, identical particles are neither persistent nor nonpersistent. We prove the viability of this viewpoint by showing how Feynman's and Dirac's symmetrization procedures arise through a synthesis of a quantum treatment of these models, and by showing how reidentifiability emerges in a context-dependent manner. We further show that the persistence and nonpersistence models satisfy the key characteristics of Bohr's concept of complementarity, and thereby propose that the behavior of identical particles is a manifestation of a persistence-nonpersistence complementarity, analogous to Bohr's wave-particle complementarity for individual particles. Finally, we construct a precise parallel between these two complementarities, and detail their conceptual similarities and dissimilarities. (shrink)