Confirmation in evolutionary biology depends on what biologists take to be the genuine rivals. Investigating what constrains the scope of biological possibility provides part of the story: explaining how possible helps determine what counts as a genuine rival and thus informs confirmation. To clarify the criteria for genuine rivalry I distinguish between global and local constraints on biological possibility, and offer an account of how-possibly explanation. To sharpen the connection between confirmation and explaining how possible I discuss the view that (...) formal inquiry can provide a kind of confirmation-theoretic support for evolutionary models, and offer an example of how-possibly explanation interacting with testing practice. (shrink)

Confirmation in evolutionary biology depends on what biologists take to be the genuine rivals. Investigating what constrains the scope of biological possibility provides part of the story: explaining how possible helps determine what counts as a genuine rival and thus informs confirmation. To clarify the criteria for genuine rivalry I distinguish between global and local constraints on biological possibility, and offer an account of how-possibly explanation. To sharpen the connection between confirmation and explaining how possible I discuss the view that (...) formal inquiry can provide a kind of confirmation-theoretic support for evolutionary models, and offer an example of how-possibly explanation interacting with testing practice. (shrink)

We discuss the scientific task of historical reconstruction and the problem of epistemic access. We argue that strong epistemic support for historical claims consists in the consilience of multiple independent lines of evidence, and analyze the impact hypothesis for the End-Cretaceous mass extinction to illustrate the accrual of epistemic support. Although there are elements of the impact hypothesis that enjoy strong epistemic support, the general conditions for this are strict, and help to clarify the difficulties associated with reconstructing the deep (...) past. (shrink)

Evolutionary biology, indeed any science that attempts to reconstruct prehistory, faces practical limitations on available data. These limitations create the problem of contrast failure: specific observations may fail to discriminate between rival evolutionary hypotheses. Assessing the risk of contrast failure provides a way to evaluate testing protocols in evolutionary science. Here I will argue that part of the methodological critique in the Spandrels paper involves diagnosing contrast failure problems. I then distinguish the problem of contrast failure from the more familiar (...) philosophical problem of underdetermination, and demonstrate how contrast failure arises in scientific practice with an investigation into Lewontin and White’s estimation of an adaptive landscape. (shrink)

Does science successfully uncover the deep structure of the natural world? Or are the depths forever beyond our epistemic grasp? Since the decline of logical positivism and logical empiricism, scientific realism has become the consensus view: of course our scientific theories apprehend the deep structure of the world. What else could explain the remarkable success of science? This is the explanationist defense of scientific realism, the “ultimate argument.” Kyle Stanford starts here and, using the history of theorizing about biological inheritance (...) as his case study, constructs a convincing argument against the realist consensus in his thought provoking book, Exceeding Our Grasp.1 Here I will review the core of Stanford’s new argument for instrumentalism (§ 1) and discuss his considered view of theoretical science (§ 2). (shrink)

Can selection explain why individuals have the traits they do? This question has generated significant controversy. I will argue that the debate encompasses two separable aspects, to detrimental effect: (1) the role of selection in explaining the origin and evolution of biological traits and (2) the implications this may have for explaining why individuals have the traits they do. (1) can be settled on the basis of evolutionary theory while (2) requires additional, extra-scientific assumptions. By making a distinction between traits (...) affected by a single factor and traits affected by multiple factors I show that selection can, under certain conditions, help explain the origin of traits. Resolving the first aspect enables us to critically assess the various incompatible and independent philosophical commitments made within the second aspect of the debate. (shrink)

Do evolutionary processes such as selection and random drift cause evolutionary change, or are they merely convenient ways of describing or summarizing it? Philosophers have lined up on both sides of this question. One recent defense (Reisman and Forber 2005) of the causal status of selection and drift appeals to a manipulability theory of causation. Yet, even if one accepts manipulability, there are still reasons to doubt that genetic drift, in particular, is genuinely causal. We will address two challenges (...) to treating drift as causal within a manipulation framework. We will argue that both challenges ultimately fail, but that they raise interesting and subtle issues about the nature of causation and the differences between selection and drift. ‡Thanks to audiences at the ‘PBDB1' Conference and the 2006 PSA Meeting for valuable feedback. †To contact the authors, please write to: Patrick Forber, Tufts University, Philosophy Department, Miner Hall, Medford, MA 02155; e-mail: patrick.forber@tufts.edu. (shrink)

Eliminative reasoning seems to play an important role in the sciences, but should it be part of our best theory of science? Statistical evidence, prevalent across the sciences, causes problems for eliminative inference, supporting the view that probabilistic theories of confirmation provide a better framework for reasoning about evidence. Here I argue that deductive elimination has an important inferential role to play in science, one that is compatible with probabilistic approaches to evidence. Eliminative inferences help frame testing problems, an essential (...) step that determines the context for evaluating statistical evidence. I illustrate this process with examples from molecular evolutionary biology. (shrink)

We investigate how changes to the payoffs of cooperative behavior affect the evolutionary dynamics. Paradoxically, the larger the benefits of cooperation, the less likely it is to evolve. This holds true even in cases where cooperation is strictly dominant. Increasing the benefits from prosocial behavior has two effects: first, in some circumstances it promotes the evolution of spite; and second, it can decrease the strength of selection leading to nearly neutral evolution of strategies. In light of these results we must (...) reevaluate standard philosophical perspectives on the evolution of cooperation and morality. (shrink)

Evolutionary processes such as natural selection and random drift are commonly regarded as causes of population-level change. We respond to a recent challenge that drift and selection are best understood as statistical trends, not causes. Our reply appeals to manipulation as a strategy for uncovering causal relationships: if you can systematically manipulate variable A to bring about a change in variable B, then A is a cause of B. We argue that selection and drift can be systematically manipulated to produce (...) different kinds of population-level change. They should therefore be regarded as causes. (shrink)

Recent studies in the evolution of cooperation have shifted focus from altruistic to mutualistic cooperation. This change in focus is purported to reveal new explanations for the evolution of prosocial behavior. We argue that the common classification scheme for social behavior used to distinguish between altruistic and mutualistic cooperation is flawed because it fails to take into account dynamically relevant game-theoretic features. This leads some arguments about the evolution of cooperation to conflate dynamical scenarios that differ regarding the basic conditions (...) on the emergence and maintenance of cooperation. We use the tools of evolutionary game theory to increase the resolution of the classification scheme and analyze what evolutionary inferences classifying social behavior can license. (shrink)

When can macroscopic data about a system be used to set parameters in a microfoundational simulation? We examine the epistemic viability of tweaking parameter values to generate a better fit between the outcome of a simulation and the available observational data. We restrict our focus to microfoundational simulations—those simulations that attempt to replicate the macrobehavior of a target system by modeling interactions between microentities. We argue that tweaking can be effective but that there are two central risks. First, tweaking risks (...) overfitting the simulation to the data and thus compromising predictive accuracy; and second, it risks compromising the microfoundationality of the simulation. We evaluate standard responses to tweaking and propose strategies to guard against these risks. (shrink)

Evolutionary biology, indeed any science that attempts to reconstruct prehistory, faces practical limitations on available data. These limitations create the problem of contrast failure: specific observations may fail to discriminate between rival evolutionary hypotheses. Assessing the risk of contrast failure provides a way to evaluate testing protocols in evolutionary science. Here I will argue that part of the methodological critique in the Spandrels paper involves diagnosing contrast failure problems. I then distinguish the problem of contrast failure from the more familiar (...) philosophical problem of underdetermination, and demonstrate how contrast failure arises in scientific practice with an investigation into Lewontin and White’s estimation of an adaptive landscape. (shrink)

John Richardson (2002, 2004) argues that Nietzsche’s use of teleological notions, such as the “will to power” and psychological “drives,” can be naturalized within the Darwinian framework of natural selection. Although this ambitious project has merit, the Darwinian framework does not provide the strong teleology necessary to interpret Nietzsche’s explanatory project. Examining the logic of selection, the conceptual limitations on biological functions, and the evidential demands that must be met to deploy evolutionary theory show that Nietzsche’s explanatory project does not (...) cohere with the Darwinian framework. Thus, coherence with currently accepted evolutionary theory should not constrain the philosophical project of interpretation in this case. (shrink)

We examine contemporary game-theoretic accounts of ownership as a convention. New results from dynamic networks complicate matters, suggesting that if ownership is conventional, it should not be as...

ABSTRACT Nietzsche's investigation into the origins of morality bears some striking similarities to contemporary investigations into human evolution. Here I investigate these similarities, using a comparison between Nietzsche's GM and Gould and Lewontin's influential “Spandrels” essay as a departure point. I argue that Nietzsche defends a proto-evolutionary psychology about morality, where the inheritance of enduring biological drives conflicts with our culturally evolved moral system. While Nietzsche's claims about the evolution of morality fit well within a Darwinian framework of natural selection, (...) his claims about our underlying biology do not. Those claims cohere better with the non-Darwinian views found in nineteenth-century German biology and embryology. (shrink)

John Richardson (2002, 2004) argues that Nietzsche’s use of teleological notions, such as the “will to power” and psychological “drives,” can be naturalized within the Darwinian framework of natural selection. Although this ambitious project has merit, the Darwinian framework does not provide the strong teleology necessary to interpret Nietzsche’s explanatory project. Examining the logic of selection, the conceptual limitations on biological functions, and the evidential demands that must be met to deploy evolutionary theory show that Nietzsche’s explanatory project does not (...) cohere with the Darwinian framework. Thus, coherence with currently accepted evolutionary theory should not constrain the philosophical project of interpretation in this case. (shrink)

Recognition of and responsiveness to the behavioral dispositions of others are key features of moral systems for facilitating social cooperation and the mediation of punishment. Here we investigate the coevolutionary possibilities of recognition and conditional social behavior with respect to both altruism and spite. Using two evolutionary models, we find that recognition abilities can support both spite and altruism but that some can only coevolve with spite. These results show that it is essential to consider harmful social behaviors as both (...) a product of and an influence on the core features of our moral systems. (shrink)

Evidence is an objective matter. This is the prevailing view within science, and confirmation theory should aim to capture the objective nature of scientific evidence. Modeling an objective evidence relation in a probabilistic framework faces two challenges: the probabilities must have the right epistemic foundation, and they must be specifiable given the hypotheses and data under consideration. Here I will explore how Sober's approach to confirmation handles these challenges of foundation and specification. In particular, I will argue that the specification (...) problem proves especially difficult, and undermines the law of likelihood as an adequate representation of the objective nature of scientific evidence. (shrink)

Spite (in the biological or evolutionary sense) is behavior that harms others at a cost to the actor. The presence of spite in human and animal populations presents an evolutionary puzzle. Recent work has suggested small populations and pre-play signaling can have a significant effect on the evolution of spite. Here, we use computational methods to explore these factors in fluctuating populations that may go extinct. We find that the presence of spite can make a population significantly more likely to (...) go extinct, but that this does not preclude the possibility of spite reliably evolving. Additionally, we find that the stochastic effects of small fluctuating populations allow for the evolution and predominance of signal-mediated conditional spite across a wide range of conditions. These results suggest that directed harm, even if costly, can play a significant early role in the evolution of social behaviors and this provides a possible origin for punishment. (shrink)

MacDonald and Kreitman (1991) propose a test of the neutral mutationrandom drift (NM-RD) hypothesis, the central claim of the neutral theory of molecular evolution. The test involves generating predictions from the NM-RD hypothesis about patterns of molecular substitutions. Alternative selection hypotheses predict that the data will deviate from the predictions of the NM-RD hypothesis in specifiable ways. To conduct the test Mac- Donald and Kreitman examine the evolutionary dynamics of the alcohol dehydrogenase (Adh) gene in three species of Drosophila. The (...) test compares the number of DNA sequence changes between species and within species. The number of DNA differences is an indicator of the evolutionary rate of the Adh gene. Based on the test they conclude that there is strong evidence for adaptive protein evolution at particular sites in the gene. Understanding the test requires some basic knowledge about molecular terms and the predictions of neutral theory. The two important terms are fixed differences and polymorphisms. These are determined by comparing DNA sequences made up of thousands of individual nucleotide sites. A site that is unchanged within a species but different from a related species counts as a fixed difference. These are mutations that occur in some common ancestor of the lineage such that all descendants inherit the change. A site that differs within a species counts as a polymorphism. Determining the number of fixed differences and polymorphisms requires placing 1 each individual gene sequence onto a phylogenetic tree. A coalescent tree charts the ancestral relationships for a set of individual gene sequences. Sequences sampled from within a species form a within-species tree. The common ancestors of each within-species tree form a between-species tree. A detected difference counts as a polymorphism or a fixed difference depending on where it occurs in the phylogenetic tree (cf. Table 1). The test uses the numbers of polymorphisms and fixed differences as indicators of evolutionary rates.. (shrink)

Climate negotiations under the United Nations Framework Convention on Climate Change have so far failed to achieve a robust international agreement to reduce greenhouse gas emissions. Game theory has been used to investigate possible climate negotiation solutions and strategies for accomplishing them. Negotiations have been primarily modelled as public goods games such as the Prisoner’s Dilemma, though coordination games or games of conflict have also been used. Many of these models have solutions, in the form of equilibria, corresponding to possible (...) positive outcomes—that is, agreements with the requisite emissions reduction commitments. Other work on large-scale social dilemmas suggests that it should be possible to resolve the climate problem. It therefore seems that equilibrium selection may be a barrier to successful negotiations. Here we use an N-player bargaining game in an agent-based model with learning dynamics to examine the past failures of and future prospects for a robust international climate agreement. The model suggests reasons why the desirable solutions identified in previous game-theoretic models have not yet been accomplished in practice and what mechanisms might be used to achieve these solutions. (shrink)

Tens of thousands of students have learned to be more discerning at constructing and evaluating arguments with the help of Patrick J. Hurley. Hurley’s lucid, friendly, yet thorough presentation has made A CONCISE INTRODUCTION TO LOGIC the most widely used logic text in North America. In addition, the book’s accompanying technological resources, such as CengageNOW and Learning Logic, include interactive exercises as well as video and audio clips to reinforce what you read in the book and hear in class. (...) In short, you’ll have all the assistance you need to become a more logical thinker and communicator. Important Notice: Media content referenced within the product description or the product text may not be available in the ebook version. (shrink)

At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...) that, looking backwards, it was the case that there would be a sea battle? This tension forms, in large part, what might be called the problem of future contingents. A dominant trend in temporal logic and semantic theorizing about future contingents seeks to validate both intuitions. Theorists in this tradition--including some interpretations of Aristotle, but paradigmatically, Thomason (1970), as well as more recent developments in Belnap, et. al (2001) and MacFarlane (2003, 2014)--have argued that the apparent tension between the intuitions is in fact merely apparent. In short, such theorists seek to maintain both of the following two theses: (i) the open future: Future contingents are not true, and (ii) retro-closure: From the fact that something is true, it follows that it was the case that it would be true. It is well-known that reflection on the problem of future contingents has in many ways been inspired by importantly parallel issues regarding divine foreknowledge and indeterminism. In this paper, we take up this perspective, and ask what accepting both the open future and retro-closure predicts about omniscience. When we theorize about a perfect knower, we are theorizing about what an ideal agent ought to believe. Our contention is that there isn’t an acceptable view of ideally rational belief given the assumptions of the open future and retro-closure, and thus this casts doubt on the conjunction of those assumptions. (shrink)

This paper offers a new approach to an old debate about superaddition in Locke. Did Locke claim that some objects have powers that are unrelated to their natures or real essences? The question has split commentators. Some (Wilson, Stuart, Langton) claim the answer is yes and others (Ayers, Downing, Ott) claim the answer is no. This paper argues that both of these positions may be mistaken. I show that Locke embraced a robust epistemic humility. This epistemic humility includes ignorance of (...) the real essences of bodies, of the causal processes underlying the production of natural phenomena, and of God’s method of creation. I show how this epistemic humility offers strong support for an agnostic response to the question of superaddition. Locke did not intend to claim that bodies either do or do not have properties unrelated to their real essences. Instead, his primary goal in discussing the topic was to emphasize the strict limits to human knowledge. (shrink)

The Polymath Project is an online collaborative enterprise that was initiated in 2009, when Timothy Gowers asked whether and how groups could work together to solve mathematical problems that “do not naturally split up into a vast number of subtasks.” Gowers proposed to answer this question himself by actually trying to set up such a collaboration, based on interactions taking place in the comment-threads of a series of posts on a WordPress blog. Hence, the first project officially started in early (...) 2009, to be proclaimed successful only 6 weeks later (Gowers and Nielsen 2009). From its inception until April 2018, 15 more Polymath problems (and a handful of smaller or related ones) have been launched. These projects have attracted attention from different scholarly communities, including the philosophy of mathematical practices, from the perspective of which the Polymath Project can be seen as a vast repository of mathematics in action. This chapter continues previous work by its authors on the topic in question and topics related. More specifically, for the purposes of this volume, it is our aim to both summarize and expand upon these earlier contributions. The starting point is the above observation that in the past decade, the issue of “massively collaborative mathematics” (to be qualified below) has drawn quite some attention. However, does it also warrant intensive philosophical attention in particular? For, as exciting as these developments might be from mathematical and other points of view, the enhanced possibilities that have come with it do not per se give rise to any philosophical import. In Van Bendegem (2011), one of us has indeed tentatively argued for the philosophical relevance of these new dynamics of proof construction flowing from the wide availability and efficiency of Internet technology. We shall below briefly rehearse and update the argument given there. (shrink)

In information societies, operations, decisions and choices previously left to humans are increasingly delegated to algorithms, which may advise, if not decide, about how data should be interpreted and what actions should be taken as a result. More and more often, algorithms mediate social processes, business transactions, governmental decisions, and how we perceive, understand, and interact among ourselves and with the environment. Gaps between the design and operation of algorithms and our understanding of their ethical implications can have severe consequences (...) affecting individuals as well as groups and whole societies. This paper makes three contributions to clarify the ethical importance of algorithmic mediation. It provides a prescriptive map to organise the debate. It reviews the current discussion of ethical aspects of algorithms. And it assesses the available literature in order to identify areas requiring further work to develop the ethics of algorithms. (shrink)

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

Locke famously claimed that morality was capable of demonstration. But he also refused to provide a system of demonstrative morality. This paper addresses the mismatch between Locke’s stated views and his actual philosophical practice. While Locke’s claims about demonstrative morality have received a lot of attention it is rare to see them discussed in the context of his general theory of demonstration and his specific discussions of particular demonstrations. This paper explores Locke’s general remarks about demonstration as well as his (...) claims about demonstration in natural philosophy, mathematics, and morality. Careful attention to these detailed discussions motivates a reevaluation of Locke’s views on demonstrative knowledge of morality. Specifically, while Locke did believe that some demonstrative moral knowledge might be in-principle available to us he also believed that facts about the difficulty of demonstration meant that this knowledge would in-practice be largely unattainable. (shrink)

The text includes fragments of his work that have never before been translated.

Management and Morality provides a comprehensive and accessible overview of the moral and ethical dimension to organizational and individual behavior, while adding an original, developmental perceptive. Management and Morality combines organizational theory and behavior with approaches to organizational and individual development. The first two sections of the book, Ethical Thinking and Management Practice, and Moral Issues in Organizations, provide a clear and thorough coverage of these areas relevant to ethical behavior in and of organizations. On this basis, the third section, (...) A Developmental Perspective, develops a new approach to ethical development of organizations and individuals concerned with the improvement of organizational structures, processes, and practices so as to allow for individual morality and individual moral behavior. Rich in its coverage of the field and variety of ideas, Management and Morality will be essential reading to students and academics in management, business and organizational ethics, organizational behavior and development, and organizational sociology. (shrink)

This book launches a sustained defense of a radical interpretation of the doctrine of the open future. Patrick Todd argues that all claims about undetermined aspects of the future are simply false.

It is widely accepted that there is what has been called a non-hypocrisy norm on the appropriateness of moral blame; roughly, one has standing to blame only if one is not guilty of the very offence one seeks to criticize. Our acceptance of this norm is embodied in the common retort to criticism, “Who are you to blame me?”. But there is a paradox lurking behind this commonplace norm. If it is always inappropriate for x to blame y for a (...) wrong that x has committed, then all cases in which x blames x (i.e. cases of self-blame) are rendered inappropriate. But it seems to be ethical common-sense that we are often, sadly, in position (indeed, excellent, privileged position) to blame ourselves for our own moral failings. And thus we have a paradox: a conflict between the inappropriateness of hypocritical blame, and the appropriateness of self-blame. We consider several ways of resolving the paradox, and contend none is as defensible as a position that simply accepts it: we should never blame ourselves. In defending this startling position, we defend a crucial distinction between self-blame and guilt. (shrink)

In this paper back-and-forth structures are applied to the semantics of natural language. Back-and-forth structures consist of an event structure and an interval structure communicating via a relational link; transitions in the one structure correspond to transitions in the other. Such entities enable us to view temporal constructions (such as tense, aspect, and temporal connectives) as methods of moving systematically between information sources. We illustrate this with a treatment of the English present perfect, and progressive aspect, that draws on ideas (...) developed in Moens & Steedman (1988), and discuss the role of rich ontologies in formal semantics. (shrink)

A small consortium of philosophers has begun work on the implications of epistemic networks (Zollman 2008 and forthcoming; Grim 2006, 2007; Weisberg and Muldoon forthcoming), building on theoretical work in economics, computer science, and engineering (Bala and Goyal 1998, Kleinberg 2001; Amaral et. al., 2004) and on some experimental work in social psychology (Mason, Jones, and Goldstone, 2008). This paper outlines core philosophical results and extends those results to the specific question of thresholds. Epistemic maximization of certain types does show (...) clear threshold effects. Intriguingly, however, those effects appear to be importantly independent from more familiar threshold effects in networks. (shrink)

This short essay analyzes an unusual typographical feature in the Epistle to the Reader that precedes Locke’s Essay. Specifically, it asks why there is a line prior to Christiaan Huygens’ name in the famous Underlaborer Passage. The paper provides a thorough look at the line’s longevity through early editions of the Essay and considers a number of possible explanations for the line’s presence. It is argued that the line may well have held some meaning for early readers; contemporary scholars should (...) be motivated to investigate the issue further. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 39.2 (2001) 292-294 [Access article in PDF] Secada, Jorge. Cartesian Metaphysics: The Scholastic Origins of Modern Philosophy. New York: Cambridge University Press, 2000. Pp. xii + 333. Cloth, $59.95. Descartes scholars can welcome this book. Secada supports trends in scholarship that criticize seeing Descartes as merely an anti-skeptical foundationalist, and he challenges many prominent interpretations of Descartes's metaphysics. In addition, Secada helpfully references (...) Scholastic sources to provide context for Descartes's views. This book is also valuable for philosophers in contemporary metaphysics and epistemology. Secada uses the tools and idiom of analytic philosophy to explain and defend Descartes, and he is sympathetic to Descartes's project, even if he grants that aspects of it "are difficult to articulate clearly and convincingly" (174).The book's central theme is the contrast between Descartes's "essentialism" and the "existentialism" of Scholastics. Secada explains the distinction as follows: "Essentialism (existentialism) is the doctrine, first, that one cannot know the existence (essence) of any substance without first knowing its essence (existence), and, secondly, that one can know the essence (existence) of some substance without knowing its existence (essence)" (8). Cartesian Metaphysics interprets Descartes's corpus as a defense of essentialism in the light of Scholastic existentialism.The first three chapters set the stage. Chapter One distinguishes essentialism from existentialism. Chapter Two provides historical background necessary to understand the role of Scholasticism in Descartes's thought. Chapter Three discusses the role of Christian Platonism in both Descartes and the Scholastics, especially their shared Augustinian presupposition that knowledge of essences is of "how things are in themselves" (56).The next three chapters discuss the metaphysical status of ideas. In Chapter Four, Secada contrasts Descartes's "immanent" theory according to which "the immediate objects of ideas must exist in the mind" (85) with the "realist Scholastic" theory that "takes mental acts to be immediately directed towards things" (83). In Chapter Five, this account is applied to an interpretation of the Second Meditation as a defense of intellectualist essentialism against Scholastics and empiricists. "Contrary to the Scholastics and other empiricists, Descartes attributed to the intellect and not to the senses the power to reach the world of substances existing outside of the inner theatre of the mind" (116). Through comparing Descartes with Suarez and Gassendi, Secada argues that all the proofs of existence in the Meditations, including for the cogito, argue from [End Page 292] knowledge of essence to knowledge of existence. Chapter Six turns to Descartes's proofs for the existence of God. According to Secada, even for a posteriori proofs, knowledge of God's existence depends on knowledge of his essence.The last three chapters examine Descartes's theory of substance. Chapter Seven reconstructs Descartes's distinction between substances and properties. A substance is something that "exists without inhering" and "exists uncaused" (185). Secada discusses the nature of substance, how substances other than God can be "uncaused," and the plausibility of Descartes's sharp distinction between substances and properties. The chapter ends by arguing that Descartes's doctrine about the relationship between substances and properties inadvertently "heralds Spinoza's pantheism" (185). Chapter Eight examines real and essential properties in Cartesian metaphysics in contrast to Suarez and Fonseca, and ends with a partial defense of Descartes's ontological argument. Chapter Nine offers a detailed discussion of two fundamental substances in Descartes's metaphysics: body and mind. Secada argues that Descartes offers no satisfactory explanations of body, mind, or the relationship between the two.As is clear from this brief summary, Cartesian Metaphysics is a rich book. It presents important historical details without endless irrelevant details (see especially the sketch of Descartes's Scholastic background on 27-33). The exegetical arguments make strong cases for new interpretations of Descartes. Secada effectively shows that Descartes is more concerned with metaphysics than with refuting skepticism. Comparisons with Suarez and Fonseca shed new light on Cartesian arguments. Reconstructions of Cartesian arguments even tempt one to take Descartes seriously in contemporary metaphysics. And the criticisms of Descartes are thought-provoking.Unfortunately, the... (shrink)