Historically, it was the interpretations of intuitionist logic in the modal logic S4 that inspired the standard Kripke semantics for intuitionist logic. The inspiration of this paper is the interpretation of intuitionist logic in the non-normal modal logic S3: an S3 model structure can be 'looked at' as an intuitionist model structure and the semantics for S3 can be 'cashed in' to obtain a non-normal semantics for intuitionist propositional logic. This non-normal semantics is then extended to intuitionist quantificational logic.

This book investigates the subjective and objective representations of the world, developing analogies between secondary qualities and indexical thoughts and arguing that subjective representations are ineliminable. Throughout, McGinn brings together historical and contemporary discussions to illuminate old problems in a novel way.

The agent-structure problem is a much discussed issue in the field of international relations. In his comprehensive analysis of this problem, Colin Wight deconstructs the accounts of structure and agency embedded within differing IR theories and, on the basis of this analysis, explores the implications of ontology - the metaphysical study of existence and reality. Wight argues that there are many gaps in IR theory that can only be understood by focusing on the ontological differences that construct the theoretical (...) landscape. By integrating the treatment of the agent-structure problem in IR theory with that in social theory, Wight makes a positive contribution to the problem as an issue of concern to the wider human sciences. At the most fundamental level politics is concerned with competing visions of how the world is and how it should be, thus politics is ontology. (shrink)

Margaret Cavendish (1623-1673) argues that when someone throws a ball, their hand does not cause the ball to move. Instead, the ball moves itself. In this chapter, I reconstruct Cavendish’s argument that material things—like the ball—are self-moving. Cavendish argues that body-body interaction is unintelligible. We cannot make sense of interaction in terms of the transfer of motion nor the more basic idea that one body acts in another body. Assuming something moves bodies around, Cavendish concludes that bodies move themselves. Still, (...) Cavendish needs to explain why bodies appear to causally interact even if they do not really. Balls do not usually throw themselves without a helping hand. I offer a new reading of the way bodies respond to their external circumstances in terms of prerequisites or enabling conditions. (shrink)

In this chapter, I argue that Kant can be read as holding that "ought" judgments follow from certain "is" judgments by mere analysis. More specifically, I defend an interpretation according to which (1) Kant holds that “S ought to F” is analytically equivalent to “If, as it can and would were there no other influences on the will, S’s faculty of reason determined S’s willing, S would F” and (2) Kant’s notions of reason, the will, and freedom are all fundamentally (...) non-normative. Not only does this reading have significant textual support, but, I claim, it also sheds light on why Kant takes freedom and morality to mutually imply one another. Moreover, while Kant does take there to be a gap between moral judgments and empirical descriptive statements, that gap is consistent with the analysis in question. I conclude by arguing that this rejection of the is-ought gap is not as philosophically implausible as it might seem, with a focus on G.E. Moore and Hume’s arguments for certain ‘gaps’ between the normative and the non-normative. (shrink)

In this paper I argue that de Finetti provided compelling reasons for rejecting countable additivity. It is ironical therefore that the main argument advanced by Bayesians against following his recommendation is based on the consistency criterion, coherence, he himself developed. I will show that this argument is mistaken. Nevertheless, there remain some counter-intuitive consequences of rejecting countable additivity, and one in particular has all the appearances of a full-blown paradox. I will end by arguing that in fact it is no (...) paradox, and that what it shows is that conditionalisation, often claimed to be integral to the Bayesian canon, has to be rejected as a general rule in a finitely additive environment. (shrink)

Now available in paperback, this acclaimed book introduces categories and elementary toposes in a manner requiring little mathematical background. It defines the key concepts and gives complete elementary proofs of theorems, including the fundamental theorem of toposes and the sheafification theorem. It ends with topos theoretic descriptions of sets, of basic differential geometry, and of recursive analysis.

Pains are subject to obvious, well-documented, and striking top-down influences. This is in stark contrast to visual perception, where the debate over cognitive penetrability tends to revolve around fairly subtle experimental effects. Several authors have recently taken up the question of whether top-down effects on pain count as cognitive penetrability, and what that might show us about traditional debates. I review some of the known mechanisms for top-down modulation of pain, and suggest that it reveals an issue with a relatively (...) neglected part of the cognitive penetrability literature. Much of the debate inherits Pylyshyn’s stark contrast between transducers and cognition proper. His distinction grew out of his running fight with Gibson, and is far too strong to be defensible. I suggest that we might therefore view top-down influences on pain as a species of transducer calibration. This provides a novel but principled way to distinguish between several varieties of top-down effect according to their architectural features. (shrink)

Schopenhauer repeatedly claims that suicide is both foolish and futile. But while many commentators have expressed sympathy for his charge of foolishness, most regard his charge of futility as indefensible even within his own system. In this paper, I offer a defense of Schopenhauer’s futility charge, based on metaphysical and psychological considerations. On the metaphysical front, Schopenhauer’s view implies that psychological connections extend beyond death. Drawing on Parfit’s discussion of personal identity, I argue that those connections have personal significance, such (...) that suicide does not allow one, as Hamlet hopes, simply “not to be.” On the psychological front, I argue that a distinction between agents’ intentions and underlying desires makes room for Schopenhauer to claim that paradigmatic suicidal agents ultimately desire the opposite of what suicide accomplishes. I conclude by showing how the resulting account of futility can buttress the charge of foolishness as well. My interpretation still leaves Schopenhauer vulnerable to certain objections, but shows that his account is significantly more defensible than previous commentators have realized. (shrink)

This essay explores a major ethical variable in personal sales: trust. By analyzing data drawn from life insurance sales, the essay supports the thesis that the role of the agent and the exigencies of personal sales create certain antinomies of trust that compromise the sales process. As a result, trust occupies a problematic and apparently paradoxical position in the sales process. On the one hand, success in personal sales is held to depend upon trust. On the other hand, because the (...) techniques required to form trust in personal sales nullify the conditions under which trust is possible, these instruments of trust formation are self-defeating. (shrink)

Whether it's conkers in the schoolyard, kicking a football in the park, or playing tennis on Wimbledon Centre Court, sport impacts all of our lives. But what is sport and why do we do it? Colin McGinn, renowned philosopher , reflects on our love of sport and explores the value it has for us and the part it plays in a life lived well. Written in the form of a memoir, McGinn discusses many of the sports he has engaged (...) in - from pole-vaulting and gymnastics to windsurfing and tennis - and describes the athletic experience from the inside, as a participant, articulating what is uniquely valuable about sport as an activity. Sport, argues McGinn, takes us to our fullest potential as human beings, it's what we fling at mortality to keep it at bay, a holiday from the Unbearable Heaviness of Being. "Sport" expresses our nature, it bears upon our self-realization. If a happy life consists in one that expresses fully our natural faculties, then sports must play an essential role in our lifes. Mind-body unity, the nature of practical knowledge and physical skill, success and failure, the ethics of competition, peak experiences, the spectacle of professional sport, aesthetics and death, McGinn discusses these and many other issues while telling of his own sporting mishaps and adventures. To use the vernacular of philosophy, "Sport" captures the phenomenology of sport - what it's like to do it - and in doing so shows how sport is a way of expressing and understanding who and what we are, way beyond whether we are a good sportsman, a bad loser or a team-player. For anyone who has ever thought that there must be less humiliating ways to enjoy yourself than being thrashed on the tennis court, "Sport" will reassure you that it's time not wasted. (shrink)

In this chapter I explore the reciprocal relationship between the metaphysical views mathematicians hold and their mathematical activity. I focus on the set-theoretic pluralism debate, in which set theorists disagree about the implications of their formal mathematical work. As a first case study, I discuss how Woodin’s monist argument for an Ultimate-L feeds on and is fed by mathematical results and metaphysical beliefs. In a second case study, I present Hamkins’ pluralist proposal and the mathematical research projects it endows with (...) relevance. These case studies support three claims: (1) the metaphysical views of mathematicians can shape what counts as relevant research; (2) mathematical results can shape the metaphysical beliefs of mathematicians; (3) metaphysical thought and mathematical activity develop in tandem in mathematical practices. This makes metaphysical thought an integral part of mathematical practices. (shrink)

Nicolas Malebranche (1638-1715) holds that the senses, imagination, and passions aim at survival and the satisfaction of the body’s needs, rather than truth or the good of the mind. Each of these faculties makes a distinctive and, indeed, an indispensable contribution to the preservation of life. Commentators have largely focused on how the senses keep us alive. By comparison, the imagination and passions have been neglected. In this paper, I reconstruct Malebranche’s account of how the imagination contributes to the preservation (...) of the body by compensating for the limitations of the senses. First, the imagination represents non-actual states of affairs, such as probable or possible future states. Second, the imagination forges new and often helpful associations based on past experiences. Third, the imagination (mis)represents that objects will cause pleasure and pain, thereby imbuing them with emotional significance they would otherwise lack. Together, these features flesh out Malebranche’s view that the imagination is necessary for the preservation of life. (shrink)

Sometimes we love and hate the same thing at the same time. Margaret Cavendish (1623-1673)—the maverick early modern materialist—appeals to this type of passionate conflict to argue that the mind is a material thing. When our passions conflict, the mind or reason conflicts with itself. From this Cavendish infers that the mind has parts and, therefore, is material. Cavendish says this argument is among the best proofs of the mind’s materiality. And yet, the existing scholarship on Cavendish lacks the kind (...) of detailed reconstruction required to evaluate this argument’s merits. In this paper, I provide just such a reconstruction. I also show that Cavendish’s argument is an effective intervention in her dispute with René Descartes and Henry More about the (im)materiality of the mind. (shrink)

Of the seven $1,000,000 Clay Millennium Prize Problems in mathematics, just one would immediately appeal to Leonard Euler. That is “Existence and Smoothness of the Navier-Stokes Equation” (Fefferman 2000). Euler gave the basic equation in the 1750s. The work to this day shows Euler’s intuitive, vividly physical sense of mathematics.

This paper applies Plato’s cave allegory to Enron’s success and downfall. Plato’s famous tale of cave dwellers illustrates the different levels of truth and understanding. These levels include images, the sources of images, and the ultimate reality behind both. The paper first describes these levels of perception as they apply to Plato’s cave dwellers and then provides a brief history of the rise of Enron. Then we apply Plato’s levels of understanding to Enron, showing how the company created its image (...) and presented information to support that image, and how the public eventually emerged from the cave to realize the truth about Enron’s actual accounting practices and financial state, which led to the corporation’s downfall. We find Plato’s allegory both useful in analyzing the relationship between Enron and the public and instructive about the power and moral responsibility of Enron’s executives. (shrink)

Many beginning students in philosophy of language find themselves grappling with dense and difficult texts not easily understood by someone new to the field. This book offers an introduction to philosophy of language by explaining ten classic, often anthologized, texts. Accessible and thorough, written with a unique combination of informality and careful formulation, the book addresses sense and reference, proper names, definite descriptions, indexicals, the definition of truth, truth and meaning, and the nature of speaker meaning, as addressed by Frege, (...) Kripke, Russell, Donnellan, Kaplan, Evans, Putnam, Tarski, Davidson, and Grice. The explanations aim to be as simple as possible without sacrificing accuracy; critical assessments are included with the exposition in order to stimulate further thought and discussion. Philosophy of Language will be an essential resource for undergraduates in a typical philosophy of language course or for graduate students with no background in the field. It can be used in conjunction with an anthology of classic texts, sparing the instructor much arduous exegesis. ContentsFrege on Sense and Reference • Kripke on Names • Russell on Definite Descriptions • Donnellan's Distinction • Kaplan on Demonstratives • Evans on Understanding Demonstratives • Putnam on Semantic Externalism • Tarski's Theory of Truth • Davidson's Semantics for Natural Language • Grice's Theory of Speaker Meaning. (shrink)

Chris Voparil’s Reconstructing Pragmatism builds the best case to date that the neopragmatist philosopher Richard Rorty decisively and productively reshaped the lineage of pragmatist philosophy. In developing new directions for pragmatism, the book seeks to press past a number of recent debates. One such debate concerns the relative priority of experience and language as methodological starting points for pragmatist philosophy. While Voparil seeks to abandon this debate as outworn, this review argues that the issue of pragmatism’s methodological apparatus cannot be (...) easily set aside. Only by addressing head-on the disadvantages of experience-first pragmatism and language-first pragmatism can a next iteration of pragmatist philosophy properly develop a third methodological option, tantalizingly noted by Voparil, of a practice-first pragmatism. (shrink)

The Bayesian theory is outlined and its status as a logic defended. In this it is contrasted with the development and extension of Neyman-Pearson methodology by Mayo in her recently published book (1996). It is shown by means of a simple counterexample that the rule of inference advocated by Mayo is actually unsound. An explanation of why error-probablities lead us to believe that they supply a sound rule is offered, followed by a discussion of two apparently powerful objections to the (...) Bayesian theory, one concerning old evidence and the other optional stopping. (shrink)

This paper applies Plato's cave allegory to Enron's success and downfall. Plato's famous tale of cave dwellers illustrates the different levels of truth and understanding. These levels include images, the sources of images, and the ultimate reality behind both. The paper first describes these levels of perception as they apply to Plato's cave dwellers and then provides a brief history of the rise of Enron. Then we apply Plato's levels of understanding to Enron, showing how the company created its image (...) and presented information to support that image, and how the public eventually emerged from the cave to realize the truth about Enron's actual accounting practices and financial state, which led to the corporation's downfall. We find Plato's allegory both useful in analyzing the relationship between Enron and the public and instructive about the power and moral responsibility of Enron's executives. (shrink)

This volume explores moral and legal issues relating to sovereignty by addressing foundational questions about its nature, examining state sovereignty between states, and dealing with post 9/11 developments in the U.S., potentially destabilizing received views of democratic sovereignty. With essays addressing foundational, state and international sovereignty, the book focuses on Post 9/11 developments including the profusion of secret national security programs, including those pertaining to the interrogation, rendition, and detention of terror suspects; signal intercepts and meta-data analysis; and targeted killing (...) of irregular militants; prompting questions regarding the legitimacy of executive power in this arena. (shrink)

Mary Astell (1666-1731) relies on a Cartesian account of the self to argue that both men and women are essentially thinking things and, hence, that both should perfect their minds or intellects. In offering such an account of the self, Astell might seem to ignore the inescapable fact that we have bodies. I argue that Astell accommodates the self’s embodiment along two main dimensions. First, she tempers her sharp distinction between mind and body by insisting on their union. The mind (...) and body are united in such a way that they exert reciprocal causal influence and form a whole together. Second, she argues that the mind-body union is good, that the union has its own distinctive form of good or perfection, and that the mind should pursue this good alongside its own. (shrink)

Frege maintains that there are not two distinct acts, assertion and denial; rather, denying p is one and the same as asserting not-p. Wittgenstein appears not to recognise this identity in Frege, attributing to him the contrary view that a proposition may have one of two verbs, "is true" or "is false". This paper explains Wittgenstein’s attribution as a consequence of Frege’s treatment of content as theoretically prior to the act of judgment. Where content is prior to judgment, the denial (...) of p—what is rejected in asserting p—is distinct from the assertion of not-p. Wittgenstein’s own embrace of Frege’s identity is then considered, an embrace explained in part by his repudiation of Frege’s theoretical order. (shrink)

In this response to the work of Michael Dummett, McGinn aims to vindicate the plausibility of a realist outlook. Realism claims that a sentence's truth is ‘epistemically unconstrained’ or ‘knowledge‐transcendent’, in the sense that the world is as it is independently of our knowing truths about it. Contra Dummett's arguments against the tenability of this realist conviction, McGinn's counter‐argument proceeds by showing, first, ‘that it is an empiricist dogma to suppose that we cannot acquire conceptions that transcend our experience,’ and (...) second, ‘that we can connect experience‐transcendent conceptions with linguistic use by making the observation that such conceptions are fit subjects for communicative speech acts’. (shrink)

The general area of this essay is an issue left unexplored by the tradition of commentary on Rickert's philosophy and Weber's methodology: the question of the relationship between Rickert's value theory and the validity of Weber's methodological positions. Within this area, the essay focuses on the question of the relationship between Rickert's analysis of the problem of the objectivity of values and Weber's conception of the objectivity of the cultural sciences. The thesis defended is that a solution to Weber's problem (...) of the objectivity of the cultural sciences depends upon Rickert's doctrine of the objectivity of values. In this sense, Rickert's position on the objectivity of values is essential to the validity of Weber's methodology. (shrink)

Medicine is often thought of as a science of the body, but it is also a science of data. In some contexts, it can even be asserted that data drive health. This article focuses on a key piece of data technology central to contemporary practices of medicine: the medical record. By situating the medical record in the perspective of its history, we inquire into how the kinds of data that are kept at sites of clinical encounter often depend on informational (...) requirements that originate well outside of the clinic, in particular in health insurance records systems. Although this dependency of today's electronic medical records on billing requirements is widely lamented by clinical providers, its history remains little studied. Following the archaeology of medicine developed by Michel Foucault in The Birth of the Clinic and expanding his methodology in light of more recent contributions to the field of media archaeology, this article excavates some of the underexplored technological conditions that help constitute today's electronic medical record. If in some contexts, it is true that data drive health, then an archaeology of medical records helps reveal how health insurance records often impact clinical care and, by extension, health and disease. (shrink)

The discussion of the Principle of Non-Contradiction (PNC) in Aristotle’s Metaphysics Γ is usually taken to include three ‘versions’ of the principle: an ontological, psychological, and logical one. In this article I develop an interpretation of Metaphysics Γ3 and a parallel text, De interpretatione 14, in order to show that these texts are concerned with two related but different principles: a version of the Principle of Identity, and a corollary to this, which concerns the ability to accept two ‘opposite’ items (...) at the same time. I argue that these principles must be considered separately in order to properly understand Aristotle’s remarks about PNC in Metaphysics Γ, and in order to defend his approach in these remarks against certain objections raised against the discussion in Metaphysics Γ by Jan Łukasiewicz in his "Über den Satz des Widerspruchs bei Aristoteles". The main result of my interpretation is to distinguish in the discussion of PNC in Metaphysics Γ three principles: one concerning linguistic items (words and statements), one concerning thoughts (δόξαι), and one concerning objects or states of affairs. (shrink)

Structuralism in philosophy of mathematics has largely focused on arithmetic, algebra, and basic analysis. Some have doubted whether distinctively structural working methods have any impact in other fields such as differential equations. We show narrowly construed structuralism as offered by Benacerraf has no practical role in differential equations. But Dedekind’s approach to the continuum already did not fit that narrow sense, and little of mathematics today does. We draw on one calculus textbook, one celebrated analysis textbook, and a monograph on (...) the Navier–Stokes equation to show structural methods like Dedekind’s have long been central to differential equations, and have philosophically respectable ontology and epistemology. (shrink)

Central to Spinozism is the thesis that the immanence of the Divine Substance in the cosmos (in natural objects) is – like the immanence of the dancer in the dance –maximal or total. Just as the dance consists entirely of the dancer in aesthetically‐stylized motion, so the domain of nature is nothing in addition to God in cosmic guise. Accordingly, natural objects constitute modes of God. Hence, Spinozism and (traditional) theism are obviously irreconcilable. For it is indispensable to theism that (...) the immanence of God in the cosmos is not maximal; rather, that natural objects are distinct from the Divine Substance. Now it has standardly been presupposed by theists (and many others) that natural objects could not be distinct from God without being ontologically exterior to God; thus, that theism would readily collapse into Spinozism if the cosmos was interior to the Divine Substance. It seems to me that this is a long‐standing mistake. After demonstrating that there is probative warrant for maintaining that theism requires the interiority of natural objects to God, there is shown to be more than adequate justification for denying that this necessitates the collapse of theism into Spinozism. (shrink)

For 300 years, Fermat’s Last Theorem seemed to be pure arithmetic little connected even to other problems in arithmetic. But the last decades of the twentieth century saw the discovery of very special cubic curves, and the rise of the huge theoretical Langlands Program. The Langlands perspective showed those curves are so special they cannot exist, and thus proved Fermat’s Last Theorem. With many great contributors, the proof ended in a deep and widely applicable geometric result relating nice curves in (...) rational coordinates to very nice surfaces in complex coordinates. This geometry is the only proof strategy for FLT yet known. Outstanding but not atypical of current mathematics, the proof challenges common philosophic views on abstraction and structure and raises still-open logical questions in arithmetic. (shrink)

In The Age of Defeat, the third volume of the Outsider Cycle, Colin Wilson introduces his New Existentialism as the basis for the revolution in thought that we need to bring about; a revolt against insignificance and ordinariness. The New Existentialism is a practical and strong-willed philosophy that will renew the concept of Man as hero. It emphasises the extraordinary in us.The Age of Defeat examines the loss of the hero in Western culture and the implications of that loss (...) for humanity. When it was written in the middle of the 20th century, it was the idea of the hero that was endangered. Today it is Man, his identity and his masculinity, who is verging on extinction. The concept of Man is one of the most ambiguous and puzzling in our culture. It might be a good moment to remember what to be a Man used to imply. (shrink)

A number of authors make a seemingly compelling case for holding the victim of a wrong morally obliged to accept the genuine apology of the wrongdoer. This is a crucial issue in questions of reparative justice, since reparation typically requires not just the giving but also the acceptance of an apology. Yet it is a case that we should ultimately reject. If it is credible to think that the victim might suffer anew in exercising any duty of this kind, that (...) suffering must be factored into the moral reckoning from the outset. It is only if we can be sure that the victim will not suffer again by attending to, and ultimately accepting, the wrongdoer’s apology that it would be right to impose upon her any duty of this kind. Yet, in all non-trivial cases, the victim’s burden is unknowable in advance and has the potential to be considerable. In such situations, I argue, the victim has no duty to accept the wrongdoer’s apology. There are limits, too, to the utility of the bipartite victim-wrongdoer account of reparation on which such arguments are typically predicated. For the harm the wrongdoer causes is not exclusively suffered by the immediate victim but also by the community of all potential victims. Genuine reparative justice requires more than a recalibration of the relative moral standing of the wrongdoer and the victim through the giving and receiving of an apology. I consider how this might be achieved without imposing upon the victim a burden that fails to achieve the moral reckoning anticipated. (shrink)

This book goes far beyond its title. Landry indeed surveys current definitions of “mathematical platonism” to show nothing like them applies to Socrates in Plat.

Category theory has two unexpected links to constructivism: First, why is topos logic so close to intuitionistic logic? The paper argues that in part the resemblance is superficial, in part it is due to selective attention, and in part topos theory is objectively tied to the motives for later intuitionistic logic little related to Brouwer’s own stated motives. Second, why is so much of general category theory somehow constructive? The paper aims to synthesize three hypotheses on why it would be (...) so, with three that suggest it is not. (shrink)