The inclusion of the practice of “developing and using models” in the Framework for K-12 Science Education and in the Next Generation Science Standards provides an opportunity for educators to examine the role this practice plays in science and how it can be leveraged in a science classroom. Drawing on conceptions of models in the philosophy of science, we bring forward an agent-based account of models and discuss the implications of this view for enacting modeling in science classrooms. Models, according (...) to this account, can only be understood with respect to the aims and intentions of a cognitive agent, not solely in terms of how they represent phenomena in the world. We present this contrast as a heuristic—models of versus models for—that can be used to help educators notice and interpret how models are positioned in standards, curriculum, and classrooms. (shrink)

In this essay, I first consider a popular view of models and modeling, the similarity view. Second, I contend that arguments for it fail and it suffers from what I call “Hughes’ worry.” Third, I offer a deflationary approach to models and modeling that avoids Hughes’ worry and shows how scientific representations are of apiece with other types of representations. Finally, I consider an objection that the similarity view can deal with approximations better than the deflationary view and show that (...) this is not so. (shrink)

In spite of the relevance of a scientific representation of the world for naturalism, it is surprising that philosophy of science is less involved in the debate on naturalism than expected. Had the viewpoint of philosophy of science been duly considered, naturalism could not have overlooked the established lesson, according to which there is no well-defined recipe for what science must or must not be. In the present paper I address some implications of this lesson for naturalism, arguing that a (...) radically naturalistic outlook fails to pay sufficient attention to some of the main lessons that philosophy of science has taught us concerning the nature of scientific theories. One of these lessons is that real scientific theories are far more normative than ordinary scientific naturalism is ready to accept, a circumstance that at a minimum is bound to force most naturalization strategies to re-define their significance. (shrink)

This paper evaluates Nancy Cartwright’s critique of economic models. Cartwright argues that economics fails to build relevant “nomological machines” able to isolate capacities. In this paper, I contend that many economic models are not used as nomological machines. I give some evidence for this claim and build on an inferential and pragmatic approach to economic modeling. Modeling in economics responds to peculiar inferential norms where a “good” model is essentially a model that enhances our knowledge about possible worlds. As a (...) consequence, models and experiments are very different knowledge-producing devices, at least in economics. (shrink)

This thesis considers the following problem: What methods should the epistemology of science use to gain insight into the structure and behaviour of scientific knowledge and method in actual scientific practice? After arguing that the elucidation of epistemological and methodological phenomena in science requires a method that is rooted in formal methods, I consider two alternative methods for epistemology of science. One approach is the classical approaches of the syntactic and semantic views of theories. I show that typical approaches of (...) this sort are inadequate and inaccurate in their representation of scientific knowledge by showing how they fail to account for and misrepresent important epistemological structure and behaviour in science. The other method for epistemology of science I consider is modeled on the methods used to construct valid models of natural phenomena in applied mathematics. This new epistemological method is itself a modeling method that is developed through the detailed consideration of two main examples of theory application in science: double pendulum systems and the modeling of near-Earth objects to compute probability of future Earth impact. I show that not only does this new method accurately represent actual methods used to apply theories in applied mathematics, it also reveals interesting structural and behavioural patterns in the application process and gives insight into what underlies the stability of methods of application. I therefore conclude that for epistemology of science to develop fully as a scientific discipline it must use methods from applied mathematics, not only methods from pure mathematics and metamathematics as traditional formal epistemology of science has done. (shrink)

In two occasions a Bibliography of Structuralism has been published in Erkenntnis (1989, 1994). Since then a lot of water has flowed under the bridge and the structuralist program has shown a continuous development. The aim of the present bibliography is to celebrate the 25th anniversary of the publication of An Architectonic for Science –structuralism’s main reference work– and of its recent translation into Spanish by updating the previous bibliographies with titles which have appeared since 1994 as well as before (...) that year but which are not included in them. As in the former deliveries, this bibliography only covers books and articles that are concerned directly with the structuralist approach in the philosophy of science. We would like to thank the many colleagues who have helped us in collecting all the information. Notwithstanding we apologize in advance for the possible entries that we missed to include in this third Bibliography of Structuralism. (shrink)

I present a solution to the epistemological or characterisation problem of induction. In part I, Bayesian Confirmation Theory (BCT) is discussed as a good contender for such a solution but with a fundamental explanatory gap (along with other well discussed problems); useful assigned probabilities like priors require substantive degrees of belief about the world. I assert that one does not have such substantive information about the world. Consequently, an explanation is needed for how one can be licensed to act as (...) if one has substantive information about the world when one does not. I sketch the outlines of a solution in part I, showing how it differs from others, with full details to follow in subsequent parts. The solution is pragmatic in sentiment (though differs in specifics to arguments from, for example, William James); the conceptions we use to guide our actions are and should be at least partly determined by preferences. This is cashed out in a reformulation of decision theory motivated by a non-reductive formulation of hypotheses and logic. A distinction emerges between initial assumptions--that can be non-dogmatic--and effective assumptions that can simultaneously be substantive. An explanation is provided for the plausibility arguments used to explain assigned probabilities in BCT. -/- In subsequent parts, logic is constructed from principles independent of language and mind. In particular, propositions are defined to not have form. Probabilities are logical and uniquely determined by assumptions. The problems considered fatal to logical probabilities--Goodman's `grue' problem and the uniqueness of priors problem are dissolved due to the particular formulation of logic used. Other problems such as the zero-prior problem are also solved. -/- A universal theory of (non-linguistic) meaning is developed. Problems with counterfactual conditionals are solved by developing concepts of abstractions and corresponding pictures that make up hypotheses. Spaces of hypotheses and the version of Bayes' theorem that utilises them emerge from first principles. -/- Theoretical virtues for hypotheses emerge from the theory. Explanatory force is explicated. The significance of effective assumptions is partly determined by combinatoric factors relating to the structure of hypotheses. I conjecture that this is the origin of simplicity. (shrink)

The semantic view of theoriesis one according to which theoriesare construed as models of their linguisticformulations. The implications of thisview for scientific realism have been little discussed. Contraryto the suggestion of various champions of the semantic view,it is argued that this approach does not makesupport for a plausible scientific realism anyless problematic than it might otherwise be.Though a degree of independence of theory fromlanguage may ensure safety frompitfalls associated with logical empiricism, realism cannot be entertained unless models or (abstractedand/or idealized) (...) aspects thereof are spelled out in terms of linguistic formulations (such as mathematical equations),which can be interpreted in terms of correspondencewith the world. The putative advantage of thesemantic approach – its linguistic independence – isthus of no help to the realist. I consider recent treatmentsof the model-theoretic view (Suppe, Giere, Smith), and find that although some of these accounts harbour the promiseof realism, this promise is deceptive. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

Die gegenwärtig unter dem Titel ›Realismus‹ geführten Debatten in der Philosophie befinden sich nach allgemeiner Ansicht in einem Zustand größter Verwirrung, so daß es nützlich erscheint, ein wenig Ordnung in die theoretischen Optionen zu bringen bevor man für die eine oder andere Auffassung Partei ergreift. In der vorliegenden Arbeit wird dafür argumentiert, daß sich ein systematisch zusammenhängendes Zentrum dieser Debatten mit Hilfe des Begriffes der Referenz ordnen läßt. Nach der Analyse einiger klassischer Positionen soll ein Rahmen erstellt werden, innerhalb dessen (...) die Positionen eingeordnet und die zentralen Probleme fruchtbar diskutiert werden können. Zu diesem Zwecke ist es erforderlich, für die Einordnung der Positionen theoretische Kriterien zu benennen, die sich an den Problemen orientieren von denen hier argumentiert wird, das sie zentral seien. Sehr knapp ausgedrückt wird hier die Auffassung vertreten, Realismus sei als metaphysische These aufzufassen, welche eine von menschlichen epistemischen und semantischen Möglichkeiten unabhängige Existenz behauptet; in den gegenwärtigen Debatten typischerweise die Existenz einer Art von Dingen, nicht die eines individuellen Gegenstandes. Diese metaphysische These wird jedoch in der gegenwärtigen Debatte mit semantischen Argumenten untermauert, bzw. angegriffen und jene semantischen Argumente wiederum verwenden epistemische Erwägungen – die Frage betreffend, was man wissen kann und was nicht. Der Beginn der gegenwärtigen Realismusdebatten mit der soeben skizzierten zentralen Stellung semantischer Argumente ist, der hier vertretenen Auffassung zufolge, die Kritik am traditionellen Fregeschen Referenzbegriff durch Kripke und den frühen Putnam um 1970 (Kap. 2). Aus dieser neu zu bewertenden Kritik und der von den Autoren daraus entwickelten externalistischen realistischen Semantik für Artausdrücke läßt sich das erste Kriterium für eine Position in einer Realismusdebatte ableiten und klären (Kap. 3): Hält man die fragliche Art für eine natürliche Art und meint also, sie habe ihren ›Zusammenhalt‹ von Natur aus? Wenn ja, dann ist die fragliche Position eine realistische (das Kriterium ist dank des engen Zusammenhangs von Realismus und Externalismus sowohl hinreichend als auch notwendig). Hält man die Art nicht für eine natürliche Art, ist man Antirealist. Damit geht jeweils not- wendig eine bestimmte Semantik für den auf die Art referierenden Ausdruck einher. Es zeigt sich zugleich, daß es zwei Varianten des Realismus zu unterscheiden gilt, die hier als klassischer bzw. als moderater Realismus bezeichnet werden. Im folgenden (Kap. 4.1) wird argumentiert, daß der Begriff der Wahrheit nicht eigentlich der zentrale Punkt in den in Frage stehenden Realismusdebatten sein sollte, wie vielfach behauptet wurde, sondern seine Brisanz vielmehr aus zugrundeliegenden semantischen Fragen gewinnt die also in der weiteren Aufdeckung der Kriterien die zentrale Rolle spielen müssen. In der Analyse der Kritik an der in Kap. 3 entwickelten Position des ›klassischen Realismus‹ läßt sich ein zweites unterscheidendes Kriterium für Positionen in Realismusdebatten entwickeln: begriffliche Relativität. Nach der Ablehnung von Putnams Auffassungen zu diesem Thema, werden zwei Varianten vorgeschlagen, starke und schwache begriffliche Relativität (Kap. 4.2). Die Anwendung dieses Merkmals zwingt, so wird argumentiert, in einigen Fällen zu einer Kombination einer realistischen Auffassung von Arten als natürliche mit begrifflicher Relativität. Diese mittlere Position zwischen klassischem Realismus und Antirealismus wird als »moderater Realismus« bezeichnet. Der im ersten Kriterium verwendete Begriff der natürlichen Art, und damit die Optionen in den Debatten, wird schließlich mittels einer Dis- kussion des Phänomens der Vagheit noch weiter verdeutlicht (Kap. 4.3). Ab- schließend werden die drei Optionen zusammenfassend dargestellt und ein Versuch unternommen, ihre Fruchtbarkeit für diverse Realismusdebatten anzudeuten. (shrink)

Most philosophical accounts on scientific theories are affected by three dogmas or ingrained attitudes. These dogmas have led philosophers to choose between analyzing the internal structure of theories or their historical evolution. In this paper, I turn these three dogmas upside down. I argue (i) that mathematical practices are not epistemically neutral, (ii) that the morphology of theories can be very complex, and (iii) that one should view theoretical knowledge as the combination of internal factors and their intrinsic historicity.

List of Illustrations Introduction 1 The Didactic and the Elegant: Some Thoughts on Scientific and Technological Illustrations in the Middle Ages and Renaissance 3 2 Temples of the Body and Temples of the Cosmos: Vision and Visualization in the Vesalian and Copernican Revolutions 40 3 Descartes’s Scientific Illustrations and ’la grande mecanique de la nature’ 86 4 Illustrating Chemistry 135 5 Representations of the Natural System in the Nineteenth Century 164 6 Visual Representation in Archaeology: Depicting the Missing-Link in Human (...) Origins 184 7 Towards an Epistemology of Scientific Illustration 215 8 Illustration and Inference 250 9 Visual Models and Scientific Judgment 269 10 Are Pictures Really Necessary? The Case of Sewall Wright’s ’Adaptive Landscapes’ 303 Bibliography 339 Notes on Contributors 373 Index 377. (shrink)

Scientific inquiry has led to immense explanatory and technological successes, partly as a result of the pervasiveness of scientific theories. Relativity theory, evolutionary theory, and plate tectonics were, and continue to be, wildly successful families of theories within physics, biology, and geology. Other powerful theory clusters inhabit comparatively recent disciplines such as cognitive science, climate science, molecular biology, microeconomics, and Geographic Information Science (GIS). Effective scientific theories magnify understanding, help supply legitimate explanations, and assist in formulating predictions. Moving from their (...) knowledge-producing representational functions to their interventional roles (Hacking 1983), theories are integral to building technologies used within consumer, industrial, and scientific milieus. -/- This entry explores the structure of scientific theories from the perspective of the Syntactic, Semantic, and Pragmatic Views. Each of these views answers questions such as the following in unique ways. What is the best characterization of the composition and function of scientific theory? How is theory linked with world? Which philosophical tools can and should be employed in describing and reconstructing scientific theory? Is an understanding of practice and application necessary for a comprehension of the core structure of a scientific theory? How are these three views ultimately related? (shrink)

In this contribution, I comment on Raffaella Campaner’s defense of explanatory pluralism in psychiatry (in this volume). In her paper, Campaner focuses primarily on explanatory pluralism in contrast to explanatory reductionism. Furthermore, she distinguishes between pluralists who consider pluralism to be a temporary state on the one hand and pluralists who consider it to be a persisting state on the other hand. I suggest that it would be helpful to distinguish more than those two versions of pluralism – different understandings (...) of explanatory pluralism both within philosophy of science and psychiatry – namely moderate/temporary pluralism, anything goes pluralism, isolationist pluralism, integrative pluralism and interactive pluralism. Next, I discuss the pros and cons of these different understandings of explanatory pluralism. Finally, I raise the question of how to implement or operationalize explanatory pluralism in scientific practice; how to structure the “genuine dialogue” or shape “the pluralistic attitude” Campaner is referring to. As tentative answers, I explore a question-based framework for explanatory pluralism as well as social-epistemological procedures for interaction among competing approaches and explanations. (shrink)

Science depends on judgments of the bearing of evidence on theory. Scientists must judge whether an observation or the result of an experiment supports, disconfirms, or is simply irrelevant to a given hypothesis. Similarly, scientists may judge that, given all the available evidence, a hypothesis ought to be accepted as correct or nearly so, rejected as false, or neither. Occasionally, these evidential judgments can be made on deductive grounds. If an experimental result strictly contradicts a hypothesis, then the truth of (...) the data deductively entails the falsity of the hypothesis. In the great majority of cases, however, the connection between evidence and hypothesis is non-demonstrative, or inductive. In particular, this is so whenever a general hypothesis is inferred to be correct on the basis of the available data, since the truth of the data will not deductively entail the truth of the hypothesis. It always remains possible that the hypothesis is false even though the data are correct. (shrink)

The aim of the present paper is to contribute to the discussion on the constitutive a priori in science by linking it with the discussion on scientific laws and theories, in such a way to show how the different senses of the notion of constitutive a priori are not incompatible to each other and that they can be precised in a unified, though differentiated, manner.

La discusión acerca de funciones es de larga data en filosofía. Normalmente se describe a la revolución científica del siglo XVII como eliminando las causas finales y la teleología de la física. Sin embargo, el lenguaje funcional cumple un papel central en ciertas áreas de la práctica biológica. Esto ha llevado a muchos filósofos a intentar elucidar el concepto de función, en algunos casos para defender la relevancia de estos usos, en otros para mostrar que se trata de meras formas (...) de hablar que podrían ser eliminadas sin pérdida de ningún tipo de información relevante. El objetivo principal de este trabajo es mostrar la necesidad de apelar a conceptos funcionales para una reconstrucción adecuada de la teoría de la selección natural darwiniana. Pues, se utiliza lenguaje funcional en la conceptualización del campo de aplicación de esta teoría, y tal campo debe ser determinable con independencia la teoría de la selección natural. (shrink)

Neste artigo, a partir de tópicos presentes na obra de Newton C. A. da Costa, propomos uma fundamentação rigorosa para de uma possível formulação de teorias científicas através da abordagem semântica. Seguindo da Costa, primeiramente desenvolveremos uma teoria geral das estruturas; no contexto desta teoria de estruturas mostraremos como caracterizar linguagens formais como um tipo particular de estrutura, mais especificamente, como uma álgebra livre. Em seguida, discutiremos como associar uma linguagem a uma estrutura, com a qual poderemos formular axiomas que (...) buscam captar a teoria da estrutura. Por fim, mostraremos como podemos, utilizando este aparato conceitual, fundamentar a formalização de da Costa e Chuaqui do chamado predicado de Suppes, utilizado para caracterizar teorias científicas de modo rigoroso. DOI:10.5007/1808-1711.2010v14n1p15. (shrink)

Idealizing conditions are scapegoats for scientific hypotheses, too often blamed for falsehood better attributed to less obvious sources. But while the tendency to blame idealizations is common among both philosophers of science and scientists themselves, the blame is misplaced. Attention to the nature of idealizing conditions, the content of idealized hypotheses, and scientists’ attitudes toward those hypotheses shows that idealizing conditions are blameless when hypotheses misrepresent. These conditions help to determine the content of idealized hypotheses, and they do so in (...) a way that prevents those hypotheses from being false by virtue of their constituent idealizations. (shrink)

The philosopher of science faces overwhelming disagreement in the literature on the definition, nature, structure, ontology, and content of scientific theories. These disagreements are at least partly responsible for disagreements in many of the debates in the discipline which put weight on the concept scientific theory. I argue that available theories of theories and conceptual analyses of theory are ineffectual options for addressing this difficulty: they do not move debates forward in a significant way. Directing my attention to debates about (...) the properties of particular, named theories, I introduce ‘theory eliminativism’ as a certain type of debate-reformulation. As a methodological tool it has the potential to be a highly effective way to make progress in the face of the noted problem: post-reformulation disagreements about theory cannot compromise the debate, and the questions that really matter can still be asked and answered. In addition the reformulation process demands that philosophers engage with science and the history of science in a more serious way than is usual in order to answer important questions about the justification for targeting a particular set of propositions (say) in a given context. All things considered, we should expect the benefits of a theory-eliminating debate-reformulation to heavily outweigh the costs for a highly significant number of debates of the relevant type. (shrink)

According to certain kinds of semantic dispositionalism, what an agent means by her words is grounded by her dispositions to complete simple tasks. This sort of position is often thought to avoid the finitude problem raised by Kripke against simpler forms of dispositionalism. The traditional objection is that, since words possess indefinite (or infinite) extensions, and our dispositions to use words are only finite, those dispositions prove inadequate to serve as ground for what we mean by our words. I argue (...) that, even if such positions (emphasizing simple tasks) avoid the traditional form of Kripke's charge, they still succumb to special cases of the finitude problem. Furthermore, I show how such positions can be augmented so as to avoid even these special cases. Doing so requires qualifying the dispositions of interest as those possessed by the abstracted version of an actual agent (in contrast to, say, an idealized version of the agent). In addition to avoiding the finitude problem in its various forms, the position that results provides new materials for appreciating the role that abstracting models can play for a dispositionalist theory of meaning. (shrink)

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)

Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the mappings between these (...) scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. (shrink)

The philosophy of information (PI) is a new area of research with its own field of investigation and methodology. This article, based on the Herbert A. Simon Lecture of Computing and Philosophy I gave at Carnegie Mellon University in 2001, analyses the eighteen principal open problems in PI. Section 1 introduces the analysis by outlining Herbert Simon's approach to PI. Section 2 discusses some methodological considerations about what counts as a good philosophical problem. The discussion centers on Hilbert's famous analysis (...) of the central problems in mathematics. The rest of the article is devoted to the eighteen problems. These are organized into five sections: problems in the analysis of the concept of information, in semantics, in the study of intelligence, in the relation between information and nature, and in the investigation of values. (shrink)

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

Abstract: According to certain dispositional accounts of meaning, an agent's meaning is determined by the dispositions that an idealized version of this agent has in optimal conditions. We argue that such attempts cannot properly fix meaning. For even if there is a way to determine which features of an agent should be idealized without appealing to what the agent means, there is no non-circular way to determine how those features should be idealized. We sketch an alternative dispositional account that avoids (...) this problem, according to which an agent's meaning is determined by the dispositions that an abstract version of this agent has in optimal conditions. (shrink)

An examination of the post-Darwinian history of biological taxonomy reveals an implicit assumption that the definitions of taxon names consist of lists of organismal traits. That assumption represents a failure to grant the concept of evolution a central role in taxonomy, and it causes conflicts between traditional methods of defining taxon names and evolutionary concepts of taxa. Phylogenetic definitions of taxon names (de Queiroz and Gauthier 1990) grant the concept of common ancestry a central role in the definitions of taxon (...) names and thus constitute an important step in the development of phylogenetic taxonomy. By treating phylogenetic relationships rather than organismal traits as necessary and sufficient properties, phylogenetic definitions remove conflicts between the definitions of taxon names and evolutionary concepts of taxa. The general method of definition represented by phylogenetic definitions of clade names can be applied to the names of other kinds of composite wholes, including populations and biological species. That the names of individuals (composite wholes) can be defined in terms of necessary and sufficient properties provides the foundation for a synthesis of seemingly incompatible positions held by contemporary individualists and essentialists concerning the nature of taxa and the definitions of taxon names. (shrink)

My two daughters would love to go tobogganing down the hill by themselves, but they are just toddlers and I am an apprehensive parent, so, before letting them do so, I want to ensure that the toboggan won’t go too fast. But how fast will it go? One way to try to answer this question would be to tackle the problem head on. Since my daughters and their toboggan are initially at rest, according to classical mechanics, their final velocity will (...) be determined by the forces they will be subjected to between the moment the toboggan will be released at the top of the hill and the moment it will reach its highest speed. The problem is that, throughout their downhill journey, my daughters and the toboggan will be subjected to an incredibly large number of forces—from the gravitational pull of any massive object in the universe to the weight of the snowflake that is sitting on the tip of one of my youngest daughter’s hairs—so that any attempt to apply the theory directly to the real-world system in all its complexity seems to be doomed to failure. (shrink)

The purpose of this paper is to discuss the various types of physical universe which could exist according to modern mathematical physics. The paper begins with an introduction that approaches the question from the viewpoint of ontic structural realism. Section 2 takes the case of the `multiverse' of spatially homogeneous universes, and analyses the famous Collins-Hawking argument, which purports to show that our own universe is a very special member of this collection. Section 3 considers the multiverse of all solutions (...) to the Einstein field equations, and continues the discussion of whether the notions of special and typical can be defined within such a collection. (shrink)

In this paper, I distinguish scientific models in three kinds on the basis of their ontological status—material models, mathematical models and fictional models, and develop and defend an account of fictional models as fictional objects—i.e. abstract objects that stand for possible concrete objects.

This paper provides an account of mid-level models, which calibrate highly theoretical agent-based models of scientific communities by incorporating empirical information from real-world systems. As a result, these models more closely correspond with real-world communities, and are better suited for informing policy decisions than extant how-possibly models. I provide an exemplar of a mid-level model of science funding allocation that incorporates bibliometric data from scientific publications and data generated from empirical studies of peer review into an epistemic landscape model. The (...) results of my model show that on a dynamic epistemic landscape, allocating funding by modified and pure lottery strategies performs comparably to a perfect selection funding allocation strategy. These results support the idea that introducing randomness into a funding allocation process may be a tractable policy worth exploring further through pilot studies. My exemplar shows that agent-based models need not be restricted to the abstract and the a-priori; they can also be informed by real empirical data. (shrink)

The aim of this essay is to emphasize a number of important points that will provide a better understanding of the history of philosophical thought concerning scientific knowledge. The main points made are: (a) that the principal way of viewing abstraction which has dominated the history of thought and epistemology up to the present is influenced by the original Aristotelian position; (b) that with the birth of modern science a new way of conceiving abstraction came into being which is better (...) characterized by the term idealization, the name that was later, in fact, to be used by scientists to describe their scientific activity; (c) that, however, on account of the influence of empirical and inductive philosophy, scientists have often not had sufficient methodological awareness of this new way of viewing abstraction; (d) that this new concept of abstraction has frequently been expressed in the framework of philosophies that lie outside the mainstream of contemporary epistemology or even exhibit marked anti-scientific tendencies; (e) that the theme of idealization has been taken up again in the last few decades and a great contribution in this direction has been made by the so-called Pozna school of methodology. (shrink)

In "Bayesian Confirmation of Theories that Incorporate Idealizations", Michael Shaffer argues that, in order to show how idealized hypotheses can be confirmed, Bayesians must develop a coherent proposal for how to assign prior probabilities to counterfactual conditionals. This paper develops a Bayesian reply to Shaffer's challenge that avoids the issue of how to assign prior probabilities to counterfactuals by treating idealized hypotheses as abstract descriptions. The reply allows Bayesians to assign non-zero degrees of confirmation to idealized hypotheses and to capture (...) the intuition that less idealized hypotheses tend to be better confirmed than their more idealized counterparts. (shrink)

Accounts of the relation between theories and models in biology concentrate on mathematical models. In this paper I consider the dual role of models as representations of natural systems and as a material basis for theorizing. In order to explicate the dual role, I develop the concept of a remnant model, a material entity made from parts of the natural system(s) under study. I present a case study of an important but neglected naturalist, Joseph Grinnell, to illustrate the extent to (...) which mundane practices in a museum setting constitute theorizing. I speculate that historical and sociological analyses of institutions can play a specific role in the philosophical analysis of model-building strategies. (shrink)

Trygve Haavelmo's 1944 article ‘The Probability Approach in Econometrics’ is considered by most to have provided the foundations for present day econometrics (Morgan, 1990, Chapters 8 and 9). Since Haavelmo (1944), extraordinary advances have been made in econometrics. However, over the last two decades the efficacy and scientific status of econometrics has become questionable. Not surprisingly, the growing discontent with econometrics has been accompanied by a growing interest in econometric methodology.

In previous publications I have argued that much scientific activity should be thought of as involving the operation of distributed cognitive systems. Since these contributions to the cognitive study of science appear in venues not necessarily frequented by philosophers of science, I begin with a brief introduction to the notion of a distributed cognitive system. I then describe what I take to be an exemplary case of a scientific distributed cognitive system, the Hubble Space Telescope (HST). I do not here (...) reargue the case for conceiving of systems like the HST as distributed cognitive systems. Rather, I examine a question that arises once one has adopted the perspective of distributed cognitive systems, namely, the role of agency in a distributed cognitive system. Here I argue, contrary to several advocates of distributed cognitive systems, that we should regard the human components of distributed cognitive systems as the only sources of agency within such systems. In particular, we should not extend notions of agency to such systems as a whole. (shrink)

Not all models are explanatory. Some models are data summaries. Some models sketch explanations but leave crucial details unspecified or hidden behind filler terms. Some models are used to conjecture a how-possibly explanation without regard to whether it is a how-actually explanation. I use the Hodgkin and Huxley model of the action potential to illustrate these ways that models can be useful without explaining. I then use the subsequent development of the explanation of the action potential to show what is (...) required of an adequate mechanistic model. Mechanistic models are explanatory. (shrink)

You are asked to call out the letters on a chart during an eyeexamination: you see and then read out the letters ‘U’, ‘R’, and ‘X’. Commonsense says that your perceptual experiences causally control your calling out the letters. Or suppose you are playing a game of chess intent on winning: you plan your strategy and move your chess pieces accordingly. Again, commonsense says that your intentions and plans causally control your moving the chess pieces. These causal judgements are as (...) plain and evident as any can be. (shrink)

Since the publication of his seminal monograph "The scientific image", Bas van Fraassen is a key figure in philosophy of science. In this book, other philosophers with various outlooks critically discuss his work on theories, empiricism and philosophical stances. The book starts with a new article by van Fraassen on his preferred account of theories, the so-called semantic view. This account is now 50 years old, and van Fraassen takes this anniversary as an opportunity to review the account, its history (...) and the philosophical discussion about it. In the main part of the book, Nancy Cartwright, Finnur Dellsén, Matthias Egg, Steven French, Michael Friedman, Milena Ivanova and Michela Massimi discuss van Fraassen's contributions to philosophy. Three chapters focus on his engagement with realism (French, Friedman, Ivanova). Others study his voluntarism (Cartwright) and his view on representation (Massimi). Finally, there are contributions about his elaboration of empiricism (Dellsén) and his proposal to consider philosophical positions as stances (Egg). The volume includes a laudatio written by Steven French and finishes with a reply by van Fraassen to his critics. (shrink)

Euclidean geometry, statics, and classical mechanics, being in some sense the simplest physical theories based on a full-fledged mathematical apparatus, are well suited to a historico-philosophical analysis of the way in which a physical theory differs from a purely mathematical theory. Through a series of examples including Newton’s Principia and later forms of mechanics, we will identify the interpretive substructure that connects the mathematical apparatus of the theory to the world of experience. This substructure includes models of experiments, models of (...) measurement, and modular connections with partial theories. It evolves during the life of a theory as physicists learn how to apply it in various contexts. It should nevertheless be regarded as an integral part of a genuine physical theory since the theory would otherwise degenerate into pure mathematics. (shrink)

This extended abstract summarises some of the basic points of AI ethics and policy as they present themselves now. We explain the notion of AI, the main ethical issues in AI and the main policy aims and means.

Scientific realism is a thesis about the success of science. Most traditionally: science has been so successful at prediction and guiding action because its best theories are true (or approximately true or increasing in their degree of truth). If science is in the business of doing its best to generate true theories, then we should turn to those theories for explanatory knowledge, predictions, and guidance of our actions and decisions. Views that are popular in contemporary philosophy of science about scientific (...) modeling and the centrality of idealization create several challenges for this traditional form of scientific realism. Yet the basic idea behind scientific realism that science has been and will continue to be epistemically successful is deeply appealing. This chapter explores the challenges posed by idealization and scientific modeling to motivate a scientific realism fully divorced from the idea that science is in the business of generating true theories. On the resulting view, the objects of scientific knowledge are causal patterns, so this knowledge only ever provides partial, simplified accounts of a complex reality. This variety of selective realism better accommodates the nature of our present-day scientific successes and offers an interpretation of scientific progress that resists the antirealist’s pessimism. (shrink)

The question “what is an interpretation?” is often intertwined with the perhaps even harder question “what is a scientific theory?”. Given this proximity, we try to clarify the first question to acquire some ground for the latter. The quarrel between the syntactic and semantic conceptions of scientific theories occupied a large part of the scenario of the philosophy of science in the 20th century. For many authors, one of the two currents needed to be victorious. We endorse that such debate, (...) at least in the terms commonly expressed, can be misleading. We argue that the traditional notion of “interpretation” within the syntax/semantic debate is not the same as that of the debate concerning the interpretation of quantum mechanics. As much as the term is the same, the term “interpretation” as employed in quantum mechanics has its meaning beyond (pure) logic. Our main focus here lies on the formal aspects of the solutions to the measurement problem. There are many versions of quantum theory, many of them incompatible with each other. In order to encompass a wider variety of approaches to quantum theory, we propose a different one with an emphasis on pure formalism. This perspective has the intent of elucidating the role of each so-called “interpretation” of quantum mechanics, as well as the precise origin of the need to interpret it. (shrink)

This chapter reviews some interesting research trends in the philosophy of information (PI). First, PI is defined; then, a series of open problems in PI on which philosophers are currently working is considered. The conclusion highlights the innovative character of this new area of research.

I offer an explicit account of the underdetermination thesis as well as of the many challenges it poses to scientific realism; a way to answer to these challenges is explored and outlined, by shifting attention to the content of theories. I argue that, even if we have solid grounds (as I contend we do) to support that some varieties of the underdetermination thesis are true, scientific realism can still offer an adequate picture of the aims and achievements of science.