The standard inferentialist approaches to modal logic tend to suffer from not being able to uniquely characterize the modal operators, require that introduction and elimination rules be interdefined, or rely on the introduction of possible-world like indexes into the object language itself. In this paper I introduce a hypersequent calculus that is flexible enough to capture many of the standard modal logics and does not suffer from the above problems. It is therefore an ideal candidate to underwrite an inferentialist theory (...) of meaning for modal operators. Here I treat specifically the modal logics K, D, T, S4, B, and S5. I show that the calculi are adequate for each set of models, and show that they meet a large set of criteria that are generally thought necessary for a calculus to underwrite a theory of meaning. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

Digital artifacts — humanly-constructed items that inhabit our computers and networks — suffer an unfortunate reputation as being virtual and therefore unreal, and all too easy to reproduce on the cheap. These features together prompt the question of this article: if digital artifacts can be reproduced for free, and if they are unreal, why do they have economic value at all? Using a focal case study of bitcoin — the most unreal digital artifact of them all, and one that has (...) been copied and pasted a thousand times over — I answer the question. Some digital artifacts can't be copied on the cheap, as it turns out, and they are real enough to be useful. (shrink)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may coincide (...) sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

We suggest that there is confusion between why consciousness developed and what additional functions, through continued evolution, it has co-opted. Consider episodic memory. If we believe that episodic memory evolved solely to accurately represent past events, it seems like a terrible system—prone to forgetting and false memories. However, if we believe that episodic memory developed to flexibly and creatively combine and rearrange memories of prior events in order to plan for the future, then it is quite a good system. We (...) argue that consciousness originally developed as part of the episodic memory system—quite likely the part needed to accomplish that flexible recombining of information. We posit further that consciousness was subsequently co-opted to produce other functions that are not directly relevant to memory per se, such as problem-solving, abstract thinking, and language. We suggest that this theory is compatible with many phenomena, such as the slow speed and the after-the-fact order of consciousness, that cannot be explained well by other theories. We believe that our theory may have profound implications for understanding intentional action and consciousness in general. Moreover, we suggest that episodic memory and its associated memory systems of sensory, working, and semantic memory as a whole ought to be considered together as the conscious memory system in that they, together, give rise to the phenomenon of consciousness. Lastly, we suggest that the cerebral cortex is the part of the brain that makes consciousness possible, and that every cortical region contributes to this conscious memory system. (shrink)

Could the truths of mathematics have been different than they in fact are? If so, which truths could have been different? Do the contingent mathematical facts supervene on physical facts, or are they free floating? I investigate these questions within a framework of higher-order modal logic, drawing sometimes surprising connections between the necessity of arithmetic and analysis and other theses of modal metaphysics: the thesis that possibility in the broadest sense is governed by a logic of S5, that what is (...) possible holds in some maximally specific possibility, and that every property can be rigidified. The investigation will distinguish sharply between platonic contingency---contingency about whether particular abstract ``platonic'' mathematical objects are arranged in a certain way (e.g. in a natural number or real number structure)---from a deeper variety of structural contingency concerning what holds of objects whenever they *are* arranged in that way. (shrink)

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

The norm of monogamy is pervasive, having remained widespread, in most Western cultures at least, in spite of increasing tolerance toward more diverse relationship types. It is also puzzling. People willingly, and often with gusto, adhere to it, yet it is also, prima facie at least, highly restrictive. Being in a monogamous relationship means agreeing to give up certain sorts of valuable interactions and relationships with other people and to severely restrict one’s opportunities for sex and love. It is this (...) restrictiveness which has led for calls among some philosophers for the justification of the norm, and some have argued that it cannot be justified. John McMurtry, for example, writing in 1972, compared monogamy to private property and argued that it serves the capitalist order (McMurtry 1972, 596–97). More recently, Harry Chalmers (2019) has argued that monogamy is morally impermissible. In this chapter we argue that rather than justify the norm, we ought to explain and understand its pervasiveness. Not everyone who follows the norm is doing so blindly, irrationally, or immorally. Indeed, many people are monogamous because being monogamous supports their needs and best enables them to flourish. We suggest that the human need for trust and attachment could underlie many people’s desires for monogamy and, therefore, explain monogamy’s pervasiveness. Focusing on the human need for trust and attachment security can also help us to understand why sexual infidelity can feel like such a betrayal. It can make sense to mutually agree to exclusivity in relationships, in spite of the apparent restrictions this brings. In a sense, not all restrictions are restrictive, because holding ourselves to limits on our behavior can in fact help us to invest in and experience the things we value most. (shrink)

This paper outlines a new pluralistic theory of normative reasons for belief, welfarist pluralism, which aims to explain how there can be basic alethic/epistemic reasons for belief and basic pragmatic/non-alethic reasons for belief that can combine to determine what one ought to believe. The paper shows how this non-derivative first-order pluralism arises from a purely welfarist account of the foundations of theoretical normativity, thereby combining foundational pragmatism with non-derivative pluralism about normative reasons for belief. In addition, this paper outlines how (...) welfarist pluralism provides a new and potentialy attractive account of the value of truth (or its indicators), namely that the value of truth (or its indicators) is its direct contribution to individuals' personal good or wellbeing. (shrink)

The Mares-Goldblatt semantics for quantified relevant logics have been developed for first-order extensions of R, and a range of other relevant logics and modal extensions thereof. All such work has taken place in the the ternary relation semantic framework, most famously developed by Sylvan and Meyer. In this paper, the Mares-Goldblatt technique for the interpretation of quantifiers is adapted to the more general neighbourhood semantic framework, developed by Sylvan, Meyer, and, more recently, Goble. This more algebraic semantics allows one to (...) characterise a still wider range of logics, and provides the grist for some new results. To showcase this, we show, using some non-augmented models, that some quantified relevant logics are not conservatively extended by connectives the addition of which do conservatively extend the associated propositional logics, namely fusion and the dual implication. We close by proposing some further uses to which the neighbourhood Mares-Goldblatt semantics may be put. (shrink)

Autoinhibition is a design principle realized in many molecular mechanisms in biology. After explicating the notion of a design principle and showing that autoinhibition is such a principle, we focus on how researchers discovered instances of autoinhibition, using research establishing the autoinhibition of the molecular motors kinesin and dynein as our case study. Research on kinesin and dynein began in the fashion described in accounts of mechanistic explanation but, once the mechanisms had been discovered, researchers discovered that they exhibited a (...) second phenomenon, autoinhibition. The discovery of autoinhibition not only reverses the pattern in terms of which philosophers have understood mechanism discovery but runs counter to the one phenomenon-one mechanism principle assumed to relate mechanisms and the phenomena they explain. The ubiquity of autoinhibition as a design principle, therefore, necessitates a philosophical understanding of mechanisms that recognizes how they can participate in more than one phenomenon. Since mechanisms with this design are released from autoinhibition only when they are acted on by control mechanisms, we advance a revised account of mechanisms that accommodates attribution of multiple phenomena to the same mechanism and distinguishes them from other processes that control them. (shrink)

Materialists about human persons say that we are, and must be, wholly material beings. Substance dualists say that we are, and must be, wholly immaterial. In this paper, I take issue with the “and must be” bits. Both materialists and substance dualists would do well to reject modal extensions of their views and instead opt for contingent doctrines, or doctrines that are silent about those modal extensions. Or so I argue.

Social learning has been shown to be an evolutionarily adaptive strategy, but it can be implemented via many different cognitive mechanisms. The adaptive advantage of social learning depends crucially on the ability of each learner to obtain relevant and accurate information from informants. The source of informants’ knowledge is a particularly important cue for evaluating advice from multiple informants; if the informants share the source of their information or have obtained their information from each other, then their testimony is statistically (...) dependent and may be less reliable than testimony from informants who do not share information. In this study, we use a Bayesian model to determine how rational learners should incorporate the effects of shared information when learning from other people, conducting three experiments that examine whether human learners behave similarly. We find that people are sensitive to a number of different patterns of dependency, supporting the use of a sophisticated strategy for social learning that goes beyond copying the majority, and broadening the situations in which social learning is likely to be an adaptive strategy. (shrink)

Wittgenstein’s ‘ethnological approach’ to the philosophy of mathematics, in particular his discussion of calculation as an experiment and the limits of empiricism in mathematics, is presented against three interrelated backdrops: (1) James’ critique of Spencer’s evolutionary empiricism, specifically regarding necessary truths; (2) the Cambridge Anthropological Expedition to Torres Straits, led by Haddon and Rivers, whose Reports implicitly confuted Spencer; and (3) the subsequent work of Malinowski, especially his supplement to Ogden and Richards’ The Meaning of Meaning, a book sent to (...) Wittgenstein upon its publication in 1923. String figures as mathematics is a main illustrative example. (shrink)

In this chapter, we argue that a distinct concept of “aesthetic hope” emerges from the way Kierkegaard’s Aesthete treats hope [Haab] and its relationship to recollection [Erindring] in “The Unhappiest One” and “Rotation of Crops.” We first show that aesthetic hope is distinct from the two other kinds of hope discussed by Kierkegaard: temporal hope and eternal hope. We then consider the suggestion that aesthetic hope is also an expression of despair – an inverse hope against hope, which seeks to (...) avoid disappointment by hoping for things that are in some sense certain. The aesthete’s recommendation that we hope in such a way illuminates Kierkegaard’s view of the “dialectic” of temporal hope and eternal hope. Finally, we explore the treatment of hope in Either/Or as essentially involving a controlled, attentional element that anticipates some contemporary trends in the philosophy of hope. (shrink)

Much recent work on moral responsibility has focused on responsibility as accountability—a type of responsibility associated with the blame-oriented reactive attitudes of resentment, indignation, and guilt. The preoccupation with this admittedly important form of responsibility fosters a truncated portrait of our moral lives by largely ignoring responsibility for actions that merit praise and emulation. Through an examination of what is presupposed in the attitudes of gratitude and esteem, this essay argues that praiseworthiness is not best understood as the mirror image (...) of blameworthiness in the accountability sense. To make sense of praiseworthiness one must raise the profile of another type of responsibility —what Gary Watson has identified as its attributability, or aretaic face. Doing so also helps reveal some important features of virtuous agency, including a sense in which such agency may exhibit oft-overlooked and distinctive enhancements of an agent’s freedom. (shrink)

While many aspects of cognition have been shown to be shared between humans and non-human animals, there remains controversy regarding whether the capacity to mentally time travel is a uniquely human one. In this paper, we argue that there are four ways of representing when some event happened: four kinds of temporal representation. Distinguishing these four kinds of temporal representation has five benefits. First, it puts us in a position to determine the particular benefits these distinct temporal representations afford an (...) organism. Second, it provides the conceptual resources to foster a discussion about which of these representations is necessary for an organism to count as having the capacity to mentally time travel. Third, it enables us to distinguish stricter from more liberal views of mental time travel that differ regarding which kind(s) of temporal representation is taken to be necessary for mental time travel. Fourth, it allows us to determine the benefits of taking a stricter or more liberal view of mental time travel. Finally, it ensures that disagreement about whether some species can mentally time travel is not merely the product of unrecognised disagreement about which temporal representation is necessary for mental time travel. We argue for a more liberal view, on the grounds that it allows us to view mental time travel as an evolutionarily continuous phenomenon, and to recognise that differences in the ways that organisms mentally time travel might reflect different temporal representations, or combinations thereof, that they employ. Our ultimate aim, however, is to create the conceptual framework for further discussion regarding what sorts of temporal representations are required for mental time travel. (shrink)

Relevant propositional dynamic logics have been sporadically discussed in the broader context of modal relevant logics, but have not come up for sustained investigation until recently. In this paper, we develop a philosophical motivation for these systems, and present some new results suggested by the proposed motivation. Among these, we’ll show how to adapt some recent work to show that the extensions of relevant logics by the extensional truth constants \ are complete with respect to a natural class of ternary (...) relation models to show a similar result for the constant-free versions of the logic. In addition, we prove that the logics in question satisfy the variable sharing property, vindicating the claim that they really are relevant logics. (shrink)

Shortages of generic, injectable chemotherapeutics have been increasing in prevalence since 2006. Due to the lack of access to first-line, lifesaving treatments, physicians have been forced to ration chemotherapy between patients. Although the scarcity has been managed with good intentions, it has been done in an ad hoc manner, without the benefit of an ethically grounded and standardized schema. Using an approach based on the “accountability for reasonableness” method by Daniel and Sabin, I establish a framework and protocol for rationing (...) that is specific to chemotherapy. Prior to the state of true shortage, I present guidelines for the use of an adequate supply of chemotherapy with knowledge of upcoming scarcity. Within the rationing framework itself, I first prioritize emergency use of chemotherapeutics and those already receiving treatment at the time of shortage. I advocate for stratifying patients based on the prognostic indicators of their cancer type, using a combination of clinical-trial-based initial response and longer term survival, followed by the patients’ line of treatment. All patients who are not able to receive their “best” treatment must receive a sequent, next-best treatment, and their treatment team must have the ability to appeal to a rationing committee in special circumstances. I reject the ideas of stratification based on the intention of the treatment, perceived quality of life, pre-existing condition not impacting performance status, the classical “sickest first” argument, and giving preference to pediatric cases. Lastly, I advocate for any system of rationing to be transparent to those it affects and acknowledge the difficulties it presents to patients and physicians alike. (shrink)

The issue of how we ought to treat the nonhuman animals in our lives is one that has been growing in importance over the past forty years. A common charge is that discriminatory behavior based only on differences of species membership is just as wrong morally as are acts of racism or sexism. Is such a charge sustainable? It is argued that such reasoning confuses real differences with false ones, may have negative ethical consequences, and could tempt us to abandon (...) our responsibilities to the natural world. Finally, some benefits to human animal treatment that more humane nonhuman animal treatment may bring are considered. (shrink)

Paul Krugman and others deny that bitcoin has legitimate uses. Critics like Krugman also fail to distinguish bitcoin from other cryptocurrencies. But once we isolate bitcoin from the rest of the field, we see how special, and how useful, it is. In this chapter, we explain why bitcoin is unique among cryptocurrencies as a credibly neutral monetary asset and why this is important. Its uniqueness doesn’t owe entirely to its age (as the oldest) or market ranking (as the most valuable). (...) As a credibly neutral monetary asset, bitcoin solves problems for those in less than ideal circumstances. And beyond bitcoin’s functionality, its origin and surrounding culture also help to explain why people trust bitcoin more than any other cryptocurrency to solve these problems. Nothing else comes close. This gap between bitcoin and everything else has implications for policy-making, journalism, and academic research. (shrink)

Many theorists have found the notion of forgiveness to be paradoxical, for it is thought that only the blameworthy can be appropriately forgiven but that the blameworthy are appropriately blamed not forgiven. Some have appealed to the notion of repentance to resolve this tension. But others have objected that such a response is explanatorily inadequate in the sense that it merely stipulates and names a solution leaving the transformative power of repentance unexplained. Worse still, others have objected that such a (...) response cannot succeed because no amount of repentance can render the blameworthy not blameworthy. I argue that this latter objection is based on a mistaken assumption, the acknowledgement of which has the power to resolve the paradox in a way that meets the explanatory adequacy challenge, and, more generally, has significant implications with which any full theory of forgiveness must engage. (shrink)

Alasdair MacIntyre’s critique of managerial capitalism is well known, with some arguing that MacIntyrean thought is antithetical to contemporary capitalist business. Nevertheless, substantial efforts have been taken to demonstrate how different business activities constitute MacIntyrean practices, which points to an incoherence at the heart of MacIntyrean business ethics scholarship. This article proposes a way of bridging these perspectives, suggesting a reimagined MacIntyrean approach to business that is thoroughly ‘practice-led.’ A detailed comparison of accounting and management shows that while neither are (...) practices in ‘good order,’ they differ in significant ways: where management does not meet the criteria for a MacIntyrean practice, accounting is a ‘distorted’ practice. This leads to a categorisation of practice-led business activity, whereby the traditional tasks of management are subsumed, shared or subordinated to practices and practitioners. Insights on how this can be implemented are drawn from the ‘communities of practice’ literature and a consideration of professions. (shrink)

In this critical study of Julian Dodd’s Being True to Works of Music, I argue that the three-tier normative profile of the work-performance tradition in classical music that Dodd defends should be rejected in favour of a two-tier version. I also argue that the theory of work-performance defended in the book fits much more naturally with a contextualist ontology of musical works than with the Platonist ontology Dodd defends in Works of Music, despite his arguments to the contrary in the (...) afterword of the new book. Finally, I argue that the reasons he gives for preferring a ‘tradition-based’ over a ‘historicized’ theory of the understanding of classical scores are not convincing. (shrink)

This chapter addresses an ambiguity in some of the literature on rational peer disagreement about the use of the term 'rational'. In the literature 'rational' is used to describe a variety of normative statuses related to reasons, justification, and reasoning. This chapter focuses most closely on the upshot of peer disagreement for what is rationally required of parties to a peer disagreement. This follows recent work in theoretical reason which treats rationality as a system of requirements among an agent's mental (...) states. It is argued that peer disagreement has either no, or a very limited, affect on what rationality requires of an agent in a given circumstance. This is in part because of difficulties generated by a novel example of evidence of evidence of p being evidence against p. This example calls into question the mechanisms whereby peer disagreement might affect what is rationally required of an agent. The chapter also reevaluates the importance of actual peer disagreement against the backdrop of prior expectations about whether disagreement is believed to be likely, arguing that peer disagreement is most likely to change what is rationally required of an agent when it is believed to be unlikely. (shrink)

Kearns and Star have previously recommended that we measure the degree to which a reason supports a conclusion, either about how to act or what to believe, as the conditional probability of the conclusion given the reason. I show how to properly formulate this recommendation to allow for dependencies and conditional dependencies among the considerations being aggregated. This formulation allows us to account for how considerations, which do not themselves favour a specific conclusion, can modify the strength of a reason (...) for that conclusion, and thus to explain the intensifiers and attenuators described by Dancy. The formulation also accounts for the workings of partial undercutters in epistemology. I then show how my account avoids the counterexamples that Brunero levied against probability-based theories of the strengths of reasons. My account supports the theory, suggested by Kearns and Star, that the strengths of reasons are measured by conditional probabilities. If my account is successful, then it will count in favour of the idea that the strengths of reasons are measured on the same scale as are conditional probabilities. (shrink)

This chapter articulates two concerns that Karl Jaspers raised (with Hannah Arendt) about the common practice of viewing moral evil as unintelligible. The first is that this involves exoticizing the act and/or perpetrator in such a way that moral condemnation becomes difficult. The second is that it can lead us to treat the perpetrator, place, or victim as tainted or stained by a force whose motives we cannot grasp; this in turn can lead to magical thinking about evil as somehow (...) contagious or contaminating. After distinguishing some of the main categories of evil discussed in the western tradition, I examine ways in which moral evil, in particular, has been characterized as unintelligible, and try to discern which of them raises these Jaspersian concerns. I argue that there are at least two conceptions of “radical evil”—not the Kantian one, but the ones articulated by Hannah Arendt—that do so. (shrink)

-/- The term “natural religion” is sometimes taken to refer to a pantheistic doctrine according to which nature itself is divine. “Natural theology”, by contrast, originally referred to (and still sometimes refers to)[1] the project of arguing for the existence of God on the basis of observed natural facts. -/- In contemporary philosophy, however, both “natural religion” and “natural theology” typically refer to the project of using all of the cognitive faculties that are “natural” to human beings—reason, sense-perception, introspection—to investigate (...) religious or theological matters. Natural religion or theology, on the present understanding, is not limited to empirical inquiry into nature, and it is not wedded to a pantheistic result. It does, however, avoid appeals to special non-natural faculties (ESP, telepathy, mystical experience) or supernatural sources of information (sacred texts, revealed theology, creedal authorities, direct supernatural communication). In general, natural religion or theology (hereafter “natural theology”) aims to adhere to the same standards of rational investigation as other philosophical and scientific enterprises, and is subject to the same methods of evaluation and critique. Natural theology is typically contrasted with “revealed theology”, where the latter explicitly appeals to special revelations such as miracles, scriptures, and divinely-superintended commentaries and creedal formulations. (See DeCruz and DeSmedt 2015) -/- Philosophers and religious thinkers across almost every epoch and tradition (Near Eastern, African, Asian, and European) have engaged the project of natural theology, either as proponents or critics. The question of whether natural theology is a viable project is at the root of some of the deepest religious divisions: Shi’ite thinkers are optimistic about reason’s ability to prove various theological and ethical truths, for instance, while Sunnis are not; Roman Catholic theologians typically think that reason provides demonstrations of the existence of God, while many Protestant theologians do not. Unlike most of the topics discussed in an encyclopedia of philosophy, this is one over which wars have been fought and throats have been cut. -/- The most active discussions of natural theology in the West occurred during the high medieval period (roughly 1100–1400 C.E.) and the early modern period (1600–1800 C.E.). The past few decades have witnessed a revival of natural theological debate in the public sphere: there are now institutes promoting “Intelligent Design Theory”, popular apologetics courses, campus debates between believers and agnostics, a “New Atheist” movement, Youtube debates between apologists and atheists regarding new books in natural theology (such as the one between Nathan Lewis and Bernie Dehler on the Blackwell Companion to Natural Theology),[2] and TED talks by famous atheists on how to resist natural religion (such as the one by Richard Dawkins in February 2002).[3] -/- Among professional philosophers (who aren’t typically part of these more popular debates), arguments over our ability to justify positive or negative answers to religious questions have become fairly technical, often employing sophisticated logical techniques in an effort to advance the discussion instead of retreading the same old ground. The prestigious Gifford Lectures series hosted by a consortium of Scottish universities, however, has tried to feature new but still accessible work in natural theology for over 100 years (it too has a Youtube channel!)[4] -/- In this article, we aim to avoid most the more recent complexities but also explain their origins by focusing on some central developments in the early modern period that helped to frame contemporary natural theological debates. We are focused here only on theoretical arguments (both a priori and a posteriori or empirical ones). It is controversial whether moral arguments are also part of natural theology, but we set them aside here (see also the entry on God, arguments for the existence of: moral arguments). (shrink)

This chapter explores global debunking arguments, debunking arguments that aim to give one a global defeater. I defend Alvin Plantinga’s view that global defeaters are possible and, once gained, are impossible to escape by reasoning. They thereby must be extinguished by other means: epistemically propitious actions, luck, or grace. I then distinguish between three types of global defeater—pure-undercutters, undercutters-because-rebutters, and undercutters-while-rebutters—and systematically consider how one can deflect such defeaters. Lastly, since I draw insights from the literature on perhaps the most (...) widely discussed global debunking argument in the literature, Plantinga’s evolutionary argument against naturalism, I end up responding to many potential problems for it. This includes the so-called conditionalization problem, as well as those raised by Bergmann (2002), Law (2012), Deem (2018), Hendricks and Anderson (2020), and Wielenberg (in Craig and Wielenberg (2021)). (shrink)

ABSTRACT Almost all philosophers recognize the fundamental importance of the Phenomenology of Spirit. But Hegel's way of thinking and speaking—which he names, “speculative”—needs explaining. The example of “the speculative sentence” is helpful—for here, speculating means implying, that is, neither bringing meaning to presence nor keeping it in absence; but rather, speaking and thinking by implication. If the history of philosophy, however, overlooks what is implied, then it cannot grasp what is, and what is thought and said in the speculative sentence. (...) Luckily, there is another way: implying that which can neither be said nor left unsaid, neither thought nor unthought. Reinterpreting Hegel's speculative sentence, therefore, for implication, for what is implied—and neither present nor absent—Haas demonstrates how to think and speak speculatively about thinking and speaking, substance and subject, being and becoming, whether in philosophy or not, even if we implicate ourselves thereby. (shrink)

The problem of moral luck arises due to a particular tension in our thought. On the one hand, we seem readily inclined to endorse the principle that moral responsibility, that is, one’s praiseworthiness or blameworthiness, cannot be affected by luck, that is, by factors over which one lacks control. But, when we examine our actual practices, we find that our moral judgments are highly sensitive to luck. This resulting tension between principle and practice is the problem of moral luck, and (...) an attempt to solve this problem is an attempt to resolve this tension. The article first explains the traditional characterization of the problem and reviews three general strategies in responding to it. It is then argued that we should characterize the problem in a slightly broader way. This refocusing turns out to have significant methodological implications. (shrink)

This essay reassesses the relation between Kant and Kripke on the relation between necessity and the a priori. Kripke famously argues against what he takes to be the traditional view that a statement is necessary only if it is a priori, where, very roughly, what it means for a statement to be necessary is that it is true and could not have been false and what it means for a statement to be a priori is that it is knowable independently (...) of experience. Call such a view the Entailment Thesis. Along with many Kant scholars, Kripke thinks that Kant endorses the Entailment Thesis. Thus Kripke and many others take his arguments against the Entailment Thesis to tell against Kant and to mark an important point of disagreement with him. I will argue that this is a mistake. Kant does not endorse the Entailment Thesis that Kripke and many others attribute to him. He does endorse two quite different theses concerning the relation between necessity and the a priori, as he conceives them. One is a matter of definition and the other is a very substantial philosophical thesis indeed—to establish it is the aim of the entire Critique of Pure Reason. But Kripke’s arguments against the Entailment Thesis tell against neither of Kant’s theses, as they involve crucially different conceptions of necessity and the a priori. This superficial lack of disagreement masks deep disagreements, but these result from divergent views regarding matters such as realism, modal epistemology, and philosophical methodology; views which Kant does a lot, and Kripke very little, to argue for. (shrink)

According to an influential idea in the philosophy of set theory, certain mathematical concepts, such as the notion of a well-order and set, are indefinitely extensible. Following Parsons (1983), this has often been cashed out in modal terms. This paper explores instead an extensional articulation of the idea, formulated in higher-order logic, that flat-footedly formalizes some remarks of Zermelo. The resulting picture is incompatible with the idea that the entire universe can be well-ordered, but entirely consistent with the idea that (...) the sets of any set-theoretic universe can be. (shrink)

In the debate over the existence of composite objects, it is sometimes suggested that perceptual evidence justifies belief in composite objects. But it is almost never suggested that we are perceptually justified in believing in composite objects on the basis of the fact that the phenomenology of our perceptual experiences enables us to discriminate between situations where there are composite objects and situations where there are merely simples arranged composite object-wise. But while the thought that the phenomenology of our perceptual (...) experiences cannot enable us to discriminate between situations where there are composite objects and situations where there are merely simples arranged composite object-wise is commonly taken for granted, it requires some defence, both in light of its importance in shaping the debate and in light of its recently coming under attack by a prominent philosopher of perception. In this paper, I offer such a defence. (shrink)

It is important to note that certain mental health disorders are classified as rare conditions, and they have their own ‘cultural concepts of distress’ as defined in the Diagnostic and Statistical Manual of Mental Disorders, Fifth Edition (DSM 5). Cultural concepts of distress are a recent attempt to understand psychological distress influenced by culture, separate from biomedical diagnoses that require equal attention and support for individuals and their families, both physically and emotionally. [1].

Metaphysicians often claim that some metaphysical theory should (or shouldn’t) be believed because it exhibits (or fails to exhibit) theoretical virtues such as simplicity. Metaphysicians also sometimes claim that the legitimacy of these sorts of appeals to theoretical virtues are vindicated by the similar appeals to theoretical virtues which scientists make in scientific theory choice. One objection to this methodological move is to claim that the metaphysician misdescribes the role that theoretical virtues play within science. In this paper I defend (...) the metaphysician’s use of theoretical virtues against this objection. (shrink)

The aim of the Analytic of Concepts is to derive and deduce a set of pure concepts of the understanding, the categories, which play a central role in Kant’s explanation of the possibility of synthetic a priori cognition and judgment. This chapter is structured around two questions. First, what is a pure concept of the understanding? Second, what is involved in a deduction of a pure concept of the understanding? In answering the first, we focus on how the categories differ (...) from the pure forms of sensibility and examine whether they are known only to be the pure forms of human thinking or rather the forms of discursive cognition as such. In answering the second, we draw a distinction between the application and the exemplification of the categories and use it to identify different ways of understanding Kant’s project in the Transcendental Deduction of the Categories. These questions connect because the answer to the first determines how we should understand the kind of entitlement which is to be established in the Deduction. (shrink)

Why do mathematics often give several proofs of the same theorem? This is the question raised in this article, introducing the notion of an epistemic ideal and discussing two such ideals, the explanatoriness and purity of proof.

This article explores evolutionary debunking arguments as they arise in metaethics against moral realism and in philosophy of religion against naturalism. Both literatures have independently grappled with the question of which beliefs one may use to respond to a potential defeater. In this article, I show how the literature on the argument against naturalism can help clarify and bring progress to the literature on moral realism with respect to this question. Of note, it will become clear that the objection that (...) the moral realist begs the question, when appealing to the truth of some of her moral beliefs, is unsuccessful. (shrink)

Why we get the world wrong -- Intuitive theories of the physical world -- Matter : what is the world made of? How do those components interact? -- Energy : what makes something hot? What makes something loud? -- Gravity : what makes something heavy? What makes something fall? -- Motion : what makes objects move? What paths do moving objects take? -- Cosmos : what is the shape of our world? What is its place in the cosmos? -- Earth (...) : why do continents drift? Why do climates change? -- Intuitive theories of the biological world -- Life : what makes us alive? What causes us to die? -- Growth : why do we grow bigger? Why do we grow older? -- Inheritance : why do we resemble our parents? Where did we get our traits? -- Illness : what makes us ill? How does illness spread? -- Adaptation : why are there so many lifeforms? How do they change over time? -- Ancestry : where do species come from? How are they related? -- How to get the world right. (shrink)

Our aim in this chapter is to shed light on Kant’s account of the pure forms of sensibility by focusing on a somewhat neglected issue: Kant’s restriction of his claims about space and time to the case of human sensibility. Kant argues that space and time are the pure forms of sensibility for human cognizers. But he also says that we cannot know whether space and time are likewise the pure forms of sensibility for all discursive cognizers. A great deal (...) of attention has focused on the first of these claims, both on how Kant argues for it and how it relates to transcendental idealism. But a satisfactory interpretation must also account for the second claim, and it must account for the fact that Kant endorses both of them. What we need is an explanation of why Kant thinks our knowledge that space and time are the pure forms of sensibility extends to all human beings but no further. (shrink)

This paper argues against the correctness of the more popular -first views (fittingness first, reasons first, and value first). The aim of this paper is to argue that there are at least two categories of normative properties that are basic and that one of those categories is value. Although the emphasis of this paper is on reductionist -first accounts, most of the arguments work equally well against weaker views that are only committed to different categories of normative properties' being linked (...) by a necessary bi-conditional. -/- . (shrink)

When we seek a fuller understanding of individual liberty including its relational character, we confront a conundrum. The evident advantages of a single individual possessing liberty cannot be simply transferred to a greater number of beneficiaries. This conundrum is confronted with the resources of Hohfeld's analytical framework, developed specifically to elucidate the practical outworkings of interpersonal relations within the law. Attention is also paid to concerns expressed by von Wright over a representation of liberty (permission) within the resources of standard (...) deontic logic which fails to address its social aspect. The aggregate level of the Hohfeldian scheme is employed to represent a complete picture of liberty, but one that cannot guarantee benefits for a plurality of holders. The conclusion is reached that in order to extend the advantages of individual liberty to all, something other than liberty is required. (shrink)

In his 1978 paper “Mathematical Explanation”, Mark Steiner attempts to modernize the Aristotelian idea that to explain a mathematical statement is to deduce it from the essence of entities figuring in the statement, by replacing talk of essences with talk of “characterizing properties”. The language Steiner uses is reminiscent of language used for proofs deemed “pure”, such as Selberg and Erdős’ elementary proofs of the prime number theorem avoiding the complex analysis of earlier proofs. Hilbert characterized pure proofs as those (...) that use only “means that are suggested by the content of the theorem”, a characterization we have elsewhere called “topical purity”. In this paper we will examine the connection between Steiner’s account of mathematical explanation and topical purity. Are Steiner-explanatory proofs necessarily topically pure? Are topically pure proofs necessarily Steiner-explanatory? Answers to these questions will shed light on the general question of the relation between purity and explanatory power. (shrink)