The theoretical system Lyell presented in 1830 was composed of three requirements or principles: 1) the Uniformity Principle which states that past geological events must be explained by the same causes now in operation; 2) the Uniformity of Rate Principle which states that geological laws operate with the same force as at present; 3) the Steady-state Principle which states that the earth does not undergo any directional change. The three principles form a single thesis called uniformitarianism which has been repeatedly (...) questioned and which has been reputed to be unable to face the competing directional synthesis based on the theory of the earth's cooling down. As a result, the significance of Lyell's system has been reduced to a simple actualism which admits the validity of the only Uniformity Principle. I believe that the only way to understand Lyell's role in the history of science is to maintain the unity of his synthesis. To show the Newtonian roots of this synthesis I will compare Lyell's principles and Newton's Rules of Reasoning. I will conclude with an analysis of the methodological function of principles in Lyell's scientific endeavour. (shrink)

ABSTRACT Nassim Taleb’s dismissal of history as based on the “narrative fallacy”—which reads our present knowledge of past events into our reconstruction of the past—is based on a fundamental misconception of what historians actually do. Historians do not, as Taleb presumes, try to infer general, predictive laws from “hard” facts, as do natural scientists; instead their aim is to discover the causes of unique historical facts among antecedent facts. This is no different, in principle, from “narrating” the cause of a (...) supernova by referring to physical causes. The construction of universal historical laws would admittedly be a fool’s errand, but that is not the task historians—as opposed to historicists—actually set for themselves. (shrink)

In this paper, I consider the relationship between Inference to the Best Explanation and Bayesianism, both of which are well-known accounts of the nature of scientific inference. In Sect. 2, I give a brief overview of Bayesianism and IBE. In Sect. 3, I argue that IBE in its most prominently defended forms is difficult to reconcile with Bayesianism because not all of the items that feature on popular lists of “explanatory virtues”—by means of which IBE ranks competing explanations—have confirmational import. (...) Rather, some of the items that feature on these lists are “informational virtues”—properties that do not make a hypothesis \ more probable than some competitor \ given evidence E, but that, roughly-speaking, give that hypothesis greater informative content. In Sect. 4, I consider as a response to my argument a recent version of compatibilism which argues that IBE can provide further normative constraints on the objectively correct probability function. I argue that this response does not succeed, owing to the difficulty of defending with any generality such further normative constraints. Lastly, in Sect. 5, I propose that IBE should be regarded, not as a theory of scientific inference, but rather as a theory of when we ought to “accept” H, where the acceptability of H is fixed by the goals of science and concerns whether H is worthy of commitment as research program. In this way, IBE and Bayesianism, as I will show, can be made compatible, and thus the Bayesian and the proponent of IBE can be friends. (shrink)

On the relation between experiment and thought experiment in the natural sciences. To understand the reciprocal autonomy and complementarity of thought and real experiment, it is necessary to distinguish between a ‘positive’ (empirical or formal) and a transcendental perspective. Empirically and formally, real and thought experiments are indistinguishable. However, from a reflexive-transcendental viewpoint thought experiment is at the same time irreducible and complementary to real experiment. This is due to the fact that the hypothetical-anticipatory moment is in principle irreducible to (...) physical reality—even though it refers to physical reality and is bound with the empirical use of our understanding. The presence of counterfactuals is the condition of the possibility for thought experiments to become in principle real ones, by means of a series of technical realisations that gradually approximate the idealisations that they contain. (shrink)

Operationalism and theoretical entities. The thesis of the“theory ladenness” of observation leads to an antinomy. In order to solve this antinomy a technical operationalism is sketched, according to which theories should in principle not contain anything that cannot be reduced to technical procedures. This implies the rejection of Quine's underdeterminacy thesis and of many views about the theoretical-observational distinction, e.g. neopositivistic views, van Fraassen's view, Sneed-Stegmüller's view. Then I argue for the following theses: 1. All scientific concepts are theory laden (...) in the sense that they allow us to anticipate possible experiences, but they have to be in principle fully observable, i.e. integrally convertible into operational-technical applications. 2. The observation/theory distinction can be maintained as a historical one: what is observable depends on the instruments that are available at any stage of the development of science. 3.In principle theoretical entities are empirically real in Hacking's sense. However, some aspects of Hacking's realism are to be criticized. Theoretical entities are to be resolved into the totality of the interrelated properties accessible to us by means of theoretical points of view embodied in scientific instruments. (shrink)

In previous work, I described several examples combining reduction and emergence: where reduction is understood a la Ernest Nagel, and emergence is understood as behaviour that is novel. Here, my aim is again to reconcile reduction and emergence, for a case which is apparently more problematic than those I treated before: renormalization. My main point is that renormalizability being a generic feature at accessible energies gives us a conceptually unified family of Nagelian reductions. That is worth saying since philosophers tend (...) to think of scientific explanation as only explaining an individual event, or perhaps a single law, or at most deducing one theory as a special case of another. Here we see a framework in which there is a space of theories endowed with enough structure that it provides a family of reductions. (shrink)

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

An emphasis on explanatory contribution is central to a recent formulation of the indispensability argument for mathematical realism. Because scientific realism is argued for by means of inference to the best explanation, it has been further argued that being a scientific realist entails a commitment to IA and thus to mathematical realism. It has, however, gone largely unnoticed that the way that IBE is argued to be truth conducive involves citing successful applications of IBE and tracing this success over time. (...) This in turn involves identifying those constituents of scientific theories that are responsible for their predictive success and showing that these constituents are retained across theory change in science. I argue that even if mathematics can be shown to feature in best explanations, the role of mathematics in scientific theories does not satisfy the condition that mathematics is always retained across theory change. According to a scientific realist, this condition needs to be met for making ontological claims on the basis of explanatory contribution. Thus scientific realists are not committed to mathematical realism on the basis of this recent formulation of IA. (shrink)

When the indispensability argument for mathematical entities (IA) is spelled out, it would appear confirmational holism is needed for the argument to work. It has been argued that confirmational holism is a dispensable premise in the argument if a construal of naturalism, according to which it is denied that we can take different epistemic attitudes towards different parts of our scientific theories, is adopted. I argue that the suggested variety of naturalism will only appeal to a limited number of philosophers. (...) I then suggest that if we allow for some degree of separation between different component parts of theories, IA can be formulated as an argument aimed at more than a limited number of philosophers, but in implementing this strategy the notion of indispensability needs spelling out. The best way of spelling out indispensability is in terms of theory contribution, but doing so requires adopting inference to the best explanation (IBE). IBE is however sufficient for establishing the conclusion that IA is supposed to establish. Thus, IA is a redundant argument. (shrink)

In this paper I criticize a view of functional localization in neuroscience, which I call “computational absolutism”. “Absolutism” in general is the view that each part of the brain should be given a single, univocal function ascription. Traditional varieties of absolutism posit that each part of the brain processes a particular type of information and/or performs a specific task. These function attributions are currently beset by physiological evidence which seems to suggest that brain areas are multifunctional—that they process distinct information (...) and perform different tasks depending on context. Many theorists take this contextual variation as inimical to successful localization, and claim that we can avoid it by changing our functional descriptions to computational descriptions. The idea is that we can have highly generalizable and predictive functional theories if we can discover a single computation performed by each area regardless of the specific context in which it operates. I argue, drawing on computational models of perceptual area MT, that this computational version of absolutism fails to come through on its promises. In MT, the modeling field has not produced a univocal computational description, but instead a plurality of models analyzing different aspects of MT function. Moreover, CA cannot appeal to theoretical unification to solve this problem, since highly general models, on their own, neither explain nor predict what MT does in any particular context. I close by offering a perspective on neural modeling inspired by Nancy Cartwright’s and Margaret Morrison’s views of modeling in the physical sciences. (shrink)

This paper's purpose is to set forth the conditions of explanation in the domain of formal modelling of social action. Explanation is defined as an adequate account of the underlying factors bringing about a phenomenon. The modelling of a social phenomenon can claim explanatory value in this sense if the following two conditions are fulfilled. (1) The generative mechanisms involved translate the effects of real factors abstracted from their phenomenal context, not those of purely ideal ones. (2) The explanatory hypotheses, (...) which account for the effects of explanatory factors, and the purely descriptive hypotheses, which introduce conceptual simplifications and summarise complex secondary mechanisms, are relatively independent from each other with regard to the phenomenon represented. This condition subjects the model to testing by alternatives through the development of purely descriptive hypotheses in the sense of explanatory or analytical realism. (shrink)

A number of people have recently argued for a structural approach to accounting for the applications of mathematics. Such an approach has been called "the mapping account". According to this view, the applicability of mathematics is fully accounted for by appreciating the relevant structural similarities between the empirical system under study and the mathematics used in the investigation ofthat system. This account of applications requires the truth of applied mathematical assertions, but it does not require the existence of mathematical objects. (...) In this paper, we discuss the shortcomings of this account, and show how these shortcomings can be overcome by a broader view of the application of mathematics: the inferential conception. (shrink)

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)

Russellianism (also called `neo-Russellianism, `Millianism, and `thenaive theory') entails that substitution of co-referring names inattitude ascriptions preserves truth value and proposition expressed.Thus, on this view, if Lucy wants Twain to autograph her book, thenshe also wants Clemens to autograph her book, even if she says ``I donot want Clemens to autograph my book''. Some philosophers (includingMichael Devitt and Mark Richard) claim that attitude ascriptions canbe used to predict behavior, but argue that if Russellianism weretrue, then this would not be so. (...) They conclude that Russellianism isfalse. I defend Russellianism from this objection. I present severalanalyses of ``sentence S can be used to predict event E''. I arguethat, on each of these analyses, attitude ascriptions can be used topredict behavior, even if Russellianism is true. Furthermore, if myarguments are incorrect, and attitude ascriptions cannot be used topredict behavior under Russellianism, then Russellians can explainaway the intuition that they can be so used. (shrink)

Amidst the progress being made in the various (sub-)disciplines of the behavioural and brain sciences a somewhat neglected subject is the problem of how everything fits into one world and, derivatively, how the relation between different levels of discourse should be understood and to what extent different levels, domains, approaches, or disciplines are autonomous or dependent. In this paper I critically review the most recent proposals to specify the nature of interdiscourse relations, focusing on the concept of supervenience. Ideally supervenience (...) is a relation between different discourses which has all the advantages of reduction, but without its disadvantages. I apply the more abstract considerations to two concrete cases: schizophrenia and colour. Usually an interlevel or interdiscourse relation is seen as asymmetrical: the overlaying discourse depends on the underlying discourse (and not vice versa), where the out- or un-spoken assumption is that the ultimate underlying discourse is physical. Instead I argue that scientific categories referred to in interdiscourse relations are, ultimately, dependent on common sense categories and common sense normative criteria. It is the manifest categories and common sense ideas about what is reasonable and what is right that determine the relevant categorisations at the deeper, underlying levels. I suggest that the implications of this are not merely methodological or epistemological. (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)

Unlike basic sciences, scientific research in advanced technologies aims to explain, predict, and (mathematically) describe not phenomena in nature, but phenomena in technological artefacts, thereby producing knowledge that is utilized in technological design. This article first explains why the covering-law view of applying science is inadequate for characterizing this research practice. Instead, the covering-law approach and causal explanation are integrated in this practice. Ludwig Prandtl's approach to concrete fluid flows is used as an example of scientific research in the engineering (...) sciences. A methodology of distinguishing between regions in space and/or phases in time that show distinct physical behaviours is specific to this research practice. Accordingly, two types of models specific to the engineering sciences are introduced. The diagrammatic model represents the causal explanation of physical behaviour in distinct spatial regions or time phases; the nomo-mathematical model represents the phenomenon in terms of a set of mathematically formulated laws. (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 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)

This paper is concerned with scientific reasoning in the engineering sciences. Engineering sciences aim at explaining, predicting and describing physical phenomena occurring in technological devices. The focus of this paper is on mathematical description. These mathematical descriptions are important to computer-aided engineering or design programs (CAE and CAD). The first part of this paper explains why a traditional view, according to which scientific laws explain and predict phenomena and processes, is problematic. In the second part, the reasons of these methodological (...) difficulties are analyzed. Ludwig Prandtl’s method of integrating a theoretical and empirical approach is used as an example of good scientific practice. Based on this analysis, a distinction is made between different types of laws that play a role in constructing mathematical descriptions of phenomena. A central assumption in understanding research methodology is that, instead of scientific laws, knowledge of capacities and mechanisms are primary in the engineering sciences. Another important aspect in methodology of the engineering sciences is that in explaining a phenomenon or process spatial regions are distinguished in which distinct physical behaviour occur. The mechanisms in distinct spatial regions are represented in a so-called diagrammatic model. The construction of a mathematical description of the phenomenon or process is based on this diagrammatic model. (shrink)

By starting from the idea of processes of numerical assignment, an explication, á la Kant, of the concept of property is proposed. In this way two results are achieved: on the one hand, the Kantian doctrine of explication is revaluated; on the other hand, the notion of property is tackled from an empiricist point of view based on the representational theory of measurement.

In this paper a unified theory of models and thought experiments is proposed by considering them as fictions, la Vaihinger. In order to reach this aim, the Hertzian and Botzmannian interpretation of theories as Bilder is reconsidered.

In our paper we propose a philosophicalanalysis, based on the notion ofphenomenological model, of Nuclear Physics. Inthis way, we will show some peculiarities ofthis branch of physics.

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.

In semiclassical mechanics one finds explanations of quantum phenomena that appeal to classical structures. These explanations are prima facie problematic insofar as the classical structures they appeal to do not exist. Here I defend the view that fictional structures can be genuinely explanatory by introducing a model-based account of scientific explanation. Applying this framework to the semiclassical phenomenon of wavefunction scarring, I argue that not only can the fictional classical trajectories explain certain aspects of this quantum phenomenon, but also that (...) an explanation that does not make reference to these classical structures is, in a certain sense, deficient. (shrink)

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)

Using Jim Woodward's Counterfactual Dependency account as an example, I argue that causal claims about indeterministic systems cannot be satisfactorily analysed as including counterfactual conditionals among their truth conditions because the counterfactuals such accounts must appeal to need not have truth values. Where this happens, counterfactual analyses transform true causal claims into expressions which are not true.

How is scientific knowledge used, adapted, and extended in deriving phenomena and real-world systems? This paper aims at developing a general account of 'applying science' within the exemplar-based framework of Data-Oriented Processing (DOP), which is also known as Exemplar-Based Explanation (EBE). According to the exemplar-based paradigm, phenomena are explained not by deriving them all the way down from theoretical laws and boundary conditions but by modelling them on previously derived phenomena that function as exemplars. To accomplish this, DOP proposes to (...) maintain a corpus of derivation trees of previous phenomena together with a matching algorithm that combines subtrees from the corpus to derive new phenomena. By using a notion of derivational similarity, a new phenomenon can be modelled as closely as possible on previously explained phenomena. I will propose an instantiation of DOP which integrates theoretical and phenomenological modelling and which generalises over various disciplines, from fluid mechanics to language technology. I argue that DOP provides a solution for what I call Kuhn's problem and that it redresses Kitcher's account of explanation. (shrink)

This paper deals with the problem of derivational redundancy in scientific explanation, i.e. the problem that there can be extremely many different explanatory derivations for a natural phenomenon while students and experts mostly come up with one and the same derivation for a phenomenon (modulo the order of applying laws). Given this agreement among humans, we need to have a story of how to select from the space of possible derivations of a phenomenon the derivation that humans come up with. (...) In this paper we argue that the problem of derivational redundancy can be solved by a new notion of “shortest derivation”, by which we mean the derivation that can be constructed by the fewest (and therefore largest) partial derivations of previously derived phenomena that function as “exemplars”. We show how the exemplar-based framework known as “Data-Oriented Parsing” or “DOP” can be employed to select the shortest derivation in scientific explanation. DOP’s shortest derivation of a phenomenon maximizes what is called the “derivational similarity” between a phenomenon and a corpus of exemplars. A preliminary investigation with exemplars from classical and fluid mechanics shows that the shortest derivation closely corresponds to the derivations that humans construct. Our approach also proposes a concrete solution to Kuhn’s problem of how we know on which exemplar a phenomenon can be modeled. We argue that humans model a phenomenon on the exemplar that is derivationally most similar to the phenomenon, i.e. the exemplar from which the largest subtree(s) can be used to derive the phenomenon. (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)

In a situation in which several explanations compete, is the one that is better qua explanation also the one we should regard as the more likely to be true? Realists usually answer in the affirmative. They then go on to argue that since realism provides the best explanation for the success of science, realism can be inferred to. Nonrealists, on the other hand, answer the above question in the negative, thereby renouncing the inference to realism. In this paper I separate (...) the two issues. In the first section it is argued that a rationale can be provided for the inference to the best explanation; in the second, that this rationale cannot justify an inference to realism. The defence of the inference rests on the claim that our standards of explanatory power are subject to critical examination, which, in turn, should be informed by empirical considerations. By means of a comparison of the realist's explanation for the success of science with that of conventionalism and instrumentalism it is then shown that realism does not offer a superior explanation and should not, therefore, be inferred to. (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)