Modern insolubility proofs of the measurement problem in quantum mechanics not only differ in their complexity and degree of generality, but also reveal a lack of agreement concerning the fundamental question of what constitutes such a proof. A systematic reworking of the (incomplete) 1970 Fine theorem is presented, which is intended to go some way toward clarifying the issue.

Niels Bohr’s model of the hydrogen atom is widely cited as an example of an inconsistent scientific theory because of its reliance on classical electrodynamics together with assumptions about interactions between matter and electromagnetic radiation that could not be reconciled with CED. This view of Bohr’s model is controversial, but we believe a recently proposed approach to reasoning with inconsistent commitments offers a promising formal reading of how Bohr’s model worked. In this paper we present this new way of reasoning (...) with inconsistent commitments and compare it with other approaches before applying it to Bohr’s model and offering some suggestions for how it might be extended to account for subsequent developments in old quantum theory. (shrink)

Philosophers view themselves as critical thinkers par excellence. But they have overlooked the institutional arrangements that govern their lives. The early twentieth-century research university disciplined philosophers, placing them in departments, where they wrote for and were judged by their disciplinary peers. Oddly, this change has been unremarked upon, or has been treated as simply part of the necessary professionalization of an academic field of research. The department has been tacitly assumed to be a neutral space from which thought germinates; it (...) is not itself an object of reflection. We find no explorations of the effects that departmentalization might have on philosophical theorizing, or speculations about where else philosophers could be housed, or how, by being located elsewhere, they might develop alternative accounts of the world or have come up with new ways of philosophizing. (shrink)

In the present paper the attempt is made for the first time to formalize the modern theory of elementary particles based on the structuralist approach. To this end, the description within the scope of the so-called standard model is considered. In the physics of elementary particles the term ‘standard model’ denotes the summary of theories which describe the various elementary building blocks of matter as well as their interactions between each other. This model represents one of the most successful theories (...) in physics, particularly because of the impressive experimental confirmation. Hence a structuralist reconstruction of it is a challenging task. (shrink)

The thesis of this paper is that an argument's possessing the form of affirming the consequent does not suffice to make its premises at all favorably relevant to its conclusion. In support of this thesis I assume two premises and argue for a third. My two assumptions are these: (1) that an argument's possessing the form of affirming the consequent does not suffice to make its conclusion certain relative to its premises (this is widely, if not universally, acknowledged by writers (...) on logic), and (2) premises are favorably relevant to a conclusion only if it is certain or probable relative to them (I argued for this in an earlier paper). The premise I argue for in this paper is that an argument's possessing the form of affirming the consequent does not suffice to make its conclusion probable relative to its premises. To establish this third premise, I first refute a defense of the contrary position (namely, that an argument's possessing the form of affirming the consequent suffices to make its conclusion probable relative to its premises), then offer counterexamples to that position, and finally demonstrate the failure of several attempts to save it. (shrink)

Templates travel because they offer a tractable format that can be used for model-building in a variety of domains. It is often because of this quality that a particular template is chosen. But one cannot assume that there are always templates ready to model a new phenomenon, and moreover, templates have also been designed at some point. A critical aspect of this designing process is the choice of the mathematical objects with which one hopes to capture this phenomenon. This means (...) that one has to assess which of the properties of different kinds of mathematical objects and which combinations of them are most appropriate. The selection of these objects is based on whether their properties enable the model to perform its function. This selection of mathematical objects is similar to the selection of materials in mechanical design. (shrink)

Les questions qui ont suscité le présent texte concernent la relation entre la théorie et le réel empirique: comment peut-on identifier le contenu empirique d'une théorie? Dans quelle mesure sa prétention à révéler le réel estelle justifiée? La première tâche que ces interrogations commandent est celle d'exposer les conceptions de la structure des théories scientifiques les plus marquantes de ce siècle. Dans cette période la philosophie des sciences a d'abord été dominée par l'empirisme logique et son approche formelle de la (...) structure des théories scientifiques. L'empirisme logique est certes un mouvement qui a eu une histoire mouvementée et qui a été le théâtre de nombreuses modifications, mais une de ses thèses les plus persistantes peut le caractériser de façon générale: sa représentation de la théorie sous la forme d'un système d'énoncés. Pour désigner cette position, nous utiliserons l'expression «conception assertive» comme traduction de statement view. L'approche sémantique est une conception plus récente de la structure de la théorie qui semble peu à peu vouloir prendre la place de la conception assertive. Nous décrirons donc dans un premier temps ces deux approches afin de déterminer chaque fois la fagon dont le rapport de la théorie au réel est envisagé. (shrink)

Ernst Cassirer’s epistemological trilogy – Substanzbegriff und Funktionsbegriff (1910), Zur Einsteinschen Relativitätstheorie (1921) and Determinismus und Indeterminismus (1937) – is well known to Western scholars, some of whom recently devoted a number of in-depth and interesting studies to Cassirer’s epistemology. Nonetheless, they overlooked aspects of Cassirer’s concept of idealisation and his model of science as found in his last epistemological work: Determinismus und Indeterminismus. In this essay I will consider these two almost disregarded aspects of Cassirer’s epistemology in order to (...) provide a better understanding of his idea of science. (shrink)

According to epistemic structural realism scientific theories provide us only with knowledge about the structure of the unobservable world, but not about its nature. The most significant objection that this posi- tion has faced is the so-called Newman’s problem. In this paper I offer an alternative objection to EER. I argue that its formulation leads to undesirable skeptical positions in two fields close to scientific realism: the debates on modality and laws of nature. I also show that there is an (...) interesting sense in which my objection is stronger than the one offered by Newman. (shrink)

This article outlines a philosophy of science in practice that focuses on the engineering sciences. A methodological issue is that these practices seem to be divided by two different styles of scientific reasoning, namely, causal-mechanistic and mathematical reasoning. These styles are philosophically characterized by what Kuhn called ?disciplinary matrices?. Due to distinct metaphysical background pictures and/or distinct ideas of what counts as intelligible, they entail distinct ideas of the character of phenomena and what counts as a scientific explanation. It is (...) argued that the two styles cannot be reduced to each other. At the same time, although they are incompatible, they must not be regarded as competing. Instead, they produce different kinds of epistemic results, which serve different kinds of epistemic functions. Moreover, some scientific breakthroughs essentially result from relating them. This view of complementary styles of scientific reasoning is supported by pluralism about metaphysical background pictures. (shrink)

The complex societal challenges of the twenty-first Century require scientific researchers and academically educated professionals capable of conducting scientific research in complex problem contexts. Our central claim is that educational approaches inspired by a traditional empiricist epistemology insufficiently foster the required deep conceptual understanding and higher-order thinking skills necessary for epistemic tasks in scientific research. Conversely, we argue that constructivist epistemologies provide better guidance to educational approaches to promote research skills. We also argue that teachers adopting a constructivist learning theory (...) do not necessarily embrace a constructivist epistemology. On the contrary, in educational practice, novel educational approaches that adopt constructivist learning theories often maintain traditional empiricist epistemologies. Philosophers of science can help develop educational designs focused on learning to conduct scientific research, combining constructivist learning theory with constructivist epistemology. We illustrate this by an example from a bachelor’s program in Biomedical Engineering, where we introduce conceptual models and modeling as an alternative to the traditional focus on hypothesis testing in conducting scientific research. This educational approach includes the so-called B&K method for constructing scientific models to scaffold teaching and learning conceptual modeling. (shrink)

In science policy, it is generally acknowledged that science-based problem-solving requires interdisciplinary research. For example, policy makers invest in funding programs such as Horizon 2020 that aim to stimulate interdisciplinary research. Yet the epistemological processes that lead to effective interdisciplinary research are poorly understood. This article aims at an epistemology for interdisciplinary research, in particular, IDR for solving ‘real-world’ problems. Focus is on the question why researchers experience cognitive and epistemic difficulties in conducting IDR. Based on a study of educational (...) literature it is concluded that higher-education is missing clear ideas on the epistemology of IDR, and as a consequence, on how to teach it. It is conjectured that the lack of philosophical interest in the epistemology of IDR is due to a philosophical paradigm of science, which prevents recognizing severe epistemological challenges of IDR, both in the philosophy of science as well as in science education and research. The proposed alternative philosophical paradigm entails alternative philosophical presuppositions regarding aspects such as the aim of science, the character of knowledge, the epistemic and pragmatic criteria for accepting knowledge, and the role of technological instruments. This alternative philosophical paradigm assume the production of knowledge for epistemic functions as the aim of science, and interprets ‘knowledge’ as epistemic tools that must allow for conducting epistemic tasks by epistemic agents, rather than interpreting knowledge as representations that objectively represent aspects of the world independent of the way in which it was constructed. The engineering paradigm of science involves that knowledge is indelibly shaped by how it is constructed. Additionally, the way in which scientific disciplines construct knowledge is guided by the specificities of the discipline, which can be analyzed in terms of disciplinary perspectives. This implies that knowledge and the epistemic uses of knowledge cannot be understood without at least some understanding of how the knowledge is constructed. Accordingly, scientific researchers need so-called metacognitive scaffolds to assist in analyzing and reconstructing how ‘knowledge’ is constructed and how different disciplines do this differently. In an engineering paradigm of science, these metacognitive scaffolds can also be interpreted as epistemic tools, but in this case as tools that guide, enable and constrain analyzing and articulating how knowledge is produced. In interdisciplinary research, metacognitive scaffolds assist interdisciplinary communication aiming to analyze and articulate how the discipline constructs knowledge. (shrink)

The aim of this paper is to argue that logic can play an important role in the “toolbox” of molecular biology. We show how biochemical pathways, i.e., transitions from a molecular aggregate to another molecular aggregate, can be viewed as deductive processes. In particular, our logical approach to molecular biology — developed in the form of a natural deduction system — is centered on the notion of Curry-Howard isomorphism, a cornerstone in nineteenth-century proof-theory.

Large scale experiments at CERN’s Large Hadron Collider rely heavily on computer simulations, a fact that has recently caught philosophers’ attention. CSs obviously require appropriate modeling, and it is a common assumption among philosophers that the relevant models can be ordered into hierarchical structures. Focusing on LHC’s ATLAS experiment, we will establish three central results here: with some distinct modifications, individual components of ATLAS’ overall simulation infrastructure can be ordered into hierarchical structures. Hence, to a good degree of approximation, hierarchical (...) accounts remain valid at least as descriptive accounts of initial modeling steps. In order to perform the epistemic function Winsberg Model-based reasoning in scientific discovery. Kluwer Academic/plenum Publishers, New York, pp 255–269, 1999) assigns to models in simulation—generate knowledge through a sequence of skillful but non-deductive transformations—ATLAS’ simulation models have to be considered part of a network rather than a hierarchy, in turn making the associated simulation modeling messy rather than motley. Deriving knowledge-claims from this ‘mess’ requires two sources of justification: holistic validation :253–262, 2010; in Carrier M, Nordmann A Science in the context of application. Springer, Berlin, pp 115–130, 2011), and model coherence. As it turns out, the degree of model coherence sets HEP apart from other messy, simulation-intensive disciplines such as climate science, and the reasons for this are to be sought in the historical, empirical and theoretical foundations of the respective discipline. (shrink)

A scientific mathematical law is causal if and only if it is a process law that contains a time derivative. This is the intrinsic criterion for causal laws we propose. A process is a space-time line along which some properties are conserved or vary. A process law contains a time variable, but only process laws that contain a time derivative are causal laws. An effect is identified with what corresponds to a time derivative of some property or magnitude in a (...) process law, whereas the other terms correspond to the cause(s). According to our criterion, causes are simultaneous with their effects and causality has no temporal direction. Several examples from natural and social disciplines support the applicability of our criterion to all scientific laws. Various objections to our proposal are presented and refuted. The merits our intrinsic theory of causality vis-à-vis the Salmon–Dowe conserved quantity theory are discussed. (shrink)

Empirical adequacy matters directly - as it does for antirealists - if we aim to get all or most of the observable facts right, or indirectly - as it does for realists - as a symptom that the claims we make about the theoretical facts are right. But why should getting the facts - either theoretical or empirical - right be required of an acceptable theory? Here we endorse two other jobs that good theories are expected to do: helping us (...) with a) understanding and b) managing the world. Both are of equal, often greater, importance than getting a swathe of facts right, and empirical adequacy fares badly in both. It is not needed for doing these jobs and in many cases it gets in the way of doing them efficiently. (shrink)

The Great Divide in metaphysical debates about laws of nature is between Humeans, who think that laws merely describe the distribution of matter, and non-Humeans, who think that laws govern it. The metaphysics can place demands on the proper formulations of physical theories. It is sometimes assumed that the governing view requires a fundamental / intrinsic direction of time: to govern, laws must be dynamical, producing later states of the world from earlier ones, in accord with the fundamental direction of (...) time in the universe. In this paper, we propose a minimal primitivism about laws of nature (MinP) according to which there is no such requirement. On our view, laws govern by constraining the physical possibilities. Our view captures the essence of the governing view without taking on extraneous commitments about the direction of time or dynamic production. Moreover, as a version of primitivism, our view requires no reduction / analysis of laws in terms of universals, powers, or dispositions. Our view accommodates several potential candidates for fundamental laws, including the principle of least action, the Past Hypothesis, the Einstein equation of general relativity, and even controversial examples found in the Wheeler-Feynman theory of electrodynamics and retrocausal theories of quantum mechanics. By understanding governing as constraining, non-Humeans who accept MinP have the same freedom to contemplate a wide variety of candidate fundamental laws as Humeans do. (shrink)

This paper argues for the theoretical and practical validity of similarity as a useful epistemological tool in scientific knowledge generation, specifically in chemistry. Classical analyses of similarity in philosophy of science do not account for the concept’s practical significance in scientific activities. We recur to examples from chemistry to counter the claim of authors like Quine or Goodman to the effect that similarity must be excluded from scientific practices . In conclusion we argue that more recent conceptualizations of the notion (...) of similarity, particularly Giere’s one, are appropriate for a philosophical analysis that considers scientific practices on equal terms with scientific theory. (shrink)

The ArgumentIdealizations and approximations are an indispensable tool for the scientist. This paper argues that idealizations and approximations are equally indispensable for the philosopher of science. In particular, it is shown that the deductive model of scientific theories is an idealization in precisely the same sense that frictionless motion is an idealization in mechanics. By its very nature, an idealization cannot be criticized as not being absolutely true to the facts, for it need not be. Thus, the usual type of (...) criticism levelled against the deductive model is shown to be irrelevant. The main step in the argument consists in using a logic of approximation to clarify the notions of approximate implication and approximate entailment, which are usually rejected as hopelessly vague. More generally, the conception underlying the paper is that the desiderata of science should be formulated in such a way that complying with them could be a matter of degree, and that pragmatic considerations could be taken into account. This conception is motivated by the wish to introduce some quantitative concepts in the philosophy of science, thereby bringing the philosopher's perspective closer to that of the scientist. (shrink)

This paper presents a new modal logic for ceteris paribus preferences understood in the sense of "all other things being equal". This reading goes back to the seminal work of Von Wright in the early 1960's and has returned in computer science in the 1990' s and in more abstract "dependency logics" today. We show how it differs from ceteris paribus as "all other things being normal", which is used in contexts with preference defeaters. We provide a semantic analysis and (...) several completeness theorems. We show how our system links up with Von Wright's work, and how it applies to game-theoretic solution concepts, to agenda setting in investigation, and to preference change. We finally consider its relation with infinitary modal logics. (shrink)

This paper examines the epistemological significance of the present situation of underdetermination in quantum mechanics. After analyzing this underdetermination at three levels---formal, ontological, and methodological---the paper considers implications for a number of variants of the thesis of scientific realism in fundamental physics and reassesses Lakatos‘ characterization of progress in physical theory in light of the present situation. Next, this paper considers the implications of underdetermination for Weinberg’s ‘‘dream of a final theory.’’ Finally, the paper concludes by suggesting how one might (...) still think of realism and progress in fundamental physics despite the possibility of persistent underdetermination in quantum mechanics. (shrink)

According to a common belief concerning the Mach-Boltzmann debate on atoms, the new experiments performed in microphysics at the turn of the 19th and 20th centuries confirmed Boltzmann’s atomic hypothesis and disproved Mach’s anti-atomic view. This paper intends to show that this belief is partially unjustified. Mach’s view on atoms consists in fact of different kinds of arguments. While the new experiments in microphysics refute indeed his scientific arguments against the atomic hypothesis, his epistemological arguments are unaffected. In this regard, (...) Mach’s epistemological approach remains relevant for today’s discussion on the status of the notion of atom. (shrink)

The nomic view of dispositions holds that properties confer dispositions on their bearers with nomological necessity. The argument against nomic dispositions challenges the nomic view: if the nomic view is true, then objects don't have dispositions, but 'mimic' them. This paper presents an explication of disposition conferral which shows that the nomic view is not vulnerable to this objection.

This paper addresses a problem that arises when it comes to inferring deterministic causal chains from pertinent empirical data. It will be shown that to every deterministic chain there exists an empirically equivalent common cause structure. Thus, our overall conviction that deterministic chains are one of the most ubiquitous (macroscopic) causal structures is underdetermined by empirical data. It will be argued that even though the chain and its associated common cause model are empirically equivalent there exists an important asymmetry between (...) the two models with respect to model expansions. This asymmetry might constitute a basis on which to disambiguate corresponding causal inferences on non-empirical grounds. (shrink)

This article discusses minimal model explanations, which we argue are distinct from various causal, mechanical, difference-making, and so on, strategies prominent in the philosophical literature. We contend that what accounts for the explanatory power of these models is not that they have certain features in common with real systems. Rather, the models are explanatory because of a story about why a class of systems will all display the same large-scale behavior because the details that distinguish them are irrelevant. This story (...) explains patterns across extremely diverse systems and shows how minimal models can be used to understand real systems. (shrink)

A recent and growing discussion in philosophy addresses the construction of models and their use in scientific reasoning by comparison with fiction. This comparison helps to explore the problem of mediated observation and, hence, the lack of an unambiguous reference of representations. Examining the usefulness of the concept of fiction for a comparison with non-denoting elements in science, the aim of this paper is to present reasonable grounds for drawing a distinction between these two kinds of representation. In particular, my (...) account will suggest a demarcation between fictional and non-fictional discourse as involving two different ways of interpreting representations. This demarcation, leading me to distinguish between fictional and non-fictional forms of enquiry, will provide a useful tool to explore to what extent the descriptions given by a model can be justified as making claims about the world and to what degree they are a consequence of the model’s particular construction. (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)

Philosophers of physics have long debated whether the Past State of low entropy of our universe calls for explanation. What is meant by “calls for explanation”? In this article we analyze this notion, distinguishing between several possible meanings that may be attached to it. Taking the debate around the Past State as a case study, we show how our analysis of what “calling for explanation” might mean can contribute to clarifying the debate and perhaps to settling it, thus demonstrating the (...) fruitfulness of this analysis. Applying our analysis, we show that two main opponents in this debate, Huw Price and Craig Callender, are, for the most part, talking past each other rather than disagreeing, as they employ different notions of “calling for explanation”. We then proceed to show how answering the different questions that arise out of the different meanings of “calling for explanation” can result in clarifying the problems at hand and thus, hopefully, to solving them. (shrink)

Standard microbial evolutionary ontology is organized according to a nested hierarchy of entities at various levels of biological organization. It typically detects and defines these entities in relation to the most stable aspects of evolutionary processes, by identifying lineages evolving by a process of vertical inheritance from an ancestral entity. However, recent advances in microbiology indicate that such an ontology has important limitations. The various dynamics detected within microbiological systems reveal that a focus on the most stable entities (or features (...) of entities) over time inevitably underestimates the extent and nature of microbial diversity. These dynamics are not the outcome of the process of vertical descent alone. Other processes, often involving causal interactions between entities from distinct levels of biological organisation, or operating at different time scales, are responsible not only for the destabilisation of pre-existing entities, but also for the emergence and stabilisation of novel entities in the microbial world. In this article we consider microbial entities as more or less stabilised functional wholes, and sketch a network-based ontology that can represent a diverse set of processes including, for example, as well as phylogenetic relations, interactions that stabilise or destabilise the interacting entities, spatial relations, ecological connections, and genetic exchanges. We use this pluralistic framework for evaluating (i) the existing ontological assumptions in evolution (e.g. whether currently recognized entities are adequate for understanding the causes of change and stabilisation in the microbial world), and (ii) for identifying hidden ontological kinds, essentially invisible from within a more limited perspective. We propose to recognize additional classes of entities that provide new insights into the structure of the microbial world, namely “processually equivalent” entities, “processually versatile” entities, and “stabilized” entities. (shrink)

Soon after the 2008 financial crisis, Gillian Tett, an anthropologist and the US Managing Editor of the Financial Times, suggested that regulators’ and practitioners’ inability to anticipate and respond to deep problems in the financial industry could be traced back to what she called “silo thinking,” wherein experts in one area know nothing about the methods and research of other areas. As she put it, “the essential challenges for investors today…”—and, we might add, for regulators and academics—is “to understand the (...) micro-details of the silos, and see how all the macro-pieces add up”.In years since, many researchers in many fields have sought to identify causes of the... (shrink)

I argue that the contemporary interplay of cosmology and particle physics in their joint effort to understand the processes at work during the first moments of the big bang has important implications for understanding the nature of lawhood. I focus on the phenomenon of spontaneous symmetry breaking responsible for generating the masses of certain particles. This phenomenon presents problems for the currently fashionable Dretske-Tooley-Armstrong theory and strongly favors a rival nomic ontology of causal powers.

This paper examines the process of modelling a complex empirical phenomenon in modern astrophysics: extended extragalactic radio sources. I show that modelling is done piecemeal, addressing selected striking or puzzling features of that phenomenon separately and individually. The result is various independent and separate sub-models concerned only with limited aspects of the same phenomenon. Because the sub-models represent features of the same physical phenomenon, they need to be reasonably consistent with each other - a criterion not always fully adhered to (...) - and there needs to be a way to conceptually `re-unite' the sub-models to form an overall-model. Visualisation, that is, supplying a concrete interpretation of abstract, theoretical sub-models, aids this modelling process. My case study further endorses the view that modelling is `work in progress', i.e. a form of developing knowledge whereby models represent, not replicate, a phenomenon. (shrink)

In recent years, a new dispute has risen to prominence: the dispute between realists and anti-realists about causal powers. Albeit sometimes overlooked, the meta-ontological features of this “question of realism for powers” are quite peculiar. For friends and foes of causal powers have characterized their contrasting views in a variety of different ways; as existence claims, as semantic or truth-making claims, as fundamentality claims, as claims about the nature of certain properties. Not only does this multiplicity of interpretations make it (...) unclear what the genuine bone of contention is, if there is one; some of them appear to be mutually exclusive. Some light can be shed on this apparent yet widespread confusion by distinguishing three degrees of ontological involvement in dispositional truths; viz., three ways, of increasing robustness, to read ontological commitments from dispositional truths. Relatedly, by exploring the literature, and focusing on some selected examples of power realism and anti-realism, we can observe that power realists vastly disagree over the intrinsic nature ad make-up of dispositional properties. Such examples furthermore invite the thought that the question of realism for powers is best understood not as the debate around the existence of properties with a distinctive identity, but rather as a debate about metaphysical hierarchy. Finally, some anti-realists positions are indistinguishable from realist ones, using merely intensional resources: power realism is best appreciated by going hyperintensional. (shrink)

First, I discuss the older “theory-centered” and the more recent semantic conception of scientific theories. I argue that these two perspectives are nothing more than terminological variants of one another. I then offer a new theory-centered view of scientific theories. I argue that this new view captures the insights had by each of these earlier views, that it’s closer to how scientists think about their own theories, and that it better accommodates the phenomenon of inconsistent scientific theories.

Scientific realism and anti-realism are most frequently discussed as global theses: theses that apply equally well across the board to all the various sciences. Against this status quo I defend the localist alternative, a methodological stance on scientific realism that approaches debates on realism at the level of individual sciences, rather than at science itself. After identifying the localist view, I provide a number of arguments in its defense, drawing on the diversity and disunity found in the sciences, as well (...) as problems with other approaches (such as basing realism debates on the aim of science). I also show how the view is already at work, explicitly or implicitly, in the work of several philosophers of science. After meeting the objections that localism collapses either into globalism or hyperlocalism, I conclude by sketching what sorts of impacts localism can have in the philosophy of science. (shrink)

In this paper, we aim at explaining the relevance of thought experiments in philosophy and the history of science by describing them as particular instances of two categories of creative thinking: metaphorical reasoning and abductive cognition. As a result of this definition, we will claim that TEs hold an ignorance-preserving trait that is evidenced in both TEs inferential structure and in the process of scenario creation they presuppose. Elaborating this thesis will allow us to explain the wonder that philosophers of (...) science have consistently shown for TEs, as well as the high functionality of TEs in the creative aspects of scientific and philosophical praxis. (shrink)

In this chapter I investigate the prospects of integrated history and philosophy of science, by examining how philosophical issues raised by “hidden entities”, entities that are not accessible to unmediated observation, can enrich the historical investigation of their careers. Conversely, I suggest that the history of those entities has important lessons to teach to the philosophy of science. Hidden entities have played a crucial role in the development of the natural sciences. Despite their centrality to past scientific practice, however, several (...) of them (e.g., phlogiston, caloric, and the ether) turned out to be fictitious. For this reason, they have figured prominently in recent debates on scientific realism. The issues I explore in this paper are entangled with those debates. I argue that our understanding of hidden entities and their role in experimental practice can be enhanced by adopting an integrated historical-cum-philosophical approach. On the one hand, philosophical reflection on the reality of those entities has a lot to gain by examining historically how they were ntroduced and investigated. On the other hand, the historical reconstruction of the careers of those entities may profit from philosophical reflection on their existence. (shrink)

This article unpacks a particular use of ‘cases’ within developmental biology, namely as a means of describing the typical or canonical patterns of phenomena. The article explores how certain cases have come to be established within the field and argues that although they were initially selected for reasons of convenience or ease of experimental manipulation, these cases come to serve as key reference points within the field because of the epistemological structures imposed on them by the scientists using them and, (...) hence, become usable in a wider variety of circumstances including future theory development. (shrink)

Questions concerning the epistemological status of computer science are, in this paper, answered from the point of view of the formal verification framework. State space reduction techniques adopted to simplify computational models in model checking are analysed in terms of Aristotelian abstractions and Galilean idealizations characterizing the inquiry of empirical systems. Methodological considerations drawn here are employed to argue in favour of the scientific understanding of computer science as a discipline. Specifically, reduced models gained by Dataion are acknowledged as Aristotelian (...) abstractions that include only data which are sufficient to examine the interested executions. The present study highlights how the need to maximize incompatible properties is at the basis of both Abstraction Refinement, the process of generating a cascade of computational models to achieve a balance between simplicity and informativeness, and the Multiple Model Idealization approach in biology. Finally, fairness constraints, imposed to computational models to allow fair behaviours only, are defined as ceteris paribus conditions under which temporal formulas, formalizing software requirements, acquire the status of law-like statements about the software systems executions. (shrink)