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

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

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

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

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

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

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

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

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

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

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

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

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

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

Although existing work draws attention to a range of obstacles in realizing fair AI, the field lacks an account that emphasizes how these worries hang together in a systematic way. Furthermore, a review of the fair AI and philosophical literature demonstrates the unsuitability of ‘treat like cases alike’ and other intuitive notions as conceptions of fairness. That review then generates three desiderata for a replacement conception of fairness valuable to AI research: (1) It must provide a meta-theory for understanding tradeoffs, (...) entailing that it must be flexible enough to capture diverse species of objection to decisions. (2) It must not appeal to an impartial perspective (neutral data, objective data, or final arbiter.) (3) It must foreground the way in which judgments of fairness are sensitive to context, i.e., to historical and institutional states of affairs. We argue that a conception of fairness as appropriate concession in the historical iteration of institutional decisions meets these three desiderata. On the basis of this definition, we organize the insights of commentators into a process-structure map of the ethical territory that we hope will bring clarity to computer scientists and ethicists analyzing Fair AI while clearing some ground for further technical and philosophical work. (shrink)

This paper explores what a Rule Consequentialist of Brad Hooker's sort can and should say about normative rea- sons for action. I claim that they can provide a theory of reasons, but that doing so requires distinguishing dif- ferent roles of rules in the ideal code. Some rules in the ideal code specify reasons, while others perform differ- ent functions. The paper also discusses a choice that Rule Consequentialists face about how exactly to specify rea- sons. It ends by comparing (...) the theory of reasons offered by Rule Consequentialism with the theory offered by Act Consequentialism, noting that Rule Consequentialism seems better able to explain moral constraints. (shrink)

Recognizing that truth is socially constructed or that knowledge and power are related is hardly a novelty in the social sciences. In the twenty-first century, however, there appears to be a renewed concern regarding people’s relationship with the truth and the propensity for certain actors to undermine it. Organizations are highly implicated in this, given their central roles in knowledge management and production and their attempts to learn, although the entanglement of these epistemological issues with business ethics has not been (...) engaged as explicitly as it might be. Drawing on work from a virtue epistemology perspective, this paper outlines the idea of a set of epistemic vices permeating organizations, along with examples of unethical epistemic conduct by organizational actors. While existing organizational research has examined various epistemic virtues that make people and organizations effective and responsible epistemic agents, much less is known about the epistemic vices that make them ineffective and irresponsible ones. Accordingly, this paper introduces vice epistemology, a nascent but growing subfield of virtue epistemology which, to the best of our knowledge, has yet to be explicitly developed in terms of business ethics. The paper concludes by outlining a business ethics research agenda on epistemic vice, with implications for responding to epistemic vices and their illegitimacy in practice. (shrink)

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

As there is currently a neo-Aristotelian revival currently taking place within contemporary metaphysics and dispositions, or causal powers are now being routinely utilised in theories of causality and modality, more attention is beginning to be paid to a central Aristotelian concern: the metaphysics of substantial unity, and the doctrine of hylomorphism. In this paper, I distinguish two strands of hylomorphism present in the contemporary literature and argue that not only does each engender unique conceptual difficulties, but neither adequately captures the (...) metaphysics of Aristotelian hylomorphism. Thus both strands of contemporary hylomorphism, I argue, fundamentally misunderstand what substantial unity amounts to in the hylomorphic framework – namely, the metaphysical inseparability of matter and form. (shrink)

Though the realm of biology has long been under the philosophical rule of the mechanistic magisterium, recent years have seen a surprisingly steady rise in the usurping prowess of process ontology. According to its proponents, theoretical advances in the contemporary science of evo-devo have afforded that ontology a particularly powerful claim to the throne: in that increasingly empirically confirmed discipline, emergently autonomous, higher-order entities are the reigning explanantia. If we are to accept the election of evo-devo as our best conceptualisation (...) of the biological realm with metaphysical rigour, must we depose our mechanistic ontology for failing to properly “carve at the joints” of organisms? In this paper, I challenge the legitimacy of that claim: not only can the theoretical benefits offered by a process ontology be had without it, they cannot be sufficiently grounded without the metaphysical underpinning of the very mechanisms which processes purport to replace. The biological realm, I argue, remains one best understood as under the governance of mechanistic principles. (shrink)

The advent of contemporary evolutionary theory ushered in the eventual decline of Aristotelian Essentialism (Æ) – for it is widely assumed that essence does not, and cannot have any proper place in the age of evolution. This paper argues that this assumption is a mistake: if Æ can be suitably evolved, it need not face extinction. In it, I claim that if that theory’s fundamental ontology consists of dispositional properties, and if its characteristic metaphysical machinery is interpreted within the framework (...) of contemporary evolutionary developmental biology, an evolved essentialism is available. The reformulated theory of Æ offered in this paper not only fails to fall prey to the typical collection of criticisms, but is also independently both theoretically and empirically plausible. The paper contends that, properly understood, essence belongs in the age of evolution. (shrink)

This article presents the first thematic review of the literature on the ethical issues concerning digital well-being. The term ‘digital well-being’ is used to refer to the impact of digital technologies on what it means to live a life that isgood fora human being. The review explores the existing literature on the ethics of digital well-being, with the goal of mapping the current debate and identifying open questions for future research. The review identifies major issues related to several key social (...) domains: healthcare, education, governance and social development, and media and entertainment. It also highlights three broader themes: positive computing, personalised human–computer interaction, and autonomy and self-determination. The review argues that three themes will be central to ongoing discussions and research by showing how they can be used to identify open questions related to the ethics of digital well-being. (shrink)

Although they are continually compositionally reconstituted and reconfigured, organisms nonetheless persist as ontologically unified beings over time – but in virtue of what? A common answer is: in virtue of their continued possession of the capacity for morphological invariance which persists through, and in spite of, their mereological alteration. While we acknowledge that organisms‟ capacity for the “stability of form” – homeostasis - is an important aspect of their diachronic unity, we argue that this capacity is derived from, and grounded (...) in a more primitive one – namely, the homeodynamic capacity for the “specified variation of form”. In introducing a novel type of causal power – a „structural power‟ – we claim that it is the persistence of their dynamic potential to produce a specified series of structurally adaptive morphologies which grounds organisms‟ privileged status as metaphysically “one over many” over time. (shrink)

This paper examines the idea of an extended unit of action, which is the idea that the reasons for or against an individual action can depend on the qualities of a larger pattern of action of which it is a part. One concept of joint action is that the unit of action can be extended in this sense. But the idea of an extended unit of action is surprisingly minimal in its commitments. The paper argues for this conclusion by examining (...) uses of the idea of an extended unit of action in four theoretical contexts. It also explains why the idea of an extended unit of action need not involve magical thinking, and discusses possible replies to an objection based on a worry about recklessness. (shrink)

According to contemporary ‘process ontology’, organisms are best conceptualised as spatio-temporally extended entities whose mereological composition is fundamentally contingent and whose essence consists in changeability. In contrast to the Aristotelian precepts of classical ‘substance ontology’, from the four-dimensional perspective of this framework, the identity of an organism is grounded not in certain collections of privileged properties, or features which it could not fail to possess, but in the succession of diachronic relations by which it persists, or ‘perdures’ as one entity (...) over time. In this paper, I offer a novel defence of substance ontology by arguing that the coherency and plausibility of the radical reconceptualisation of organisms proffered by process ontology ultimately depends upon its making use of the ‘substantial’ principles it purports to replace. (shrink)

Evolutionary developmental biology represents a paradigm shift in the understanding of the ontogenesis and evolutionary progression of the denizens of the natural world. Given the empirical successes of the evo-devo framework, and its now widespread acceptance, a timely and important task for the philosophy of biology is to critically discern the ontological commitments of that framework and assess whether and to what extent our current metaphysical models are able to accommodate them. In this paper, I argue that one particular model (...) is a natural fit: an ontology of dispositional properties coherently and adequately captures the crucial casual-cum-explanatory role that the fundamental elements of evo-devo play within that framework. (shrink)

Although contemporary metaphysics has recently undergone a neo-Aristotelian revival wherein dispositions, or capacities are now commonplace in empirically grounded ontologies, being routinely utilised in theories of causality and modality, a central Aristotelian concept has yet to be given serious attention – the doctrine of hylomorphism. The reason for this is clear: while the Aristotelian ontological distinction between actuality and potentiality has proven to be a fruitful conceptual framework with which to model the operation of the natural world, the distinction between (...) form and matter has yet to similarly earn its keep. In this chapter, I offer a first step toward showing that the hylomorphic framework is up to that task. To do so, I return to the birthplace of that doctrine - the biological realm. Utilising recent advances in developmental biology, I argue that the hylomorphic framework is an empirically adequate and conceptually rich explanatory schema with which to model the nature of organisms. (shrink)

Are we witnessing progress or regress in the recent increasing popularity and electoral success of populist politicians and parties in consolidated democratic nations? ... Is the innovative use of popular referendum in Great Britain to settle fundamental constitutional questions a progressive or regressive innovation? ... Similarly, is the increasing use of constituent assemblies to change constitutions across the world evidence of progress in democratic constitutionalism, or, a worryingly regressive change back toward unmediated popular majoritarianism? ... This paper reflects on some (...) of the perils and promise of framing such questions with the conceptual couplet of progress and regress. It considers four compelling critiques of the use of ‘progress’ and its cognates in sociopolitical theory, as well as arguing that such concepts are nevertheless ineliminable for our normative theories. The paper concludes by suggesting that we can avoid the most serious problems by employing only conceptions of political progress and regress that are piecemeal, pragmatic, and processual. (shrink)

Dispositional properties are often referred to as ‘causal powers’, but what does dispositional causation amount to? Any viable theory must account for two fundamental aspects of the metaphysics of causation – the causal complexity and context sensitivity of causal interactions. The theory of mutual manifestations attempts to do so by locating the complexity and context sensitivity within the nature of dispositions themselves. But is this theory an acceptable first step towards a viable theory of dispositional causation? This paper argues that (...) the reconceptualization that the theory entails comes at too high a price, and is an unnecessary step in the wrong direction: these two central aspects concerning the metaphysics of causation can and should be accounted for in a dispositional account of causation without it. (shrink)

Philosophers of science and medicine now aspire to provide useful, socially relevant accounts of mechanism. Existing accounts have forged the path by attending to mechanisms in historical context, scientific practice, the special sciences, and policy. Yet, their primary focus has been on more proximate issues related to therapeutic effectiveness. To take the next step toward social relevance, we must investigate the challenges facing researchers, clinicians, and policy makers involving values and social context. Accordingly, we learn valuable lessons about the connections (...) between mechanistic processes and more fundamental reasons for medical interventions, particularly moral, ethical, religious, and political concerns about health, agency, and power. This paper uses debates over the controversial morning-after pill to gain insight into the deeper reasons for the production and use of mechanistic knowledge throughout biomedical research, clinical practice, and governmental regulation. To practice socially relevant philosophy of science, I argue that we need to account for mechanistic knowledge beyond immediate effectiveness, such as how it can also provide moral guidance, aid ethical categorization in the clinic, and function as a political instrument. Such insights have implications for medical epistemology, including the value-laden dimensions of mechanistic reasoning and the “epistemic friction” of values. Furthermore, there are broader impacts for teaching research ethics and understanding the role of science advisors as political advocates. (shrink)

Activist artists often face a difficult question: is striving to change the world undermined when pursued through difficult and experimental artistic means? Looking closely at Adrian Piper's 'Four Intruders plus Alarm Systems' (1980), I will consider why this is an important concern for activist art, and assess three different responses in relation to Piper’s work. What I call the conciliatory stance recommends that when activist artists encounter misunderstanding, they should downplay their experimental artistry in favor of fitting their work to (...) their audience's appreciative capacities. What I call the steadfast stance recommends that activist artists have reason to use their privilege of artistic exceptionalism to challenge their audience's expectations, even if this leads to misunderstanding. I claim that a middle position that I call liberal conciliation best balances the demands for actual change placed on activism and the experimental means that artists bring to activism. (shrink)

When it comes to social criticism of the economy, Critical Theory has thus far failed to discover specific immanent norms in that sphere of activity. In response, we propose that what is needed is to double down on the idealism of Critical Theory by taking seriously the sophisticated structure of agency developed in Hegel’s own account of freedom as self-determination. When we do so, we will see that the anti-metaphysical gestures of recent Critical Theory work in opposition to its attempts (...) to develop immanent critique. In this paper we first briefly reconsider Axel Honneth’s project as it concerns economic institutions and then respond by returning to the problem of freedom and articulating a view according to which the problem of individual self-determination and the problem of social production are the same problem seen from different angles. Then we present briefly Hegel’s own social theory from this perspective before moving on to trace the outlines of such a critical theory of contemporary capitalism. (shrink)

The application of artificial intelligence (AI) to judicial decision-making has already begun in many jurisdictions around the world. While AI seems to promise greater fairness, access to justice, and legal certainty, issues of discrimination and transparency have emerged and put liberal democratic principles under pressure, most notably in the context of bail decisions. Despite this, there has been no systematic analysis of the risks to liberal democratic values from implementing AI into judicial decision-making. This article sets out to fill this (...) void by identifying and engaging with challenges arising from artificial judicial decision-making, focusing on three pillars of liberal democracy, namely equal treatment of citizens, transparency, and judicial independence. Methodologically, the work takes a comparative perspective between human and artificial decision-making, using the former as a normative benchmark to evaluate the latter. -/- The chapter first argues that AI that would improve on equal treatment of citizens has already been developed, but not yet adopted. Second, while the lack of transparency in AI decision-making poses severe risks which ought to be addressed, AI can also increase the transparency of options and trade-offs that policy makers face when considering the consequences of artificial judicial decision-making. Such transparency of options offers tremendous benefits from a democratic perspective. Third, the overall shift of power from human intuition to advanced AI may threaten judicial independence, and with it the separation of powers. While improvements regarding discrimination and transparency are available or on the horizon, it remains unclear how judicial independence can be protected, especially with the potential development of advanced artificial judicial intelligence (AAJI). Working out the political and legal infrastructure to reap the fruits of artificial judicial intelligence in a safe and stable manner should become a priority of future research in this area. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

This chapter (Chapter 7) presents a reconstruction of purely doxastic states in Kant’s theory of assent, focusing on those species of assents that are distinguished solely by the strength of their psychological commitment. It is suggested that Kant held a view, according to which (i) our degreed doxastic states can be articulated as degrees of conviction, and (ii) our outright doxastic states — above all, opinion, conviction (simpliciter), and certainty — can be reduced to conviction thresholds. Moreover, it is suggested (...) that Kant’s notion of ‘assent’ (‘Fürwahrhalten’), as the most general doxastic state, comes closest to our present-day notion of ‘belief’. (NB please read Chapter 7 together with Section 2.1.). (shrink)

Standard decision theory has trouble handling cases involving acts without finite expected values. This paper has two aims. First, building on earlier work by Colyvan (2008), Easwaran (2014), and Lauwers and Vallentyne (2016), it develops a proposal for dealing with such cases, Difference Minimizing Theory. Difference Minimizing Theory provides satisfactory verdicts in a broader range of cases than its predecessors. And it vindicates two highly plausible principles of standard decision theory, Stochastic Equivalence and Stochastic Dominance. The second aim is to (...) assess some recent arguments against Stochastic Equivalence and Stochastic Dominance. If successful, these arguments refute Difference Minimizing Theory. This paper contends that these arguments are not successful. (shrink)

Much of the philosophical literature on causation has focused on the concept of actual causation, sometimes called token causation. In particular, it is this notion of actual causation that many philosophical theories of causation have attempted to capture.2 In this paper, we address the question: what purpose does this concept serve? As we shall see in the next section, one does not need this concept for purposes of prediction or rational deliberation. What then could the purpose be? We will argue (...) that one can gain an important clue here by looking at the ways in which causal judgments are shaped by people‘s understanding of norms. (shrink)

Serious actualism is the view that it is metaphysically impossible for an entity to have a property, or stand in a relation, and not exist. Fine (1985) and Pollock (1985) influentially argue that this view is false. In short, there are properties like the property of nonexistence, and it is metaphysically possible that some entity both exemplifies such a property and does not exist. I argue that such arguments are indeed successful against the standard formulation of serious actualism. However, I (...) also argue that we should distinguish a weaker formulation of serious actualism using the actualist distinction between truth in, and truth at, a possible world. This weaker formulation is then shown to be consistent with the existence and possible exemplification of properties like the property of nonexistence. I end with a novel argument for the truth of the weaker formulation. (shrink)

I argue that the theory of chance proposed by David Lewis has three problems: (i) it is time asymmetric in a manner incompatible with some of the chance theories of physics, (ii) it is incompatible with statistical mechanical chances, and (iii) the content of Lewis's Principal Principle depends on how admissibility is cashed out, but there is no agreement as to what admissible evidence should be. I proposes two modifications of Lewis's theory which resolve these difficulties. I conclude by tentatively (...) proposing a third modification of Lewis's theory, one which explains many of the common features shared by the chance theories of physics. (shrink)

This paper examines three accounts of the sleeping beauty case: an account proposed by Adam Elga, an account proposed by David Lewis, and a third account defended in this paper. It provides two reasons for preferring the third account. First, this account does a good job of capturing the temporal continuity of our beliefs, while the accounts favored by Elga and Lewis do not. Second, Elga’s and Lewis’ treatments of the sleeping beauty case lead to highly counterintuitive consequences. The proposed (...) account also leads to counterintuitive consequences, but they’re not as bad as those of Elga’s account, and no worse than those of Lewis’ account. (shrink)