Together, these collected papers develop the idea that human thinking - from scientific creativity to simply understanding what a positive HIV test means - "happens" partly outside the mind.".

In the early nineteenth century, chemistry emerged in Europe as a truly experimental discipline. What set this process in motion, and how did it evolve? Experimentalization in chemistry was driven by a seemingly innocuous tool: the sign system of chemical formulas invented by the Swedish chemist Jacob Berzelius. By tracing the history of this “paper tool,” the author reveals how chemistry quickly lost its orientation to natural history and became a major productive force in industrial society. These formulas were not (...) merely a convenient shorthand, but productive tools for creating order amid the chaos of early nineteenth-century organic chemistry. With these formulas, chemists could create a multifaceted world on paper, which they then correlated with experiments and the traces produced in test tubes and flasks. The author’s semiotic approach to the formulas allows her to show in detail how their particular semantic and representational qualities made them especially useful as paper tools for productive application. (shrink)

Thomas S. Kuhn's classic book is now available with a new index.

In this paper, I examine Azzouni's tracking requirement and its use as a normative constraint on theories about objects which we take as real. I focus on what he calls ‘thick epistemic access’ and argue that there is a logical–conceptual sense in which thick access to the real presupposes thin access to it. Then, I move on to advance an alternative—Sellarsian—way to ontic commitment and show that (a) it is better than Azzouni's, and (b) it can accommodate thick epistemic access (...) as a bonus. Finally, I try to defend the Quinean theoretical virtues against some of Azzouni's objections. Introduction Theoretical irrealism vs holistic realism On the epistemic authority of observation The myth of the levels Quinean virtues Conclusion. (shrink)

I offer a critical review of several different conceptions of the activity of foundational research, from the time of Gauss to the present. These are (1) the traditional image, guiding Gauss, Dedekind, Frege and others, that sees in the search for more adequate basic systems a logical excavation of a priori structures, (2) the program to find sound formal systems for so-called classical mathematics that can be proved consistent, usually associated with the name of Hilbert, and (3) the historicist alternative, (...) guiding Riemann, Poincaré, Weyl and others, that seeks to perfect available conceptual systems with the aim to avoid conceptual limitations and expand the range of theoretical options. I shall contend that, at times, assumptions about the foundational enterprise emerge from certain dogmas that are frequently inherited from previous, outdated images. To round the discussion, I mention some traits of an alternative program that investigates the epistemology of mathematical knowledge. (shrink)

By analyzing the meaning of time I argue, without endorsing operationalism, that time is necessarily related to physical systems which can serve as clocks. This leads to a version of relationism about time which entails that there is no time 'before' the universe. Three notions of metaphysical 'time' (associated, respectively, with time as a mathematical concept, substantivalism, and modal relationism) which might support the idea of time 'before' the universe are discussed. I argue that there are no good reasons to (...) believe that metaphysical 'time' can be identified with what we ordinarily call time. I also briefly review and criticize the idea of time 'before' the big bang, associated with some recent speculative models in modern cosmology, and I argue that if the big bang model is a (roughly) correct description of our universe, then the best current answer to the question in the title is that time did have a beginning. (shrink)

The program of a physical concept of information is outlined in the framework of quantum theory. A proposal is made for how to avoid the intuitive introduction of observables. The conventional and the Everett interpretations in principle may lead to different dynamical consequences. An ensemble description occurs without the introduction of an abstract concept of information.

Evidence-Based Medicine is a relatively new movement that seeks to put clinical med- icine on a firmer scientific footing. I take it as uncontroversial that medical practice should be based on best evidence-the interesting questions concern the details. This paper tries to move towards a coherent and unified account of best evidence in medicine, by exploring in particular the EBM position on RCTs (randomized controlled trials).

The evidence from randomized controlled trials (RCTs) is widely regarded as supplying the ‘gold standard’ in medicine—we may sometimes have to settle for other forms of evidence, but this is always epistemically second-best. But how well justified is the epistemic claim about the superiority of RCTs? This paper adds to my earlier (predominantly negative) analyses of the claims produced in favour of the idea that randomization plays a uniquely privileged epistemic role, by closely inspecting three related arguments from leading contributors (...) to the burgeoning field of probabilistic causality—Papineau, Cartwright and Pearl. It concludes that none of these further arguments supplies any practical reason for thinking of randomization as having unique epistemic power. IntroductionWhy the issue is of great practical importance—the ECMO casePapineau on the ‘virtues of randomization’Cartwright on causality and the ‘ideal’ randomized experimentPearl on randomization, nets and causesConclusion. (shrink)

It is surely obvious that medicine, like any other rational activity, must be based on evidence. The interest is in the details: how exactly are the general principles of the logic of evidence to be applied in medicine? Focussing on the development, and current claims of the ‘Evidence-Based Medicine’ movement, this article raises a number of difficulties with the rationales that have been supplied in particular for the ‘evidence hierarchy’ and for the very special role within that hierarchy of randomized (...) controlled trials (and meta-analyses of the results of randomized controlled trials). The point is not at all to question the application of a scientific approach to evidence in medicine, but, on the contrary, to indicate a number of areas where philosophers of science can contribute to a proper implementation of exactly that scientific-evidential approach. (shrink)

Woodward's long awaited book is an attempt to construct a comprehensive account of causation explanation that applies to a wide variety of causal and explanatory claims in different areas of science and everyday life. The book engages some of the relevant literature from other disciplines, as Woodward weaves together examples, counterexamples, criticisms, defenses, objections, and replies into a convincing defense of the core of his theory, which is that we can analyze causation by appeal to the notion of manipulation.

This paper addresses the actual practice of justifying definitions in mathematics. First, I introduce the main account of this issue, namely Lakatos's proof-generated definitions. Based on a case study of definitions of randomness in ergodic theory, I identify three other common ways of justifying definitions: natural-world justification, condition justification, and redundancy justification. Also, I clarify the interrelationships between the different kinds of justification. Finally, I point out how Lakatos's ideas are limited: they fail to show how various kinds of justification (...) can be found and can be reasonable, and they fail to acknowledge the interplay among the different kinds of justification. (shrink)

My concern in this paper will be to explore and develop a version of nonsocratic skepticism about weakness of will. In my view, socratism is incorrect, but like Socrates, I think that the common understanding of weakness of will raises serious problems. Contrary to socratism, it is possible for a person knowingly to act contrary to his or her better judgment. But this description does not exhaust the common view of weakness. Also implicit in this view is the belief that (...) actions which are contrary to one's better judgment are free in the sense that the agent could have done otherwise. To take seriously the possibility of acting contrary to one's better judgment is at the same time to raise problems about the distinction between weakness and compulsion. I argue that the common view, according to which the differentiating feature is that the weak are able to conform their behavior to their practical judgments, is unjustified. Instead, I have proposed that weakness of will involves the failure to develop certain normal capacities of self-control, whereas compulsion involves desires which even the possession of such capacities would not enable one to resist. (shrink)

One can give a strong sense to the idea that a relation does not 'reduce' to non-relational properties by saying that a relation does not supervene upon the non-relational properties of its relata. That there are such inherent relations I call the doctrine of relational holism, a doctrine which seems to conflict with traditional ideas about physicalism. At least parts of classical physics seem to be free of relational holism, but quantum mechanics, on at least some interpretations, incorporates the doctrine (...) in an all pervasive way. (shrink)

Darrin Belousek has argued that the indistinguishability of quantum particles is conventional “in the Duhemian–Einsteinian sense,” in part by critially examining prior arguments given by Redhead and Teller. Belousek's discussion provides a useful occasion to clarify some of those arguments, acknowledge respects in which they were misleading, and comment on how they can be strengthened. We also comment briefly on the relevant sense of “conventional.”.

This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence of axioms and primitive notions, and versions of the system suitable for the development of 1-dimensional geometry.

It is argued that a number of important, and seemingly disparate, types of representation are species of a single relation, here called structural representation, that can be described in detail and studied in a way that is of considerable philosophical interest. A structural representation depends on the existence of a common structure between a representation and that which it represents, and it is important because it allows us to reason directly about the representation in order to draw conclusions about the (...) phenomenon that it depicts. The present goal is to give a general and precise account of structural representation, then to use that account to illuminate several problems of current philosophical interest — including some that do not initially seem to involve representation at all. In particular, it is argued that ontological reductions (like that of the natural numbers to sets), compositional accounts of semantics, several important sorts of mental representation, and (perhaps) possible worlds semantics for intensional logics are all species of structural representation and are fruitfully studied in the framework developed here. (shrink)

This paper defends an inferential conception of scientific representation. It approaches the notion of representation in a deflationary spirit, and minimally characterizes the concept as it appears in science by means of two necessary conditions: its essential directionality and its capacity to allow surrogate reasoning and inference. The conception is defended by showing that it successfully meets the objections that make its competitors, such as isomorphism and similarity, untenable. In addition the inferential conception captures the objectivity of the cognitive representations (...) used by science, it sheds light on their truth and completeness, and it explains the source of the analogy between scientific and artistic modes of representation. (shrink)

The fundamental problem considered is that of the existence of a joint probability distribution for momentum and position at a given instant. The philosophical interest of this problem is that for the potential energy functions (or Hamiltonians) corresponding to many simple experimental situations, the joint "distribution" derived by the methods of Wigner and Moyal is not a genuine probability distribution at all. The implications of these results for the interpretation of the Heisenberg uncertainty principle are analyzed. The final section consists (...) of some observations concerning the axiomatic foundations of quantum mechanics. (shrink)

We prove the existence of hidden variables, or, what we call generalized common causes, for finite sequences of pairwise correlated random variables that do not have a joint probability distribution. The hidden variables constructed have upper probability distributions that are nonmonotonic. The theorem applies directly to quantum mechanical correlations that do not satisfy the Bell inequalities.

In this paper I develop three conceptions of the relationship between evolutionary and developmental biology. I further argue that: (a) the choice between them largely turns on as yet unresolved empirical considerations; (b) none of these conceptions demand a fundamental conceptual reevaluation of evolutionary biology; and (c) while developmental systems theorists have constructed an important and innovative alternative to the standard view of the genotype/phenotype relations, in considering the general issue of the relationship between evolutionary and developmental biology, we can (...) remain neutral on this debate. (shrink)

Distinctions have been proposed between systems of reasoning for centuries. This article distills properties shared by many of these distinctions and characterizes the resulting systems in light of recent findings and theoretical developments. One system is associative because its computations reflect similarity structure and relations of temporal contiguity. The other is "rule based" because it operates on symbolic structures that have logical content and variables and because its computations have the properties that are normally assigned to rules. The systems serve (...) complementary functions and can simultaneously generate different solutions to a reasoning problem. The rule-based system can suppress the associative system but not completely inhibit it. The article reviews evidence in favor of the distinction and its characterization. (shrink)

This unique book by Stewart Shapiro looks at a range of philosophical issues and positions concerning mathematics in four comprehensive sections. Part I describes questions and issues about mathematics that have motivated philosophers since the beginning of intellectual history. Part II is an historical survey, discussing the role of mathematics in the thought of such philosophers as Plato, Aristotle, Kant, and Mill. Part III covers the three major positions held throughout the twentieth century: the idea that mathematics is logic (logicism), (...) the view that the essence of mathematics is the rule-governed manipulation of characters (formalism), and a revisionist philosophy that focuses on the mental activity of mathematics (intuitionism). Finally, Part IV brings the reader up-to-date with a look at contemporary developments within the discipline. This sweeping introductory guide to the philosophy of mathematics makes these fascinating concepts accessible to those with little background in either mathematics or philosophy. (shrink)

The basic theory of scientific understanding presented in Sections 1–2 exploits three main ideas.First, that to understand a phenomenonP (for a given agent) is to be able to fitP into the cognitive background corpusC (of the agent).Second, that to fitP intoC is to connectP with parts ofC (via arguments in a very broad sense) such that the unification ofC increases.Third, that the cognitive changes involved in unification can be treated as sequences of shifts of phenomena inC. How the theory fits (...) typical examples of understanding and how it excludes spurious unifications is explained in detail. Section 3 gives a formal description of the structure of cognitive corpuses which contain descriptive as well as inferential components. The theory of unification is then refined in the light of so called puzzling phenomena, to enable important distinctions, such as that between consonant and dissonant understanding. In Section 4, the refined theory is applied to several examples, among them a case study of the development of the atomic model. The final part contains a classification of kinds of understanding and a discussion of the relation between understanding and explanation. (shrink)

The question of the influence of genes on behavior raises difficult philosophical and social issues. In this paper I delineate what I call the Developmentalist Challenge (DC) to assertions of genetic influence on behavior, and then examine the DC through an indepth analysis of the behavioral genetics of the nematode, C. elegans, with some briefer references to work on Drosophila. I argue that eight "rules" relating genes and behavior through environmentally-influenced and tangled neural nets capture the results of developmental and (...) behavioral studies on the nematode. Some elements of the DC are found to be sound and others are criticized. The essay concludes by examining the relations of this study to Kitcher's antireductionist arguments and Bechtel and Richardson's decomposition and localization heuristics. Some implications for human behavioral genetics are also briefly considered. (shrink)

It has not been sufficiently considered in philosophical discussions of ceteris paribus (CP) laws that distinct kinds of CP-laws exist in science with rather different meanings. I distinguish between (1.) comparative CP-laws and (2.) exclusive CP-laws. There exist also mixed CP-laws, which contain a comparative and an exclusive CP-clause. Exclusive CP-laws may be either (2.1) definite, (2.2) indefinite or (2.3) normic. While CP-laws of kind (2.1) and (2.2) exhibit deductivistic behaviour, CP-laws of kind (2.3) require a probabilistic or non-monotonic reconstruction. (...) CP-laws of kind (1) may be both deductivistic or probabilistic. All these kinds of CP-laws have empirical content by which they are testable, except CP-laws of kind (2.2) which are almost vacuous. Typically, CP-laws of kind (1) express invariant correlations, CP-laws of kind (2.1) express closed system laws of physical sciences, and CP-laws of kind (2.3) express normic laws of non-physical sciences based on evolution-theoretic stability properties. (shrink)

The concept of classical indistinguishability is analyzed and defended against a number of well-known criticisms, with particular attention to the Gibbs’paradox. Granted that it is as much at home in classical as in quantum statistical mechanics, the question arises as to why indistinguishability, in quantum mechanics but not in classical mechanics, forces a change in statistics. The answer, illustrated with simple examples, is that the equilibrium measure on classical phase space is continuous, whilst on Hilbert space it is discrete. The (...) relevance of names, or equivalently, properties stable in time that can be used as names, is also discussed. (shrink)

The philosophical theory of scientific explanation proposed here involves a radically new treatment of causality that accords with the pervasively statistical character of contemporary science. Wesley C. Salmon describes three fundamental conceptions of scientific explanation--the epistemic, modal, and ontic. He argues that the prevailing view is untenable and that the modal conception is scientifically out-dated. Significantly revising aspects of his earlier work, he defends a causal/mechanical theory that is a version of the ontic conception. Professor Salmon's theory furnishes a robust (...) argument for scientific realism akin to the argument that convinced twentieth-century physical scientists of the existence of atoms and molecules. To do justice to such notions as irreducibly statistical laws and statistical explanation, he offers a novel account of physical randomness. The transition from the "reviewed view" of scientific explanation to the causal/mechanical model requires fundamental rethinking of basic explanatory concepts. (shrink)

In this manuscript we initiate a systematic examination of the physical basis for the time concept in cosmology. We discuss and defend the idea that the physical basis of the time concept is necessarily related to physical processes which could conceivably take place among the material constituents available in the universe. As a consequence we motivate the idea that one cannot, in a well-defined manner, speak about time ‘before’ such physical processes were possible, and in particular, the idea that one (...) cannot speak about a time scale ‘before’ scale-setting physical processes were possible. It is common practice to link the concept of cosmic time with a space-time metric set up to describe the universe at large scales, and then define a cosmic time t as what is measured by a comoving standard clock. We want to examine, however, the physical basis for setting up a comoving reference frame and, in particular, what could be meant by a standard clock. For this purpose we introduce the concept of a `core' of a clock and we ask if such a core can - in principle - be found in the available physics contemplated in the various `stages' of the early universe. We find that a first problem arises above the quark-gluon phase transition where there might be no bound systems left, and the concept of a physical length scale to a certain extent disappears. A more serious problem appears above the electroweak phase transition believed to occur at $\sim 10^{-11}$ seconds. At this point the property of mass disappears and it becomes difficult to identify a physical basis for concepts like length scale, energy scale and temperature - which are all intimately linked to the concept of time in modern cosmology. This situation suggests that the concept of a time scale in `very early' universe cosmology lacks a physical basis or, at least, that the time scale will have to be based on speculative new physics. (shrink)

We extend the work of French and Redhead [1988] further examining the relation of quantum statistics to the assumption that quantum entities have the sort of identity generally assumed for physical objects, more specifically an identity which makes them susceptible to being thought of as conceptually individuatable and labelable even though they cannot be experimentally distinguished. We also further examine the relation of such hypothesized identity of quantum entities to the Principle of the Identity of Indiscernibles. We conclude that although (...) such an assumption of identity is consistent with the facts of quantum statistics, methodological considerations show that we should take quantum entities to be entirely unindividuatable, in the way suggested by a Fock space description. (shrink)

The practice of describing multiparticle quantum systems in terms of labeled particles indicates that we think of quantum entities as individuatable. The labels, together with particle indistinguishability, create the need for symmetrization or antisymmetrization (or, in principle, higher-order symmetries), which in turn results in “surplus formal structure” in the formalism, formal structure which corresponds to nothing in the real world. We argue that these facts show quanta to be unindividuatable entities, things in principle incapable of supporting labels, and so things (...) which support no factual difference_if two of them are thought of as being switched. When thinking of the metaphysics of quanta, we should eschew the misleading labels of the tensor product Hilbert space formalism and prefer the ontologically more faithful description of the Fock space formalism. This conception eliminates puzzles about the quantum statistics of bosons. (shrink)

Fisher’s ‘fundamental theorem of natural selection’ is notoriously abstract, and, no less notoriously, many take it to be false. In this paper, I explicate the theorem, examine the role that it played in Fisher’s general project for biology, and analyze why it was so very fundamental for Fisher. I defend Ewens and Lessard in the view that the theorem is in fact a true theorem if, as Fisher claimed, ‘the terms employed’ are ‘used strictly as defined’. Finally, I explain the (...) role that projects such as Fisher’s play in the progress of scientific inquiry. (shrink)

The discussion of the adaptive landscape in the philosophical literature appears to be divided along the following lines. On the one hand, some claim that the adaptive landscape is either “uninterpretable” or incoherent. On the other hand, some argue that the adaptive landscape has been an important heuristic, or tool in the service of explaining, as well as proposing and testing hypotheses about evolutionary change. This paper attempts to reconcile these two views.

The tuning-fork model of human social cognition, based on the discovery of mirror neurons (MNs) in the ventral premotor cortex of monkeys, involves the four following assumptions: (1) mirroring processes are processes of resonance or simulation. (2) They can be motor or non-motor. (3) Processes of motor mirroring (or action-mirroring), exemplified by the activity of MNs, constitute instances of third-person mindreading, whereby an observer represents the agent's intention. (4) Non-motor mirroring processes enable humans to represent others' emotions. After questioning all (...) four assumptions, I point out that MNs in an observer's brain could not synchronically resonate with MNs in an agent's brain unless they discharged in a single brain in two distinct tasks at different times. Finally, I sketch a conceptualist alternative to the resonance model according to which a brain mechanism active in both the execution and the perception of e.g., the act of grasping is the neural basis of the concept of e.g., grasping. (shrink)

According to some philosophers, computational explanation is proprietary
to psychology—it does not belong in neuroscience. But neuroscientists routinely offer computational explanations of cognitive phenomena. In fact, computational explanation was initially imported from computability theory into the science of mind by neuroscientists, who justified this move on neurophysiological grounds. Establishing the legitimacy and importance of computational explanation in neuroscience is one thing; shedding light on it is another. I raise some philosophical questions pertaining to computational explanation and outline some promising answers that (...) are being developed by a number of authors. (shrink)