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.

A review of Edward Feser's Five Proofs of the Existence of God.

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.

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.

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

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)

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

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.

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.

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)

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.

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.

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)

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.

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.

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)

The professor of psychopathology Simon Baron-Cohen is well-known for his thesis that males are on average better at systematizing than empathizing and females are on average better at empathizing than systematizing. In this paper, I note an ambiguity in how he defines systematizing.

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)

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.

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)

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.

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)

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

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

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)

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.

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.

Zeno’s Arrow and Nāgārjuna’s Fundamental Wisdom of the Middle Way Chapter 2 contain paradoxical, dialectic arguments thought to indicate that there is no valid explanation of motion, hence there is no physical or generic motion. There are, however, diverse interpretations of the latter text, and I argue they apply to Zeno’s Arrow as well. I also find that many of the interpretations are dependent on a mathematical analysis of material motion through space and time. However, with modern philosophy and physics (...) we find that the link from no explanation to no phenomena is invalid and that there is a valid explanation and understanding of physical motion. Hence, those arguments are both invalid and false, which banishes the MMK/2 and The Arrow under this and derivative interpretations to merely the history of philosophy. However, a view that maintains their relevance is that each is used as a koan or sequence of koans designed to assist students in spiritual meditation practice. This view is partly justified by the realization that both Nāgārjuna and Zeno were likely meditation masters in addition to being logicians. The works are, therefore, not works that should be assessed as having valid arguments and true conclusions by the standards of modern analytic philosophy—contrary to some of the literature—but rather are therapeutic and perhaps more appropriately considered as part of an experientially focused philosophy such as existentialism, phenomenology or religion. (shrink)

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.

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)

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.

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

A survey of the notion of intention as it relates to debates in the philosophy of action, moral psychology, and ethics.

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)

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

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.

The expression “The owl of Minerva flies at dusk” is used to convey that philosophers are only able to identify the assumptions that are made within a period of history, a period of which they are part, when that period is coming to an end and those assumptions will soon no longer be made. In this paper, I support a rival view according to which those involved in a historical period can know their assumptions earlier, given appropriate talent and effort.

This paper evaluates an argument from Donald Davidson against alternative conceptual schemes. The argument can be divided into two stages. In the first stage it is argued that only pluralities can be organized. In the second stage it is argued that if our conceptual scheme organizes a plurality and someone else’s scheme also organizes that plurality, there must be a set of common concepts, hence someone else’s scheme can never be an alternative scheme to ours. I object to the first (...) stage of the argument. (shrink)

This paper evaluates the following argument, suggested in the writings of Donald Davidson: if there is such a thing as the given, then there can be alternative conceptual schemes; there cannot be alternative conceptual schemes; therefore there is no such thing as the given.

In different papers, David Liggins and Chris Daly tell philosophers what they should not do. There is no sign of them withdrawing any of these prohibitions, but I show that they fail to be consistent when asserting them. The inconsistency concerns when a philosopher should defer to the empirical findings of science.