Le réalisme scientifique occupe une place centrale dans le système philosophique de Mario Bunge. Au cœur de cette thèse, on trouve l’affirmation selon laquelle nous pouvons connaître le monde partiellement. Il s’ensuit que les théories scientifiques ne sont pas totalement vraies ou totalement fausses, mais plutôt partiellement vraies et partiellement fausses. Ces énoncés sur la connaissance scientifique, à première vue plausible pour quiconque est familier avec la pratique scientifique, demandent néanmoins à être clarifiés, précisés et, ultimement, à être inclus dans (...) un cadre théorique plus large et rigoureux. Depuis ses toutes premières publications sur ces questions et jusqu’à récemment, Mario Bunge n’a cessé d’interpeller les philosophes afin qu’ils développent une théorie, au sens propre du terme, de la vérité partielle afin de clarifier les enjeux épistémologiques liés au réalisme scientifique. Bunge a lui-même proposé plusieurs parties de cette théorie au fil des années, mais aucune de ces propositions ne l’a satisfait pleinement et la construction de cette théorie demeure un problème entier. Dans ce texte, nous passerons rapidement en revue certaines des approches proposées par Bunge dans ses publications et nous esquisserons certaines pistes qui devraient servir à tout le moins de desiderata pour la construction d’une théorie de la vérité partielle. (shrink)

Margaret Crosland argues that it was the Marquis de Sade, infamous for dominating women, who was in fact dominated by women. The important people in his life, those with whom he had direct contact, and who gave him friendship and support, were women; he knew the men important to him mostly indirectly, through their books. Crosland makes the case that de Sade's writing is often discounted due to an overly literal reading of his work, and that his writings remain (...) an important place to see the principles of materialism worked out to one kind of logical extreme. Crosland's essay additionally serves as a brief overview of the changes in de Sade's writing over the course of his life. (shrink)

Fefermans argument is indeed convincing in a certain context, it can be dissolved entirely by modifying the context appropriately.

In this paper, I introduce the idea that some important parts of contemporary pure mathematics are moving away from what I call the extensional point of view. More specifically, these fields are based on criteria of identity that are not extensional. After presenting a few cases, I concentrate on homotopy theory where the situation is particularly clear. Moreover, homotopy types are arguably fundamental entities of geometry, thus of a large portion of mathematics, and potentially to all mathematics, at least according (...) to some speculative research programs. (shrink)

Structuralism has recently moved center stage in philosophy of mathematics. One of the issues discussed is the underlying logic of mathematical structuralism. In this paper, I want to look at the dual question, namely the underlying structures of logic. Indeed, from a mathematical structuralist standpoint, it makes perfect sense to try to identify the abstract structures underlying logic. We claim that one answer to this question is provided by categorical logic. In fact, we claim that the latter can be seen—and (...) probably should be seen—as being a structuralist approach to logic and it is from this angle that categorical logic is best understood. (shrink)

The aim of this paper is to clarify the role of category theory in the foundations of mathematics. There is a good deal of confusion surrounding this issue. A standard philosophical strategy in the face of a situation of this kind is to draw various distinctions and in this way show that the confusion rests on divergent conceptions of what the foundations of mathematics ought to be. This is the strategy adopted in the present paper. It is divided into 5 (...) sections. We first show that already in the set theoretical framework, there are different dimensions to the expression foundations of. We then explore these dimensions more thoroughly. After a very short discussion of the links between these dimensions, we move to some of the arguments presented for and against category theory in the foundational landscape. We end up on a more speculative note by examining the relationships between category theory and set theory. (shrink)

One of the most frequently voiced criticisms of free will skepticism is that it is unable to adequately deal with criminal behavior and that the responses it would permit as justified are insufficient for acceptable social policy. This concern is fueled by two factors. The first is that one of the most prominent justifications for punishing criminals, retributivism, is incompatible with free will skepticism. The second concern is that alternative justifications that are not ruled out by the skeptical view per (...) se face significant independent moral objections. Yet despite these concerns, I maintain that free will skepticism leaves intact other ways to respond to criminal behavior—in particular preventive detention, rehabilitation, and alteration of relevant social conditions—and that these methods are both morally justifiable and sufficient for good social policy. The position I defend is similar to Derk Pereboom’s, taking as its starting point his quarantine analogy, but it sets out to develop the quarantine model within a broader justificatory framework drawn from public health ethics. The resulting model—which I call the public health -quarantine model—provides a framework for justifying quarantine and criminal sanctions that is more humane than retributivism and preferable to other non-retributive alternatives. It also provides a broader approach to criminal behavior than Pereboom’s quarantine analogy does on its own. (shrink)

The no-miracles argument and the pessimistic induction are arguably the main considerations for and against scientific realism. Recently these arguments have been accused of embodying a familiar, seductive fallacy. In each case, we are tricked by a base rate fallacy, one much-discussed in the psychological literature. In this paper we consider this accusation and use it as an explanation for why the two most prominent `wholesale' arguments in the literature seem irresolvable. Framed probabilistically, we can see very clearly why realists (...) and anti-realists have been talking past one another. We then formulate a dilemma for advocates of either argument, answer potential objections to our criticism, discuss what remains (if anything) of these two major arguments, and then speculate about a future philosophy of science freed from these two arguments. In so doing, we connect the point about base rates to the wholesale/retail distinction; we believe it hints at an answer of how to distinguish profitable from unprofitable realism debates. In short, we offer a probabilistic analysis of the feeling of ennui afflicting contemporary philosophy of science. (shrink)

The three major classical accounts of the morality of abortion are all subject to at least one major problem. Can we do better? This article aims to discuss three accounts that purport to be superior to the classical accounts. First, it discusses the future of value argument for the immorality of abortion. It defends the claim that the future of value argument is superior to all three of the classical accounts. It then goes on to discuss Warren's attempt to fix (...) up her personhood account and David Boonin's attempt to fix up Tooley's desire account. Warren claims that her updated version of a personhood account is superior to any potentiality account, such as the future of value account. The article evaluates her claim. Boonin argues that his improved desire view both deals adequately with the apparent counterexamples to Tooley's original account and also is superior to the future of value account. The article evaluates his views as well. (shrink)

Lawrence Kohlberg's Approach to Moral Education presents what the late Lawrence Kohlberg regarded as the definitive statement of his educational theory. Addressing the sociology and social psychology of schooling, the authors propose that school culture become the center of moral education and research. They discuss how schools can develop as just and cohesive communities by involving students in democracy, and they focus on the moral decisions teachers and students face as they democratically resolve problems. As the authors put it: "...we (...) propose an educational renewal of our democratic society.... We have attempted to establish schools that do more than just teach about democratic citizenship, that are themselves democratic societies.". (shrink)

In this paper, we try to establish that some mathematical theories, like K-theory, homology, cohomology, homotopy theories, spectral sequences, modern Galois theory (in its various applications), representation theory and character theory, etc., should be thought of as (abstract) machines in the same way that there are (concrete) machines in the natural sciences. If this is correct, then many epistemological and ontological issues in the philosophy of mathematics are seen in a different light. We concentrate on one problem which immediately follows (...) the recognition of the particular status of these theories: the demarcation problem between ‘natural kinds’ and ‘artefacts’. (shrink)

In this paper, we look at Bourbaki’s work as a case study for the notion of mathematical style. We argue that indeed Bourbaki exemplifies a mathematical style, namely the structuralist style.

Pharmaceuticals or other emerging technologies could be used to enhance (or diminish) feelings of lust, attraction, and attachment in adult romantic partnerships. While such interventions could conceivably be used to promote individual (and couple) well-being, their widespread development and/or adoption might lead to “medicalization” of human love and heartache—for some, a source of serious concern. In this essay, we argue that the “medicalization of love” need not necessarily be problematic, on balance, but could plausibly be expected to have either good (...) or bad consequences depending upon how it unfolds. By anticipating some of the specific ways in which these technologies could yield unwanted outcomes, bioethicists and others can help direct the course of love’s “medicalization”—should it happen to occur—more toward the “good” side than the “bad.”. (shrink)

In this paper, following the claims made by various mathematicians, I try to construct a theory of levels of abstraction. I first try to clarify the basic components of the abstract method as it developed in the first quarter of the 20th century. I then submit an explication of the notion of levels of abstraction. In the final section, I briefly explore some of main philosophical consequences of the theory.

There is considerable disagreement about the epistemic value of novel predictive success, i.e. when a scientist predicts an unexpected phenomenon, experiments are conducted, and the prediction proves to be accurate. We survey the field on this question, noting both fully articulated views such as weak and strong predictivism, and more nascent views, such as pluralist reasons for the instrumental value of prediction. By examining the various reasons offered for the value of prediction across a range of inferential contexts , we (...) can see that neither weak nor strong predictivism captures all of the reasons for valuing prediction available. A third path is presented, Pluralist Instrumental Predictivism; PIP for short. (shrink)

When we ask what natural kinds are, there are two different things we might have in mind. The first, which I’ll call the taxonomy question, is what distinguishes a category which is a natural kind from an arbitrary class. The second, which I’ll call the ontology question, is what manner of stuff there is that realizes the category. Many philosophers have systematically conflated the two questions. The confusion is exhibited both by essentialists and by philosophers who pose their accounts in (...) terms of similarity. It also leads to misreading philosophers who do make the distinction. Distinguishing the questions allows for a more subtle understanding of both natural kinds and their underlying metaphysics. (shrink)

Cosmological inflation is widely considered an integral and empirically successful component of contemporary cosmology. It was originally motivated by its solution of certain so-called fine-tuning problems of the hot big bang model, particularly what are known as the horizon problem and the flatness problem. Although the physics behind these problems is clear enough, the nature of the problems depends on the sense in which the hot big bang model is fine-tuned and how the alleged fine-tuning is problematic. Without clear explications (...) of these, it remains unclear precisely what problems inflationary theory is meant to be solving and whether it does in fact solve them. I analyze the structure of these problems and consider various interpretations that may substantiate the alleged fine-tuning. On the basis of this analysis I argue that at present there is no unproblematic interpretation available for which it can be said that inflation solves the big bang model’s alleged fine-tuning problems. (shrink)

The Homeostatic Property Cluster (HPC) account of natural kinds has become popular since it was proposed by Richard Boyd in the late 1980s. Although it is often taken as a defining natural kinds as such, it is easy enough to see that something's being a natural kind is neither necessary nor sufficient for its being an HPC. This paper argues that it is better not to understand HPCs as defining what it is to be a natural kind but instead as (...) providing the ontological realization of (some) natural kinds. (shrink)

The accepted narrative treats John Stuart Mill’s Kinds as the historical prototype for our natural kinds, but Mill actually employs two separate notions: Kinds and natural groups. Considering these, along with the accounts of Mill’s nineteenth-century interlocutors, forces us to recognize two distinct questions. First, what marks a natural kind as worthy of inclusion in taxonomy? Second, what exists in the world that makes a category meet that criterion? Mill’s two notions offer separate answers to the two questions: natural groups (...) for taxonomy and Kinds for ontology. This distinction is ignored in many contemporary debates about natural kinds and is obscured by the standard narrative that treats our natural kinds just as a development of Mill’s Kinds. (shrink)

Nietzsche, in his work On the Genealogy of Morals, argues that human cognition is analogous in certain significant respects to the perspectival nature of optical vision. Because of this analogy, his account of human cognition is often referred to as perspectivism. Brian Leiter argues that Nietzsche’s use of this optical perspective metaphor undermines interpretations that take perspectivism to have radically skeptical implications. In this paper, I examine Leiter’s argument and show that the considerations he raises based on the optical perspective (...) metaphor are insufficient to undermine the claim that perspectivism entails radical skepticism. (shrink)

One of the key features of modern mathematics is the adoption of the abstract method. Our goal in this paper is to propose an explication of that method that is rooted in the history of the subject.

In this paper, we argue that, contrary to the view held by most philosophers of mathematics, Bourbaki’s technical conception of mathematical structuralism is relevant to philosophy of mathematics. In fact, we believe that Bourbaki has captured the core of any mathematical structuralism.

Since its publication, the Psychopathic Personality Inventory and its revision (Lilien- feld & Andrews, 1996; Lilienfeld & Widows, 2005) have become increasingly popular such that it is now among the most frequently used self-report inventories for the assessment of psychopathy. The current meta-analysis examined the relations between the two PPI factors (factor 1: Fearless Dominance; factor 2: Self-Centered Impulsivity), as well as their relations with other validated measures of psychopathy, internalizing and externalizing forms of psychopathology, general personality traits, and antisocial (...) personality disorder symptoms. Across 61 samples reported in 49 publications, we found support for the convergent and criterion validity of both PPI factor 2 and the PPI total score. Much weaker validation was found for PPI factor 1, which manifested limited convergent validity and a pattern of correlations with central criterion variables that was inconsistent with many conceptualizations of psychopathy. (shrink)

Categorical foundations and set-theoretical foundations are sometimes presented as alternative foundational schemes. So far, the literature has mostly focused on the weaknesses of the categorical foundations. We want here to concentrate on what we take to be one of its strengths: the explicit identification of so-called canonical maps and their role in mathematics. Canonical maps play a central role in contemporary mathematics and although some are easily defined by set-theoretical tools, they all appear systematically in a categorical framework. The key (...) element here is the systematic nature of these maps in a categorical framework and I suggest that, from that point of view, one can see an architectonic of mathematics emerging clearly. Moreover, they force us to reconsider the nature of mathematical knowledge itself. Thus, to understand certain fundamental aspects of mathematics, category theory is necessary (at least, in the present state of mathematics). (shrink)

There are two primary arguments against scientific realism, one pertaining to underdetermination, the other to the history of science. While these arguments are usually treated as altogether distinct, P. Kyle Stanford's ‘problem of unconceived alternatives’ constitutes one kind of synthesis: I propose that Stanford's argument is best understood as a broad modus ponens underdetermination argument, into which he has inserted a unique variant of the historical pessimistic induction. After articulating three criticisms against Stanford's argument and the evidence that he offers, (...) I contend that, as it stands, Stanford's argument poses no threat to contemporary scientific realism. Nonetheless, upon identifying two useful insights present in Stanford's general strategy, I offer an alternative variant of the modus ponens underdetermination argument, one that, although historically informed by science, requires no inductive premises. I contend that this non-inductive but historically informed variant of the modus ponens clarifies and considerably strengthens the case against scientific realism. (shrink)

In this paper, I explore Bunge’s fictionism in philosophy of mathematics. After an overview of Bunge’s views, in particular his mathematical structuralism, I argue that the comparison between mathematical objects and fictions ultimately fails. I then sketch a different ontology for mathematics, based on Thomasson’s metaphysical work. I conclude that mathematics deserves its own ontology, and that, in the end, much work remains to be done to clarify the various forms of dependence that are involved in mathematical knowledge, in particular (...) its dependence on mental/brain states and material objects. (shrink)

Shaun Nichols has recently argued that while the folk notion of free will is associated with error, a question still remains whether the concept of free will should be eliminated or preserved. He maintains that like other eliminativist arguments in philosophy, arguments that free will is an illusion seem to depend on substantive assumptions about reference. According to free will eliminativists, people have deeply mistaken beliefs about free will and this entails that free will does not exist. However, an alternative (...) reaction is that free will does exist, we just have some deeply mistaken beliefs about it. According to Nichols, all such debates boil down to whether or not the erroneous folk term in question successfully refers or not. Since Nichols adopts the view that reference is systematically ambiguous, he maintains that in some contexts it’s appropriate to take a restrictivist view about whether a term embedded in a false theory refers, while in other contexts it’s appropriate to take a liberal view about whether a token of the very same term refers. This, according to Nichols, affords the possibility of saying that the sentence “free will exists” is false in some contexts and true in others. In this paper I argue that even if we grant Nichols his pluralistic approach to reference, there is still good reason to prefer eliminativism to preservationism with regard to free will. My argument focuses on one important difference between the concept of “free will” and other theoretical terms embedded in false theories—i.e., the role that the phenomenology of free agency plays in reference fixing. (shrink)

Scientists use models to know the world. It i susually assumed that mathematicians doing pure mathematics do not. Mathematicians doing pure mathematics prove theorems about mathematical entities like sets, numbers, geometric figures, spaces, etc., they compute various functions and solve equations. In this paper, I want to exhibit models build by mathematicians to study the fundamental components of spaces and, more generally, of mathematical forms. I focus on one area of mathematics where models occupy a central role, namely homotopy theory. (...) I argue that mathematicians introduce genuine models and I offer a rough classification of these models. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

What are the effects of circumcision on sexual function and experience? And what does sex—in the sense related to gender—have to do with the ethics of circumcision? Jacobs and Arora (2015) give short shrift to the first of these questions; and they do not seem to have considered the second. In this commentary, I explore the relationship between sex (in both senses) and infant male circumcision, and draw some conclusions about the ongoing debate regarding this controversial practice.

In matters of personal taste, faultless disagreement occurs between people who disagree over what is tasty, fun, etc., in those cases when each of these people seems equally far from the objective truth. Faultless disagreement is often taken as evidence that truth is relative. This article aims to help us avoid the truth-relativist conclusion. The article, however, does not argue directly against relativism; instead, the article defends non-relative truth constructively, aiming to explain faultless disagreement with the resources of semantic contextualism. (...) To this end the article describes and advocates a contextualist solution inspired by supervaluationist truth-value gap approaches. The solution presented here, however, does not require truth value gaps; it preserves both logical bivalence and non-relative truth, even while it acknowledges and explains the possibility of faultless disagreement. The solution is motivated by the correlation between assertions’ being true and their being useful. This correlation, furthermore, is used not only to tell which assertions are true, but also to determine which linguistic intuitions are reliable. (shrink)

It seems obvious that a community of one thousand scientists working together to make discoveries and solve puzzles should arrange itself differently than would one thousand scientist-hermits working independently. Because of limited time, resources, and attention, an independent scientist can explore only some of the possible approaches to a problem. Working alone, each hermit would explore the most promising approaches. They would needlessly duplicate the work of others and would be unlikely to develop approaches which look unpromising but really have (...) tremendous potential. Contrariwise, a large community can more rigorously explore the space of possible approaches. Most scientists should work on the most promising approaches, but a smaller number can be committed to approaches that initially look less promising. Exploratory work can reveal if one of those initially unpromising approaches has unrealized potential, and more scientists can adopt it once its potential becomes more apparent. (shrink)

Despite the growth in research in philosophy of religion over the past several decades, recent years have seen a number of critical studies of this subfield in an effort to redirect the methods and topics of inquiry. This article argues that in addition to problems of religious parochialism described by critics such as Wesley Wildman, the subfield is facing a problem of relevance. In responding to this problem, it suggests that philosophers of religion should do three things: first, be critically (...) self-aware about their aims of inquiry; second, investigate concepts used by other philosophers, scientists, and religious studies scholars to identify and dispel confusion about religions; and third, following the model of applied ethics, work to clarify concepts and advance arguments of contemporary practical urgency. (shrink)

Emotion processing is known to be impaired in psychopathy, but less is known about the cognitive mechanisms that drive this. Our study examined experiencing and suppression of emotion processing in psychopathy. Participants, violent offenders with varying levels of psychopathy, viewed positive and negative images under conditions of passive viewing, experiencing and suppressing. Higher scoring psychopathics were more cardiovascularly responsive when processing negative information than positive, possibly reflecting an anomalously rewarding aspect of processing normally unpleasant material. When required to experience emotional (...) response, by ‘getting into the feeling’ of the emotion conveyed by a negative image, higher factor 1 psychopathic individuals showed reduced responsiveness, suggesting that they were less able to do this. These data, together with the absence of corresponding differences in subjective self-report might be used to inform clinical strategies for normalising emotion processing in psychopathic offenders to improve treatment outcome, and reduce risk amongst this client group. (shrink)

Virtues, broadly understood as stable and robust dispositions for certain responses across morally relevant situations, have been a growing topic of interest in psychology. A central topic of discussion has been whether studies showing that situations can strongly influence our responses provide evidence against the existence of virtues (as a kind of stable and robust disposition). In this review, we examine reasons for thinking that the prevailing methods for examining situational influences are limited in their ability to test dispositional stability (...) and robustness; or, then, whether virtues exist. We make the case that these limitations can be addressed by aggregating repeated, cross-situational assessments of environmental, psychological and physiological variables within everyday life—a form of assessment often called ecological momentary assessment (EMA, or experience sampling). We, then, examine how advances in smartphone application (app) technology, and their mass adoption, make these mobile devices an unprecedented vehicle for EMA and, thus, the psychological study of virtue. We, additionally, examine how smartphones might be used for virtue development by promoting changes in thought and behavior within daily life; a technique often called ecological momentary intervention (EMI). While EMA/I have become widely employed since the 1980s for the purposes of understanding and promoting change amongst clinical populations, few EMA/I studies have been devoted to understanding or promoting virtues within non-clinical populations. Further, most EMA/I studies have relied on journaling, PDAs, phone calls and/or text messaging systems. We explore how smartphone app technology provides a means of making EMA a more robust psychological method, EMI a more robust way of promoting positive change, and, as a result, opens up new possibilities for studying and promoting virtues. (shrink)

Aristotle’s views on the choiceworthiness of friends might seem both internally inconsistent and objectionably instrumentalizing. On the one hand, Aristotle maintains that perfect friends or virtue friends are choiceworthy and lovable for their own sake, and not merely for the sake of further ends. On the other hand, in Nicomachean Ethics IX.9, Aristotle appears somehow to account for the choiceworthiness of such friends by reference to their utility as sources of a virtuous agent’s robust self-awareness. I examine Aristotle’s views on (...) the utility and choiceworthiness of friends, and offer a novel reading of Nicomachean Ethics IX.9. On this reading, Aristotle accepts a version of instrumental conditionalism about final value, that is, the thesis that goods (including friends) can be choiceworthy for their own sake (i.e., possess final or end value) at least partly on account of their instrumental properties. In articulating what sort of instrumental conditionalism it is reasonable to attribute to Aristotle, I argue that Aristotle appeals to the utility of perfect friends as part of a broadly material causal account of why such friends are choiceworthy for their own sake. On this reading, perfect friends are not choiceworthy for the sake of their utility in eliciting self-awareness; rather, their choiceworthiness for their own sake is (at least partly) realized in, or constituted by, their conduciveness to the virtuous agent’s self-awareness. This reading, I argue, frees Aristotle from the charge of inconsistency: Aristotle can appeal to the conduciveness of perfect friends to the virtuous agent’s self-awareness as a way of explaining why such friends are choiceworthy for their own sake. (shrink)

In 2012, the politician Todd Akin caused a firestorm by suggesting, in the context of an argument about the moral permissibility of abortion, that some forms of rape were. This seemed to imply that other forms of rape must not be legitimate. In response, several commentators pointed out that rape is a and that there are. While the intention of these commentators was clear, I argue that they may have played into the very stereotype of rape endorsed by Akin. Such (...) a response, I claim, actually obscures a range of sexual harms, including some that may not rise to the level of being a crime. I also offer some thoughts on the moral psychology behind anti-abortion arguments of the kind advanced by Akin. (shrink)

This paper sets mathematics among the sciences, despite not being empirical, because it studies relations of various sorts, like the sciences. Each empirical science studies the relations among objects, which relations determining which science. The mathematical science studies relations as such, regardless of what those relations may be or be among, how relations themselves are related. This places it at the extreme among the sciences with no objects of its own (A Subject with no Object, by J.P. Burgess and G. (...) Rosen). Examples are discussed. The historical development of written mathematics from algorithms on clay tablets to theorems with proofs is said to show that application of algorithms to specific problems and theorems to scientific objects is like allegorical interpretation. Mathematics fits into the modern scientific context because the sciences, beginning with Galileo, have been constructed in imitation of mathematics. Viewing mathematics this way does not solve any ontological problems, but it does show how mathematics avoids them. Epistemological problems, insuperable for object realism, are simplified. For example, we have access to relations among any objects that we can consider objectively, first physical objects and then mathematical objects of greater and greater abstraction. (shrink)

In Nicomachean Ethics X.7–8, Aristotle defends a striking view about the good for human beings. According to Aristotle, the single happiest way of life is organized around philosophical contemplation. According to the narrowness worry, however, Aristotle's contemplative ideal is unduly Procrustean, restrictive, inflexible, and oblivious of human diversity. In this paper, I argue that Aristotle has resources for responding to the narrowness worry, and that his contemplative ideal can take due account of human diversity.

Recent literature contains influential arguments for variabilism, the view that we should understand proper names as analogues not of constants but of variables. In particular, proper names are said to sometimes take semantic values that are not referential but purely general. I present a counter-example to this view.

Libet-style experiments and volitions -- The need for an analysis of human agency -- An Aristotelian account of human agency -- Compatibilist concerns -- Choices and voluntary conduct -- Neuronal mechanisms and voluntary conduct -- A metaphysical framework : voluntary agency, emergence and downward causation.