Prior has conjectured that the tense-logical system Gli obtained by adding to a complete basis for the classical propositional calculus the primitive symbolG, the definitionsDf. F:Fα=NGNαDf. L:Lα=KαGα,and the postulatesis complete for the logic of linear, infinite, transitive, discrete future time. In this paper it is demonstrated that that conjecture is correct and it is shown that Gli has the finite model property: see [4]. The techniques used are in part suggested by those used in Bull [2] and [3]:Gli can be (...) shown to be complete for the logic of linear, infinite, transitive, discrete future time in the sense that every formula of Gli which is true of such time can be proved as a theorem of Gli. For this purpose the notion of truth needs to be formalized. This formalization is effected by the construction of a model for linear, infinite, transitive, discrete future time. (shrink)

What constitutes a scientific discovery? What role do discoveries play in science, its dynamics and social practices? Must every discovery be attributed to an individual discoverer (or a small number of discoverers)? The paper explores these questions by first critically examining extant philosophical explications of scientific discovery—the models of scientific discovery, propounded by Kuhn, McArthur, Hudson, and Schindler. As a simple, natural and powerful alternative, we proffer the “change-driver model”: in a nutshell, it takes discoveries to be cognitive scientific (...) results that have epistemically advanced science. The model overcomes the shortcomings of its precursors, whilst preserving their insights. We demonstrate its intensional and extensional superiority, especially with respect to the link between scientific discoveries and the dynamics of science, as well as the award system of science. Both as an illustration, and as an application to a recent scientific and political controversy, we apply the considered models of discovery to one of the most momentous discoveries of science: the expansion of the universe. We oppose the 2018 proposal of the International Astronomers’ Union as too simplistic vis-`a-vis the historical complexity of the episode. The change- driver model yields a more nuanced and circumspect verdict: (i) The redshift-distance relation shouldn’t be named the “Hubble-Lemaître Law”, but “Slipher-Lundmark-Hubble-Humason Law”; (ii) Its interpretation in terms of an expanding universe, however, Lemaître ought to be given credit for; but (iii) The establishment of the expansion of the universe, as an evidentially sufficiently warranted result, is a communal achievement, emerging in the 1950s or 1960s. (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)

Coherent, well organized text familiarizes readers with complete theory of logical inference and its applications to math and the empirical sciences. Part I deals with formal principles of inference and definition; Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Last section introduces numerous examples of axiomatically formulated theories in both discussion and exercises. Ideal for undergraduates; no background in math or philosophy required.

Let N be a transitive model of ZFC such that ωN ⊂ N and P(R) ⊂ N. Assume that both V and N satisfy "the core model K exists." Then KN is an iterate of K. i.e., there exists an iteration tree J on K such that J has successor length and $\mathit{M}_{\infty}^{\mathit{J}}=K^{N}$. Moreover, if there exists an elementary embedding π: V → N then the iteration map associated to the main branch of J equals π ↾ K. (This answers (...) a question of W. H. Woodin, M. Gitik, and others.) The hypothesis that P(R) ⊂ N is not needed if there does not exist a transitive model of ZFC with infinitely many Woodin cardinals. (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 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)

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)

Most definitions of radical emergentism characterize it epistemologically. This leads to misunderstandings and makes it hard to assess the doctrine's metaphysical worth. This paper puts forward purely metaphysical characterizations of emergentism and property emergence. It explores the nature of the necessitation relation between base and emergent and argues that emergentism entails a Humean account of causation and related relations. Then it presents arguments against emergentism, both as a wider metaphysic and as an account of consciousness. These maintain that emergentism makes (...) implausible claims about how the world works. The paper also stresses the doctrine's contemporary relevance: most current property dualists endorse views effectively identical to classical emergentism less its historical commitment to novel emergent forces. (shrink)

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)

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)

We show that the following conjecture about the universe V of all sets is wrong: for all set-theoretical (i.e., first order) schemata true in V there is a transitive set "reflecting" in such a way that the second order statement corresponding to is true in . More generally, we indicate the ontological commitments of any theory that exploits reflection principles in order to yield large cardinals. The disappointing conclusion will be that our only apparently good arguments for the existence of (...) large cardinals have bad presuppositions. (shrink)

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 author uses social epistemology to develop the cognitive authority theory. The fundamental concept of cognitive authority is that people construct knowledge in two different ways: based on their first-hand experience or on what they have learned second-hand from others. What people learn first-hand depends on the stock of ideas they bring to the interpretation and understanding of their encounters with the world. People primarily depend on others for ideas as well as for information outside the range of direct experience. (...) Much of what they think of the world is what they have gained second-hand. All that people know of the world beyond the narrow range of their own lives is what others have told them. However, people do not count all hearsay as equally reliable; only those who are deemed to “know what they are talking about” become cognitive authorities. --. (shrink)

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

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)

Incompatibilism about responsibility and determinism is sometimes directly construed as the thesis that if we found out that determinism is true, we would have to give up the reactive attitudes. Call this "the consequence". I argue that this is a mistake: the strict modal thesis does not entail the consequence. First, some incompatibilists (who are also libertarians) may be what we might call *resolute responsibility theorists* (or "flip-floppers"). On this view, if we found out that determinism is true, this would (...) not be to find out that no one is responsible; instead, what this would suggest is that incompatibilism is after all false. Second, some incompatibilists may instead deny the claim that if we found out that no one deserves the reactiveattitudes, we would have to give up the reactive attitudes. Call this position *innocent incompatibilism*. I explore several different reasons why the fact that no one deserves the reactive attitudes likely does not translate into a requirement for us to give up the reactive attitudes. The upshot: incompatibilism may be practically irrelevant, even if true. (shrink)

Let 0 < n < ω. If there are n Woodin cardinals and a measurable cardinal above, but $M_{n+1}^{\#}$ doesn't exist, then the core model K exists in a sense made precise. An Iterability Inheritance Hypothesis is isolated which is shown to imply an optimal correctness result for K.

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

I argue that some perceptual experiences are vague. To do so, I identify a characteristic feature of vagueness and show that some perceptual experiences have this feature. These include blurry experiences, experiences of color under low lighting, and experiences of number, as in the case of the speckled hen. The conclusion that these experiences are vague has two noteworthy consequences. First, it presses us to see whether and how existing theories of vagueness can be extended to perceptual experience. Second, it (...) sheds light on several puzzles in the philosophy of perception. (shrink)

Soren Kierkegaard is remembered chiefly in connection with the development of existentialist philosophy in this century, but that view is misleading. In a short and unhappy life he wrote many books and articles on themes that were literary, satirical, religious and psychological, but the diversity and idiosyncratic style of his writing have contributed to a misunderstanding of his ideas. In this book, the only introduction to the full range of Kierkegaard's thought, Patrick Gardiner demonstrates how Kierkegaard developed his ideas (...) and examines his thoughts in light of the doctrines on society that his contemporaries Marx and Feuerbach were creating. Finally he assesses how original and how important Kierkegaard's ideas were and how profoundly they have influenced modern ways of thinking. (shrink)

We introduce a framework for a graph-theoretic analysis of the semantic paradoxes. Similar frameworks have been recently developed for infinitary propositional languages by Cook and Rabern, Rabern, and Macauley. Our focus, however, will be on the language of first-order arithmetic augmented with a primitive truth predicate. Using Leitgeb’s notion of semantic dependence, we assign reference graphs (rfgs) to the sentences of this language and define a notion of paradoxicality in terms of acceptable decorations of rfgs with truth values. It is (...) shown that this notion of paradoxicality coincides with that of Kripke. In order to track down the structural components of an rfg that are responsible for paradoxicality, we show that any decoration can be obtained in a three-stage process: first, the rfg is unfolded into a tree, second, the tree is decorated with truth values (yielding a dependence tree in the sense of Yablo), and third, the decorated tree is re-collapsed onto the rfg. We show that paradoxicality enters the picture only at stage three. Due to this we can isolate two basic patterns necessary for paradoxicality. Moreover, we conjecture a solution to the characterization problem for dangerous rfgs that amounts to the claim that basically the Liar- and the Yablo graph are the only paradoxical rfgs. Furthermore, we develop signed rfgs that allow us to distinguish between ‘positive’ and ‘negative’ reference and obtain more fine-grained versions of our results for unsigned rfgs. (shrink)

Aesthetic emotions are elicited by different sensory impressions generated by music, visual arts, literature, theater, film, or nature scenes. Recently, the AESTHEMOS scale has been developed to facilitate the empirical assessment of such emotions. In this article we report a semantic profile analysis of aesthetic emotion terms that had been used for the development of this scale, using the GRID approach. This method consists of obtaining ratings of emotion terms on a set of meaning facets which represent five components of (...) the emotion process. The aims here were to determine the dimensionality of the GRID features when applied to aesthetic emotions and compare it to published results for emotion terms in general, and to examine the internal organization of the domain of aesthetic emotion terms in order to identify salient clusters of these items based on the similarity of their feature profiles on the GRID. Exploratory Principal Component Analyses suggest a four-dimensional structure of the semantic space consisting of valence, power, arousal, and novelty, converging with earlier GRID studies on large sets of standard emotion terms. Using cluster analyses, 15 clusters of aesthetic emotion terms with similar GRID feature profiles were identified, revealing the internal organization of the aesthetic emotion terms domain and meaningful subgroups of aesthetic emotions. While replication for further languages is required, these findings provide a solid basis for further research and methodological development in the realm of aesthetic emotions. (shrink)

Background Although it is the moral duty of physicians to protect vulnerable patients, there are no data on how vulnerability is perceived in clinical practice. This study explores how physicians classify someone as “vulnerable”. Method Thirty-three physicians were initially questioned about resource allocation problems in their work. The results of these interviews were examined with qualitative study software to identify characteristics associated with vulnerability in patients. Data were conceptualized, classified and cross-linked to highlight the major determinants of vulnerability. The findings (...) revealed the principal factors that make patients vulnerable in clinical practice, according to our definition of vulnerability: the likelihood of having one’s interests unjustly considered. Results Vulnerability can arise as a result of a mismatch between the characteristics of patients and physicians, the healthcare system, the treatment, or the communication between physicians and patients. Vulnerability appears as a gap between a patient’s needs and the means intended to meet them. Vulnerability can further be the result of doing too little or too much for patients. This result suggests that structures provided by healthcare systems are not as differentiated as they should be to cover all situations. Our initial definition of vulnerability was illustrated and supported by our results, showing that it encompasses all factors involved, not solely personal characteristics, indicating the need for a more pragmatic approach for use in clinical practice. Conclusion Vulnerability is not due to a single factor but appears under certain circumstances when there is a discrepancy between a patient’s interests and the care provided, despite existing compensation systems. (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)

I want to suggest that it would be bad if compatibilism were true, and that this gives us good reason to think that it isn't. This is, you might think, an outlandish argument, and the considerable burden of this paper is to convince you otherwise. There are two key elements at stake in this argument. The first is that it would be ‐ in a distinctive sense to be explained ‐ bad if compatibilism were true. The thought here is that (...) compatibilism ultimately presents us with a picture on which, in principle, powerful manipulators can effectively guarantee that finite moral agents should become blameworthy. To my mind, this isn't just false ‐ though I think that it is ‐ it is also such that it would be bad (unfortunate, undesirable…) if it were true. The second is that the fact that it would be ‐ in this sense ‐ bad if true gives us reason to think that it isn't. It may be bad that there is no afterlife. But that, in itself, hardly gives us reason to think that there is an afterlife. That is true, but ‐ as others before me have suggested ‐ when the object of the relevant badness is morality itself, the inference seems secure. A more general aim of the paper is to investigate the nature of this very form of argument in itself, and I compare my argument (inter alia) to a recent argument from Sayre–McCord against the possibility of genuine moral dilemmas. (shrink)

Many contemporary thinkers of the Anthropocene, who attempt to articulate a non-modern and relational ontology, all too readily dismiss critical theory inherited from the Frankfurt School for being anthropocentric, failing to acknowledge certain basic similarities. Instead, this article argues that the scaffolding of Anthropocene thinking—the recognition of the origins of the contemporary condition of ‘loss of world’ and the hope of ‘living on in the ruins’—share much with earlier critical theorists’ recognition that the Holocaust necessitated a fundamental break with the (...) past. In reading these two sets of literatures together, we suggest we can get a better grasp of the stakes involved in the contemporary crisis of critique, and in the speculative framings enabling alternative futures to come into being. (shrink)

Deflationists claim that the truth predicate was introduced into our language merely to full a certain logico-linguistic function. Oddly enough, the question what this function exactly consists in has received little attention. We argue that the best way of understanding the function of the truth predicate is as enabling us to mimic higher-order quantification in a first-order framework. Indeed, one can show that the full simple theory of types is reducible to disquotational principles of truth. Our analysis has important consequences (...) for our understanding of truth. In this paper, we can only touch on one of them: we will argue that the insubstantiality of truth does not imply a conservativity requirement on our best theories of truth. (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)

If the Bounded Proper Forcing Axiom BPFA holds, then Mouse Reflection holds at N₂ with respect to all mouse operators up to the level of Woodin cardinals in the next ZFC-model. This yields that if Woodin's ℙ max axiom (*) holds, then BPFA implies that V is closed under the "Woodin-in-the-next-ZFC-model" operator. We also discuss stronger Mouse Reflection principles which we show to follow from strengthenings of BPFA, and we discuss the theory BPFA plus "NS ω1 is precipitous" and strengthenings (...) thereof. Along the way, we answer a question of Baumgartner and Taylor. [2, Question 6.11]. (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)

In this paper, we clarify, unpack, and ultimately resist what is perhaps the most prominent argument for the compatibility of free will and determinism: the epistemic argument for compatibilism. We focus on one such argument as articulated by David Lewis: (i) we know we are free, (ii) for all we know everything is predetermined, (iii) if we know we are free but for all we know everything is predetermined, then for all we know we are free but everything is predetermined, (...) (iv) if for all we know we are free but predetermined, then it is really possible that we are, so (v) compatibilism. We uncover how the crucial epistemic modality underlying (iv) must be understood, and contend that, understood this way, the libertarian can resist (iv). Importantly, however, resisting the argument does commit the libertarian to what has been called “flip-flopping”—but we argue that this is perfectly coherent. We conclude by articulating two crucially ways the libertarian can resist the argument, by saying that we can know that determinism is false "from the armchair". (shrink)

The Schopenhauers and England Danzig Arthur Schopenhauer was born in the then free city of Danzig on 22 February (Byron had been born in London on 22 ...

We give a direct and elementary proof of the fact that every real-valued probability measure can be approximated—up to an infinitesimal—by a hyperreal-valued one which is regular and defined on the whole powerset of the sample space.