Deprivation views of the badness of death are almost universally accepted among those who hold that death can be bad for the person who dies. In their most common form, deprivation views hold that death is bad because (and to the extent that) it deprives people of goods they would have gained had they not died at the time they did. Contrast this with categorical desire views, which hold that death is bad because (and to the extent that) it (...) thwarts people’s categorical desires. Categorical desires are desires that are not conditional upon one being alive; yet provide reason for the agent to continue living to ensure that those very desires are satisfied. I argue that categorical desire views are subject to two serious problems that deprivation views are not. First, categorical desire views entail that it is not bad for someone to not be resuscitated after dying a bad death. Second, categorical desire views cannot account for cases in which it is good to prevent people from coming into existence or cases in which it is good to prevent them from continuing to exist. After considering, and rejecting, various replies on behalf of categorical desire proponents, I conclude that we have good reason to reject categorical desire views in favor of deprivation views. (shrink)

What is sexual orientation? The contemporary consensus among philosophers is that it is a disposition. Unsurprisingly, recent debates about the metaphysics of sexual orientation are almost entirely intramural. Behavioral dispositionalists argue that sexual orientation is a disposition to behave sexually. Desire dispositionalists argue that it is a disposition to desire sexually. We argue that sexual orientation is not best understood in terms of dispositions to behave or dispositions to desire before arguing that dispositions tout court fail to illuminate sexual orientation. (...) We then introduce and defend the idea that sexual orientation is best understood in terms of categorical phenomenal properties of sexual arousal. (shrink)

Bernard Williams argues that human mortality is a good thing because living forever would necessarily be intolerably boring. His argument is often attacked for unfoundedly proposing asymmetrical requirements on the desirability of living for mortal and immortal lives. My first aim in this paper is to advance a new interpretation of Williams' argument that avoids these objections, drawing in part on some of his other writings to contextualize it. My second aim is to show how even the best version of (...) his argument only supports a somewhat weaker thesis: it may be possible for some people with certain special psychological features to enjoy an immortal life, but no one has good reason to bet on being such a person. (shrink)

In this essay, I argue that an immortal existence could be desirable. Taking the accounts of Williams and Smuts under careful consideration, I agree with Fischer that an immortal existence could be gratifying. When Fischer argues that it is unfair for Williams to posit that an immortal life must have self-exhausting pleasures and, overall, a better experience than mortal life, he gets to the crux of the argument for immortality: as long as there are positive categorical desires for (...) the individual, then such life-affirming desires will provide an impetus to carry on. In moving past the Teiresias model of a phenomenon that retains memories while changing characters, I argue that a life of intellectual inquiry – which essentially alters the character of the individual while maintaining memories – offers an outward looking existence which provides internal pleasures. Accordingly, with the use of technology, computer simulations have the potential to provide pleasures and experiences that escape reality. In this sense, technology has the potential to supplement an immortal life. We cannot say whether there will be a pinnacle of such learning and pleasure which leads to decreasing returns, but it seems plausible that an immortal being who incorporates learning and pleasure that could potentially lead to innovation and discovery would seek to continue such intellectual inquiry and varied experiences until all learning potentials were exhausted. (shrink)

I show that the model-theoretic meaning that can be read off the natural deduction rules for disjunction fails to have certain desirable properties. I use this result to argue against a modest form of inferentialism which uses natural deduction rules to fix model-theoretic truth-conditions for logical connectives.

*These notes were folded into the published paper "Probability and nonclassical logic*. Revising semantics and logic has consequences for the theory of mind. Standard formal treatments of rational belief and desire make classical assumptions. If we are to challenge the presuppositions, we indicate what is kind of theory is going to take their place. Consider probability theory interpreted as an account of ideal partial belief. But if some propositions are neither true nor false, or are half true, or whatever—then it’s (...) far from clear that our degrees of belief in it and its negation should sum to 1, as classical probability theory requires (?, cf.). There are extant proposals in the literature for generalizing (categorical) probability theory to a non-classical setting, and we will use these below. But subjective probabilities themselves stand in functional relations to other mental states, and we need to trace the knock-on consequences of revisionism for this interrelationship (arguably, degrees of belief only count as kinds of belief in virtue of standing in these functional relationships). (shrink)

It is sometimes argued that autonomous decision-making requires that the decision-maker’s desires are authentic, i.e., “genuine,” “truly her own,” “not out of character,” or similar. In this article, it is argued that a method to reliably determine the authenticity (or inauthenticity) of a desire cannot be developed. A taxonomy of characteristics displayed by different theories of authenticity is introduced and applied to evaluate such theories categorically, in contrast to the prior approach of treating them individually. The conclusion is drawn (...) that, in practice, the authenticity of desires cannot be reliably determined. It is suggested that authenticity should therefore not be employed in informed consent practices in healthcare. (shrink)

If I desire to drink some stuff thinking it is hot chocolate when actually it is hot mud, my desire is not a real one - it’s mistaken or only apparent. This example illustrates how a desire must always depend on a belief about its object, a belief about what it is and what it’s like. But beliefs are correctable, so desires are correctable. This leads us directly to a very sweeping principle - that I only really desire what (...) I would be desiring with a perfect grasp of everything involved. If there’s something that I desire only because my grasp of it is less than perfect, then it is not something that I really desire. I have no real reason for wanting it, and it would not be in my real self-interest to get it. The hypothetical perfect grasp that defines a real desire would have to have a God-like reach into all the relevant realities in all their actuality and all their potential. And it would have to include perfectly within it all the desires of all those affected by what the grasp was of. Therefore what would be wanted in a perfect grasp would be a reconciliation of all the systems of desire contained within it - not as they happen to be but as they would be corrected by a perfect grasp. This reconciliation of systems of desire is that which morality requires. Therefore what I really want - my own fully-corrected self-interest - is precisely the same as the requirements of morality. This sameness explains and justifies morality’s categorical character and over-riding authority. (shrink)

Over the course of the Twilight series, Bella strives to and eventually succeeds in convincing Edward to turn her into a vampire. Her stated reason for this is that it will allow her to be with Edward forever. In this essay, I consider whether this type of immortality is something that would be good for Bella, or indeed for any of us. I begin by suggesting that Bella's own viewpoint is consonant with that of Leo Tolstoy, who contends that one (...) could not have meaningful life without immortality, because only immortality could allow one to make a permanent difference in the world. I argue that this characterization of a meaningful life is problematic, however, insofar as (1) immortality is neither sufficient nor necessary for having such an impact and (2) there is little reason to think that having such an impact is constitutive of a meaningful life. I go on to consider Edward's fear that vampires lack a soul as it relates to Martha Nussbaum's claim that immortal beings would be less capable of certain paradigmatic human values and virtues such as courage, love, or self-sacrifice. I suggest, contra Nussbaum, that Carlisle provides an example of an immortal who displays recognizably human virtues. However, the possibility of Carlisle's being virtuous in this way depends on the existence of other creatures who are mortal. -/- I close by considering the problem of boredom, as articulated by Bernard Williams. According to Williams, a meaningful human life is constituted by certain categorical desires such as the desire to raise children or to create art. The projects aimed at accomplishing these desires are necessarily finite in length, and cannot be repeated indefinitely without losing their value. I argue that many, though perhaps not all, of the immortals described in the series suffer from such boredom. For example, Edward and Rosalie struggle to find meaning in their lives and most werewolves choose to age and die normally after a certain time. Perhaps more significantly, many of the non-"vegetarian" vampires seem to have become entirely divorced from any recognizably human projects or values, and have become focused entirely on satisfying their immediate desires. These examples provide some reason to think that many of Bella's reasons for living, which are essentially tied to her mortality, are not likely to be met by becoming immortal. While this does not show that her choice to become a vampire will leave her ultimately unhappy, it does suggest that her doing so represents a considerable sacrifice. (shrink)

In this chapter I argue that choosing to live forever comes with the threat of an especially pernicious kind of boredom. However, it may be theoretically possible to circumvent it by finding ways to pursue an infinite number of projects consistent with one’s personality, taking on endlessly pursuable endlessly interesting projects, or by rekindling old projects once you’ve forgotten about them. However, each of these possibilities is contingent upon having certain traits that you are likely not currently in a good (...) position to assess. I therefore argue that no one is in a good position to be confident about her prospects for living forever. (shrink)

Epistemologists often describe subjects as being capable of adopting a third kind of categorical doxastic stance regarding whether something is the case, besides belief and disbelief. They deploy a variety of idioms in order to ascribe that stance. In this paper, I flesh out the properties that the third kind of categorical stance is supposed to have and start searching for the best ways to ascribe it. The idioms ‘suspends judgment about whether’ and ‘is agnostic about whether’, among (...) others, are found to be unfit to play the desired role. In the end, I suggest that ‘is in doubt as to whether’ is our best choice among the alternatives surveyed here. (shrink)

In this paper, I argue for the necessity of including what I call “categorical norms” in Thomas Aquinas’s account of the ground of obligation (normativity theory) by drawing on the value phenomenology of Dietrich von Hildebrand. A categorical norm is one conceptually irreducible to any non-normative concept and which obligates us irrespective of pre-existing aims, goals, or desires. I show that Thomistic normativity theory on any plausible reading of Aquinas lacks categorical norms and then raise two (...) serious objections which constitute master arguments against it. The upshot is that this theory requires reform. I end by proposing work remaining for such reform, namely, an expansion of the Thomistic metaphysic and anthropology. (shrink)

Artificial intelligence and robotics is pervasive in daily life and set to expand to new levels potentially replacing human decision-making and action. Self-driving cars, home and healthcare robots, and autonomous weapons are some examples. A distinction appears to be emerging between potentially benevolent civilian uses of the technology (eg unmanned aerial vehicles delivering medicines), and potentially malevolent military uses (eg lethal autonomous weapons killing human com- batants). Machine-mediated human interaction challenges the philosophical basis of human existence and ethical conduct. Aside (...) from technical challenges of ensuring ethical conduct in artificial intelligence and robotics, there are moral questions about the desirability of replacing human functions and the human mind with such technology. How will artificial intelligence and robotics engage in moral reasoning in order to act ethically? Is there a need for a new set of moral rules? What happens to human interaction when it is mediated by technology? Should such technology be used to end human life? Who bears responsibility for wrongdoing or harmful conduct by artificial intelligence and robotics? -/- Whilst Kant may be familiar to international lawyers for setting restraints on the use of force and rules for perpetual peace, his foundational work on ethics provides an inclusive moral philosophy for assessing ethical conduct of individuals and states and, thus, is relevant to discussions on the use and development of artificial intelligence and robotics. His philosophy is inclusive because it incorporates justifications for morals and legitimate responses to immoral conduct, and applies to all human agents irrespective of whether they are wrongdoers, unlawful combatants, or unjust enemies. Humans are at the centre of rational thinking, action, and norm-creation so that the rationale for restraints on methods and means of warfare, for example, is based on preserving human dignity as well as ensuring conditions for perpetual peace among states. Unlike utilitarian arguments which favour use of autonomous weapons on the basis of cost-benefit reasoning or the potential to save lives, Kantian ethics establish non-consequentialist and deontological rules which are good in themselves to follow and not dependent on expediency or achieving a greater public good. -/- Kantian ethics make two distinct contributions to the debate. First, they provide a human-centric ethical framework whereby human exist- ence and capacity are at the centre of a norm-creating moral philosophy guiding our understanding of moral conduct. Second, the ultimate aim of Kantian ethics is practical philosophy that is relevant and applicable to achieving moral conduct. -/- I will seek to address the moral questions outlined above by exploring how core elements of Kantian ethics relate to use of artificial intelli- gence and robotics in the civilian and military spheres. Section 2 sets out and examines core elements of Kantian ethics: the categorical imperative; autonomy of the will; rational beings and rational thinking capacity; and human dignity and humanity as an end in itself. Sections 3-7 consider how these core elements apply to artificial intelligence and robotics with discussion of fully autonomous and human-machine rule-generating approaches; types of moral reasoning; the difference be- tween ‘human will’ and ‘machine will’; and respecting human dignity. (shrink)

It is often thought that desire-based versions of reasons internalism, according to which our practical reasons depend on what we desire, are committed to denying that we have any categorical reasons. I shall argue, however, that such theories are committed to a universal desire which gives rise to an unexpected categorical reason – a reason to know our surroundings. I will arrive at this conclusion by using Fichte’s argument for thinking that security from unpredictable and powerful forces of (...) nature is constitutive of agency. Fichte thinks this is the case because we ought to aim at knowledge of our surroundings, and such environments uniquely facilitate it. I show that his argument fails, but the point that we ought to aim at – or desire – such knowledge is fundamentally sound. This aim can then be leveraged to generate a categorical reason when embedded in an account of agency typically embraced by internalists. (shrink)

There are Humeans and unHumeans, disagreeing as to the validity of the Treatise’s ideas regarding practical reason, but not as to their importance. The basic argument here is that the enduring irresolution of their Hume centric debates has been fostered by what can be called the fallacy of normative monism, i.e. a failure to distinguish between two different kinds of normativity: empirical vs. rational. Humeans take the empirical normativity of personal desire to constitute the only real kind, while unHumeans insist (...) that only the objective rationality associated with categorical morality can provide reliable normative guidance. In turn, the failure to recognize the dual nature of normativity has helped engender motivational obscurantism: as essentially causal notions, motive and motivation obscure the rational processes that lie at the heart of deliberation and choice. Once it is realized that normativity takes two different forms, each with its own distinctive role, it becomes possible to mediate if not mitigate the differences between Humeans and unHumeans. Choice will be the key to understanding practical reasoning, and its analysis will provide the basis for a belief/desire model that upends conventional wisdom regarding motivation and desire. (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)

In Chapter 2 of Escape from Leviathan, Jan Lester defends two hypotheses: that instrumental rationality requires agents to maximise the satisfaction of their wants and that all agents actually meet this requirement. In addition, he argues that all agents are self-interested (though not necessarily egoistic) and he offers an account of categorical moral desires which entails that no agent ever does what he genuinely feels to be morally wrong. I show that Lester’s two hypotheses are false because they (...) cannot accommodate weakness of will, because they are inconsistent with agency, which requires free will, because ends, obligations and values cannot be reduced to desires, and because maximisation is often not possible. Further, Lester’s claim that agents are self-interested is vacuous, his attempted reduction of moral behaviour to want-satisfaction fails, and his contention, that agents always do what they genuinely think to be morally required, seems untenable. A defence of freedom that depends on homo economicus is far from promising. (shrink)

I begin by describing the hideous nature of sexuality, that which makes sexual desire and activity morally suspicious, or at least what we have been told about the moral foulness of sex by, in particular, Immanuel Kant, but also by some of his predecessors and by some contemporary philosophers.2 A problem arises because acting on sexual desire, given this Kantian account of sex, apparently conflicts with the Categorical Imperative. I then propose a typology of possible solutions to this sex (...) problem and critically discuss recent philosophical ethics of sex that fall into the typology's various categories. (shrink)

Both European and Anglo-American philosophical traditions of Kant scholarship draw a sharp distinction between Kant’s theoretical and practical philosophies. They cite KrV, A 14.23 –28; KrV, A 15.01– 09; KrV, B 28.22 – 28; KrV, B 29.01 –12 as evidence that the analyses of intuition, understanding and reason proffered in the first Critique apply to cognition only, and therefore do not significantly illuminate his analyses of inclination, desire, or respect for the moral law in the Groundwork, second Critique, Metaphysics of (...) Morals, or Religion. This paper is part of a larger project that takes issue with this near-universal consensus, and with the canonical interpretation of KrV, A 14.23– 28; KrV, A 15.01 –09; KrV,B 28.22 –28; KrV, B 29.01 – 12. Many of the most important terms in Kant’s mature moral philosophy – such as “action,” “reason,” “freedom,” “will,” “categorical,” “imperative,” “ought,” “maxim,” “duty,” “inclination,” “end,” and “idea” – are introduced, and sometimes elaborated at length, in the first Critique; and often appear in the Groundwork with little or no further elaboration. This suggests that Kant intended the analysis of self and rationality in the first Critique to serve as a formal foundation for his subsequent analysis of practical deliberation and moral motivation in the Groundwork. Here I argue specifically that Kant’s use of the first-/third-person asymmetry in his analysis of action in the first Critique’s Resolution of the Third Antinomy is necessary to his account of moral motivation and moral intention in the Groundwork; and that the structure of pure apperception he offers in the Transcendental Deduction resolves this asymmetry. (shrink)

The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules (...) for the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

We present a colorful and novel discussion of mathematical techniques of visualizing a fourth spatial dimension. We first discuss notions of dimensionality including the homotopy dimension for objects in an (infinity,1)-topos. We try to visualize the fourth spatial dimension using color, and illustrate this with four-dimensional ice-cream. We apply categorical negative thinking to what we have called (infinity,1)-visual epistemology. The aim is that visualizations of higher spatial dimensions can occur functorially. We illustrate with five images five conjectural methods for (...) how to visualize the fourth spatial dimension. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order and Zermelo’s quasi-categoricity (...) theorem for second-order —these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

The concept of “life” certainly is of some use to distinguish birds and beavers from water and stones. This pragmatic usefulness has led to its construal as a categorical predicate that can sift out living entities from non-living ones depending on their possessing specific properties—reproduction, metabolism, evolvability etc. In this paper, we argue against this binary construal of life. Using text-mining methods across over 30,000 scientific articles, we defend instead a degrees-of-life view and show how these methods can contribute (...) to experimental philosophy of science and concept explication. We apply topic-modeling algorithms to identify which specific properties are attributed to a target set of entities (bacteria, archaea, viruses, prions, plasmids, phages and the molecule of adenine). Eight major clusters of properties were identified together with their relative relevance for each target entity (two that relate to metabolism and catalysis, one to genetics, one to evolvability, one to structure, and—rather unexpectedly—three that concern interactions with the environment broadly construed). While aligning with intuitions—for instance about viruses being less alive than bacteria—these quantitative results also reveal differential degrees of performance that have so far remained elusive or overlooked. Taken together, these analyses provide a conceptual “lifeness space” that makes it possible to move away from a categorical construal of life by empirically assessing the relative lifeness of more-or-less alive entities. (shrink)

Reflecting on our engagement with fiction has compelled some theorists to expand the domain of the mental. They have posited a novel conative state, so-called “i-desire”. The central thesis of this approach is that i-desire relates to imagination in the same way as desire relates to belief. We formulate principles which are plausible consequences of this thesis. We then put pressure on these principles by focusing on desire concepts such as hoping, and show that the imaginative analogues of these concepts—if (...) such there be—do not satisfy the principles. We conclude by considering what our result suggests about the relationship between i-desire and propositional attitude psychology. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

According to the thesis of the guise of the normative, all desires are associated with normative appearances or judgments. But guise of the normative theories differ sharply over the content of the normative representation, with the two main versions being the guise of reasons and the guise of the good. Chapter 6 defends the comparative thesis that the guise of reasons thesis is more promising than the guise of the good. The central idea is that observations from the theory (...) of content determination can be used in order to constrain possible theories of the representational contents associated with desire. The authors argue that the initially most promising versions of the guise of the good fail to meet these constraints, and then explain the steep challenge confronting any who wish to craft a new guise of the good theory which meets the constraints while also preserving the initial motivations for adopting any guise of the normative theory at all. But a simple version of the guise of reasons not only avoids the troubles besetting the guise of the good but proceeds immediately from a deep diagnosis of the source of its difficulties. (shrink)

David Gauthier suggested that all genuine moral problems are Prisoners Dilemmas (PDs), and that the morally and rationally required solution to a PD is to co-operate. I say there are four other forms of moral problem, each a different way of agents failing to be in PDs because of the agents’ preferences. This occurs when agents have preferences that are malevolent, self-enslaving, stingy, or bullying. I then analyze preferences as reasons for action, claiming that this means they must not target (...) the impossible, they must be able to be acted on in the circumstances, their targets must be attainable, and having the preferences must make their targets more likely. For groups of agents to have a distribution of preferences, their preferences must jointly have those four features, this imposing a kind of universalizability requirement on possible preferences. I then claim that, if all agents began with preferences satisfying these requirements, their preferences would not be of the morally problematic sort (on pain, variously, of circularity or contradiction in the specification of their targets). Instead, they would be either morally innocent preferences, or ones which put the agents in PDs. And it would then be instrumentally rational for the agents to prefer mutual co-operation. Thus if all agents initially had rationally permissible preferences and made rational choices of actions and preferences thereafter, they would never acquire immoral preferences, and so never be rationally moved to immoral actions. Further, the states of affairs such agents would be moved to bring about would be compatible with what Rawls’ agents would chose behind a veil of ignorance. Morality therefore reduces to rationality; necessarily, the actions categorically required by morality are also categorically required by rationality. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

Alex Gregory (2017a; 2017b; 2018; 2021) provides an ingenious, systematic defence of the view that desires are a species of belief about normative reasons. This view explains how desires make actions rationally intelligible. Its main rival, which is attractive for the same reason, says that desires involve a quasi-perceptual appearance of value. Gregory (2017a; 2018; 2021) has argued that his view provides the superior explanation of how desires are sensitive to evidence. Here, I show that the (...) quasi-perceptual view fairs better in this regard. Negatively, I argue that Gregory’s view overestimates the evidence-sensitivity of desires and implies that we are systematically mistaken in having different attitudes about desires and beliefs. Positively, I argue that quasi-perceptual appearances of value are brought into the scope of rational control through their dependence on prior representational states. I also provide a novel explanation of why some kinds of desires are resistant to rational control. I propose that desires are produced through exercises of an affective capacity to discriminate value. Variations in the way this capacity is exercised, and its links to prior representational states, can produce systematic insensitivity to evidence in certain kinds of desires. This paper advances the debate around desire on two fronts: first, it performs the neglected task of showing how the quasi-perceptual view can simultaneously explain both the sensitivity and insensitivity to evidence exhibited by desires and, second, it shows how the explanation offered is superior to one of its closest rivals, the view that desires are a species of normative belief. (shrink)

Why do we draw the boundaries between “blue” and “green”, where we do? One proposed answer to this question is that we categorize color the way we do because we perceive color categorically. Starting in the 1950’s, the phenomenon of “categorical perception” (CP) encouraged such a response. CP refers to the fact that adjacent color patches are more easily discriminated when they straddle a category boundary than when they belong to the same category. In this paper, I make three (...) related claims. (1) Although what seems to guide discrimination performances seems to indeed be categorical information, the evidence in favor of the fact that categorical perception infl uences the way we perceive color is not convincing. (2) That CP offers a useful account of categorization is not obvious.While aiming at accounting for categorization, CP itself requires an account of categories. This being said, CP remains an interesting phenomenon. Why and how is our discrimination behavior linked to our categories? It is suggested that linguistic labels determine CP through a naming strategy to which participants resort while discriminating colors. This paper’s fi nal point is (3) that the naming strategy account is not enough. Beyond category labels, what seems to guide discrimination performance is category structure. (shrink)

In this paper, I argue that current attempts at classifying life–mind continuity (LMC) feature several important ambiguities. We can resolve these ambiguities by distinguishing between the extensional, categorical, and systematic relationships that LMC might encompass. In Sect. 1, I begin by introducing the notion of LMC and the theory behind it. In Sect. 2, I show how different ideas of mind shape different approaches to continuity and how to achieve its aim. In Sect. 3, I canvas various canonical formulations (...) and classifications of LMC; I then demonstrate that they retain important ambiguities. Section 4 builds on this by arguing that we must conceive of the extensional and categorical aspects of continuity independently. In Sect. 5, I show further that current literature has underexplored multiple systematic aspects of continuity. I then take a constructive approach in Sect. 6 by providing a classification model for LMC based on extensional and categorical commitments. Here, I comment on aspects of the thesis omitted from the model but essential for a full classification and thorough comparison between various approaches to LMC. All of these arguments lay the foundation for more exhaustively classifying accounts of LMC. (shrink)

The purpose of this paper is to show that the Elementary Process Theory (EPT) agrees with the knowledge of the physical world obtained from the successful predictions of Special Relativity (SR). For that matter, a recently developed method is applied: a categorical model of the EPT that incorporates SR is fully specified. Ultimate constituents of the universe of the EPT are modeled as point-particles, gamma-rays, or time-like strings, all represented by integrable hyperreal functions on Minkowski space. This proves that (...) the EPT agrees with SR. -/- Edit: this preprint differs significantly from the published chapter. (shrink)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

One of the philosophical uses of Dedekind’s categoricity theorem for Peano Arithmetic is to provide support for semantic realism. To this end, the logical framework in which the proof of the theorem is conducted becomes highly significant. I examine different proposals regarding these logical frameworks and focus on the philosophical benefits of adopting open-ended schemas in contrast to second order logic as the logical medium of the proof. I investigate Pederson and Rossberg’s critique of the ontological advantages of open-ended arithmetic (...) when it comes to establishing the categoricity of Peano Arithmetic and show that the critique is highly problematic. I argue that Pederson and Rossberg’s ontological criterion deliver the bizarre result that certain first order subsystems of Peano Arithmetic have a second order ontology. As a consequence, the application of the ontological criterion proposed by Pederson and Rossberg assigns a certain type of ontology to a theory, and a different, richer, ontology to one of its subtheories. (shrink)

The desirable gambles framework offers the most comprehensive foundations for the theory of lower pre- visions, which in turn affords the most general ac- count of imprecise probabilities. Nevertheless, for all its generality, the theory of lower previsions rests on the notion of linear utility. This commitment to linearity is clearest in the coherence axioms for sets of desirable gambles. This paper considers two routes to relaxing this commitment. The first preserves the additive structure of the desirable gambles framework and (...) the machinery for coherent inference but detaches the interpretation of desirability from the multiplicative scale invariance axiom. The second strays from the additive combination axiom to accommodate repeated gambles that return rewards by a non-stationary processes that is not necessarily additive. Unlike the first approach, which is a conservative amendment to the desirable gambles framework, the second is a rad- ical departure. Yet, common to both is a method for describing rewards called discounted utility. (shrink)

In this paper, I explore a fundamental but under-appreciated distinction between two ways of understanding the desire-satisfaction theory of well-being. According to proactive desire satisfactionism, a person is benefited by the acquisition of new satisfied desires. According to reactive desire satisfactionism, a person can be benefited only by the satisfaction of their existing desires. I first offer an overview of this distinction. I then canvass several ways of developing a general formulation of desire satisfactionism that would capture the (...) reactive view, and argue that all come with significant costs. (shrink)

The paper sketches an argument against modal monism, more specifically against the reduction of physical possibility to metaphysical possibility. The argument is based on the non-categoricity of quantum logic.

Desire theories of well-being claim that how well our life goes for us is solely determined by the fulfilment and frustration of our desires. Several writers have argued that these theories are incorrect because they fail to capture the harms of self-sacrifice and severe depression. In this paper, I argue that desire theories of well-being can account for the harm of both phenomena by rejecting proportionalism about desire and motivation. This is the view that desires always motivate proportionally (...) to their strength. If we reject this view, then we can explain the harm of many cases of self-sacrifice as arising when we act upon our weaker desires and thereby frustrate our stronger desires. Moreover, the harm of many cases of severe depression can be explained by its suppression of the motivational force of desires. This inevitably frustrates desires that we are left unmotivated to fulfil. I argue that this approach captures the experiential quality of self-sacrifice and severe depression better than rival views that seek to problematise these phenomena for desire theories of well-being. Moreover, these theories have sufficient conceptual resources to account for residual cases of self-sacrifice and severe depression that are less well explained by this approach. (shrink)

Suppose that X and Y can’t possibly exist apart in reality; then—by definition—there’s no real distinction between them, only a conceptual distinction. There’s a conceptual distinction between a rectilinear figure’s triangularity and its trilaterality, for example, but no real distinction. In fundamental metaphysics there is no real distinction between an object’s categorical properties and its dispositional properties. So too there is no real distinction between an object and its properties. And in fundamental metaphysics, for X and Y to be (...) such that there is no real distinction between them is for them to be identical. (shrink)

The thesis defended, the “guise of the ought”, is that the formal objects of desires are norms (oughts to be or oughts to do) rather than values (as the “guise of the good” thesis has it). It is impossible, in virtue of the nature of desire, to desire something without it being presented as something that ought to be or that one ought to do. This view is defended by pointing to a key distinction between values and norms: positive (...) and negative norms (obligation and interdiction) are interdefinable through negation; positive and negative values aren’t. This contrast between the norms and values, it is argued, is mirrored, within the psychological realm, by the contrast between the desires and emotions. Positive and negative desires are interdefinable through negation, but positive and negative emotions aren’t. The overall, Meinongian picture suggested is that norms are to desires what values are to emotions. (shrink)

In this paper I examine the relationship between the principle of right and the principle of morals [Sitten] in Kant’s Metaphysics of Morals. My interpretation denies that the principle of right is derived from the categorical imperative, but neither does it adhere to the independence thesis. I present a third way of understanding the relationship between the law of right and the universal law of morals: the latter is needed in order to formulate the former, but it is not (...) sufficient. The principle of right is obtained by applying the categorical imperative to the concept of right. I highlight the discussion on the subject within the late eighteenth-century German natural law tradition and similar arguments found in Achenwall. (shrink)

This paper responds to recent work in the philosophy of Homotopy Type Theory by James Ladyman and Stuart Presnell. They consider one of the rules for identity, path induction, and justify it along ‘pre-mathematical’ lines. I give an alternate justification based on the philosophical framework of inferentialism. Accordingly, I construct a notion of harmony that allows the inferentialist to say when a connective or concept is meaning-bearing and this conception unifies most of the prominent conceptions of harmony through category theory. (...) This categorical harmony is stated in terms of adjoints and says that any concept definable by iterated adjoints from general categorical operations is harmonious. Moreover, it has been shown that identity in a categorical setting is determined by an adjoint in the relevant way. Furthermore, path induction as a rule comes from this definition. Thus we arrive at an account of how path induction, as a rule of inference governing identity, can be justified on mathematically motivated grounds. (shrink)

It is often taken for granted that our desires can contribute to what it is rational for us to do. This paper examines an account of desire—the ‘guise of the good’— that promises an explanation of this datum. I argue that extant guise-of-the-good accounts fail to provide an adequate explanation of how a class of desires—basic desires—contributes to practical rationality. I develop an alternative guise-of-the-good account on which basic desires attune us to our reasons for action (...) in virtue of their biological function. This account emphasises the role of desire as part of our competence to recognise and respond to normative reasons. (shrink)

In this paper, we present two puzzles involving desire reports concerning series of events. What does a person want to happen in the first event – is it the event with the highest expected return, or the event that is the initial part of the best series? We show that existing approaches fail to resolve the puzzles around this question and develop a novel account of our own. Our semantics is built around three ideas. First, we propose that desire ascriptions (...) are evaluated relative to a contextually supplied set of propositions, or alternatives. The semantic value of an ascription ‘S wants p’ is determined by S's preference ordering over these alternatives. Second, we propose that desire reports carry a requirement to the effect that the prejacent of the ascription must be suitably related to the background set of alternatives. Finally, we suggest that desire reports carry a dominance condition concerning the subject's ranking of the alternatives. Overall, we argue that our theory provides us with an elegant resolution of our puzzles, and yields a promising approach to desire. (shrink)

This paper argues that the crucial feature of the drug-related desires experienced by addicted agents is not that they ‘push’ the agent with a force she cannot oppose, but that they are not easily undermined by things that normally have the ability to undermine desires —in other words, that they are extraordinarily recalcitrant. As a result, the disposition to experience these desires is very persistent over the long-term, manifesting itself in particular episodes of wanting to use drugs (...) that recur with great frequency. Both the persistence and the recurrence of these desires, it is argued, contribute to a diminished ability to respond to relevant reasons that speak against drug use. (shrink)

Desire satisfaction has not received detailed philosophical examination. Yet intuitive judgments about the satisfaction of desires have been used as data points guiding theories of desire, desire content, and the semantics of ‘desire’. This paper examines desire satisfaction and the standard propositional view of desire. Firstly, I argue that there are several distinct concepts of satisfaction. Secondly, I argue that separating them defuses a difficulty for the standard view in accommodating desires that Derek Parfit described as ‘implicitly conditional (...) on their own persistence’, a problem posed by Shieva Kleinschmidt, Kris McDaniel, and Ben Bradley. The solution undercuts a key motivation for rejecting the standard view in favour of more radical accounts proposed in the literature. (shrink)

This article argues that political injustices can arise from the distribution and character of our sexual desires and that we can be held responsible for correcting these injustices. It draws on a conception of structural injustice to diagnose unjust patterns of sexual attraction, which are taken to arise when socio-structural processes shaping the formation of sexual desire compound systemic domination and capacity-deprivation for the occupants of a social position. Individualistic and structural solutions to the problem of unjust patterns of (...) sexual attraction are assessed in the context of racialised sexual aversion, racial fetishism, and the desexualisation of people with disabilities. While both forms of intervention can help in principle, some of the advantages of structural approaches are laid out. A schema for assigning political responsibilities for addressing this injustice is proposed, with some limits identified to the kinds of state and social responses that are justified. Finally, the status of the merely aesthetically unappealing is considered, with a relational egalitarian approach concluding that they are subject to structurally unjust patterns of sexual desire only when exposed to oppression or second-class citizenship as a result. (shrink)

Naturalism, as Binmore understands the term, is characterized by a scientific stance on moral behavior. Binmore claims that a naturalistic account of morality necessarily goes with the conviction “that only hypothetical imperatives make any sense”. In this paper it is argued that this claim is mistaken. First, as Hume’s theory of promising shows, naturalism in the sense of Binmore is very well compatible with acknowledging the importance of categorical imperatives in moral practice. Moreover, second, if Binmore’s own theory of (...) moral practice and its evolution is correct, then the actual moral practice does-and in fact must-incorporate norms, which have the form of a categorical imperative. Categorical imperatives are part of social reality and, therefore, any (normative) moral theory that adequately reflects moral practice must also include categorical imperatives. (shrink)

This essay discusses the difficulty to reconcile two paradigms about beliefs: the binary or categorical paradigm of yes/no beliefs and the probabilistic paradigm of degrees of belief. The possibility for someone to hold both types of belief simultaneously is challenged by the lottery paradox, and more recently by a general impossibility theorem by Dietrich and List (2018, 2021). The nature, relevance, and implications of the tension are explained and assessed.