The paper argues that an account of understanding should take the form of a Carnapian explication and acknowledge that understanding comes in degrees. An explication of objectual understanding is defended, which helps to make sense of the cognitive achievements and goals of science. The explication combines a necessary condition with three evaluative dimensions: an epistemic agent understands a subject matter by means of a theory only if the agent commits herself sufficiently to the theory of the subject matter, and to (...) the degree that the agent grasps the theory (i.e., is able to make use of it), the theory answers to the facts and the agent’s commitment to the theory is justified. The threshold for outright attributions of understanding is determined contextually. The explication has descriptive as well as normative facets and allows for the possibility of understanding by means of non-explanatory (e.g., purely classificatory) theories. (shrink)

Interactions between an intelligent software agent and a human user are ubiquitous in everyday situations such as access to information, entertainment, and purchases. In such interactions, the ISA mediates the user’s access to the content, or controls some other aspect of the user experience, and is not designed to be neutral about outcomes of user choices. Like human users, ISAs are driven by goals, make autonomous decisions, and can learn from experience. Using ideas from bounded rationality, we frame these interactions (...) as instances of an ISA whose reward depends on actions performed by the user. Such agents benefit by steering the user’s behaviour towards outcomes that maximise the ISA’s utility, which may or may not be aligned with that of the user. Video games, news recommendation aggregation engines, and fitness trackers can all be instances of this general case. Our analysis facilitates distinguishing various subcases of interaction, as well as second-order effects that might include the possibility for adaptive interfaces to induce behavioural addiction, and/or change in user belief. We present these types of interaction within a conceptual framework, and review current examples of persuasive technologies and the issues that arise from their use. We argue that the nature of the feedback commonly used by learning agents to update their models and subsequent decisions could steer the behaviour of human users away from what benefits them, and in a direction that can undermine autonomy and cause further disparity between actions and goals as exemplified by addictive and compulsive behaviour. We discuss some of the ethical, social and legal implications of this technology and argue that it can sometimes exploit and reinforce weaknesses in human beings. (shrink)

Giubilini and Minerva argue that the permissibility of abortion entails the permissibility of infanticide. Proponents of what we refer to as the Birth Strategy claim that there is a morally significant difference brought about at birth that accounts for our strong intuition that killing newborns is morally impermissible. We argue that strategy does not account for the moral intuition that late-term, non-therapeutic abortions are morally impermissible. Advocates of the Birth Strategy must either judge non-therapeutic abortions as impermissible in the later (...) stages of pregnancy or conclude that they are permissible on the basis of premises that are far less intuitively plausible than the opposite conclusion and its supporting premises. (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)

Kevin Elliott and others separate two common arguments for the legitimacy of societal values in scientific reasoning as the gap and the error arguments. This article poses two questions: How are these two arguments related, and what can we learn from their interrelation? I contend that we can better understand the error argument as nested within the gap because the error is a limited case of the gap with narrower features. Furthermore, this nestedness provides philosophers with conceptual tools for analyzing (...) more robustly how values pervade science. (shrink)

In this article, a new, idealizing-hermeneutic methodological approach to developing a theory of philosophical arguments is presented and carried out. The basis for this is a theory of ideal philosophical theory types developed from the analysis of historical examples. According to this theory, the following ideal types of theory exist in philosophy: 1. descriptive-nomological, 2. idealizing-hermeneutic, 3. technical-constructive, 4. ontic-practical. These types of theories are characterized in particular by what their basic types of theses are. The main task of this (...) article is then to determine the types of arguments that are suitable for justifying these types of theses. Surprisingly, practical arguments play a key role here. (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)

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)

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)

Temporal nihilism is the view that our lives won’t matter after we die. According to the standard interpretation, this is because our lives won’t make a permanent difference. Many who consider the view thus reject it by denying that our lives need to have an eternal impact. However, in this paper, I develop a different formulation of temporal nihilism revolving around the persistence of personal value itself. According to this stronger version, we do not have personal value after death, so (...) our past life no longer has wellbeing after we die. The standard objections to the standard interpretation don’t apply to this more nihilistic nihilism. I offer a new response according to which personal value persists after death because the person continues to exist. (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)

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)

Representation theorems are often taken to provide the foundations for decision theory. First, they are taken to characterize degrees of belief and utilities. Second, they are taken to justify two fundamental rules of rationality: that we should have probabilistic degrees of belief and that we should act as expected utility maximizers. We argue that representation theorems cannot serve either of these foundational purposes, and that recent attempts to defend the foundational importance of representation theorems are unsuccessful. As a result, we (...) should reject these claims, and lay the foundations of decision theory on firmer ground. (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)

Summary. The purpose of this article is to serve as a clear introduction to the modeling languages of the three most widely used IDEF methods: IDEF0, IDEF1X, and IDEF3. Each language is presented in turn, beginning with a discussion of the underlying “ontology” the language purports to describe, followed by presentations of the syntax of the language — particularly the notion of a model for the language — and the semantical rules that determine how models are to be interpreted. The (...) level of detail should be sufficient to enable the reader both to understand the intended areas of application of the languages and to read and construct simple models of each of the three types. (shrink)

It is sometimes claimed that non-human animals (and perhaps also young children) live their lives entirely in the present and are cognitively ‘stuck in time’. Adult humans, by contrast, are said to be able to engage in ‘mental time travel’. One possible way of making sense of this distinction is in terms of the idea that animals and young children cannot engage in tensed thought, which might seem a preposterous idea in the light of certain findings in comparative and developmental (...) psychology. I try to make this idea less preposterous by looking into some of the cognitive requirements for tensed thought. In particular, I suggest that tensed thought requires a specific form of causal understanding, which animals and young children may not possess. (shrink)

Blaming (construed broadly to include both blaming-attitudes and blaming-actions) is a puzzling phenomenon. Even when we grant that someone is blameworthy, we can still sensibly wonder whether we ought to blame him. We sometimes choose to forgive and show mercy, even when it is not asked for. We are naturally led to wonder why we shouldn’t always do this. Wouldn’t it be a better to wholly reject the punitive practices of blame, especially in light of their often undesirable effects, and (...) embrace an ethic of unrelenting forgiveness and mercy? In this paper I seek to address these questions by offering an account of blame that provides a rationale for thinking that to wholly forswear blaming blameworthy agents would be deeply mistaken. This is because, as I will argue, blaming is a way of valuing, it is “a mode of valuation.” I will argue that among the minimal standards of respect generated by valuable objects, notably persons, is the requirement to redress disvalue with blame. It is not just that blame is something additional we are required to do in properly valuing, but rather blame is part of what that it is to properly value. Blaming, given the existence of blameworthy agents, is mode of valuation required by the standards of minimal respect. To forswear blame would be to fail value what we ought to value. (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)

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)

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)

Brauer (2022) has recently argued that if it is possible that there is nothing, then the correct modal logic for metaphysical modality cannot include D. Here, I argue that Brauer’s argument is unsuccessful; or at the very least significantly weaker than presented. First, I outline a simple argument for why it is not possible that there is nothing. I note that this argument has a well-known solution involving the distinction between truth in and truth at a possible world. However, I (...) then argue that once the semantics presupposed by Brauer’s argument is reformulated in terms of truth at a world, we have good reasons to think that a crucial semantic premise in Brauer’s argument should be rejected in favour of an alternative. Brauer’s argument is, however, no longer valid with this alternative premise. Thus, plausibly Brauer’s argument against D is only valid, if it is not sound. (shrink)

According to the proponents of Developmental Systems Theory and the Causal Parity Thesis, the privileging of the genome as “first among equals” with respect to the development of phenotypic traits is more a reflection of our own heuristic prejudice than of ontology - the underlying causal structures responsible for that specified development no more single out the genome as primary than they do other broadly “environmental” factors. Parting with the methodology of the popular responses to the Thesis, this paper offers (...) a novel criterion for ‘causal primacy’, one that is grounded in the ontology of the unique causal role of dispositional properties. This paper argues that, if the genome is conceptualised as realising dispositional properties that are “directed toward” phenotypic traits, the parity of ‘causal roles’ between genetic and extra-genetic factors is no longer apparent, and further, that the causal primacy of the genome is both plausible and defensible. (shrink)

Let serious propositional contingentism (SPC) be the package of views which consists in (i) the thesis that propositions expressed by sentences featuring terms depend, for their existence, on the existence of the referents of those terms, (ii) serious actualism—the view that it is impossible for an object to exemplify a property and not exist—and (iii) contingentism—the view that it is at least possible that some thing might not have been something. SPC is popular and compelling. But what should we say (...) about possible worlds, if we accept SPC? Here, I first show that a natural view of possible worlds, well-represented in the literature, in conjunction with SPC is inadequate. Though I note various alternative ways of thinking about possible worlds in response to the first problem, I then outline a second more general problem—a master argument—which generally shows that any account of possible worlds meeting very minimal requirements will be inconsistent with compelling claims about _mere possibilia_ which the serious propositional contingentist should accept. (shrink)

This is a comprehensive book on the philosophy of time. Leading philosophers discuss the metaphysics of time, our experience and representation of time, the role of time in ethics and action, and philosophical issues in the sciences of time, especially quantum mechanics and relativity theory.

Creators offload the construction of their artifact in that the world helps to determine the nature of their imposition in ways that can go beyond the content of their imposing activities. Extant theories of imposition fail to account for offloading by requiring match between content and product. Therefore, I develop an externalist theory that accommodates offloading by taking the imposition of mind onto world to be objectively constrained. An important kind of imposition is normativity. Focusing on personal value, what’s valuable (...) for someone is determined by what they value as good or bad for themselves. Such a subjectivist view faces the same problem as extant theories of imposition in seeming to preclude the possibility of making mistakes about value. Applying imposition externalism, I defend an artifactual approach to subjectivism such that mistakes are captured in terms of offloading. A subject’s valuing can fail to match the very value it creates. (shrink)

The main focus of this paper is the question as to what it is for an individual to think of her environment in terms of a concept of causation, or causal concepts, in contrast to some more primitive ways in which an individual might pick out or register what are in fact causal phenomena. I show how versions of this question arise in the context of two strands of work on causation, represented by Elizabeth Anscombe and Christopher Hitchcock, respectively. (...) I then describe a central type of reasoning that, I suggest, a subject has to be able to engage in, if we are to credit her with causal concepts. I also point out that this type of reasoning turns on the idea of a physical connection between cause and effect, as articulated in recent singularist approaches of causation. (shrink)

A central tension shaping metaethical inquiry is that normativity appears to be subjective yet real, where it’s difficult to reconcile these aspects. On the one hand, normativity pertains to our actions and attitudes. On the other, normativity appears to be real in a way that precludes it from being a mere figment of those actions and attitudes. In this paper, I argue that normativity is indeed both subjective and real. I do so by way of treating it as a special (...) sort of artifact, where artifacts are mind-dependent yet nevertheless can carve at the joints of reality. In particular, I argue that the properties of being a reason and being valuable for are grounded in attitudes yet are still absolutely structural. (shrink)

Can one pay attention to objects without being conscious of them? Some years ago there was evidence that had been taken to show that the answer is 'yes'. That evidence was inconclusive, but there is recent work that makes the case more compellingly: it now seems that it is indeed possible to pay attention to objects of which one is not conscious. This is bad news for theories in which the connection between attention and consciousness is taken to be an (...) essential one. It is good news for theories (including mine) in which the connection between attention and agency is taken to be essential. (shrink)

The coherence objection to the doctrine of the Incarnation maintains that it is impossible for one individual to have both the attributes of God and the attributes of a human being. This article examines Thomas Aquinas’s answer to this objection. I challenge the dominant, mereological interpretation of Aquinas’s position and, in light of this challenge, develop and defend a new alternative interpretation of Aquinas’s response to this important objection to Christian doctrine.

An adequate account of laws should satisfy at least five desiderata: it should provide a unified account of laws and chances, it should yield plausible relations between laws and chances, it should vindicate numerical chance assignments, it should accommodate dynamical and non-dynamical chances, and it should accommodate a plausible range of nomic possibilities. No extant account of laws satisfies these desiderata. This paper presents a non-Humean account of laws, the Nomic Likelihood Account, that does.

In Reasons and Persons, Parfit (1984) posed a challenge: provide a satisfying normative account that solves the Non-Identity Problem, avoids the Repugnant and Absurd Conclusions, and solves the Mere-Addition Paradox. In response, some have suggested that we look toward person-affecting views of morality for a solution. But the person-affecting views that have been offered so far have been unable to satisfy Parfit's four requirements, and these views have been subject to a number of independent complaints. This paper describes a person-affecting (...) account which meets Parfit's challenge. The account satisfies Parfit's four requirements, and avoids many of the criticisms that have been raised against person-affecting views. (shrink)

Authored item in a collection of original research papers, arising out of the University of Southampton's AHRC-funded research project 'Nietzsche and Modern Moral Philosophy'.

Organisms receded from view in much of twentieth-century biology, only to undergo a sort of renaissance at the start of the twenty-first. The story of why this should be so is complicated and fascinating, but belongs primarily to the history of biology. On the other hand, to the extent that it is so, a question naturally arises: what, after all, are organisms? This question has a long and complicated history of its own, both within and without of biology; an investigation (...) of this history yields some guidance as to how organisms might yet be conceived today. One suggestion borne of these investigations is this: organisms are, for better or worse, normatively delineated unities. (shrink)

We commonly explain the distinctive prudential and moral status of persons in terms of our mental capacities. I draw from recent work to argue that the common explanation is incomplete. I then develop a new explanation: We are ethically important because we are the object of a pattern of self-concern. I argue that the view solves moral problems posed by permissive ontologies, such as the recent personite problem.

The question of the holistic structure of an organism is a recurring theme in the philosophy of biology and has been increasingly discussed again in recent years. Organisms have recently been described as complex systems that autonomously create, maintain and reproduce themselves while constantly interacting with their environment. Key focal points include their autopoiesis, autonomy, agency and teleological structure. This perspective marks a significant advancement from the 20th-century viewpoint, which predominantly saw organisms as genetically programmed, randomly generated and blindly selected (...) survival-machines. However, crucial questions about the shape and development of organisms still lack answers. Shape and development are deeply interconnected and seem to require a holistic approach. Here, I will briefly outline a phenomenological perspective which could provide a framework for seeking answers to these fundamental questions. In particular, I propose a common four-fold phenomenal structure of the developing organism and the cognising consciousness, which makes it possible to observe the agential and teleological structure of the organism "from within". This fourfold structure also describes the molecular level and thus provides a general organismic concept. It furthermore corresponds to the four Aristotelian "causes" (conditions). (shrink)

According to dispositionalism, de re modality is grounded in the intrinsic natures of dispositional properties. Those properties are able to serve as the ground of de re modal truths, it is said, because they bear a special relation to counterfactual conditionals, one of truthmaking. However, because dispositionalism purports to ground de re modality only on the intrinsic natures of dispositional properties, it had better be the case that they do not play that truthmaking role merely in virtue of their being (...) embedded in some particular, extrinsic causal context. This paper examines a recent argument against dispositionalism that purports to show that the intrinsicality of that relation cannot be maintained, due to the ceteris paribus nature of the counterfactuals that dispositions make-true. When two prominent responses are examined, both are found wanting: at best, they require unjustified special pleading, and at worst, they amount to little more than ad hoc conceptual trickery. (shrink)

Ectogestation involves the gestation of a fetus in an ex utero environment. The possibility of this technology raises a significant question for the abortion debate: Does a woman’s right to end her pregnancy entail that she has a right to the death of the fetus when ectogestation is possible? Some have argued that it does not Mathison & Davis. Others claim that, while a woman alone does not possess an individual right to the death of the fetus, the genetic parents (...) have a collective right to its death Räsänen. In this paper, I argue that the possibility of ectogestation will radically transform the problem of abortion. The argument that I defend purports to show that, even if it is not a person, there is no right to the death of a fetus that could be safely removed from a human womb and gestated in an artificial womb, because there are competent people who are willing to care for and raise the fetus as it grows into a person. Thus, given the possibility of ectogestation, the moral status of the fetus plays no substantial role in determining whether there is a right to its death. (shrink)

This paper argues that we should replace the common classification of theories of welfare into the categories of hedonism, desire theories, and objective list theories. The tripartite classification is objectionable because it is unduly narrow and it is confusing: it excludes theories of welfare that are worthy of discussion, and it obscures important distinctions. In its place, the paper proposes two independent classifications corresponding to a distinction emphasised by Roger Crisp: a four-category classification of enumerative theories (about which items constitute (...) welfare), and a four-category classification of explanatory theories (about why these items constitute welfare). (shrink)

I distinguish several doctrines that economic methodologists have found attractive, all of which have a positivist flavour. One of these is the doctrine that preference assignments in economics are just shorthand descriptions of agents' choice behaviour. Although most of these doctrines are problematic, the latter doctrine about preference assignments is a respectable one, I argue. It doesn't entail any of the problematic doctrines, and indeed it is warranted independently of them.

Should economics study the psychological basis of agents' choice behaviour? I show how this question is multifaceted and profoundly ambiguous. There is no sharp distinction between "mentalist'' answers to this question and rival "behavioural'' answers. What's more, clarifying this point raises problems for mentalists of the "functionalist'' variety (Dietrich and List, 2016). Firstly, functionalist hypotheses collapse into hypotheses about input--output dispositions, I show, unless one places some unwelcome restrictions on what counts as a cognitive variable. Secondly, functionalist hypotheses make some (...) risky commitments about the plasticity of agents' choice dispositions. (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)

This paper examines the debate between permissive and impermissive forms of Bayesianism. It briefly discusses some considerations that might be offered by both sides of the debate, and then replies to some new arguments in favor of impermissivism offered by Roger White. First, it argues that White’s (Oxford studies in epistemology, vol 3. Oxford University Press, Oxford, pp 161–186, 2010) defense of Indifference Principles is unsuccessful. Second, it contends that White’s (Philos Perspect 19:445–459, 2005) arguments against permissive views do not (...) succeed. (shrink)

A phenomenological turn has occurred in contemporary philosophy of mind. Some philosophers working on the nature of intentionality and consciousness have turned away from views that construe the basic ingredients of intentionality in terms of naturalistic tracking relations that hold between thinkers and external conditions in their environment in favor of what has been called the “Phenomenal Intentionality Theory” (PIT). According to PIT, all “original” intentionality is either identical to or partly grounded in phenomenal consciousness. A central claim for PIT (...) is the inseparatism thesis, which asserts that the phenomenal and the intentional are inseparable. In this article, I will situate this thesis within a methodological context I call “analytic phenomenology” and then show why proponents of PIT should take seriously our phenomenology of temporal experience. But I am not aiming to disprove PIT or defend it against views of intentionality that reject inseparatism. Rather, I want to understand what PIT says and how to approach the view, assuming that our goal is to test the theory using the assumptions and methods endorsed by proponents of the theory. (shrink)

The iterative conception of set is typically considered to provide the intuitive underpinnings for ZFCU (ZFC+Urelements). It is an easy theorem of ZFCU that all sets have a definite cardinality. But the iterative conception seems to be entirely consistent with the existence of “wide” sets, sets (of, in particular, urelements) that are larger than any cardinal. This paper diagnoses the source of the apparent disconnect here and proposes modifications of the Replacement and Powerset axioms so as to allow for the (...) existence of wide sets. Drawing upon Cantor’s notion of the absolute infinite, the paper argues that the modifications are warranted and preserve a robust iterative conception of set. The resulting theory is proved consistent relative to ZFC + “there exists an inaccessible cardinal number.”. (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)

I examine some recent claims put forward by L. A. Paul, Barry Dainton and Simon Prosser, to the effect that perceptual experiences of movement and change involve an (apparent) experience of ‘passage’, in the sense at issue in debates about the metaphysics of time. Paul, Dainton and Prosser all argue that this supposed feature of perceptual experience – call it a phenomenology of passage – is illusory, thereby defending the view that there is no such a thing as passage, conceived (...) of as a feature of mind-independent reality. I suggest that in fact there is no such phenomenology of passage in the first place. There is, however, a specific structural aspect of the phenomenology of perceptual experiences of movement and change that can explain how one might mistakenly come to the belief that such experiences do involve a phenomenology of passage. (shrink)