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)

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)

Bioethicists invoke a duty to rescue in a wide range of cases. Indeed, arguably, there exists an entire medical paradigm whereby vast numbers of medical encounters are treated as rescue cases. The intuitive power of the rescue paradigm is considerable, but much of this power stems from the problematic way that rescue cases are conceptualized—namely, as random, unanticipated, unavoidable, interpersonal events for which context is irrelevant and beneficence is the paramount value. In this article, I critique the basic assumptions of (...) the rescue paradigm, reframe the ethical landscape in which rescue obligations are understood, and defend the necessity and value of a wider social and institutional view. Along the way, I move back and forth between ethical theory and a concrete case where the duty to rescue has been problematically applied: the purported duty to regularly return incidental findings and individual research results in genomic and genetic research. (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)

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.

Despite a significant amount of literature debating the efficiency of high-risk pools in health insurance, dramatically less has been written about their normative implications. The present article takes the route less traveled by setting aside the question of efficiency to argue that the use of high-risk pools creates some serious normative concerns. The article explores these concerns by dividing them on two fronts. First, as regards the social-recognitional status of those who are forced into the high-risk pool. Second, as regards (...) a general concern of distributive justice, namely fairness in access to resources. The author argues that regardless of the veracity of arguments which laud the efficiency of high-risk pools, their use in health insurance is unjust because of the herein explained implications for social recognition and distributive justice. (shrink)

The concept of minimal risk has been used to regulate and limit participation by adolescents in clinical trials. It can be understood as setting an absolute standard of what risks are considered minimal or it can be interpreted as relative to the actual risks faced by members of the host community for the trial. While commentators have almost universally opposed a relative interpretation of the environmental risks faced by potential adolescent trial participants, we argue that the ethical concerns against the (...) relative standard may not be as convincing as these commentators believe. Our aim is to present the case for a relative standard of environmental risk in order to open a debate on this subject. We conclude by discussing how a relative standard of environmental risk could be defended in the specific case of an HIV vaccine trial among adolescents in South Africa. (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.

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)

Sometimes Always True aims to resolve, through a re-understanding of the nature of sense, three connected problems central to philosophical thought: that genuine pluralism must make room for outlooks that exclude pluralism, that philosophy ultimately explores sense as a whole and so must in some way step outside of sense, and that our experience of the deep questions of life therefore similarly involves suspensions of sense itself.

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)

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 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)

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)

In 1970, President Richard Nixon expressed his unambiguous support for interracial marriage; as for same-sex marriage, he exclaimed, "I can't go that far—that's the year 2000" . Nixon's prescient remark, made shortly after the Supreme Court's 1967 decision in Loving v. Virginia to overturn anti-miscegenation laws, expresses at once hesitancy for, yet resigned acceptance of, the inevitable expansion of civil marriage to include more and more kinds of loving partnerships. Nearly forty years later, Nixon's uncanny prediction appears close to being (...) realized. At the very least, many have gone where he claimed to be unable to go, adding their voices to a growing movement seeking state recognition of same-sex unions as a matter of equality, rights, and justice. And, indeed, a strong case might be made on such grounds, were the state justified in sponsoring an institution of civil marriage in the first place. (shrink)

“Terrorism”' is sometimes defined as a “form ofcoercion.” But there are important differences between ordinary coercion and terrorist intimidation. This paper explores some of those differences, particularly the relation between coercion, on the one hand, and terror and terrorization, on the other hand. The paper argues that while terrorism is not necessarily associated with terror in the literal sense, it does often seek to instill a mental state like terror in the populations that it targets. However, the point of instilling (...) this mental state is not necessarily coercive or intimidatory: one can try to instill terror as an act of punishment, or as an expressive or therapeutic act, or because one values the political consequences that might follow, or because one thinks terror is preferable, from an ethical point of view, to the inauthentic complacency that characterizes the targeted population at present. Though this paper asks questions about the definition of “terrorism,” these questions are not asked for their own sake. The quest for a canonical definition of “terrorism” is probably a waste of time. But asking questions which sound like questions of definition is sometimes a fruitful way of focusing our reflections on terrorism and organizing our response. (shrink)

The American Journal of Bioethics, Volume 12, Issue 3, Page 33-34, March 2012.

Solovay has shown that if $\cal{O}$ is an open subset of $P(\omega)$ with code $S$ and no infinite set avoids $\cal{O}$ , then there is an infinite set hyperarithmetic in $S$ that lands in $\cal{O}$ . We provide a direct proof of this theorem that is easily formalizable in $ATR_0$.

Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modification of this construction then assigns a nonstandard model to any theory of arithmetic, enabling us to reproduce conservation results of Moerdijk and Palmgren for nonstandard Heyting arithmetic. Internalizing the construction allows us to strengthen these results with additional transfer rules; we then show that even trivial transfer axioms or minor strengthenings of these rules destroy (...) conservativity over HA. The analysis also shows that nonstandard HA has neither the disjunction property nor the explicit definability property. Finally, careful attention to the complexity of our definitions allows us to show that a certain weak fragment of intuitionistic nonstandard arithmetic is conservative over primitive recursive arithmetic. (shrink)

Philosophical concerns rarely force their way into the average mathematician’s workday. But, in extreme circumstances, fundamental questions can arise as to the legitimacy of a certain manner of proceeding, say, as to whether a particular object should be granted ontological status, or whether a certain conclusion is epistemologically warranted. There are then two distinct views as to the role that philosophy should play in such a situation. On the first view, the mathematician is called upon to turn to the counsel (...) of philosophers, in much the same way as a nation considering an action of dubious international legality is called upon to turn to the United Nations for guidance. After due consideration of appropriate regulations and guidelines (and, possibly, debate between representatives of different philosophical factions), the philosophers render a decision, by which the dutiful mathematician abides. Quine was famously critical of such dreams of a ‘first philosophy.’ At the opposite extreme, our hypothetical mathematician answers only to the subject’s internal concerns, blithely or brashly indifferent to philosophical approval. What is at stake to our mathematician friend is whether the questionable practice provides a proper mathematical solution to the problem at hand, or an appropriate mathematical understanding; or, in pragmatic terms, whether it will make it past a journal referee. In short, mathematics is as mathematics does, and the philosopher’s task is simply to make sense of the subject as it evolves and certify practices that are already in place. In his textbook on the philosophy of mathematics (Shapiro, 2000), Stewart Shapiro characterizes this attitude as ‘philosophy last, if at all.’. (shrink)

Civilizational analysis has not concerned itself too greatly with the historical experiences of the American New World. There are good reasons to correct this position and Shmuel Eisenstadt’s principal work on America’s distinct modernities goes some way to establishing the colonization of the Atlantic world as an opening phase of modernity. Nonetheless, a more far-reaching analysis of the distinctiveness of diverse American societies can be developed that goes beyond the image of a Protestant North America contrasted with southern Latin cultures. (...) This article outlines the basis for a more nuanced approach in three steps: a focus on intercivilizational engagement, examination of civilizational factors neglected by Eisenstadt and reconsideration of the conceptual range of the notion of ‘civilization’ itself. The archetype of two Americas is replaced by a model of four with some consideration given to indigenous civilizations as a fifth America. (shrink)