Within the philosophy of science there has been a great deal of rather vague talk about the 'heuristic fruitfulness' (or what Peirce called the 'esperable uberty') of theories. It is my aim in the present paper to add some precision to these discussions by linking this 'fruitfulness' to the satisfaction of certain heuristic criteria. In this manner the demarcation between 'discovery' and 'pursuit' becomes blurred. As a case study, I present the competition between the paraparticle and colour models of quarks (...) in the late 1960s. I argue that the eventual appraisal of the latter as the more fruitful of the two was based on the incorporation of a particular symmetry principle, regarded as a heuristic guideline, rather than on non-epistemic factors concerning 'cognitive resources' and the like. (shrink)

This article shows how the MISS account of models—as isolations and surrogate systems—accommodates and elaborates Sugden’s account of models as credible worlds and Hausman’s account of models as explorations. Theoretical models typically isolate by means of idealization, and they are representatives of some target system, which prompts issues of resemblance between the two to arise. Models as representations are constrained both ontologically (by their targets) and pragmatically (by the purposes and audiences of the modeller), and these relations are coordinated by (...) a model commentary. Surrogate models are often about single mechanisms. They are distinguishable from substitute models, which are examined without any concern about their connections with the target. Models as credible worlds are surrogate models that are believed to provide access to their targets on account of their credibility (of which a few senses are distinguished). (shrink)

Michael Weisberg’s account of scientific models concentrates on the ways in which models are similar to their targets. He intends not merely to explain what similarity consists in, but also to capture similarity judgments made by scientists. In order to scrutinize whether his account fulfills this goal, I outline one common way in which scientists judge whether a model is similar enough to its target, namely maximum likelihood estimation method. Then I consider whether Weisberg’s account could capture the judgments involved (...) in this practice. I argue that his account fails for three reasons. First, his account is simply too abstract to capture what is going on in MLE. Second, it implies an atomistic conception of similarity, while MLE operates in a holistic manner. Third, Weisberg’s atomistic conception of similarity can be traced back to a problematic set-theoretic approach to the structure of models. Finally, I tentatively suggest how these problems might be solved by a holistic approach in which models and targets are compared in a non-set-theoretic fashion. (shrink)

In this essay, I aim to motivate and defend a pluralistic view of epistemic rationality. At the core of the view is the notion that epistemic rationality is essentially a species of practical rationality put in the service of various epistemic goals. I begin by sketching some closely related views that have appeared in the literature. I then present my preferred version of the view and sketch some of its benefits. Thomas Kelly has raised challenging objections to a part of (...) the view, which I then present and address. I then raise some distinct worries that might linger and sketch some possible ways one might address them. (shrink)

Modeling is an important scientific practice, yet it raises significant philosophical puzzles. Models are typically idealized, and they are often explored via imaginative engagement and at a certain “distance” from empirical reality. These features raise questions such as what models are and how they relate to the world. Recent years have seen a growing discussion of these issues, including a number of views that treat modeling in terms of indirect representation and analysis. Indirect views treat the model as a bona (...) fide object, specified by the modeler and used to represent and reason about some portion of the concrete empirical world. On some indirect views, model systems are abstract entities, such as mathematical structures, while on other views they are concrete hypothetical things. Here I assess these views and offer a novel account of models. I argue that regarding models as abstracta results in some significant tensions with the practice of modeling, especially in areas where non-mathematical models are common. Furthermore, viewing models as concrete hypotheticals raises difficult questions about model-world relations. The view I argue for treats models as direct, albeit simplified, representations of targets in the world. I close by suggesting a treatment of model-world relations that draws on a recent work by Stephen Yablo concerning the notion of partial truth. (shrink)

This article reviews the recent literature on idealization, specifically idealization in the course of scientific modeling. We argue that idealization is not a unified concept and that there are three different types of idealization: Galilean, minimalist, and multiple models, each with its own justification. We explore the extent to which idealization is a permanent feature of scientific representation and discuss its implications for debates about scientific realism.

In “What is it like to be boring and myopic?” Kathleen Akins offers an interesting, empirically driven, argument for thinking that there is nothing that it is like to be a bat. She suggests that bats are “boring” in the sense that they are governed by behavioral scripts and simple, non-representational, control loops, and are best characterized as biological automatons. Her approach has been well received by philosophers sympathetic to empirically informed philosophy of mind. But, despite its influence, her work (...) has not met with any critical appraisal. -/- It is argued that a reconsideration of the empirical results shows that bats are not boring automatons, driven by short input-output loops, instincts, and reflexes. Grounds are provided for thinking that bats satisfy a range of philosophically and scientifically interesting elaborations of the general idea that consciousness is best understood in terms of representational functions. A more complete examination of bat sensory capabilities suggests there is something that it is like after all. -/- The discussion of bats is also used to develop an objection to strongly neurophilosophical approaches to animal consciousness. (shrink)

In the course of researching the question ‘What does it mean for knowledge to grow?’, the author has developed a large and unique compendium of components, some of which are knowledge systems that serve as research and creativity support systems. The self-modifying, self-effecting creative process and the results of developing and working with these systems, using novel methods and drawing on eclectic sources, is discussed.

This article deals with the problematic concepts of the rational and the social, which have been typically seen as dichotomous in the history and philosophy of science literature. I argue that this view is mistaken and that the social can be seen as something that enables rationality in science, and further, that a scientific community as well as an individual can be taken as an epistemic subject. Furthermore, I consider how scientific communities could be seen as freely acting and choosing (...) agents. Fundamentally, this boils down to the question whether we accept the voluntarist conception of human beings, one consequence of which is that scientists possess, in principle, the capacity for deliberative reflection and choice. If this is accepted, we can talk about the degrees of autonomy that communities possess. I also examine what kinds of decisions an autonomous community should make in order to produce objective knowledge. My suggestion is that objectivity be understood as intersubjectivity: a view is objective when it has been exposed to critical reflection from various points of view, and due to this, transcends subjective idiosyncrasies. (shrink)

The similarity view of scientific representation has recently been subjected to strong criticism. Much of this criticism has been directed against a ?naive? similarity account, which tries to explain representation solely in terms of similarity between scientific models and the world. This article examines the more sophisticated account offered by the similarity view's leading proponent, Ronald Giere. In contrast to the naive account, Giere's account appeals to the role played by the scientists using a scientific model. A similar move is (...) often made by defenders of resemblance theories of depiction, who invoke the role played by the artist, or by the viewers of a painting. In this article I look to debates over depiction to assess the difficulties facing those who wish to defend the similarity view of scientific representation. I then turn to examine Giere's account. Ultimately, I argue, this account is unsuccessful: while appealing to the role of scientists offers a promising way to defend the similarity view, Giere's own account does not capture what it is that scientists do when they use a model to represent the world. (shrink)

This contribution provides an assessment of the epistemological role of scientific models. The prevalent view that all scientific models are representations of the world is rejected. This view points to a unified way of resolving epistemic issues for scientific models. The emerging consensus in philosophy of science that models have many different epistemic roles in science is presented and defended.

Attention to scientific practice offers a novel response to philosophical queries about how conceptual understanding is empirically accountable. The locus of the issue is thereby shifted, from perceptual experience to experimental and fieldwork interactions. More important, conceptual articulation is shown to be not merely ?spontaneous? and intralinguistic, but instead involves a establishing a systematic domain of experimental operations. The importance of experimental practice for conceptual understanding is especially clearly illustrated by cases in which entire domains of scientific investigation were first (...) made accessible to articulated conceptual understanding. We thereby see more clearly how experimental systems themselves, and not merely the theories and models they make possible, have an intentional directedness and ?representational? import. (shrink)

Despite the emergence of new forms of feminist empiricism, there continues to be resistance to the idea that feminist political commitment can be integral to hypothesis testing in science when that process adheres strictly to empiricist norms and is grounded in a realist conception of objectivity. I explore the virtues of such feminist empiricism, arguing that the resistance is, in large part, due to the lingering effects of positivism.

The point of this paper is to provide a principled framework for a naturalistic, interactivist-constructivist model of rational capacity and a sketch of the model itself, indicating its merits. Being naturalistic, it takes its orientation from scientific understanding. In particular, it adopts the developing interactivist-constructivist understanding of the functional capacities of biological organisms as a useful naturalistic platform for constructing such higher order capacities as reason and cognition. Further, both the framework and model are marked by the finitude and fallibility (...) that science attributes to organisms, with their radical consequences, and also by the individual and collective capacities to improve their performances that learning organisms display. Part A prepares the ground for the exposition through a critique of the dominant Western analytic tradition in rationalising science, followed by a brief exposition of the naturalist framework that will be employed to frame the construction. This results in two sets of guidelines for constructing an alternative. Part B provides the new conception of reason as a rich complex of processes of improvement against epistemic values, and argues its merits. It closes with an account of normativity and our similarly developing rational knowledge of it, including (reflexively) of reason itself. (shrink)

The paper studies the nature of understanding in condensed matter physics (CMP), mediated by the successful employment of its models. I first consider two obvious candidates for the criteria of model-based understanding, Van Fraassen's sense of empirical adequacy and Hacking's instrumental utility , and conclude that both are unsatisfactory. Inspired by Hasok Chang's recent proposal to reformulate realism as the pursuit of ontological plausibility in our system of knowledge, we may require the model under consideration to be understood (or intelligible) (...) before claiming model-based understanding. Here the understanding of a model typically consists of the following: figuring out at least one plausible (preferably realistic) physical mechanism for the model, determining the theoretical consequences of the model by mathematically probing it and developing our physical intuitions about the model. I consider the q-state Potts model to illustrate. After having understood a model, we may employ the model to understand its target phenomena in the world. This is done by matching one of the interpretative models of the model with the central features of the phenomena. The matching should be motivated (ideally both theoretically and empirically) in the sense that we have good reason to believe that the central features of the phenomena can be thought of as having more or less the same structure as postulated by the interpretative model. In conclusion, I propose a two-stage account of model-based understanding in CMP: (1) understanding of a model and (2) matching a target phenomenon with a well-motivated interpretative model of the model. Empirical success and instrumental utility both play their roles in the evaluation of how successful the model is, but are not the essential part of model-based understanding. (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)

Naturalistic epistemologists frequently assume that their aim is to identify generalities (i.e. general laws) about the effectiveness of particular reasoning processes and methods. This paper argues that the search for this kind of generality fails. Work that has been done thus far to identify generalities (e.g. by Goldman, Kitcher and Thagard) overlooks both the complexity of reasoning and the relativity of assessments to particular contexts (domain, stage and goal of inquiry). Examples of human reasoning which show both complexity and contextuality (...) are given. The paper concludes with a discussion of the kind of multivariate model of reasoning that naturalistic epistemologists can use to evaluate processes and methods for specific domains. (shrink)

Scientific representation is a currently booming topic, both in analytical philosophy and in history and philosophy of science. The analytical inquiry attempts to come to terms with the relation between theory and world; while historians and philosophers of science aim to develop an account of the practice of model building in the sciences. This article provides a review of recent work within both traditions, and ultimately argues for a practice-based account of the means employed by scientists to effectively achieve representation (...) in the modelling sciences. (shrink)

A natural way to think of models is as abstract entities. If theories employ models to represent the world, theories traffic in abstract entities much more widely than is often assumed. This kind of thought seems to create a problem for a scientific realist approach to theories. Scientific realists claim theories should be understood literally. Do they then imply the reality of abstract entities? Or are theories simply—and incurably—false? Or has the very idea of literal understanding to be abandoned? Is (...) then fictionalism towards scientific theories inevitable? This paper argues that scientific realism can happily co-exist with models qua abstracta. (shrink)

Cases where analogy has played a significant role in the formation of a new scientific concept are well-documented. Yet, how is it that genuinely new representations can be constructed from existing representations? It is argued that the process of ‘generic modeling’ enables abstraction of features common to both the domain of the source of the analogy and of the target phenomena. The analysis focuses on James Clerk Maxwell's construction of the electromagnetic field concept. The mathematical representation Maxwell constructed turned out (...) to be a system of abstract laws that when applied to electromagnetic systems yield laws of a dynamical system that will not map back onto the mechanicals domains used in their construction. (shrink)

Non-actual model systems discussed in scientific theories are compared to fictions in literature. This comparison may help with the understanding of similarity relations between models and real-world target systems. The ontological problems surrounding fictions in science may be particularly difficult, however. A comparison is also made to ontological problems that arise in the philosophy of mathematics.

This is a report on a video-aided ethnographie investigation which targets expert knowledge in a hospital setting. Since such knowledge calls for gathering a qualitative sort of data, both intensive and situated, this paper offers an examination of the methodological implications of this investigation. Work environment digital video and computer-mediated observations with Transana® are adequate tools for the exploration of paramount concepts in the cognitive study of expertise, found in communicative sequences and embodied practices of situated agents.

InExplaining Science: A Cognitive Approach, Ronald Giere (1988), proposes what he calls a cognitive theory of science (p. 2). Giere intends his view to be a broadly scientific account employing the resources of the cognitive sciences (Giere, 1988, p. 2). This paper argues that Giere does not secure a firm foundation for a cognitive theory of science because he leaves the door wide open for social constructivist interpretations of his views. In order to avoid social constructivism, Giere needs to adopt (...) or develop an objective (i.e. non-conventionalist) concept of similarity. (shrink)

This paper raises the question of the prominence and use of statistical graphs in science, and argues that their use in problem solving analysis can best be understood in an ‘interactionist’ frame of analysis, including bio-emotion, culture, social organization, and environment as elements. The frame contrasts both with philosophical realism and with social constructivism, which posit two variables and one way causal flows. We next posit basic differences between visual, verbal, and numerical media of perception and communication. Graphs are thus (...) seen as key interactive sites where different media are transformed into more interpretable forms. Examples are taken from Limnology where numbers are transformed into graphs to find patterns in them, and thus, by implication in the environmental materials from which the numerical measurements were taken. Their revisualization by passes a human cognitive limitation, for the direct analysis — interpretation of lists and tables of numbers, visual imaging being a cognitive strength. Sense of problem, conceptual repertoire, and social relations are seen to direct this pattern search and interpretive process. (shrink)

In this paper, I explore the relationship between epistemic rationality and instrumental rationality, and I attempt to delineate their respective roles in typical instances of theoretical reasoning. My primary concern is with the instrumentalist conception of epistemic rationality: the view that epistemic rationality is simply a species of instrumental rationality, viz. instrumental rationality in the service of one's cognitive or epistemic goals. After sketching the relevance of the instrumentalist conception to debates over naturalism and 'the ethics of belief', I argue (...) that, despite enjoying considerable popularity among both epistemologists and philosophers of science, it is ultimately indefensible. Having thus argued for the distinctness of epistemic and instrumental rationality, I attempt to clarify the role played by each in typical instances of theoretical reasoning. I suggest that being theoretically rational--that is, being proficient with respect to theoretical reasoning--is best construed as a hybrid virtue, inasmuch as it involves manifesting sensitivity to two very different kinds of reasons. (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)

Economic forms of analysis have penetrated to many disciplines in the last 30 years: political science, sociology, law, social and political philosophy, and so forth. We wish to extend the economic paradigm to certain problems in epistemology and the philosophy of science. Scientific agents, and scholarly inquirers generally, act in some ways like vendors, trying to "sell" their findings, theories, analyses, or arguments to an audience of prospective "buyers". The analogy with the marketplace is imperfect. The ideas or discoveries that (...) a scientist offers are not private goods in the economist's sense. Nonetheless, there are parallels with the marketplace that are worth exploring. (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)

Ecologists attempt to understand the diversity of life with mathematical models. Often, mathematical models contain simplifying idealizations designed to cope with the blooming, buzzing confusion of the natural world. This strategy frequently issues in models whose predictions are inaccurate. Critics of theoretical ecology argue that only predictively accurate models are successful and contribute to the applied work of conservation biologists. Hence, they think that much of the mathematical work of ecologists is poor science. Against this view, I argue that model (...) building is successful even when models are predictively inaccurate for at least three reasons: models allow scientists to explore the possible behaviors of ecological systems; models give scientists simplified means by which they can investigate more complex systems by determining how the more complex system deviates from the simpler model; and models give scientists conceptual frameworks through which they can conduct experiments and fieldwork. Critics often mistake the purposes of model building, and once we recognize this, we can see their complaints are unjustified. Even though models in ecology are not always accurate in their assumptions and predictions, they still contribute to successful science. (shrink)

This paper starts with an intuitive notion of representational spaces, which is intended to provide an improved version of Kuhn's concept of paradigms. It then proceeds to study the following topics in terms of this new notion: incommensurability, paradigm change, explanation of anomalies, explanation of regularities, explanation of irregularities, and physical necessity. In the course of the investigation, "representational space" gets clarified and defined. It is envisaged that this new concept should throw light on many issues in the philosophy of (...) science. (shrink)

The following article treats the 'applicational turn' of modern fluid dynamics as it set in at the beginning of the 20th century with Ludwig Prandtl's concept of the boundary layer. It seeks to show that there is much more to applying a theory in a highly mathematical field like fluid dynamics than deriving a special case from a general explanatory theory under particular antecedent conditions. In Prandtl's case, the decisive move was to introduce a model that provided a physical/causal conception (...) of viscous flow at high Reynolds numbers. It facilitated an approximate solution to the Navier-Stokes equations, which in turn gave rise to many special applications. After a detailed account of Prandtl's achievement, the article discusses the role of the physical model and its experimental and mathematical significance. It is shown that the mathematical simplification provided by the physical model greatly expanded the explanatory capacity of the theory which the Navier-Stokes equations alone could not provide. (shrink)

This paper explores a line of argument against the classical paradigm in cognitive science that is based upon properties of non-linear dynamical systems, especially in their chaotic and near-chaotic behavior. Systems of this kind are capable of generating information-rich macro behavior that could be useful to cognition. I argue that a brain operating at the edge of chaos could generate high-complexity cognition in this way. If this hypothesis is correct, then the symbolic processing methodology in cognitive science faces serious obstacles. (...) A symbolic description of the mind will be extremely difficult, and even if it is achieved to some approximation, there will still be reasons for rejecting the hypothesis that the brain is in fact a symbolic processor. (shrink)

Studies of scientific practice demonstrate that the development of scientific models is an enactive and emergent process. Scientists make meaning through processes such as perspective taking, finding patterns, and following intuitions. In this paper, we focus on how a group of fourth grade learners and their teacher engaged in interpretation in ways that align with core ideas and practices in kinematics and computing. Cycles of measuring and modeling––including computer programming––helped to support classroom interactions that highlighted the interpretive nature of modeling (...) and participation in model construction as a knowledge-building process. We draw on literature from the history and philosophy of science in order to analyze the students’ interpretive actions as forms of epistemic and representational agency, constituting a construct we term disciplined interpretation. We demonstrate how students’ disciplined interpretative moves help to position them as owners of their own design decisions and their rights to interpret the phenomena they were modeling, data collected from those phenomena, and the scientific and computational models themselves. We present four extended episodes that characterize the nature of activity in the classroom and the development of students’ disciplined interpretations in terms of learning to recognize scientific patterns amid complex perceptual fields, and to represent them in ways that support sensemaking. (shrink)

The terms “perspectivism” and “perspectivalism” have been the focus of an intense philosophical discussion with important repercussions for the debate about the role of mechanisms in scientific explanations. However, leading exponents of the new mechanistic philosophy have conceded more than was necessary to the radically subjectivistic perspectivalism, and fell into the opposite error, by retaining not negligible residues of objectivistic views about mechanisms. In order to remove this vacillation between the subjective-cultural and the objective-natural sides of mechanisms, we shall raise (...) the question about theory-ladenness over again and interpret it in its connection with the technical–experimental nature of scientific knowledge, as affirming the perspectival character of scientific knowledge: It is because of the character at once theory-laden and practice-laden, i.e. technique-laden, of our putting questions to nature that empirical reality must be investigated from particular perspectives: nature can be known scientifically only from a potentially infinite number of perspectives or theoretical points of view, concretely exemplified by mechanisms or experimental ‘machines’ that allow specific access to specific aspects of sensible reality. (shrink)

It is widely accepted by formal and informal logicians alike that a formal logic which, by the lights of English, gets the connectives wrong, nevertheless conspires to get entailment right—right that is, modulo English. There is a vexing problem occasioned by this semantic alienation of formal logic. It is next to impossible for formal logic to meet the expectations of realism. What, then, of informal logic?

Two of the most potent challenges faced by scientific realism are the underdetermination of theories by data, and the pessimistic induction based on theories previously held to be true, but subsequently acknowledged as false. Recently, Stanford (2006, Exceeding our grasp: Science, history, and the problem of unconceived alternatives. Oxford: Oxford University Press) has formulated what he calls the problem of unconceived alternatives: a version of the underdetermination thesis combined with a historical argument of the same form as the pessimistic induction. (...) In this paper, I contend that while Stanford does present a novel antirealist argument, a successful response to the pessimistic induction would likewise defuse the problem of unconceived alternatives, and that a more selective and sophisticated realism than that which he allows is arguably immune to both concerns. (shrink)

This paper is a critical response to Andreas Bartels’ sophisticated defense of a structural account of scientific representation. We show that, contrary to Bartels’ claim, homomorphism fails to account for the phenomenon of misrepresentation. Bartels claims that homomorphism is adequate in two respects. First, it is conceptually adequate, in the sense that it shows how representation differs from misrepresentation and non-representation. Second, if properly weakened, homomorphism is formally adequate to accommodate misrepresentation. We question both claims. First, we show that homomorphism (...) is not the right condition to distinguish representation from misrepresentation and non-representation: a “representational mechanism” actually does all the work, and it is independent of homomorphism – as of any structural condition. Second, we test the claim of formal adequacy against three typical kinds of inaccurate representation in science which, by reference to a discussion of the notorious billiard ball model, we define as abstraction, pretence, and simulation. We first point out that Bartels equivocates between homomorphism and the stronger condition of epimorphism, and that the weakened form of homomorphism that Bartels puts forward is not a morphism at all. After providing a formal setting for abstraction, pretence and simulation, we show that for each morphism there is at least one form of inaccurate representation which is not accommodated. We conclude that Bartels’ theory – while logically laying down the weakest structural requirements – is nonetheless formally inadequate in its own terms. This should shed serious doubts on the plausibility of any structural account of representation more generally. (shrink)

In this essay I shall focus on the adoption of the Semantic Approach by structural realists, including myself, who have done so on the grounds that it wears its structuralist sympathies on its sleeve. Despite this, the SA has been identified as standing in tension with the ontological commitments of the so-called ’ontic’ form of this view and so I shall explore that tension before discussing the usefulness of the SA in framing scientific representation and concluding with a discussion of (...) the implications of the ontological status of theories and models themselves. (shrink)

We inquire into the question whether the Aristotelean or classical \emph{ideal} of science has been realised by the Model Revolution, initiated at Stanford University during the 1950ies and spread all around the world of philosophy of science --- \emph{salute} P.\ Suppes. The guiding principle of the Model Revolution is: \emph{a scientific theory is a set of structures in the domain of discourse of axiomatic set-theory}, characterised by a set-theoretical predicate. We expound some critical reflections on the Model Revolution; the conclusions (...) will be that the philosophical problem of what a \emph{scientific theory} is has \emph{not} been solved yet --- \emph{pace} P.\ Suppes. While reflecting critically on the Model Revolution, we also explore a proposal of how to complete the Revolution and briefly address the intertwined subject of \emph{scientific representation}, which has come to occupy center stage in philosophy of science over the past decade. (shrink)

Simulation and Similarity: Using Models to Understand the World is an account of modeling in contemporary science. Modeling is a form of surrogate reasoning where target systems in the natural world are studied using models, which are similar to these targets. My book develops an account of the nature of models, the practice of modeling, and the similarity relation that holds between models and their targets. I also analyze the conceptual tools that allow theorists to identify the trustworthy aspects of (...) models. Taken as a whole, I try to account for the ways that modeling is actually practiced by theorists, while abstracting sufficiently to understand the similarities and differences among examples of concrete, mathematical, and computational modeling.I am grateful to Wendy Parker, Jay Odenbaugh, and Bill Wimsatt for their careful and interesting reading of my book, as well as their constructive criticisms. Although I naturally disagree with some of their critiques, I have learned much .. (shrink)

Climate models don’t give us probabilistic forecasts. To interpret their results, alternatively, as serious possibilities seems problematic inasmuch as climate models rely on contrary-to-fact assumptions: why should we consider their implications as possible if their assumptions are known to be false? The paper explores a way to address this possibilistic challenge. It introduces the concepts of a perfect and of an imperfect credible world, and discusses whether climate models can be interpreted as imperfect credible worlds. That would allow one to (...) use models for possibilistic prediction and salvage widespread scientific practice. (shrink)

Exact sciences are described as sciences whose theories are formalized. These are contrasted to inexact sciences, whose theories are not formalized. Formalization is described as a broader category than mathematization, involving any form/content distinction allowing forms, e.g., as represented in theoretical models, to be studied independently of the empirical content of a subject-matter domain. Exactness is a practice depending on the use of theories to control subject-matter domains and to align theoretical with empirical models and not merely a state of (...) a science. Inexact biological sciences tolerate a degree of “mismatch” between theoretical and empirical models and concepts. Three illustrations from biological sciences are discussed in which formalization is achieved by various means: Mendelism, Weismannism, and Darwinism. Frege’s idea of a “conceptual notation” is used to further characterize the notion of a form/content distinction. (shrink)

While agreeing that cognition in the sciences is usefully thought of as involving processes encompassing both humans and artifacts, I object to attributing cognitive states to extended systems. I argue that cognitive states, such as ?knowing?, should be confined to the human components of cognitive systems. My argument appeals to the large dimensions, both spatial and temporal, of many scientific cognitive systems, the existence of epistemic norms, and the need for agents in science.

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)

Multiply realizable properties are those whose realizers are physically diverse. It is often argued that theories which contain them are ipso facto irreducible. These arguments assume that physical explanations are restricted to the most specific descriptions possible of physical entities. This assumption is descriptively false, and philosophically unmotivated. I argue that it is a holdover from the late positivist axiomatic view of theories. A semantic view of theories, by contrast, correctly allows scientific explanations to be couched in the most perspicuous, (...) powerful language available. On a semantic view, traditional notions of multiple realizability are thus very hard to motivate. At best, one must abandon either the idea that multiple realizability is an interesting scientific notion, or else admit that multiply realizable properties do not automatically block scientific reductions. (shrink)

Meynell’s contention is that feminists should attend to pictures in science as distinctive bearers of epistemic content that cannot be reduced to propositions. Remarks on the practice and function of medical illustration—specifically, images Nancy Tuana used in her discussion of the construction of ignorance of women’s sexual function (2004)—show pictures to be complex and powerful epistemic devices. Their affinity with perennial feminist concerns, the relation between epistemic subject and object, and the nature of social knowledge, are of particular interest.