This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...) semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (shrink)

Call a bit of scientific discourse a description of a missing system when (i) it has the surface appearance of an accurate description of an actual, concrete system (or kind of system) from the domain of inquiry, but (ii) there are no actual, concrete systems in the world around us fitting the description it contains, and (iii) that fact is recognised from the outset by competent practitioners of the scientific discipline in question. Scientific textbooks, classroom lectures, and journal articles abound (...) with such passages; and there is a widespread practice of talking and thinking as though there are systems which fit the descriptions they contain perfectly, despite the recognition that no actual, concrete systems do so—call this the face value practice. There are, furthermore, many instances in which philosophers engage in the face value practice whilst offering answers to epistemological and methodological questions about the sciences. Three questions, then: (1) How should we interpret descriptions of missing systems? (2) How should we make sense of the face value practice? (3) Is there a set of plausible answers to (1) and (2) which legitimates reliance on the face value practice in our philosophical work, and can support the weight of the accounts which are entangled with that practice? In this paper I address these questions by considering three answers to the first: that descriptions of missing systems are straightforward descriptions of abstract objects, that they are indirect descriptions of “property-containing” abstracta, and that they are (in a different way) indirect descriptions of mathematical structures. All three proposals are present in the literature, but I find them wanting. The result is to highlight the importance of developing a satisfactory understanding of descriptions of missing systems and the face value practice, to put pressure on philosophical accounts which rely on the practice, and to help us assess the viability of certain approaches to thinking about models, theory structure, and scientific representation. (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)

In this paper, we argue that symbols are conventional vehicles whose chief function is denotation, while models are epistemic vehicles, and their chief function is to show what their targets are like in the relevant aspects. And we explain why this is incompatible with the deflationary view on scientific modeling. Although the same object may serve both functions, the two vehicles are conceptually distinct and most models employ both elements. With the clarification of this point we offer an alternative account (...) to the deflationary view – the Hybrid Account; and we defend our account in contrast with deflationism. (shrink)

Many standard philosophical accounts of scientific practice fail to distinguish between modeling and other types of theory construction. This failure is unfortunate because there are important contrasts among the goals, procedures, and representations employed by modelers and other kinds of theorists. We can see some of these differences intuitively when we reflect on the methods of theorists such as Vito Volterra and Linus Pauling on the one hand, and Charles Darwin and Dimitri Mendeleev on the other. Much of Volterra's and (...) Pauling's work involved modeling; much of Darwin's and Mendeleev's did not. In order to capture this distinction, I consider two examples of theory construction in detail: Volterra's treatment of post-WWI fishery dynamics and Mendeleev's construction of the periodic system. I argue that modeling can be distinguished from other forms of theorizing by the procedures modelers use to represent and to study real-world phenomena: indirect representation and analysis. This differentiation between modelers and non-modelers is one component of the larger project of understanding the practice of modeling, its distinctive features, and the strategies of abstraction and idealization it employs. (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)

Means-end reasoning – deliberations concerning what to do to attain a goal – is at the heart of EBP and practical pedagogy in general, but beset by many misunderstandings. In this paper I discuss the form of means-end reasoning involved in EBP. I bring out its basic features by first comparing it to David Hitchcock’s complex means-end scheme and then to the notion of goal-directed theories. Which approach, if any, best accommodates the means-end reasoning of EBP?

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)

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.

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)

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)

Carnap’s analysis of the language of science had presupposed too close a connection between the semantics and testability. The core problem of the logical empiricist tradition was to show how to provide the interpretation of theoretical terms and hence the explanation of their application to observable entities by means of observation terms. It is argued that the utilization of a much more expressive semantic theory which identifies meanings with hyperintensional entities leads to a clarification of the competencies of semantics and (...) methodology. It is claimed that the observability or unobservability of term’s referents does not determine the meaning of the term. Carnap’s reduction sentences are therefore conceived only as methodological devices for the determination of unobservables via the theory-presupposed observable aspects. (shrink)

Debates about the ontological implications of the general theory of relativity have long oscillated between spacetime substantivalism and relationism. I evaluate such debates by claiming that we need a third option, which I refer to as “structural spacetime realism.” Such a tertium quid sides with the relationists in defending the relational nature of the spacetime structure, but joins the substantivalists in arguing that spacetime exists, at least in part, independently of particular physical objects and events, the degree of “independence” being (...) given by the extent to which geometrical laws exist “over and above” physical events exemplifying them. By showing that structural spacetime realism is the natural outcome of a semantic, model-theoretic approach to the nature of scientific theories, I conclude by arguing that the notion of partial isomorphic representation is the most plausible candidate to connect spacetime models with reality. (shrink)

In this paper we present a new framework of idealization in biology. We characterize idealizations as a network of counterfactual and hypothetical conditionals that can exhibit different "degrees of contingency". We use this idea to say that, in departing more or less from the actual world, idealizations can serve numerous epistemic, methodological or heuristic purposes within scientific research. We defend that, in part, this structure explains why idealizations, despite being deformations of reality, are so successful in scientific practice. For illustrative (...) purposes, we provide an example from population genetics, the Wright-Fisher Model. (shrink)

The concept of natural kind is center stage in the debates about scientific realism. Champions of scientific realism such as Richard Boyd hold that our most developed scientific theories allow us to “cut the world at its joints” (Boyd, 1981, 1984, 1991). In the long run we can disclose natural kinds as nature made them, though as science progresses improvements in theory allow us to revise the extension of natural kind terms.

This paper explores the issue of epistemic injustice in research evaluation. Through an analysis of the disciplinary cultures of physics and humanities, we attempt to identify some aims and values specific to the disciplinary areas. We suggest that credibility is at stake when the cultural values and goals of a discipline contradict those presupposed by official evaluation standards. Disciplines that are better aligned with the epistemic assumptions of evaluation standards appear to produce more "scientific" findings. To restore epistemic justice in (...) research evaluation, we argue that the specificity of a discipline's epistemic aims, values, and cultural identities must be taken into account. (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)

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)

Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hubert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by their nondistributivity and by various other problems. We show that a possible resolution of these difficulties, suggested by the ideas of Bohr, emerges if instead of single projections one considers elementary propositions to be families (...) of projections indexed by a partially ordered set C(A) of appropriate commutative subalgebras of A. In fact, to achieve both maximal generality and ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra and that C(A) consists of all unital commutative Rickart C*-subalgebras of A. Such families of projections form a Hey ting algebra in a natural way, so that the associated propositional logic is intuitionistic: distributivity is recovered at the expense of the law of the excluded middle. Subsequently, generalizing an earlier computation for n x n matrices, we prove that the Heyting algebra thus associated to A arises as a basis for the internal Gelfand spectrum (in the sense of Banaschewski-Mulvey) of the "Bohrification" A̱ of A, which is a commutative Rickart C*-algebra in the topos of functors from C(A) to the category of sets. We explain the relationship of this construction to partial Boolean algebras and Bruns-Lakser completions. Finally, we establish a connection between probability measures on the lattice of projections on a Hubert space H and probability valuations on the internal Gelfand spectrum of A̱ for A = B(H). (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)

Two views of scientific theories dominated the philosophy of science during the twentieth century, the syntactic view of the logical empiricists and the semantic view of their successors. I show that neither view is adequate to provide a proper understanding of the connections that exist between theories at different times. I outline a new approach, a hybrid of the two, that provides the right structural connection between earlier and later theories, and that takes due account of the importance of the (...) mathematical models of a theory and of the various distinct formulations that pick out these models. (shrink)

This paper investigates the justification of the concept of a balance of nature in population ecology as a case of model based reasoning. The ecologist A.J. Nicholson understood balance as an outcome of intraspecific competition in populations. His models implied density dependent growth of populations oscillating around an equilibrium state. Today the assumption of density dependence is tested statistically by using models that represent certain data dynamics. This however, does not test for density dependence in the sense suggested by Nicholson. (...) From a suggested mechanism in nature equilibrium has become a property of a data set. I call this a change of reference of the term equilibrium . The new equilibrium is a necessary but not sufficient condition for the old equilibrium. However, some ecologists suggest using the new definition instead of the old one. I argue that the new definition of equilibrium points to a change in justification of the assumption of a balance in nature. This change has to be seen in relation to modeling strategies pursued by the scientific community. I argue that there is an interdependence between models, data, values, and evidence. Model based reasoning, though abstract and idealizing, has to be considered in a historical, philosophical, and social context. (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)

Our concern is in explaining how and why models give us useful knowledge. We argue that if we are to understand how models function in the actual scientific practice the representational approach to models proves either misleading or too minimal. We propose turning from the representational approach to the artefactual, which implies also a new unit of analysis: the activity of modelling. Modelling, we suggest, could be approached as a specific practice in which concrete artefacts, i.e., models, are constructed with (...) the help of specific representational means and used in various ways, for example, for the purposes of scientific reasoning, theory construction and design of experiments and other artefacts. Furthermore, in this activity of modelling the model construction is intertwined with the construction of new phenomena, theoretical principles and new scientific concepts. We will illustrate these claims by studying the construction of the ideal heat engine by Sadi Carnot. (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)

The semantic, or model-theoretic, approach to theories has recently come under criticism on two fronts: (i) it is claimed that it cannot account for the wide diversity of models employed in scientific practice—a claim which has led some to propose a “deflationary” account of models; (ii) it is further contended that the sense of “model” used by the approach differs from that given in model theory. Our aim in the present work is to articulate a possible response to these claims, (...) drawing on recent developments within the semantic approach itself. Thus, the first is answered by utilizing the notion of a “partial structure”, first introduced in this context by da Costa and French in 1990. The second claim is undermined by consideration of van Fraassen's understanding of “model” which corresponds well with that evinced by modem mathematicians. This latter discussion, in particular, has an impact on the continuing debate regarding the relative merits of the semantic and syntactic views and the developments presented here can be taken to provide further support to the former. (shrink)

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)

This paper follows up a debate as to whether classical electrodynamics is inconsistent. Mathias Frisch makes the claim in Inconsistency, Asymmetry and Non-Locality ([2005]), but this has been quickly countered by F. A. Muller ([2007]) and Gordon Belot ([2007]). Here I argue that both Muller and Belot fail to connect with the background assumptions that support Frisch's claim. Responding to Belot I explicate Frisch's position in more detail, before providing my own criticisms. Correcting Frisch's position, I find that I can (...) present the theory in a way both authors can agree upon. Differences then manifest themselves purely within the reasoning methods employed. Introduction Features of the Theory Frisch's Inconsistency Claim Defending Frisch 4.1 Muller 4.2 Belot Difficulties for Frisch and a Compromise Conclusion CiteULike Connotea Del.icio.us What's this? (shrink)

Reichenbach's Philosophy of Space and Time (1928) avoids most of the logical positivist pitfalls it is generally held to exemplify, notably both conventionalism and verificationism. To see why, we must appreciate that Reichenbach's interest lies in how mathematical structures can be used to describe reality, not in how words like 'distance' acquire meaning. Examination of his proposed "coordinative definition" of congruence shows that Reichenbach advocates a reductionist analysis of the relations figuring in physical geometry (contrary to common readings that attribute (...) to him a holistic conventionalism), while embracing a thoroughly holistic understanding of empirical confirmation (contrary to rival operationalist readings). (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)

Paul Thompson, John Beatty, and Elisabeth Lloyd argue that attempts to resolve certain conceptual issues within evolutionary biology have failed because of a general adherence to the received view of scientific theories. They maintain that such issues can be clarified and resolved when one adopts a semantic approach to theories. In this paper, I argue that such conceptual issues are just as problematic on a semantic approach. Such issues arise from the complexity involved in providing formal accounts of theoretical laws (...) and scientific explanations. That complexity is due to empirical and pragmatic considerations, not one's adherence to a particular formal approach to theories. This analysis raises a broader question. How can any formal account properly represent the complex nature of empirical phenomena? (shrink)

In this paper a constructive empiricist account of scientific change is put forward. Based on da Costa's and French's partial structures approach, two notions of empirical adequacy are initially advanced (with particular emphasis on the introduction of degrees of empirical adequacy). Using these notions, it is shown how both the informativeness and the empirical adequacy requirements of an empiricist theory of scientific change can then be met. Finally, some philosophical consequences with regard to the role of structures in this context (...) are drawn.Now, we daily see what science is doing for us. This could not be unless it taught us something about reality; the aim of science is not things themselves, as the dogmatists in their simplicity imagine, but the relations between things; outside those relations there is no reality knowable. (shrink)

In spite of several attempts to explicate the relationship between a scientific hypothesis and evidence, the issue still cries for a satisfactory solution. Logical approaches to confirmation, such as the hypothetico-deductive method and the positive instance account of confirmation, are problematic because of their neglect of the semantic dimension of hypothesis confirmation. Probabilistic accounts of confirmation are no better than logical approaches in this regard. An outstanding probabilistic account of confirmation, the Bayesian approach, for instance, is found to be defective (...) in that it treats evidence as a formal entity and this creates the problem of relevance of evidence to the hypothesis at issue, in addition to the difficulties arising from the subjective interpretation of probabilities. This essay purports to satisfy the need for a successful account of hypothesis confirmation by offering an original formulation based on the notion of instantiation of the relation urged by an hypothesis. (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)

The longstanding species problem in biology has a history that suggests a solution, and that history is not the received history found in many texts written by biologists or philosophers. The notion of species as the division into subordinate groups of any generic predicate was the staple of logic from Aristotle through the middle ages until quite recently. However, the biological species concept during the same period was at first subtly and then overtly different. Unlike the logic sense, which relied (...) on definitions of the essence of both genus and species, biological species from the time of Epicurus were consistently considered to involve a reproductive element: in short, living species relied not on essential definitions, but on the generative cause, which might not be definable. I term this the generative conception of species: species were the generation by reproduction of form. This undercuts the claim that species before Darwin were essentialist, and divorces the notion of a type from that of essence. In fact, as late as the end of the nineteenth century, logicians explicitly treated biological “species” as a homonym only of logical essentialist species, and permitted considerable deviation from the type or form. At every point, species in logic were thought to be a subset, in effect, of some more general notion. I sketch a history of both philosophical and biological traditions of the species concept, before turning to the current conceptions. These are reconsidered in the light of this history, and in particular Mayr’s changing views are shown to be somewhat Whiggish, historiographically. Of the many touted biological species concepts, only one of which (Mayr’s) is called _the_ Biological Species Concept, none appears to capture all the relevant facts, intuitions, and operational requirements of biology. Cladistic conceptions, however, have much in common with the older philosophical literature, in that the natural group of cladism is the clade, or monophyletic group. After considering the Individuality Thesis, and the metaphysics of species, we see that species are the most particular terminal taxa in a clade, and that they are “defined” in terms of the particular synapomorphies, or evolved characters, that are causally responsible for keeping the lineages that organisms form distinct from one another. In this way, we can remain within the generative conception of species that has been in play for over two millennia, and yet avoid the pitfalls of prior attempts to find a universal conception of species. (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)

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.

The use of multiple means of determination to “triangulate” on the existence and character of a common phenomenon, object, or result has had a long tradition in science but has seldom been a matter of primary focus. As with many traditions, it is traceable to Aristotle, who valued having multiple explanations of a phenomenon, and it may also be involved in his distinction between special objects of sense and common sensibles. It is implicit though not emphasized in the distinction between (...) primary and secondary qualities from Galileo onward. It is arguably one of several conceptions involved in Whewell’s method of the “consilience of inductions” (Laudan 1971) and is to be found in several places in Peirce. (From M. Brewer and B. Collins, eds., (1981); Scientific Inquiry in the Social Sciences (a festschrift for Donald T. Campbell), San Francisco: Jossey-Bass, pp. 123–162.). (shrink)

The purpose of this article is to develop an epistemology of scientific models in scientific research practices, and to show that disciplinary perspectives have crucial role in such an epistemology. A transcendental approach is taken, aimed at explanations of the kinds of questions relevant to the intended epistemology, such as “How is it possible that models provide knowledge about aspects of reality?” The approach is also pragmatic in the sense that the questions and explanations must be adequate and relevant to (...) concrete scientific practice. First it is explained why the idea of models as representations in terms of similarity or isomorphism between a model and its target is too limited as a basis for this epistemology. An important finding is that the target-phenomenon is usually not something that can be observed in a straightforward manner, but requires both characterization in terms of measurable variables and subsumption under concepts. The loss of this basis leads to a number of issues, such as: how can models be interpreted as representations if models also include conceptually meaningful linguistic content; how can researchers identify non-observable real-world target-phenomena that are then represented in the model; how do models enable inferential reasoning in performing epistemic tasks by researchers; and, how to justify scientific models. My proposal is to deal with these issues by analyzing how models are constructed, rather than by looking at ready-made models. Based on this analysis, I claim that the identification of phenomena and the construction of scientific models is guided and also confined by the disciplinary perspective within which researchers in a scientific discipline have learned to work. I propose a Kuhnian framework by which the disciplinary perspective can be systematically articulated. Finally, I argue that harmful forms of subjectivism, due to the loss of the belief that models objectively represent aspects of reality, can be overcome by making the disciplinary perspective in a research project explicit, thereby enabling its critical assessment, for which the proposed Kuhnian framework provides a tool. (shrink)