This is one of two papers about emergence, reduction and supervenience. It expounds these notions and analyses the general relations between them. The companion paper analyses the situation in physics, especially limiting relations between physical theories. I shall take emergence as behaviour that is novel and robust relative to some comparison class. I shall take reduction as deduction using appropriate auxiliary definitions. And I shall take supervenience as a weakening of reduction, viz. to allow infinitely long definitions. The overall claim (...) of this paper will be that emergence is logically independent both of reduction and of supervenience. In particular, one can have emergence with reduction, as well as without it; and emergence without supervenience, as well as with it. Of the subsidiary claims, the four main ones are: : I defend the traditional Nagelian conception of reduction ; : I deny that the multiple realizability argument causes trouble for reductions, or ``reductionism'' ; : I stress the collapse of supervenience into deduction via Beth's theorem ; : I adapt some examples already in the literature to show supervenience without emergence and vice versa. (shrink)

I argue that a recent version of the doctrine of mathematical naturalism faces difficulties arising in connection with Wigner's old puzzle about the applicability of mathematics to natural science. I discuss the strategies to solve the puzzle and I show that they may not be available to the naturalist.

Teleology has a complicated history in the biological sciences. Some have argued that Darwin’s theory has allowed biology to purge itself of teleological explanations. Others have been content to retain teleology and to treat it as metaphorical, or have sought to replace it with less problematic notions like teleonomy. And still others have tried to naturalize it in a way that distances it from the vitalism of the nineteenth century, focusing on the role that function plays in teleological explanation. No (...) consensus has seemed possible in this debate. This paper takes a different approach. It argues that teleology is a perfectly acceptable scientific notion, but that the debate took an unfortunate misstep some 2300 years ago, one that has confused things ever since. The misstep comes in the beginning of Aristotle’s Physics when a distinction is made between two types of teleological explanation. One type pertains to artifacts while the other pertains to entities in nature. For Aristotle, artifacts are guided by something external to themselves, human intentions, while natural entities are guided by an internal nature. We aim to show that there is, in fact, only one type of legitimate teleological explanation, what Aristotle would have considered a variant of an artifact model, where entities are guided by external fields. We begin with an analysis of the differences between the two types of explanation. We then examine some evidence in Aristotle’s biological works suggesting that on account of his natural-artifactual distinction, he encountered difficulties in trying to provide teleological accounts of spontaneous generation. And we show that it is possible to resolve these difficulties with a more robust version of an artifact model of teleology, in other words, with an externalist teleology. This is McShea’s model, in which goal-directed entities are guided by a nested series of upper-level fields. To explain teleological behavior, this account invokes only external physical forces rather than mysterious internal natures. We then consider how field theory differs from other efforts to naturalize teleology in biology. And finally, we show how the account enables us to grapple with certain difficult cases – genes and intentions – where, even in biology today, the temptation to posit internal natures remains strong. (shrink)

This paper develops some respects in which the philosophy of mathematics can fruitfully be informed by mathematical practice, through examining Frege's Grundlagen in its historical setting. The first sections of the paper are devoted to elaborating some aspects of nineteenth century mathematics which informed Frege's early work. (These events are of considerable philosophical significance even apart from the connection with Frege.) In the middle sections, some minor themes of Grundlagen are developed: the relationship Frege envisions between arithmetic and geometry and (...) the way in which the study of reasoning is to illuminate this. In the final section, it is argued that the sorts of issues Frege attempted to address concerning the character of mathematical reasoning are still in need of a satisfying answer. (shrink)

Since virtually every mathematical theory can be interpreted in set theory, the latter is a foundation for mathematics. Whether set theory, as opposed to any of its rivals, is the right foundation for mathematics depends on what a foundation is for. One purpose is philosophical, to provide the metaphysical basis for mathematics. Another is epistemic, to provide the basis of all mathematical knowledge. Another is to serve mathematics, by lending insight into the various fields. Another is to provide an arena (...) for exploring relations and interactions between mathematical fields, their relative strengths, etc. Given the different goals, there is little point to determining a single foundation for all of mathematics. (shrink)

Pluralism is often put forth as a counter-position to reductionism. In this essay, I argue that reductionism and pluralism are in fact consistent. I propose that there are several potential goals for reductions and that the proper form of a reduction should be considered in tandem with the goal that it aims to achieve. This insight provides a basis for clarifying what version of reductionism are currently defended, for explicating the notion of a fundamental level of explanation, and for showing (...) how one can be both a reductionist and a pluralist. (shrink)

This is a response to a claim by Sven Ove Hansson to the effect that Poppers dictum that falsification lies at the heart of all pursuit of science has once and for all been falsified by his study of articles published in Nature during the year 2000. We claim that this is based on a misunderstanding of Poppers philosophy of science interpreting it too literally, and that alternative readings of those papers are fully compliant with falsification. We scrutinize Hansson’s arguments (...) as well as giving an overview of Poppers falsification theory. (shrink)

How shall we understand apparently teleological systems? What explains their persistence and their plasticity? Here I argue that all seemingly goal-directed systems—e.g., a food-seeking organism, human-made devices like thermostats and torpedoes, biological development, human goal seeking, and the evolutionary process itself—share a common organization. Specifically, they consist of an entity that moves within a larger containing structure, one that directs its behavior in a general way without precisely determining it. If so, then teleology lies within the domain of the theory (...) of compositional hierarchies. (shrink)

The principle of mass additivity states that the mass of a composite object is the sum of the masses of its elementary components. Mass additivity is true in Newtonian mechanics but false in special relativity. Physicists have explained why mass additivity is true in Newtonian mechanics by reducing it to Newton’s microphysical laws. This reductive explanation does not fit well with deducibility theories of reductive explanation such as the modern Nagelian theory of reduction, and the a priori entailment theory of (...) reduction that is prominent in the philosophy of mind. Nonetheless, I argue that a reconstruction of the explanation that incorporates distinctively philosophical concepts in fact fits both theories. I discuss the implications of this result for both theories and for the reductive explanation of consciousness. (shrink)

Our understanding of the universe has grown rapidly in recent decades. We’ve discovered evidence of water in nearby planets, discovered planets outside our solar system, mapped the genomes of thousands of organisms, and probed the very origins and limits of life. The scientific perspective of life-as-it-could-be has expanded in part by research in astrobiology, synthetic biology, and artificial life. In the face of such scientific developments, we argue there is an ever-growing need for universal biology, life-as-it-must-be, the multidisciplinary study of (...) non-contingent aspects of life as guided by biological theory and constrained by the universe. We present three distinct but connected ways of universalizing biology—with respect to characterizing aspects of life everywhere, with respect to the explanatory scope of biological theory, and with respect to extending biological insights to the structure of nonbiological entities. For each of these, we sketch the theoretical goals and challenges, as well as give examples of current research that might be labeled universal biology. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

All epistemic agents physically consist of parts that must somehow comprise an integrated cognitive self. Biological individuals consist of subunits (organs, cells, molecular networks) that are themselves complex and competent in their own context. How do coherent biological Individuals result from the activity of smaller sub-agents? To understand the evolution and function of metazoan bodies and minds, it is essential to conceptually explore the origin of multicellularity and the scaling of the basal cognition of individual cells into a coherent larger (...) organism. In this paper I synthesize ideas in cognitive science, evolutionary biology, and developmental physiology toward a hypothesis about the origin of Individuality: “Scale-Free Cognition”. I propose a fundamental definition of an Individual based on the ability to pursue goals at an appropriate level of scale and organization, and suggest a formalism for defining and comparing the cognitive capacities of highly diverse types of agents. Any Self is demarcated by a computational surface – the spatio-temporal boundary of events that it can measure, model, and try to affect. This surface sets a functional boundary - a cognitive “light cone” which defines the scale and limits of its cognition. I hypothesize that higher-level goal-directed activity and agency, resulting in larger cognitive boundaries, evolve from the primal homeostatic drive of living things to reduce stress – the difference between current conditions and life-optimal conditions. The mechanisms of developmental bioelectricity - the ability of all cells to form electrical networks that process information - suggests a plausible set of gradual evolutionary steps that naturally lead from physiological homeostasis in single cells to memory, prediction, and ultimately complex cognitive agents, via scale-up of the drive of infotaxis. Recent data on the molecular mechanisms of pre-neural bioelectricity suggest a model of how increasingly sophisticated cognitive functions emerge smoothly from cell-cell communication used to guide embryogenesis and regeneration. This set of hypotheses provides a novel perspective on numerous phenomena, such as cancer, and makes several unique, testable predictions for interdisciplinary research that have implications not only for evolutionary developmental biology but also for biomedicine and perhaps artificial intelligence and exobiology. (shrink)

In this paper, I explore the possibilities for arriving at a useful conception of methodological reductionism. Some participants in the debate talk about methodological reductionism as a research program. I argue that the concept of a research program, at least in Lakatos’ sense, cannot account for the diverse nature of methodological reductionism. I then present my own concept of a research directive as a useful alternative and elaborate on this by drawing on Hasok Chang’s theory of ontological principles and epistemic (...) activities. According to my view, the reductionist research directive can be characterized as consisting of the principles fundamental ontological homogeneity, part-whole asymmetry, and orderliness, together with the corresponding activities construction of identities, decomposition, and unification. I suggest that looking at reductionism in this way enables us to understand it as a gradual concept and thus go beyond the simplistic yes-or-no-questions that dominate many current debates on this topic. (shrink)

The paper inquires Husserl’s immanent teleology of conscious life, conceived as a Teleologie der «tiefen» Assoziationen. The associative genesis entails synthetical processes in the primordial-associative field, driven by the general concept of interest. The resulting syntheses ground the various forms of judgments, both judgments on experience and predicative ones in general. Since the theory’s foundation relies on pre-predicative experience, then it must encompass its teleological dimension and, in this sense, the concept of evidence – pivotal in the theory – mirrors (...) the result of the synthesis of fulfilment. This latter, in turn, is driven in an asymptotic path towards a teleological idea of adequacy. This account expresses the complementary mirroring that characterizes the relationship between judging and teleology, without the need to separate teleology from reason. In order to highlight the significance of this framing, the paper is closed by a brief comparison with R. Millikan’s teleosemantic theory, whose concept of teleology is shown as flawed by the general concerns proper to naturalism. (shrink)

A conceptual analysis of falsificationism is performed, in which the central falsificationist thesis is divided into several components. Furthermore, an empirical study of falsification in science is reported, based on the 70 scientific contributions that were published as articles in Nature in 2000. Only one of these articles conformed to the falsificationist recipe for successful science, namely the falsification of a hypothesis that is more accessible to falsification than to verification. It is argued that falsificationism relies on an incorrect view (...) of the nature of scientific inquiry and that it is, therefore, not a tenable research methodology. (shrink)

A long-standing problem in understanding goal-directed systems has been the insufficiency of mechanistic explanations to make sense of them. This paper offers a solution to this problem. It begins by observing the limitations of mechanistic decompositions when it comes to understanding physical fields. We argue that introducing the field concept, as it has been developed in field theory, alongside mechanisms is able to provide an account of goal directedness in the sciences.

This paper argues that the account of teleology previously proposed by the authors is consistent with the physical determinism that is implicit across many of the sciences. We suggest that much of the current aversion to teleological thinking found in the sciences is rooted in debates that can be traced back to ancient natural science, which pitted mechanistic and deterministic theories against teleological ones. These debates saw a deterministic world as one where freedom and agency is impossible. And, because teleological (...) entities seem to be free to either reach their ends or not, it was assumed that they could not be deterministic. Mayr’s modern account of teleonomy adheres to this basic assumption. Yet, the seeming tension between teleology and determinism is illusory because freedom and agency do not, in fact, conflict with a deterministic world. To show this, we present a taxonomy of different types of freedom that we see as inherent in teleological systems. Then we show that our taxonomy of freedom, which is crucial to understanding teleology, shares many of the features of a philosophical position regarding free will that is known in the contemporary literature as ‘compatibilism’. This position maintains that an agent is free when the sources of its actions are internal, when the agent itself is the deterministic cause of those actions. Our view shows that freedom is not only indispensable to teleology, but also that, contrary to common intuitions, there is no conflict between teleology and causal determinism. (shrink)

The thesis proposes, defends, and applies a new model of inter-theoretic reduction, called "Neo-Nagelian" reduction. There are numerous accounts of inter-theoretic reduction in the philosophy of science literature but the most well-known and widely-discussed is the Nagelian one. In the thesis I identify various kinds of problems which the Nagelian model faces. Whilst some of these can be resolved, pressing ones remain. In lieu of the Nagelian model, other models of inter-theoretic reduction have been proposed, chief amongst which are so-called (...) "New Wave" models. I show these to be no more adequate than the original Nagelian model. I propose a new model of inter-theoretic reduction, Neo-Nagelian reduction. This model is structurally similar to the Nagelian one, but differs in substantive ways. In particular I argue that it avoids the problems pertaining to both the Nagelian and New Wave models. Multiple realizability looms large in discussions about reduction: it is claimed that multiply realizable properties frustrate the reduction of one theory to another in various ways. I consider these arguments and show that they do not undermine the Neo-Nagelian of reduction of one theory to another. Finally, I apply the model to statistical mechanics. Statistical mechanics is taken to be a reductionist enterprise: one of the aims of statistical mechanics is to reduce thermodynamics. Without an adequate model of inter-theoretic reduction one cannot assess whether it succeeds; I use the Neo-Nagelian model to critically discuss whether it does. Specifically, I consider two very recent derivations of the Second Law of thermodynamics, one from Boltzmannian classical statistical mechanics and another from quantum statistical mechanics. I argue that they are partially successful, and that each makes for a promising line of future research. (shrink)