A language in which we can express arithmetic and which contains its own satisfaction predicate (in the style of Kripke's theory of truth) can be formulated using just two nonlogical primitives: (the successor function) and Sat (a satisfaction predicate).

The notion of computability is developed through the study of the behavior of a set of languages interpreted over the natural numbers which contain their own fully defined satisfaction predicate and whose only other vocabulary is limited to "0", individual variables, the successor function, the identity relation and operators for disjunction, conjunction, and existential quantification.

Suppose we wish to decide which of a pair of actions has better consequences in a case in which both actions result in infinite utility. Peter Vallentyne and others have proposed that one action has better consequences than a second if there is a time after which the cumulative utility of the first action always outstrips the cumulative utility of the second. I argue against this principle, in particular I show how cases may arise in which up to any point (...) of time action a1 produces more utility than action a2, yet for each individual involved a2 produces more utility. (shrink)

I EXPLORE ONE WAY IN WHICH THE THEORY OF RELATIVE IDENTITY (DEVELOPED ALONG LINES SUGGESTED BY GEACH’S WRITINGS) CAN BE USED TO UNDERSTAND THE WAY LANGUAGE FUNCTIONS IN TRINITARIAN DOCTRINE. THIS INCLUDES A DISCUSSION OF REDUPLICATIVE PROPOSITIONS.

Many philosophers accept with certainty that we are morally responsible but take it to be an open question whether determinism holds. They treat determinism as epistemically compatible with responsibility. Should one who accepts this form of epistemic compatibilism also hold that determinism is metaphysically compatible with responsibility—that it is metaphysically possible for determinism and responsibility to coexist? John Martin Fischer gives two arguments that appear to favor an affirmative answer to this question. He argues that accounts of responsibility, such as (...) his, that are neutral with respect to whether responsible actions are determined have a "resiliency" that counts in their favor. Furthermore, he criticizes libertarians who argue on a priori grounds that determinism cannot coexist with responsibility and who admit that they would retract their argument if determinism were shown to hold; this "metaphysical flip-flopping" is said to render their positions implausible. I assess the merits of these arguments. (shrink)

Frankfurt examples are frequently used in arguments designed to show that agents lacking alternatives, or lacking ‘regulative control’ over their actions, can be morally responsible for what they do. I will maintain that Frankfurt examples can be constructed that undermine those very arguments when applied to actions for which the agent bears fundamental responsibility.

It is well known that the following features hold of AR + T under the strong Kleene scheme, regardless of the way the language is Gödel numbered: 1. There exist sentences that are neither paradoxical nor grounded. 2. There are 2ℵ0 fixed points. 3. In the minimal fixed point the weakly definable sets (i.e., sets definable as {n∣ A(n) is true in the minimal fixed point where A(x) is a formula of AR + T) are precisely the Π1 1 sets. (...) 4. In the minimal fixed point the totally defined sets (sets weakly defined by formulae all of whose instances are true or false) are precisely the ▵1 1 sets. 5. The closure ordinal for Kripke's construction of the minimal fixed point is ωCK 1. In contrast, we show that under the weak Kleene scheme, depending on the way the Gödel numbering is chosen: 1. There may or may not exist nonparadoxical, ungrounded sentences. 2. The number of fixed points may be any positive finite number, ℵ0, or 2ℵ0 . 3. In the minimal fixed point, the sets that are weakly definable may range from a subclass of the sets 1-1 reducible to the truth set of AR to the Π1 1 sets, including intermediate cases. 4. Similarly, the totally definable sets in the minimal fixed point range from precisely the arithmetical sets up to precisely the ▵1 1 sets. 5. The closure ordinal for the construction of the minimal fixed point may be ω, ωCK 1, or any successor limit ordinal in between. In addition we suggest how one may supplement AR + T with a function symbol interpreted by a certain primitive recursive function so that, irrespective of the choice of the Godel numbering, the resulting language based on the weak Kleene scheme has the five features noted above for the strong Kleene language. (shrink)

There is a conception of hell that holds that God punishes some people in a way that brings about endless suffering and unhappiness. An objection to this view holds that such punishment could not be just since it punishes finite sins with infinite suffering. In answer to this objection, it is shown that endless suffering, even intense suffering, is consistent with the suffering being finite. Another objection holds that such punishment is contrary to God's love. A possible response to this (...) objection is developed. (shrink)

I will argue that the Kane-Widerker objection to Frankfurt examples is much weaker than is generally recognized. The Kane-Widerker objection holds that proponents of Frankfurt examples beg the question against incompatibilist accounts of free and responsible action by constructing examples that tacitly assume a compatibilist account of moral responsibility; that is, they assume that one can have non-derivative responsibility for choices that were not undetermined prior to their occurrence. The notion of an event, E, being ‘undetermined prior to its occurrence’ (...) is ambiguous. It can mean either (1) with respect to each time t prior to E’s occurrence, it is not the case that at t E’s occurrence is determined to take place, or it can mean (2) with respect to the whole collection of times prior to E’s occurrence, E’s occurrence is not determined to take place. Kane’s argument shows that (under certain constraints) if a choice is to be undetermined (in the second sense) prior to its occurrence, then a prior-sign Frankfurt example cannot be successful. But he fails to show that prior-sign Frankfurt examples cannot be constructed in which the choice is undetermined (in the first sense) prior to its occurrence, and he would need to do so in order to sustain his charge that those using Frankfurt examples beg the question against traditional incompatibilist accounts of responsibility. Widerker’s argument avoids the above problem, but at the cost of only applying to a rather restricted set of Frankfurt examples. (shrink)

According to the free-will defence, the exercise of free will by creatures is of such value that God is willing to allow the existence of evil which comes from the misuse of free will. A well-known objection holds that the exercise of free will is compatible with determinism and thus, if God exists, God could have predetermined exactly how the will would be exercised; God could even have predetermined that free will would be exercised sinlessly. Thus, it is held, the (...) free-will defence cannot be used as a partial account of why God should have allowed evil to exist. I investigate this objection using Kripke's apparatus for treating modalities and natural kinds to explore the nature of the incompatibilism required by the free-will defence. I show why the objection fails even if the standard arguments for compatibilism are acceptable. This is because the modality involved in the incompatibilism needed by the free-will defence differs from the modality involved in the compatibilism that is supported by standard compatibilist arguments. Finally, an argument is sketched for a variety of incompatibilism of the kind needed by the free-will defence. (shrink)

Frankfurt style examples (FSEs) have played an important role in the development of metaphysical accounts of moral agency. The legitimacy of this approach often requires that FSEs be metaphysically possible. I argue that, given our current knowledge of the nature of decision-making, we have no grounds to accept the metaphysical possibility of many standard FSEs involving a device that can be triggered to bring about a predetermined decision.

Contemporary accounts of the Trinity and Incarnation sometimes employ aspects of Peter Geach's theory of relative identity. Geach's theory provides an account not merely of identity predicates, but also proper names and restricted quantification. In a previous work I developed an account of the doctrines of the Trinity and Incarnation incorporating these three aspects of Geach's theory and tried to show how each might contribute to our understanding of the doctrines. Joseph Jedwab has recently argued that my account—or any that (...) employs Geach's treatment of restricted quantifiers—leads to serious doctrinal errors. I reply to his criticisms. (shrink)

This essay reframes salient issues in discussions of free will using conceptual apparatus developed in the works of Saul Kripke, with particular attention paid to his little-discussed technical notion of a prejudice. I begin by focusing on how various forms of modality (metaphysical, epistemic, and conceptual) underlie alternate forms of compatibilism and discuss why it is important to avoid conflating these forms of compatibilism. The concept of a prejudice is then introduced. We consider the semantic role of prejudices, in particular (...) conditions in which prejudices turn out to express metaphysically necessary truths. With that as background, I discuss a set of prejudices involving the notion of choice. We consider the role these prejudices might play, should they turn out to be true, in determining the answer to various compatibility questions concerning the nature of moral responsibility and choice. (shrink)

Classical utilitarianism attempts to reduce the moral significance of the individual to something more basic: the value of the individual is seen as fully grounded in considerations of utility maximization. This paper criticizes this aspect of utilitarianism and tries to do so through an appeal to considerations that would be acceptable to one who embraces utilitarianism. First, an example is developed in which (1) a pair of mutually exclusive actions each yield infinite utility; (2) neither action can be said to (...) yield more utility than the other, and (3) one of the actions is clearly preferable. This provides a case in which the moral significance of the individual cannot be fully reduced to considerations of utility maximizing features of the action. A second example, developed along the lines of the first example, involves only finite utilities. (shrink)

P. T. Geach has argued that it is impossible to demonstrate that the doctrine of the Trinity is consistent. I try to show why -- on a common understanding of the notion of consistency -- his reasoning is flawed and why, on Geach’s own principles, one should expect that if the doctrine of the Trinity is true then it will be possible to prove that the doctrine is consistent, and it will be possible to do this in a way that (...) makes no appeal to the truth of any religious doctrine. (shrink)

Recent debates about the most appropriate political agents for realising social justice have largely focused on the potential value of national political parties on the one hand, and trade unions on the other. Drawing on the thought of Murray Bookchin, this article suggests that democratic municipalist agents – democratic associations of local residents that build and empower neighbourhood assemblies and improve the municipal provision of basic goods and services – can often also make valuable contributions to projects of just social (...) change. I identify a long-term and a more short-term argument for the value of democratic municipalist agency in Bookchin's thought and claim that the latter provides a compelling case for the valuable contributions this form of action can make to the achievement of a wide variety of visions of social justice. This provides a useful partial corrective to recent political theorising about the nature of the partisanship and trade unionism necessary to secure social justice. (shrink)

ABSTRACT This paper explores the role of aesthetic judgements in mathematics by focussing on the relationship between the epistemic and aesthetic criteria employed in such judgements, and on the nature of the psychological experiences underpinning them. I claim that aesthetic judgements in mathematics are plausibly understood as expressions of what I will call ‘aesthetic-epistemic feelings’ that serve a genuine cognitive and epistemic function. I will then propose a naturalistic account of these feelings in terms of sub-personal processes of representing and (...) assessing the relation between cognitive processes and certain properties of the stimuli at which they are directed. (shrink)

In this article, I offer an account of what one of the short-term political aims of proponents of greater equality ought to be. I claim that the strengthening of reflective capacity—citizens’ ability to impose a temporary level of distance from their commitments, to consider alternatives to them, and to evaluate their origins and validity—ought to be one key aim of egalitarian politics under present political conditions. I then propose activist-led education programs as one desirable means to deliver this end of (...) strengthened reflective capacity. Where activist-led education provides plentiful informational resources and opportunities to practice deploying one’s reflective capacity, and also emphasizes and encourages intellectual humility, it seems well placed to help bring about this aim. Activist-led education programs are commonly subject to what I term the indoctrination worry, but I try to show that there are not good grounds for concluding in advance of further study that the delicate balancing of ends that permissible activist-led education requires is either categorically unachievable, or avoidable in the way these objectors often press. The argument thus provides presumptive grounds for considering the proliferation of suitably organized activist-led education programs an important component of a broader strategy of egalitarian social change. (shrink)

Recent empirical work on folk moral objectivism has attempted to examine the extent to which folk morality presumes that moral judgments are objectively true or false. Some researchers report findings that they take to indicate folk commitment to objectivism (Goodwin & Darley, 2008, 2010, 2012; Nichols & Folds-Bennett, 2003; Wainryb et al., 2004), while others report findings that may reveal a more variable commitment to objectivism (Beebe, 2014; Beebe et al., 2015; Beebe & Sackris, 2016; Sarkissian, et al., 2011; Wright, (...) 2018; Wright, Grandjean, & McWhite, 2013; Wright, McWhite, & Grandjean, 2014). However, the various probes that have been used to examine folk moral objectivism almost always fail to be good direct measures of objectivism. Some critics (Beebe, 2015; Pölzler, 2017, 2018) have suggested that the problems with existing probes are serious enough that they should be viewed as largely incapable of shedding any light on folk metaethical commitments. Building upon the work of Justin Khoo and Joshua Knobe (2018), I argue that many of the existing probes can be seen as good measures of the extent to which people think that the truth of one moral judgment excludes the possibility that a judgment made by a disagreeing party is also true and that the best explanation of the findings obtained using these measures is significant folk support for indexical moral relativism—the view that the content of moral judgments is context-sensitive. If my thesis is correct, many contemporary moral philosophers are deeply mistaken about the metaethical contours of folk morality in one very important respect. (shrink)

This paper addresses the so-called paradox of fiction, the problem of explaining how we can have emotional responses towards fiction. I claim that no account has yet provided an adequate explanation of how we can respond with genuine emotions when we know that the objects of our responses are fictional. I argue that we should understand the role played by the imagination in our engagement with fiction as functionally equivalent to that which it plays under the guise of acceptance in (...) practical reasoning, suggesting that the same underlying cognitive-affective mechanisms are involved in both activities. As such, our imaginative engagement with fiction un-problematically arouses emotions, but only to the extent that we are not occurrently attending to our epistemic relation to the fiction i.e. fully attending to the fact that the object of our response is merely fictional. In order to illuminate this idea I examine a recent proposal that the phenomenology of attention is partially non-attributive, and I argue that emotional phenomenology too shares this characteristic. (shrink)

Experimental philosophy brings empirical methods to philosophy. These methods are used to probe how people think about philosophically interesting things such as knowledge, morality, and freedom. This paper explores the contribution that qualitative methods have to make in this enterprise. I argue that qualitative methods have the potential to make a much greater contribution than they have so far. Along the way, I acknowledge a few types of resistance that proponents of qualitative methods in experimental philosophy might encounter, and provide (...) reasons to think they are ill-founded. (shrink)

A state-based reason for one to intend to perform an action F is a reason for one to intend to F which is not a reason for one to F. Are there any state-based reasons to intend? According to the Explanatory Argument, the answer is no, because state-based reasons do not satisfy a certain explanatory constraint. I argue that whether or not the constraint is correct, the Explanatory Argument is unsound, because state-based reasons do satisfy the constraint. The considerations that (...) undermine the Explanatory Argument also generate a strong, positive case for the existence of state-based reasons to intend. (shrink)

This Ideas and Opinions article revisits an argument from Judith Jarvis Thomson in her essay “A Defense of Abortion” that abortion can be an ethical choice even if we assume that fetuses have full moral personhood and moral rights. The authors examine the implications of laws that require a pregnant person to care for another with their body and what other impositions states may also require of citizens to care for others.

Experimental philosophers have investigated various ways in which non‐epistemic evaluations can affect knowledge attributions. For example, several teams of researchers (Beebe and Buckwalter 2010; Beebe and Jensen 2012; Schaffer and Knobe 2012; Beebe and Shea 2013; Buckwalter 2014b; Turri 2014) report that the goodness or badness of an agent’s action can affect whether the agent is taken to have certain kinds of knowledge. These findings raise important questions about how patterns of folk knowledge attributions should influence philosophical theorizing about knowledge.

In this paper I wish to defend a particular form of the traditional, and now almost wholly unfashionable, notion of an aesthetic attitude.

Kant was engaged in a lifelong struggle to achieve what he calls in the 1756 Physical Monadology (PM) a “marriage” of metaphysics and geometry (1:475). On one hand, this involved showing that metaphysics and geometry are complementary, despite the seemingly irreconcilable conflicts between these disciplines and between their respective advocates, the Leibnizian-Wolffians and the Newtonians. On the other hand, this involved defining the terms of their union, which meant among other things, articulating their respective roles in grounding Newtonian natural science. (...) In this paper, consider how Kant’s project of marrying metaphysics and geometry evolves from the pre-Critical to the Critical period and how key discussions in the Prolegomena are related to the lifelong marriage project. (shrink)

This chapter moves from the most fundamental parts of Aquinas’s metaphysics to Aquinas’s thought about the created world, and especially the way in which things in the created world are able to act as beings in their own right, without altering their dependence on the creator. The result is an account of the causality of creatures that does not impugn their connection to the more basic causality of the Deity and that allows this part of Aquinas’s account to be compatible (...) with accounts of causality in modern science. (shrink)

This chapter considers possible moral grounds for recognizing and realizing economic and social rights (ESRs) as human rights. It begins by suggesting that ESRs fall into three families: (1) welfareoriented ESRs, which protect adequate income, education, health, and safe and healthful working conditions; (2) freedom-oriented ESRs, which prohibit slavery, ensure free choice of employment, and protect workers’ freedoms to organize and strike: and (3) fairness-oriented ESRs, which require nondiscrimination and equal opportunity in the workplace along with fair remuneration for one’s (...) work. To accommodate the normative diversity found in these three families, the chapter suggests a pluralistic justicatory framework that appeals to three kinds of moral reasons: human welfare, freedom, and fairness. A final section considers the possibility of subsuming all three of these approaches to justication under the idea of human dignity or the associated idea of equal respect for persons. (shrink)

In this paper I describe a novel application of contemplative techniques to software engineering with the goal of augmenting the intellectual capabilities of knowledge workers within the field in four areas: flexibility, attention, creativity, and trust. The augmentation of software engineers’ intellectual capabilities is proposed as a third complement to the traditional focus of methodologies on the process and environmental factors of the software development endeavor. I argue that these capabilities have been shown to be open to improvement through the (...) practices traditionally used in spiritual traditions, but now used increasingly in other fields of knowledge work, such as in the medical profession and the education field. Historically, the intellectual capabilities of software engineers have been treated as a given within any particular software development effort. This is argued to be an aspect ripe for inclusion within software development methodologies. (shrink)

Public reason liberalism is the political theory which holds that coercive laws and policies are justified when and only when they are grounded in reasons of the public. The standard interpretation of public reason liberalism, consensus accounts, claim that the reasons persons share or that persons can derive from shared values determine which policies can be justified. In this paper, I argue that consensus approaches cannot justify fair educational policies and preserving cultural goods. Consensus approaches can resolve some controversies about (...) teaching values in the educational system, such as curriculum choice. But they cannot determine which culture goods, e.g., architecture, artwork, or language ought to be preserved in the education system. Consensus approaches cannot fairly resolve competing claims about these kinds of disputes. -/- I propose that convergence accounts of public reason, which allow individuals to draw on their own comprehensive doctrines in limited ways, can remedy these weaknesses in the mainline public reason tradition. The convergence approach can justify a pluralist state that can advance valuable community goods. John Henry Newman’s advocacy of liberal arts education finds resonance in other cultures, notably among Confucians, illustrating that there can be a shared moral vision and inquiry into the good life across deep substantive disagreements about educational values and policies, once we expand our notion of justification to be more inclusive. (shrink)

This volume brings together diverse sets of standpoints on liberalism in an era of growing skepticism and distrust regarding liberal institutions. The essays in the volume: - Relate concerns for liberal institutions with classical themes in perfectionist politics, such as the priority of the common good in decision-making or the role of comprehensive doctrines. - Analyse how perfectionist intuitions about the political life affect our concepts of public reason or public justification. - Outline various moral duties we have toward other (...) persons that underlie the liberal institutions or notions of rights functioning across the contemporary political landscape. - Explore various aspects of pluralism from within influential religious or philosophical traditions, applying insights from those traditions to issues in contemporary politics. The comprehensive volume will be of great interest to scholars, students, and researchers of politics, especially those in political philosophy and political theory. (shrink)

The chapter examines fifty years of philosophers working on lying - from the 1970s to the current day – focusing on how lying is defined (descriptively and normatively), whether lying involves an intention to deceive (Deceptionists) or not (Non-Deceptionists), why lying is wrong, and whether lying is worse than other forms of deception, including misleading with the truth. Philosophers discussed include Roderick Chisholm and Thomas Feehan, Alan Donagan, Sissela Boy, Charles Fried, David Simpson, David Simpson, Bernard Williams, Paul Faulkner, Thomas (...) Carson, Roy Sorensen, Don Fallis, Jennifer Saul, Andreas Stoke, Jonathan Webber and Clea Rees. (shrink)

The aim of this paper is to explain why creativity is an artistic merit. Artworks and non-artworks can both be creative. But creativity does not help make many other creative things good of their kind. A creative explanation is not a better explanation in virtue of being creative. Why, then, is a creative artwork a better artwork in virtue of being creative? Understanding this will give us a better understanding of the nature of artistic merit. The approach adopted in this (...) paper is as follows. First, I say what creativity is and what an artistic merit is. Second, I identify reasons to doubt that creativity is an artistic merit. A good explanation of the merit of creativity should address these doubts. Third, I develop a theory of artistic merit that appeals to the final value of acting excellently – for example, virtuously or skilfully. Finally, I argue that this enables us to explain why creativity is an artistic merit. This account also enables us to argue that artistic merits give some things final value, and not merely instrumental value. It also provides reason to believe that ethical qualities of artworks enhance their artistic merit for the same reason creativity does. (shrink)

The ethical philosophy of Emmanuel Levinas is typically associated with a punishing conception of responsibility rather than freedom. In this chapter, our aim is to explore Levinas’s often overlooked theory of freedom. Specifically, we compare Levinas’s account of freedom to the Kantian (and Fichtean) idea of freedom as autonomy and the Hegelian idea of freedom as relational. Based on these comparisons, we suggest that Levinas offers a distinctive conception of freedom—“finite freedom.” In contrast to Kantian autonomy, finite freedom constitutively involves (...) standing in certain social relations with others. And in contrast to Hegelian relational freedom, the social relations involved in finite freedom are not defined by mutual recognition, but by feelings of separation and even antagonism. Along the way, we promote a reading Levinas’s Totality and Infinity as a Hegel-style story of Bildung (development), and show how, on Levinas’s view, freedom can develop or mature in the life of the individual. (shrink)

Quantity is the first category that Aristotle lists after substance. It has extraordinary epistemological clarity: "2+2=4" is the model of a self-evident and universally known truth. Continuous quantities such as the ratio of circumference to diameter of a circle are as clearly known as discrete ones. The theory that mathematics was "the science of quantity" was once the leading philosophy of mathematics. The article looks at puzzles in the classification and epistemology of quantity.

Amie Thomasson’s work provides numerous ways to rethink and improve our approach to metaphysics. This chapter is my attempt to begin to sketch why I still think the easy approach leaves room for substantive metaphysical work, and why I do not think that metaphysics need rely on any ‘epistemically metaphysical’ knowledge. After distinguishing two possible forms of deflationism, I argue that the easy ontologist needs to accept (implicitly or explicitly) that there are worldly constraints on what sorts of entities could (...) exist, and could co-exist. I argue this leaves room for a substantive role for metaphysics if (following the work of E.J. Lowe) we take metaphysics to be concerned with the possible ways that reality could be. I explain how this conception does not need to appeal to any ‘epistemically metaphysical’ knowledge, and need only make use of conceptual and/or empirical means to arrive at views on what could exist (and co-exist). Thus, the answer I propose to the question posed in the title, at least in my view, is no-one. Or, at least, no-one should be afraid of conceptual analysis. Not even metaphysicians. (shrink)

The teachings and actions of Jesus Christ (Yeshua Ha'Mashiach) and the apostles recorded in the New Testament are analyzed in regard to their ethical and political philosophy, with analysis of context vis-à-vis the Old Testament (Tanakh, or Hebrew Bible) being given. From this analysis, it is shown that Jesus is a libertarian anarchist, i.e., a consistent voluntaryist. The implications this has for the world are profound, and the ramifications of Jesus's anarchism to Christians' attitudes toward government (the state) and its (...) actions are explicated. (shrink)