"We argue about how the entirety of Frederick Nietzsche's work hangs together. To what extent do the major works contradict one another, and to what extent can they be reconciled? In order to resolve that question, Jeremy Fortier shows that Nietzsche's own autobiographical statements provide a more reliable guide to the coherence and unity of his corpus than scholars have appreciated. Using Nietzsche's own self-assessments as a guide to the major developments of his career brings together works that (...) are typically thought of as quite separate, showing how they each form an integral part of a single project. By clarifying the evolution of Nietzsche's thought in this fashion, the book is able to illuminate what Nietzsche judged to be the primary courses of action open to thoughtful and politically-concerned individuals in the contemporary world"--. (shrink)

Jeremy Fortier's book is concerned for the most part not with an analysis of Nietzsche's thought as such, but with Nietzsche's autobiographical and metaphilosophical reflections on his own philosophy and the various stages it underwent. The agenda for the book is presented at the beginning: "the aim... is not merely to acquire biographical information about Nietzsche, but to understand how his reflections on his particular life can contribute to the general understanding of experiences that are fundamental to all (...) human life: independence, love, health".In the first chapter, which belongs to the first part titled "Independence," Fortier analyzes the preface to GM. On Fortier's reading, "the Genealogy presents... (shrink)

This paper addresses the intellectual motivation of some of those involved in the intelligent design movement. It identifies their concerns with the critique of the claim that Darwinism offers an adequate explanation of prima facie teleological features in biology, a critique of naturalism, and the concern on the part of some of these authors including Dembski, with the revival of 'Old Princeton' apologetics. It is argued that their work is interesting and is in principle intellectually legitimate. It is also suggested, (...) however, that it needs to be appraised qua 'research programme' (after the fashion of the early work of Lakatos), and that, seen in that light, what needs to be accomplished might seem daunting. (shrink)

We argue, contrary to epistemological orthodoxy, that knowledge is not purely epistemic—that knowledge is not simply a matter of truth‐related factors (evidence, reliability, etc.). We do this by arguing for a pragmatic condition on knowledge, KA: if a subject knows that p, then she is rational to act as if p. KA, together with fallibilism, entails that knowledge is not purely epistemic. We support KA by appealing to the role of knowledge‐citations in defending and criticizing actions, and by giving a (...) principled argument for KA, based on the inference rule KB: if a subject knows that A is the best thing she can do, she is rational to do A. In the second half of the paper, we consider and reject the two most promising objections to our case for KA, one based on the Gricean notion of conversational implicature and the other based on a contextualist maneuver. (shrink)

Since his death in 1986, Michel de Certeau's reputation as a thinker has steadily grown both in France and throughout the English-speaking world. His work is extraordinarily innovative and wide-ranging, cutting across issues in historiography, literary and cultural studies, anthropology, sociology, theology, philosophy and psychoanalysis. This book represents the first full-length study of Certeau's thought. It is organized around the central theme of interpretation and alterity, which Ahearne uses to illuminate Certeau's work as a whole. The author also examines Certeau's (...) theory and practice of historiography; his reflection on the relations between changing historical forms of writing, reading and orality; and his distinction between the "strategic" programmes of the politically powerful and the "tactics" of the relatively powerless. Ahearne places Certeau's work in its general intellectual context, relating it to the views of important contemporary thinkers, such as Pierre Bourdieu and Michel Foucault, and demonstrating the decisive importance to Certeau's thought of the writings of the early modern mystics and travellers. This book constitutes an excellent critical introduction to Certeau's work, while also providing a comprehensive and nuanced reading for those already familiar with his thought. (shrink)

We discuss from a philosophical perspective the way in which the normal concept of time might be said to `emerge' in a quantum theory of gravity. After an introduction, we briefly discuss the notion of emergence, without regard to time. We then introduce the search for a quantum theory of gravity ; and review some general interpretative issues about space, time and matter. We then discuss the emergence of time in simple quantum geometrodynamics, and in the Euclidean approach. Section 6 (...) concludes. (shrink)

The epsilon calculus is a logical formalism developed by David Hilbert in the service of his program in the foundations of mathematics. The epsilon operator is a term-forming operator which replaces quantifiers in ordinary predicate logic. Specifically, in the calculus, a term εx A denotes some x satisfying A(x), if there is one. In Hilbert's Program, the epsilon terms play the role of ideal elements; the aim of Hilbert's finitistic consistency proofs is to give a procedure which removes such terms (...) from a formal proof. The procedures by which this is to be carried out are based on Hilbert's epsilon substitution method. The epsilon calculus, however, has applications in other contexts as well. The first general application of the epsilon calculus was in Hilbert's epsilon theorems, which in turn provide the basis for the first correct proof of Herbrand's theorem. More recently, variants of the epsilon operator have been applied in linguistics and linguistic philosophy to deal with anaphoric pronouns. (shrink)

We survey some philosophical aspects of the search for a quantum theory of gravity, emphasising how quantum gravity throws into doubt the treatment of spacetime common to the two `ingredient theories' (quantum theory and general relativity), as a 4-dimensional manifold equipped with a Lorentzian metric. After an introduction (Section 1), we briefly review the conceptual problems of the ingredient theories (Section 2) and introduce the enterprise of quantum gravity (Section 3). We then describe how three main research programmes in quantum (...) gravity treat four topics of particular importance: the scope of standard quantum theory; the nature of spacetime; spacetime diffeomorphisms, and the so-called `problem of time' (Section 4). These programmes are the old particle-physics approach, superstring theory, and canonical quantum gravity. By and large, these programmes accept most of the ingredient theories' treatment of spacetime, albeit with a metric with some type of quantum nature; but they also suggest that the treatment has fundamental limitations. This prompts the idea of going further: either by quantizing structures other than the metric, such as the topology; or by regarding such structures as phenomenological. We discuss this in Section 5. (shrink)

In considering the debate about the meaning of ‘disease’, the positions are generally presented as falling into two categories: naturalist, e.g., Boorse, and normativist, e.g., Engelhardt and many others. This division is too coarse, and obscures much of what is going on in this debate. I therefore propose that accounts of the meaning of ‘disease’ be assessed according to Hare’s (1997) taxonomy of evaluative terms. Such an analysis will allow us to better understand both individual positions and their inter-relationships. Most (...) importantly, it will show that it is unlikely that there is a single unique disease-concept at issue. Rather, different authors are, for the most part, considering different concepts. (shrink)

I discuss how modern cosmology illustrates under-determination of theoretical hypotheses by data, in ways that are different from most philosophical discussions. I emphasise cosmology's concern with what data could in principle be collected by a single observer ; and I give a broadly sceptical discussion of cosmology's appeal to the cosmological principle as a way of breaking the under-determination.I confine most of the discussion to the history of the observable universe from about one second after the Big Bang, as described (...) by the mainstream cosmological model: in effect, what cosmologists in the early 1970s dubbed the ‘standard model’, as elaborated since then. But in the closing Section 4, I broach some questions about times earlier than one second. (shrink)

A rarely examined internal reading by Bourdieu at the end of The Rules of Art of William Faulkner's short story ‘A Rose for Emily’ provides the starting point for a reflection on Bourdieu's theories of reading and reflexivity. The article begins by looking at Bourdieu's theory of literary reception, and its identification of two distinct modalities of reading, ‘scholastic’ and ‘naive’. It then places Bourdieu's discussion of ‘A Rose for Emily’ as a ‘reflexive’ text in the context of his wider (...) theory of reflexivity. Bourdieu's approach to reading Faulkner's text is compared with those deployed elsewhere by more established literary critics, notably Jean-Paul Sartre and Roland Barthes. Finally, the question of how his internal reading fits within the logic of a theoretical work devoted to the ‘reflexive’ practice and method of field analysis is discussed. (shrink)

We show that certain model-theoretic forcing arguments involving subsystems of second-order arithmetic can be formalized in the base theory, thereby converting them to effective proof-theoretic arguments. We use this method to sharpen the conservation theorems of Harrington and Brown-Simpson, giving an effective proof that WKL+0 is conservative over RCA0 with no significant increase in the lengths of proofs.

One of the most important philosophical topics in the early twentieth century and a topic that was seminal in the emergence of analytic philosophy was the relationship between Kantian philosophy and modern geometry. This paper discusses how this question was tackled by the Neo-Kantian trained philosopher Ernst Cassirer. Surprisingly, Cassirer does not affirm the theses that contemporary philosophers often associate with Kantian philosophy of mathematics. He does not defend the necessary truth of Euclidean geometry but instead develops a kind of (...) logicism modeled on Richard Dedekind's foundations of arithmetic. Further, because he shared with other Neo-Kantians an appreciation of the developmental and historical nature of mathematics, Cassirer developed a philosophical account of the unity and methodology of mathematics over time. With its impressive attention to the detail of contemporary mathematics and its exploration of philosophical questions to which other philosophers paid scant attention, Cassirer's philosophy of mathematics surely deserves a place among the classic works of twentieth century philosophy of mathematics. Though focused on Cassirer's philosophy of geometry, this paper also addresses both Cassirer's general philosophical orientation and his reading of Kant. (shrink)

I critically discuss some of the main arguments of Modal Logic as Metaphysics, present a different way of thinking about the issues raised by those arguments, and briefly discuss some broader issues about the role of higher-order logic in metaphysics.

I discuss the idea of relativistic causality, i.e., the requirement that causal processes or signals can propagate only within the light-cone. After briefly locating this requirement in the philosophy of causation, my main aim is to draw philosophers' attention to the fact that it is subtle, indeed problematic, in relativistic quantum physics: there are scenarios in which it seems to fail. I set aside two such scenarios, which are familiar to philosophers of physics: the pilot-wave approach, and the Newton-Wigner representation. (...) I instead stress two unfamiliar scenarios: the Drummond-Hathrell and Scharnhorst effects. These effects also illustrate a general moral in the philosophy of geometry: that the mathematical structures, especially the metric tensor, that represent geometry get their geometric significance by dint of detailed physical arguments. (shrink)

This paper expounds the modern theory of symplectic reduction in finite-dimensional Hamiltonian mechanics. This theory generalizes the well-known connection between continuous symmetries and conserved quantities, i.e. Noether's theorem. It also illustrates one of mechanics' grand themes: exploiting a symmetry so as to reduce the number of variables needed to treat a problem. The exposition emphasises how the theory provides insights about the rotation group and the rigid body. The theory's device of quotienting a state space also casts light on philosophical (...) issues about whether two apparently distinct but utterly indiscernible possibilities should be ruled to be one and the same. These issues are illustrated using ``relationist'' mechanics. (shrink)

Deacon’s approach to resolving mechanism/semiotic duality exemplifies an innovative methodology for imposing greater rigor on abductive assumptions in biosemiotics and beyond. His approach specifies interpretive agents and their responsive effort as the categories of phenomena to be explained. Implicit in his approach are five standards for imposing greater rigor on abduction or categorization, here named and described by the author.

The ethical and political dilemmas raised byInformation and Communication Technology (ICT)have only just begun to be understood. Theimpact of centralised data collection, masscommunication technologies or the centrality ofcomputer technology as a means of accessingimportant social institutions, all poseimportant ethical and political questions. As away of capturing some of these effects I willcharacterise them in terms of the type of powerand, more particularly, the ‘Power-over’ peoplethat they exercise. My choice of thisparticular nomenclature is that it allows us todescribe, firstly, how specific (...) technologiesoperate and second, exactly what sorts ofconstraints they impose on people. The reasonfor this focus has to do with a further aim ofthe essay, which is to intervene in aparticular type of debate that is often hadaround the appropriate use and scope oftheories of power that are employed in thinkingabout ICT, especially those theories associatedwith the work of Michel Foucault. There isconsiderable use of his work in computerethics, but my claim will be that despite theproductive uses of his work in the areas ofsurveillance, for instance, it does not exhaustthe larger potential of his work on power and,in part, `government.' I will argue that inorder to properly understand the politicalimpact of some aspects of ICT, especially thedigital divide, one needs an account of howpower operates that includes more traditionaltypes of power-over. To the extent that I willdeal with these concerns, the paper is both acontribution to debates about the nature andscope of Foucault's theory of power and to theissue of the effects of the digital divide. (shrink)

In 1837, Dirichlet proved that there are infinitely many primes in any arithmetic progression in which the terms do not all share a common factor. We survey implicit and explicit uses ofDirichlet characters in presentations of Dirichlet’s proof in the nineteenth and early twentieth centuries, with an eye toward understanding some of the pragmatic pressures that shaped the evolution of modern mathematical method.

I discuss how modern cosmology illustrates underdetermination of theoretical hypotheses by data, in ways that are different from most philosophical discussions. I confine the discussion to the history of the observable universe from about one second after the Big Bang, as described by the mainstream cosmological model: in effect, what cosmologists in the early 1970s dubbed the ‘standard model’, as elaborated since then. Or rather, the discussion is confined to a (very!) few aspects of that history. I emphasize that despite (...) the underdetermination, a scientific realist can, and should, endorse this description. (shrink)

The rotating discs argument against perdurantism has been mostly discussed by metaphysicians, though the argument of course appeals to ideas from classical mechanics, especially about rotation. In contrast, I assess the RDA from the perspective of the philosophy of physics. I argue for three main conclusions. The first conclusion is that the RDA can be formulated more strongly than is usually recognized: it is not necessary to ‘imagine away’ the dynamical effects of rotation. The second is that in general relativity, (...) the RDA fails because of frame-dragging. The third conclusion is that even setting aside general relativity, the strong formulation of the RDA can after all be defeated, namely, by the perdurantist taking objects in classical mechanics to have only temporally extended temporal parts, which immediately blocks the RDA. Admittedly, this version of perdurantism defines persistence in a weaker sense of ‘definition’ than pointilliste versions that aim to define persistence assuming only instantaneous temporal parts. But I argue that temporally extended temporal parts can do the jobs within the endurantism– perdurantism debate that the perdurantist wants temporal parts to do and are supported by both classical and quantum mechanics. Introduction The story so far 2.1 The RDA 2.2 Intrinsic properties and the idea of velocity 2.2.1 The intrinsic–extrinsic distinction 2.2.2 Velocity to the rescue? 2.3 ‘Naturalism’ 2.4 The accompaniments of rotation 2.5 Two kinds of reply: against the consensus Describing rotation 3.1 Rotation is kinematic 3.2 Beware of rigidity 3.3 An improved RDA: allowing the actual accompaniments 3.4 The RDA fails in general relativity Perdurantism without tears: the classical case 4.1 Rejecting instantaneous temporal parts 4.2 Replying to the RDA 4.2.1 ‘Kinematics’ 4.2.2 ‘Dynamics’ 4.2.3 An ‘anti-pointilliste’ objection and reply 4.3 Intrinsic properties of non-instantaneous temporal parts 4.3.1 Can the perdurantist appeal to them? 4.3.2 Temporal intrinsicality at an instant is rare 4.3.3 A better reason for temporal intrinsicality 4.4 Non-instantaneous parts can do the jobs 4.4.1 Humean supervenience revisited 4.4.2 The problem of change 4.4.3 Puzzles of coincidence 4.5 Instantaneous velocity is hardly extrinsic Support from decoherence in quantum theory 5.1 Classical and quantum: relativizing the intrinsic–extrinsic distinction 5.1.1 Unitarity: momentum as temporally intrinsic 5.2 Position and existence as nomically extrinsic. (shrink)

Definitions and distinctions -- Classification -- Of the ends of punishment -- Cases unmeet for punishment -- Expense of punishment -- Measure of punishment -- Of the properties to be given to a lot of punishment -- Of analogy between crimes and punishment -- Of retaliation -- Popularity -- Simple afflictive punishments -- Of complex afflictive punishments -- Of restrictive punishments--territorial confinement -- Imprisonment -- Imprisonment--fees -- Imprisonment examined -- General scheme of imprisonment -- Of other species of territorial confinement--quasi-imprisonment--relegation--banishment (...) -- Of simply restrictive punishments -- Of active or laborious punishment -- Capital punishment -- Capital punishment examined -- Punishment analyzed -- Of the punishments belonging to the moral sanction -- Forfeiture of reputation -- Of pecuniary forfeitures -- Forfeiture of condition -- Forfeiture of the protection of the law -- Naturally extravasting punishment--rules concerning it -- Punishment apparently, but not really, mis-seated--civil responsibility -- Mis-seated punishment, varieties of -- Vicarious punishment -- Transitive punishment -- Disadvantages of this mode of punishment -- Collective punishment -- Random punishment -- Cause of the frequency of mis-seated punishment -- Inconveniences of complex punishments -- Of transportation -- Panopticon penitentiary -- Felony -- Of præmunire -- Outlawry -- Excommunication -- Choice of punishment--latitude to be allowed to the judges -- Of subsidiary punishments -- Of surety for good conduct -- Defeazance of punishment. (shrink)

This paper provides a new analysis and critique of Rawlsian public reason’s handling of the abortion question. It is often claimed that public reason is indeterminate on abortion, because it cannot say enough about prenatal moral status, or give content to the (allegedly) political value which Rawls calls ‘respect for human life’. I argue that public reason requires much greater argumentative restraint from citizens debating abortion than critics have acknowledged. Beyond the preliminary observation that fetuses do not meet the criteria (...) of political personhood, I contend, public reasoners may say nothing about prenatal moral status. Indeed, respect for human life (as distinct from respect for persons) is not, I show, a genuine political value, whose interpretation lies within public reason’s remit. This fact does not, however, prevent deliberators from drawing determinate conclusions regarding the law of abortion. Instead, I show, public reason has radically permissive implications for the legal regulation of feticide, inclining heavily towards the view that abortion should be allowed with little or no qualification, right until birth. I end by giving grounds for thinking that, even if the argumentative restraint which public reason enjoins over prenatal moral status does not generate indeterminacy, it is nonetheless objectionable. (shrink)

Many bioethicists view the primary task of bioethics as ‘value clarification’. In this article, I argue that the field must embrace two more ambitious agendas that go beyond mere clarification. The first agenda, critique, involves unmasking, interrogating, and challenging the presuppositions that underlie bioethical discourse. These largely unarticulated premises establish the boundaries within which problems can be conceptualized and solutions can be imagined. The function of critique, then, is not merely to clarify these premises but to challenge them and the (...) boundaries they define. The second agenda, integration, involves honoring and unifying what is right in competing values. Integration is the morally ideal response to value conflict, offering the potential for transcending win/lose outcomes. The function of integration, then, is to envision actions or policies that not only resolve conflicts, but that do so by jointly realizing many genuine values in deep and compelling ways. My argument proceeds in stages. After critically examining the role and dominant status of value clarification in bioethical discourse, I describe the nature and value of the two agendas, identify concrete examples of where each has been and could be successful, and explain why a critical integrative bioethics – one that appreciates the joint necessity and symbiotic potential of the two agendas – is crucial to the future of the field. The ultimate goal of all of this is to offer a more compelling vision for how bioethics might conduct itself within the larger intellectual and social world it seeks to understand and serve. (shrink)

In Section 2, I survey some of the ways that computers are used in mathematics. These raise questions that seem to have a generally epistemological character, although they do not fall squarely under a traditional philosophical purview. The goal of this article is to try to articulate some of these questions more clearly, and assess the philosophical methods that may be brought to bear. In Section 3, I note that most of the issues can be classified under two headings: some (...) deal with the ability of computers to deliver appropriate “evidence” for mathematical assertions, a notion that is explored in Section 4, while others deal with the ability of computers to deliver appropriate mathematical “understanding,” a notion that is considered in Section 5. Final thoughts are provided in Section 6. (shrink)

A number of classical theories are interpreted in analogous theories that are based on intuitionistic logic. The classical theories considered include subsystems of first- and second-order arithmetic, bounded arithmetic, and admissible set theory.

Critical notice of Paul Faulkner, "Knowledge on Trust" (OUP 2011) and Benjamin McMyler, "Testimony, Trust, and Authority" (OUP 2011).

This paper is about the metaphysical debate whether objects persist over time by the selfsame object existing at different times (nowadays called “endurance” by metaphysicians), or by different temporal parts, or stages, existing at different times (called “perdurance”). I aim to illuminate the debate by using some elementary kinematics and real analysis: resources which metaphysicians have, surprisingly, not availed themselves of. There are two main results, which are of interest to both endurantists and perdurantists. (1) I describe a precise formal (...) equivalence between the way that the two metaphysical positions represent the motion of the objects of classical mechanics (both point-particles and continua). (2) I make precise, and prove a result about, the idea that the persistence of objects moving in a void is to be analysed in terms of tracking the continuous curves in spacetime that connect points occupied by matter. The result is entirely elementary: it is a corollary of the Heine–Borel theorem. (shrink)

This article explores the debate about the virtues and otherwise of luxury in French eighteenth- and nineteenth political thought. I begin by contrasting the views of Jean-Jacques Rousseau and Jean-Francois Melon. In view of the manner in which this argument was developed by Montesquieu, Diderot, Saint-Lambert, and others, I argue that debates about luxury continued into and beyond the French Revolution of 1789. Then, by looking at the writings of Jean-Baptiste Say and Destutt de Tracy the article demonstrates the coninued (...) prominence of debates about luxury in the early years of the nineteenth century and the enduring nature of the arguments posed by Rousseau against immoderate wealth amongst republicans. It concludes by referring to discussions of luxury in the Second Empire. (shrink)

Time, along with concepts as space and matter, is bound to be a central concept of any physical theory. The chapter first discusses how time is treated similarly in quantum and classical theories. It then provides a few references on time‐reversal. The chapter discusses three chosen authors' (Paul Busch, Jan Hilgevoord and Jos Uffink) clarifications of uncertainty principles in general. Next, the chapter follows Busch in distinguishing three roles for time in quantum physics. They are external time, intrinsic time and (...) observable time. It also provides a brief discussion on time operators, in particular Pauli's influential proof. Finally, the chapter talks about time‐energy uncertainty principles with intrinsic times. (shrink)

This article is an investigation into G. E. M. Anscombe's suggestion that there can be cases where belief takes a personal object, through an examination of the role that the activity of teaching plays in Anscombe's discussion. By contrasting various kinds of ‘teachers’ that feature in her discussion, it is argued that the best way of understanding the idea of believing someone personally is to situate the relevant encounter within the social, conversational framework of ‘engaged reasoning’. Key features of this (...) framework are highlighted, and are used to characterise the distinctive kind of teaching and learning germane to Anscombe's suggestion. (shrink)

Mathematicians use the word ‘deep’ to convey a high appreciation of a concept, theorem, or proof. This paper investigates the extent to which the term can be said to have an objective character by examining its first use in mathematics. It was a consequence of Gauss's work on number theory and the agreement among his successors that specific parts of Gauss's work were deep, on grounds that indicate that depth was a structural feature of mathematics for them. In contrast, French (...) mathematicians had a less structural, more problem-oriented approach to mathematics and did not speak of depth so readily. (shrink)