Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...) theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary logic (...) of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

Paul Oppenheimer and Edward Zalta's formalisation of Anselm's ontological argument for the existence of God is automated by embedding a free logic for definite descriptions within Isabelle/HOL.

Many of our most important goals require months or even years of effort to achieve, and some never get achieved at all. As social psychologists have lately emphasized, success in pursuing such goals requires the capacity for perseverance, or "grit." Philosophers have had little to say about grit, however, insofar as it differs from more familiar notions of willpower or continence. This leaves us ill-equipped to assess the social and moral implications of promoting grit. We propose that grit has an (...) important epistemic component, in that failures of perseverance are often caused by a significant loss of confidence that one will succeed if one continues to try. Correspondingly, successful exercises of grit often involve a kind of epistemic resilience in the face of failure, injury, rejection, and other setbacks that constitute genuine evidence that success is not forthcoming. Given this, we discuss whether and to what extent displays of grit can be epistemically as well as practically rational. We conclude that they can be (although many are not), and that the rationality of grit will depend partly on features of the context the agent normally finds herself in. In particular, grit-friendly norms of deliberation might be irrational to use in contexts of severe material scarcity or oppression. (shrink)

This paper presents two accounts of how Oedipus might have arrived at the answer to the Sphinx's riddle by proceeding methodically.

The question I want to explore is whether experience supports an antireductionist ontology of time, that is, whether we should take it to support an ontology that includes a primitive, monadic property of nowness responsible for the special feel of events in the present, and a relation of passage that events instantiate in virtue of literally passing from the future, to the present, and then into the past.

Suppose some person 'A' sets out to accomplish a difficult, long-term goal such as writing a passable Ph.D. thesis. What should you believe about whether A will succeed? The default answer is that you should believe whatever the total accessible evidence concerning A's abilities, circumstances, capacity for self-discipline, and so forth supports. But could it be that what you should believe depends in part on the relationship you have with A? We argue that it does, in the case where A (...) is yourself. The capacity for "grit" involves a kind of epistemic resilience in the face of evidence suggesting that one might fail, and this makes it rational to respond to the relevant evidence differently when you are the agent in question. We then explore whether similar arguments extend to the case of "believing in" our significant others -- our friends, lovers, family members, colleagues, patients, and students. (shrink)

It is tempting to interpret Marilyn Strathern as saying that the concept of nature is a social construction, because in her essay “No Nature, No Culture: the Hagen Case” she tells us that the Hagen people do not describe the world using this concept. However, I point out an obstacle to interpreting her in this way, an obstacle which leads me to reject this interpretation. Interpreting her in this way makes her inconsistent. The inconsistency is owing to a commitment that (...) she shares with previous British anthropologists, a commitment which points to an incompatibility between two intellectual traditions. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

This paper contests a standard interpretation of how Descartes comes to the conclusion that he is not his body in the second meditation. I propose an alternative interpretation in its place.

When we define something as a crime, we generally thereby criminalize the attempt to commit that crime. However, it is a vexing puzzle to specify what must be the case in order for a criminal attempt to have occurred, given that the results element of the crime fails to come about. I argue that the philosophy of action can assist the criminal law in clarifying what kinds of events are properly categorized as criminal attempts. A natural thought is that this (...) project should take the form of specifying what it is in general to attempt or try to perform an action, and then to define criminal attempts as attempts to commit crimes. Focusing on Gideon Yaffe's resourceful work in Attempts (Oxford University Press, 2010) as an example of this strategy, I argue that it results in a view that is overly inclusive: one will count as trying to commit a crime even in the far remote preparatory stages that we in fact have good reason not to criminalize. I offer an alternative proposal to distinguish between mere preparations and genuine attempts that has its basis not in trying, but doing: a criminal attempt is underway once what the agent is doing is a crime. Working out the details of this schema turns out to have important implications for action theory. A recently burgeoning view known as Naive Action Theory holds that all action can be explained by appeal to some further thing that the agent is doing, and that that the same explanatory nexus is at work even when we appeal to what the agent is intending, trying, or preparing to do -- these notions do explanatory work because they too refer to actions that are in progress, albeit in their infancy. If this is right, than the notion of 'doing' will also be too inclusive for the purposes of the criminal law. I argue that we should draw the reverse conclusion: the distinctions between pure intending, trying, preparing, and doing serve an important purpose in the criminal law, and this fact lends support to the view that they are genuine metaphysical and explanatory distinctions. (shrink)

This paper disputes a common definition of token identity theory. It also observes that within the philosophical literature there are two significantly different definitions of token identity theory that are commonly used.

I argue that we can understand the de se by employing the subjective mode of presentation or, if one’s ontology permits it, by defending an abundant ontology of perspectival personal properties or facts. I do this in the context of a discussion of Cappelen and Dever’s recent criticisms of the de se. Then, I discuss the distinctive role of the first personal perspective in discussions about empathy, rational deference, and self-understanding, and develop a way to frame the problem of lacking (...) prospective access to your future self as a problem with your capacity to imaginatively empathize with your future selves. (shrink)

In the sixth chapter of The View from Nowhere, Thomas Nagel aims to identify a form of idealism, to isolate the argument for it and to counter this argument. The position that Nagel takes to be idealist is that what there is must be possibly conceivable by us. In this paper, I show that Nagel has not made a convincing case against this position. I then present an alternative case. In light of this alternative case, we have reason to reject (...) an important example that Nagel offers of a contemporary idealist, namely Donald Davidson. (shrink)

Do individuals in John Rawls’s original position take into account the fallibility of human nature? Some notable commentators on Rawls say that they do or that they should. But this enables us to say that individuals in the original position would not come to an agreement at all.

Is there a sense in which we exercise direct volitional control over our beliefs? Most agree that there is not, but discussions tend to focus on control in forming a belief. The focus here is on sustaining a belief over time in the face of ‘epistemic temptation’ to abandon it. It is argued that we do have a capacity for ‘doxastic self-control’ over time that is partly volitional in nature, and that its exercise is rationally permissible.

There are attempts to define torture which say that a person is only being tortured if the pain inflicted upon them is pain that they have not consented to. In this very brief paper, I recommend that we define torture without this condition.

This paper evaluates an argument according to which many anthropologists commit themselves to Cartesian dualism, when they talk about meanings. This kind of dualism, it is argued, makes it impossible for anthropologists to adequately attend to material artefacts. The argument is very original, but it is also vulnerable to a range of objections.

Many philosophers and jurists believe that individuals should sometimes be granted religiouslygrounded exemptions from laws or rules. To determine whether an exemption is merited in a particular case, the religious claim must be weighed against the countervailing values that favour the uniform application of the law or rule. This paper develops and applies a framework for assessing the weight of religious claims to exemption, across two dimensions. First, the importance of the burdened religious practice, which is determined by its level (...) of obligatoriness and centrality, according to the beliefs of the individual claimant. Second, the extent of the burden on the practice, which depends on the cost the individual bears if she both undertakes the religious practice and obeys the law or rule, where costs are assessed using an impartial account of individual interests. Exemptions should be granted when claims are weighty on either of these dimensions and the countervailing value is relatively weak. The final section of the paper responds to an important objection to this approach, which concerns administrability. (shrink)

This paper evaluates Jonathan Quong’s attempt to defend a version of political liberalism from the asymmetry objection. I object that Quong’s defence relies on a premise that has not been adequately supported and does not look as if it can be given adequate support.

We offer a brief characterization of creativity, followed by a review of some of the reasons people have been skeptical about the possibility of explaining creativity. We then survey some of the recent work on creativity that is naturalistic in the sense that it presumes creativity is natural (as opposed to magical, occult, or supernatural) and is therefore amenable to scientific inquiry. This work is divided into two categories. The broader category is empirical philosophy, which draws on empirical research while (...) addressing questions that have traditionally been regarded as philosophical. The second category is experimental philosophy, a special branch of empirical philosophy in which experiments are designed (by philosophers) with the explicit purpose of addressing philosophical questions. All of this highlights the relative theoretical neglect of creativity, while at the same time suggesting ample opportunity for experimentally minded philosophers to break new ground. (shrink)

Papers, Please, by Lucas Pope (2013), explores the story of a customs inspector in the fictional political regime of Arstotzka. In this paper we explore the stories, systems and moral themes of Papers, Please in order to illustrate the systemic approach to designing videogames for moral engagement. Next, drawing on the Four Component model of ethical expertise from moral psychology, we contrast this systemic approach with the more common scripted approach. We conclude by demonstrating the different strengths and weaknesses that (...) these two approaches have when it comes to designing videogames that engage the different aspects of a player’s moral expertise. (shrink)

The self can be understood in objective metaphysical terms as a bundle of properties, as a substance, or as some other kind of entity on our metaphysical list of what there is. Such an approach explores the metaphysical nature of the self when regarded from a suitably impersonal, ontological perspective. It explores the nature and structure of the self in objective reality, that is, the nature and structure of the self from without. This is the objective self. I am taking (...) a different approach. In addition to objective reality, which is usually understood and explored from an impersonal, quasi-observational and metaphysically realist perspective, we can also explore the nature and structure of subjective reality. The nature and structure of subjective reality is defined by the nature and structure of first-personal, conscious experience. Subjective reality is as real as objective reality, and a metaphysical realist such as myself can endorse the existence of both kinds of ontology. The mental states that, as experienced from the first-personal or subjective perspective, capture the nature and structure of subjective reality, are included in objective reality. The questions to explore in a subjective ontology of the self concern the nature and structure of the self from the first-personal or subjective perspective, that is, the nature and structure of the self from within. This is the subjective self. (shrink)

Neither Karl Popper, nor Frank Knight, nor Max Weber are cited or mentioned in Friedman’s famous 1953 essay “On the methodology of positive economics” (F53). However, they play a crucial role in F53. Making their con-tribution explicit suggests that F53 has been seriously misread in the past. I will first show that there are several irritating statements in F53 that are, taken together, not compatible with any of the usual readings of F53. Sec-ond, I show that an alternative reading of (...) F53 can be achieved if one takes seriously Friedman’s reference to ideal types; “ideal type” is a technical term introduced by Max Weber. Friedman was familiar with Max Weber’s work through Frank Knight, who was his teacher in Chicago. Given that in F53’s view ideal types are fundamen-tal building blocks of economic theory, it becomes clear why both instrumentalist and realist readings of F53 are inadequate. Third, the reading of F53 in terms of ideal types gives the role of elements from Popper’s falsifica-tionist methodology in F53 a somewhat different twist. Finally, I show that the irritating passages of F53 make good sense under the new reading, including the infamous “the more significant the theory, the more unrealistic the assumptions”. (shrink)

This essay examines the recent Planet of the Apes films through the lens of recent research in primatology. The films lend imaginary support to primatologist Frans de Waal’s evolutionary moral sentimentalism; however, the movies also show that truly moral motions outstrip the cognitive capacities of the great apes. The abstract moral principles employed by the ape community in the movie require the ability to understand and apply a common underlying explanation to perceptually disparate situations; in contrast, recent research in comparative (...) psychology demonstrates that the great apes lack this capacity. Since the capacity for abstraction is required on even the most basic version of moral sentimentalism—Shaun Nichols’ sentimental rules account—the lack of the capacity for abstraction reveals a qualitative distinction between primate social behavior and human morality. (shrink)

In her paper ‘An Awkward Relationship: the Case of Feminism and Anthropology’, Marilyn Strathern argues that feminist research cannot produce a paradigm shift in social anthropology. I reconstruct her arguments and evaluate them, revealing that they are insufficient for ruling out this possibility.

This paper argues that Rawls must commit himself to non-social human beings to defend his original position procedure.

Does the debate between Rawlsians and liberal perfectionists boil down to the following: for liberal perfectionists, the government should fund aesthetic projects that are in good taste; for Rawlsians, the government should be neutral on the aesthetic value of anything? If so, liberal perfectionists are committed to the view that there is objective aesthetic value. In this paper, I argue that within the Rawlsian system is a thesis that is difficult to reconcile with objectivity about aesthetics.

Some types of solar radiation management (SRM) research are ethically problematic because they expose persons, animals, and ecosystems to significant risks. In our earlier work, we argued for ethical norms for SRM research based on norms for biomedical research. Biomedical researchers may not conduct research on persons without their consent, but universal consent is impractical for SRM research. We argue that instead of requiring universal consent, ethical norms for SRM research require only political legitimacy in decision-making about global SRM trials. (...) Using Allen Buchanan & Robert Keohane's model of global political legitimacy, we examine several existing global institutions as possible analogues for a politically legitimate SRM decision-making body. (shrink)

Joseph Raz has argued that the problem of the amoralist is misconceived. In this paper, I present three interpretations of what his argument is. None of these interpretations yields an argument that we are in a position to accept.

The students’ argument against the possibility of a surprise exam assumes that the following would not occur: the teacher decides to give the exam on a certain day; the teacher believes that the exam would be a surprise on that day; but, actually, the exam would not be a surprise on that day. I give a reason to reject this assumption, and I point out that an attempt to reformulate the surprise exam paradox in order to allow for the assumption (...) does not result in an acceptable argument. (shrink)

G.E.M. Anscombe famously remarked that an adequate philosophy of psychology was needed before we could do ethics. Fifty years have passed, and we should now ask what significance our best theories of the psychology of agency have for moral philosophy. My focus is on non-moral conceptions of autonomy and self-governance that emphasize the limits of deliberation -- the way in which one's cares render certain options unthinkable, one's intentions and policies filter out what is inconsistent with them, and one's resolutions (...) function to block further reflection. I argue that we can expect this deliberative "silencing" to lead to moral failures that occur because the morally correct option was filtered out of the agent's deliberation. I think it follows from these conceptions of self-governance that we should be considered culpable for unwitting acts and omissions, even if they express no ill will, moral indifference, or blameworthy evaluative judgments. The question is whether this consequence is acceptable. Either way, the potential tradeoff between self-governance and moral attentiveness is a source of doubt about recent attempts to ground the normativity of rationality in our concern for self-governance. (shrink)

Some philosophers assert that astrology is a false theory. The simplest way to argue against all astrology is to identify a proposition that any kind of astrology must be committed to and then show that this proposition is false. In this paper I draw attention to some misconceptions about which propositions are essential to astrology.

This paper presents an objection to John Rawls’s use of the original position method to argue against implementing utilitarian rules. The use of this method is pointless because a small subset of the premises Rawls relies on can be used to infer the same conclusion.

This paper assesses an argument against the representationalist tradition in anthropology: the tradition of reporting how a cultural group represents the world. According to the argument, anthropologists working within this tradition cannot take the concepts of those they study seriously. I defend the representationalist tradition against this argument.

This paper evaluates an argument for the conclusion that in order to produce a viable objection to a particular error theory, the objection must not be applicable to any error theory. The reason given for this conclusion is that error theories about some discourses are uncontroversial. But the examples given of uncontroversial error theories are not good ones, nor do there appear to be other examples available.

John Rawls recommends a method for evaluating which principles institutions should abide by, known as reflective equilibrium. In this paper, I identify and challenge three assumptions that he makes.

In the sixth chapter of The View from Nowhere, Thomas Nagel attempts to identify a form of idealism. The position that he deems idealist is that what there is must be possibly conceivable by us. Nagel claims that this position is held by a number of contemporary philosophers. Even if this is so, I justify the view that it is not a form of idealism.

This paper discusses an explanation, offered by Tim Ingold, for why social and cultural anthropologists have so far paid little attention to the materials from which artefacts are composed. The explanation is that these anthropologists accept a certain argument. According to the argument, what an anthropologist should focus on when examining an artefact is the quality that makes it part of a culture, and this is not the materials from which the artefact is composed. I show that Ingold has not (...) made a compelling case against this argument, but also that it is not sound. (shrink)

Some political philosophers have judged that it is absurd to think that there can be unintentional consent. In this paper, I present an example of unintentional consent, which I refer to as the adapted boardroom example. I consider reasons for denying that this is an example of unintentional consent, but find that these reasons are unconvincing.

This paper evaluates a form of dualism, which is referred to here as the dualism of conceptual scheme and undifferentiated reality. According to this dualism, although reality appears to be divided into distinct things from the perspective of our system of concepts, it is actually not. I justify the view that this dualism is incoherent.

Three kinds of things may be creative: persons, processes, and products. The standard definition of creativity, used nearly by consensus in psychological research, focuses specifically on products and says that a product is creative if and only if it is new and valuable. We argue that at least one further condition is necessary for a product to be creative: it must have been produced by the right kind of process. We argue furthermore that this point has an interesting epistemological implication: (...) when you judge a product to be creative--attributing creativity--you are not just judging it to be new and valuable. Even if you did not witness how it was produced, you are also making a judgement about how it was produced. (shrink)

Philosophers and logicians talk of arguments for conclusions. In a recent paper, Jeffrey Goodman identifies a common way of thinking about what an argument is. I propose a definition that is quite different to this common way. I also make two objections to Goodman’s proposed definition.

John Rawls’s difference principle says that we should change our economy if doing so is better for the worst-off group, on the condition that certain basic rights are secured. This paper presents a kind of case that challenges the principle. If we modify the principle to cope with the challenge, we open the way to a Sorites paradox.

This paper presents a challenge to the coherence of social constructivism about science. It introduces an objection according to which social constructivism appeals to the authority of science regarding the nature of reality and so cannot coherently deny that authority. The challenge is how to avoid this incoherence.

This paper evaluates a definition of anthropology at home formulated by Marilyn Strathern in her book contribution 'The Limits of Auto-Anthropology'. According to the definition, anthropology at home is anthropology carried out in the social context that produced this discipline. I argue that this is not an adequate definition of anthropology at home.

This paper observes that P. F. Strawson’s distinction between descriptive and revisionary metaphysics is a baffling one from the perspective of traditional metaphysics. If one thinks of metaphysics as the study of the fundamental nature of reality, it is bewildering to divide up metaphysics in this way. The paper then tries to show how the distinction is no longer bewildering if we deny that such study is possible.

Some formulations of the surprise paradox involve a pair of unnecessary and controversial assumptions. After casting doubt on these assumptions, I propose a solution to the paradox.

There is an intuition that the past does not ever change. In their paper ‘The puzzle of the changing past,’ Luca Barlassina and Fabio Del Prete argue that in 2012 the past changed. I show that we are not in a position to accept their argument.

I present some objections to traditional literary interpretation and consider subversive interpretation as a solution to these problems. Subversive interpretation may seem more scientific and more democratic than traditional interpretation, but it is open to doubt that it is more democratic.