In this paper, we axiomatize the deontic logic in Fusco 2015, which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make explicit the restrictions (...) Fusco’s account must place on free-choice inferences. They are also of independent interest, as they raise difficult questions about how to ‘lift’ a Kripke frame for a one- dimensional modal logic into two dimensions. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

We develop and defend a new approach to counterlogicals. Non-vacuous counterlogicals, we argue, fall within a broader class of counterfactuals known as counterconventionals. Existing semantics for counterconventionals, 459–482 ) and, 1–27 ) allow counterfactuals to shift the interpretation of predicates and relations. We extend these theories to counterlogicals by allowing counterfactuals to shift the interpretation of logical vocabulary. This yields an elegant semantics for counterlogicals that avoids problems with the usual impossible worlds semantics. We conclude by showing how this approach (...) can be extended to counterpossibles more generally. (shrink)

I develop an expressivist account of verbal disagreements as practical disagreements over how to use words rather than factual disagreements over what words actually mean. This account enjoys several advantages over others in the literature: it can be implemented in a neo-Stalnakerian possible worlds framework; it accounts for cases where speakers are undecided on how exactly to interpret an expression; it avoids appeals to fraught notions like subject matter, charitable interpretation, and joint-carving; and it naturally extends to an analysis of (...) metalinguistic negotiations. (shrink)

Conventional wisdom has it that truth is always evaluated using our actual linguistic conventions, even when considering counterfactual scenarios in which different conventions are adopted. This principle has been invoked in a number of philosophical arguments, including Kripke’s defense of the necessity of identity and Lewy’s objection to modal conventionalism. But it is false. It fails in the presence of what Einheuser (2006) calls c-monsters, or convention-shifting expressions (on analogy with Kaplan’s monsters, or context-shifting expressions). We show that c-monsters naturally (...) arise in contexts, such as metalinguistic negotiations, where speakers entertain alternative conventions. We develop an expressivist theory—inspired by Barker (2002) and MacFarlane (2016) on vague predications and Einheuser (2006) on counterconventionals—to model these shifts in convention. Using this framework, we reassess the philosophical arguments that invoked the conventional wisdom. (shrink)

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...) hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

A common objection to the very idea of conceptual engineering is the topic continuity problem: whenever one tries to “reengineer” a concept, one only shifts attention away from one concept to another. Put differently, there is no such thing as conceptual revision: there’s only conceptual replacement. Here, I show that topic continuity is compatible with conceptual replacement. Whether the topic is preserved in an act of conceptual replacement simply depends on what is being replaced (a conceptual tool or a conceptual (...) role) and what the topic under discussion is. Thus, the topic continuity problem only arises from a failure to specify these two things. (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...) interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

Counterfactual scepticism holds that most ordinary counterfactuals are false. The main argument for this view appeals to a ‘chance undermines would’ principle: if ψ would have some chance of not obtaining had ϕ obtained, then ϕ □→ ψ is false. This principle seems to follow from two fairly weak principles, namely, that ‘chance ensures could’ and that ϕ □→ ψ and ϕ ⋄→ ¬ ψ clash. Despite their initial plausibility, I show that these principles are independently problematic: given some modest (...) closure principles, they entail absurdities. Moreover, on the most promising strategy for saving these principles, they do not, in the relevant sense, entail the chance-undermines-would principle. Instead, they entail a principle that only supports counterfactual indeterminism, the view that most ordinary counterfactuals are chancy, that is, not settled true. I demonstrate this by developing an indeterminist semantics that vindicates the clash and chance-ensures-could principles but not the chance-undermines-would principle. This view, I argue, offers a better account of our credal and linguistic judgements than counterfactual scepticism. (shrink)

Arguments have always played a central role within logic and philosophy. But little attention has been paid to arguments as a distinctive kind of discourse, with its own semantics and pragmatics. The goal of this essay is to study the mechanisms by means of which we make arguments in discourse, starting from the semantics of argument connectives such as `therefore'. While some proposals have been made in the literature, they fail to account for the distinctive anaphoric behavior of `therefore', as (...) well as uses of argument connectives in complex arguments, suppositional arguments, arguments with non-declarative conclusions, as well as arguments with parenthetical remarks. A comprehensive account of arguments requires imposing a distinctive tree-like structure on contexts. We show how to extend our account to accommodate modal subordination and and di fferent flavors of `therefore'. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these (...) accounts use, however, is too strong, as the standard translation from modal logic to first-order logic is not compositional in this sense. In light of this, we will explore a weaker version of this notion that we will call schematicity and show that there is no schematic translation either from first-order logic to propositional logic or from intuitionistic logic to classical logic. (shrink)

While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the standard accounts (...) of cross-world predication all leave something to be desired. I then propose an account of cross-world predication based on quantified hybrid logic and show how it overcomes the limitations of these previous accounts. I will conclude by discussing various philosophical consequences and applications of such an account. (shrink)

There are many different ways to talk about the world. Some ways of talking are more expressive than others—that is, they enable us to say more things about the world. But what exactly does this mean? When is one language able to express more about the world than another? In my dissertation, I systematically investigate different ways of answering this question and develop a formal theory of expressive power, translation, and notational variance. In doing so, I show how these investigations (...) help to clarify the role that expressive power plays within debates in metaphysics, logic, and the philosophy of language. (shrink)

Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are often justified (...) only by example rather than by rigorous proof. In this paper, we provide proofs of many of these claims and present a more complete picture of the expressive landscape for such languages. (shrink)

We offer a novel account of metalinguistic comparatives, such as 'Al is more wise than clever'. On our view, metalinguistic comparatives express comparative commitments to conventions. Thus, 'Al is more wise than clever' expresses that the speaker has a stronger commitment to a convention on which Al is wise than to a convention on which she is clever. This view avoids problems facing previous approaches to metalinguistic comparatives. It also fits within a broader framework—independently motivated by metalinguistic negotiations and convention-shiftingexpressions— (...) that gives linguistic conventions a role in the semantics. (shrink)

Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional. Yet it not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. This paper does two things. First, it argues against a standard account of logic talk, viz., the impossible worlds semantics. It is shown that this semantics does not easily extend to a language with propositional quantifiers, which (...) are necessary for regimenting some logic talk. Second, it develops an alternative framework based on logical expressivism, which explains logic talk using shifting conventions. When combined with the standard S5π+ semantics for propositional quantifiers, this framework results in a well-behaved system that does not face the problems of the impossible worlds semantics. It can also be naturally extended with hybrid operators to regiment a broader range of logic talk, e.g., claims about what laws hold according to other logics. The resulting system, called hyperlogic, is therefore a better framework for modeling logic talk than previous accounts. (shrink)

A supplemental document for "The Logic of Hyperlogic. Part A: Foundations".

In light of the problem of logical omniscience, some scholars have argued that belief is question-sensitive: agents don't simply believe propositions but rather believe answers to questions. Hoek (2022) has recently developed a version of this approach on which a belief state is a "web" of questions and answers. Here, we present several challenges to Hoek's question-sensitive account of belief. First, Hoek's account is prone to very similar logical omniscience problems as those he claims to address. Second, the link between (...) belief and action he proposes is too rigid. We close by sketching a generalization of the account that can meet these challenges. (shrink)

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

Mathematics is everywhere and yet its objects are nowhere. There may be five apples on the table but the number five itself is not to be found in, on, beside or anywhere near the apples. So if not in space and time, where are numbers and other mathematical objects such as perfect circles and functions? And how do we humans discover facts about them, be it Pythagoras’ Theorem or Fermat’s Last Theorem? The metaphysical question of what numbers are and the (...) epistemological question of how we know about them are central to the philosophy of mathematics. These and related philosophical questions are of particular interest because of mathematics’ unusual status. Mathematics is exceptional in that, on the one hand, it appears unhesitatingly true—no one doubts that 2 + 3 = 5—but on the other, as just noted, it is not about the physical world. This ambivalent status is what gives the philosophy of mathematics its special interest. The philosophy of mathematics is also one of the oldest academic fields, more or less coeval with philosophy itself. But contemporary philosophy of mathematics is rather different from its pre-twentieth-century antecedents, largely for three reasons. The first is that since the seventeenth century, mathematics has become integral to science. Science has over the past few centuries become increasingly mathematical, and indeed the fundamental science of nature, physics, is today recognised as a branch of applied mathematics. The second is that mathematics underwent a transformation in the course of nineteenth century: having started the century as a rather traditional-looking science of quantity it emerged a hundred years later a radically transformed abstract theory of structure. The final factor in the transformation of the philosophy of mathematics is the rise of modern logic. Developed by Frege, Cantor and others in the late nineteenth century, modern logic pervades contemporary mathematics, philosophy and computer science, and has had an immeasurable effect on the philosophy of mathematics. These volumes will collect the major works in this major field, with a focus on the last few decades. The anthology will include technical work, which interprets philosophically significant mathematical results or subfields of mathematics, as well as purely philosophical writing, aimed at those without advanced mathematics. The collection should be of interest to both philosophers and mathematicians, as well as to anyone who is susceptible to wondering what the main intellectual tool used in science, economics and finance, and indeed everyday life is ultimately about. (shrink)

Can an agent's intelligence level be negative? We extend the Legg-Hutter agent-environment framework to include punishments and argue for an affirmative answer to that question. We show that if the background encodings and Universal Turing Machine (UTM) admit certain Kolmogorov complexity symmetries, then the resulting Legg-Hutter intelligence measure is symmetric about the origin. In particular, this implies reward-ignoring agents have Legg-Hutter intelligence 0 according to such UTMs.

Discussion of the relevance of grounding to substantiveness, theory-choice, and “location problems” in metaphysics.

Individualist subjectivism is a position in metaethics which states that moral claims are descriptions of attitudes, e.g. 'murder is wrong' means 'I disapprove of murder'. In this short article I present a novel argument against it by appealing to the conversion between first-person and third-person claims. I argue that individualist subjectivism, and more broadly, any propositions which refer to the self without a word like 'I' or me', fail to account for the fact that person with the name X saying (...) 'I' could be rephrased as anybody saying 'X', a process I call 'personalisation'. (shrink)

ABSTRACT It has become standard to conceive of metalinguistic disagreement as motivated by a form of negotiation, aimed at reaching consensus because of the practical consequences of using a word with one content rather than another. This paper presents an alternative motive for expressing and pursuing metalinguistic disagreement. In using words with given criteria, we betray our location amongst social categories or groups. Because of this, metalinguistic disagreement can be used as a stage upon which to perform a social identity. (...) The ways in which metalinguistic disagreements motivated in this way diverge in character from metalinguistic negotiations are described, as are several consequences of the existence of metalinguistic disagreements motivated in this way. (shrink)

We present a vignette study conducted with a quota sample of the German population (n = 400). Subjects had to redistribute a good between two hypothetical persons who contributed equally to the available amount but differed in quantity needed and the reason for their neediness. On a within-subjects level, we tested for the effects of need, accountability, and resource availability on their third-party distribution decisions. Between subjects, we further varied the kinds of needs: The persons either needed the good as (...) a means to survive, to live a decent life, to participate in society, or to be autonomous. Despite equal productivity, the mean share allocated to the needier person was significantly higher than an equal share. However, this share turned out significantly smaller when the needier person was accountable for needing more than the other. Nonetheless, even if accountable, the needier person still got a share larger than their contribution would suggest. When there was a surplus of resources, the needier person got an even higher share than when resources were scarce. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

Kant’s accounts of the Highest Good and the moral argument for God and immortality are central features of his philosophy. But both involve lingering puzzles. In this entry, we first explore what the Highest Good is for Kant and the role it plays in a complete account of ethical life. We then focus on whether the Highest Good involves individuals only, or whether it also connects with Kant’s doctrines about the moral progress of the species. In conclusion, we look into (...) three ways of articulating the moral argument for God and immorality that take our commitment to the Highest Good as their point of departure. (shrink)

In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...) way of modelling logical possibility that makes room for both kinds of logical impossibility. Doing so has interesting implications for the relationship between logical possibility and other kinds of possibility (for example, metaphysical possibility) and implications for the necessity or contingency of the laws of logic. (shrink)

This dissertation examines the theory of perceptual cognition laid out by the 7th century Buddhist scholar, Dharmakīrti, in his magnum opus, the Pramāṇavārttika. Like most theories of perception, both ancient and modern, the sensory cognition of ordinary objects is a topic of primary concern. Unlike other theorists, however, Dharmakīrti advances a technical definition of “perception” as a cognition which is both nonconceptual and non-erroneous. Dharmakīrti’s definition of perception is thereby deliberately inclusive of three additional types of “perceptual” cognition, in addition (...) to veridical sensory awareness: the nonconceptual mental apprehension of an immediately-preceding cognition (“mental perception”), the vivid appearance of soteriologically efficacious objects of contemplative practice (“yogic perception”), and the sheer unmediated presence of the contents of cognition—whatever these might be—to the cognizing mind (“reflexive awareness”). Through the logical examination of what it means to be aware of an object, Dharmakīrti demonstrates that the awareness of an object is just the awareness of a phenomenal form or cognitive image produced by that object. Pursuing this analysis further, however, Dharmakīrti argues that the very notion of an object of cognition that exists “externally” or outside the mind is incoherent. Additionally, Dharmakīrti maintains that the phenomenological structure of subject and object—that is, the “first-personal” sense of one’s own cognitions as pertaining to oneself (“for-me-ness”), together with the inseparably concomitant sense that the objects of cognition exist “out there” in an extramental world—is strictly a form of cognitive error. Therefore, because ordinary sensory cognition is inherently structured by this subject-object duality, ordinary sensory cognition must in the final analysis be understood as erroneous. According to Dharmakīrti, in other words, ultimately only the nondual “luminosity” of reflexive awareness is genuinely perceptual, because only reflexive awareness is undistorted by nature. In this way, Dharmakīrti’s epistemology provides a theoretical foundation for the advanced nondual contemplative practices of Indian and Tibetan Buddhism, particularly Mahāmudrā and rDzogs chen. (shrink)

In this paper, we analyse how GPS-based navigation systems are transforming some of our intellectual virtues and then suggest two strategies to improve our practices regarding the use of such epistemic tools. We start by outlining the two main approaches in virtue epistemology, namely virtue reliabilism and virtue responsibilism. We then discuss how navigation systems can undermine five epistemic virtues, namely memory, perception, attention, intellectual autonomy, and intellectual carefulness. We end by considering two possible interlinked ways of trying to remedy (...) this situation: [i] redesigning the epistemic tool to improve the epistemic virtues of memory, perception, and attention; and [ii] the cultivation of cognitive diligence for wayfinding tasks scaffolding intellectual autonomy and carefulness. (shrink)

Otto Neurath’s empiricist methodology of economics and his contributions to politi- cal economy have gained increasing attention in recent years. We connect this research with contemporary debates regarding the epistemological status of thought experiments by reconstructing Neurath’s utopias as linchpins of thought experiments. In our three reconstructed examples of different uses of utopias/dystopias in thought experiments we employ a reformulation of Häggqvist’s model for thought experiments and we argue that: (1) Our reformulation of Häggqvist’s model more adequately complies with many (...) uses of thought experiments, especially with the open-ended discussions of utopias and dys- topias in thought experiments. (2) As a strict logical empiricist, Neurath is committed to a strictly empiricist account of thought experiments. John Norton’s empiricist argument view can indeed account for the justifications of empirical beliefs and genuine discoveries targeted by scientific utopianism in three distinct (yet connected) ways, all of which Neur- ath already contemplated: (2.I) Dealing with utopias and thought experiments on a regular basis increases creativity and inventiveness. (2.II) Particular ways of presenting knowl- edge facilitate scientific discovery and social progress. (2.III) The use of utopias in thought experiments can prompt conceptual change and allow access to new phenomena. We con- clude by highlighting that, even though thought experiments support a positive attitude for exploring new social possibilities, Neurath points out that active decisions are unavoidable. The exploration of alternatives and the awareness of a need for decisions in policy discus- sion avert a technocratic outlook in social science. (shrink)

I like the view that the fundamental facts are logically simple, not complex. However, some universal generalizations and negations may appear fundamental, because they cannot be explained by logically simple facts about particulars. I explore a natural reply: those universal generalizations and negations are true because certain logically simple facts—call them —are the fundamental facts. I argue that this solution is only available given some metaphysical frameworks, some conceptions of metaphysical explanation and fundamentality. It requires a ‘fitting’ framework, according to (...) which metaphysical theories explain the aptness of representations in terms of how things are fundamentally. Fitting frameworks conceive of the fundamental facts as those that are metaphysically ‘real’; call them the ‘facts-in-reality’. Moreover, we must take as primary a plural notion of the facts-in-reality, not the singular notion of a fact-in-reality. By contrast, a metaphysics that grounds facts is incompatible with my strategy for keeping the fundamental facts logically simple. (shrink)

Kant and Fichte developed the concept of a worldview as a way of reflecting on experience as a whole. But what does it mean to form a worldview? And what role did it play in the German Idealist tradition? This paper seeks to answer these questions through a detailed analysis of the form of a philosophical worldview and its historical portent, both of which remain unexplored in the literature. The dearth of attention is partially to blame on Kant’s desultory development (...) of it, as well as its place in Fichte’s understudied lectures on religion. In this paper, I first reconstruct Kant’s conception as the starting point and then trace it to Fichte who went on to evolve it further. Fichte endorses the basic conceptual shape pioneered by Kant, namely, a reflective process of positing an idea and then checking the coherence of necessary judgments relative to it. However, Fichte came to realize that its philosophical function needed expanding. Beyond recognizing the possibility for alternative worldviews, Fichte further fleshed out how worldview creation could lead to human flourishing. The common feature between both thinkers is that the formation of a worldview aims to turn philosophy into a life-orienting exercise. (shrink)

Fine is widely thought to have refuted the simple modal account of essence, which takes the essential properties of a thing to be those it cannot exist without exemplifying. Yet, a number of philosophers have suggested resuscitating the simple modal account by appealing to distinctions akin to the distinction Lewis draws between sparse and abundant properties, treating only those in the former class as candidates for essentiality. I argue that ‘sparse modalism’ succumbs to counterexamples similar to those originally posed by (...) Fine, and fails to capture paradigmatic instances of essence involving abundant properties and relations. (shrink)

Grounding and explanation are said to be intimately connected. Some even maintain that grounding just is a form of explanation. But grounding and explanation also seem importantly different—on the face of it, the former is ‘worldy’ or ‘objective’ while the latter isn’t. In this paper, we develop and respond to an argument to the effect that there is no way to fruitfully address this tension that retains orthodox views about grounding and explanation but doesn’t undermine a central piece of methodology, (...) namely that explanation is a guide to ground. (shrink)

Bedürfnisse sind etwas, das uns als Menschen grundlegend bestimmt. Der vorliegende Band fasst eine Reihe von Vignettenstudien zusammen, in denen untersucht wird, welche Rolle Bedürfnisse im Umgang mit Problemen der Verteilungsgerechtigkeit spielen. Während sie in Diskussionen zur Verteilungsgerechtigkeit häufig eher unterrepräsentiert sind, wird hier gezeigt, dass sie eine fundamentale Bedeutung im Denken der Menschen haben. Es wird unter anderem deutlich, dass unparteiischen Beobachter*innen graduelle Gerechtigkeitseinschätzungen von Verteilungssituationen vornehmen, die davon abhängig sind, wie umfangreich die beobachteten Parteien mit einem Gut ausgestattet (...) sind. Wenn außerdem bekannt ist, wie hoch deren Bedarf an jenem Gut ist, finden die Einschätzungen relativ zu diesem Referenzpunkt statt. Außerdem werden in der Rolle von unparteiischen Entscheider*innen hypothetische Verteilungsentscheidungen getroffen, die den Bedarf, die Leistung sowie die Verantwortung der betroffenen Parteien berücksichtigen. Hierbei wird der Bedarf einer Partei auch dann zumindest teilweise kompensiert, wenn diese weniger zu der zur Verfügung stehenden Gütermenge beigetragen hat, als sie selbst benötigt. Die Bereitschaft, den Bedarf einer Partei teilweise zu kompensieren, sinkt jedoch, wenn sie dafür verantwortlich ist, mehr als andere zu benötigen oder weniger als andere beigetragen zu haben. Und sowohl in der Rolle von unparteiischen Beobachter*innen als auch in der Rolle von unparteiischen Entscheider*innen wird zwischen unterschiedlichen Bedarfsarten unterschieden, deren Erfüllung verschiedene Wichtigkeit beigemessen wird. (shrink)

In his recent article entitled ‘Can We Believe the Error Theory?’ Bart Streumer argues that it is impossible (for anyone, anywhere) to believe the error theory. This might sound like a problem for the error theory, but Streumer argues that it is not. He argues that the un-believability of the error theory offers a way for error theorists to respond to several objections commonly made against the view. In this paper, we respond to Streumer’s arguments. In particular, in sections 2-4, (...) we offer several objections to Streumer’s argument for the claim that we cannot believe the error theory. In section 5, we argue that even if Streumer establishes that we cannot believe the error theory, this conclusion is not as helpful for error theorists as he takes it to be. (shrink)

Rational agents face choices, even when taking seriously the possibility of determinism. Rational agents also follow the advice of Causal Decision Theory (CDT). Although many take these claims to be well-motivated, there is growing pressure to reject one of them, as CDT seems to go badly wrong in some deterministic cases. We argue that deterministic cases do not undermine a counterfactual model of rational deliberation, which is characteristic of CDT. Rather, they force us to distinguish between counterfactuals that are relevant (...) and ones that are irrelevant for the purposes of deliberation. We incorporate this distinction into decision theory to develop ‘Selective Causal Decision Theory’, which delivers the correct recommendations in deterministic cases while respecting the key motivations behind CDT. (shrink)

Recent discussions of emergence in physics have focussed on the use of limiting relations, and often particularly on singular or asymptotic limits. We discuss a putative example of emergence that does not fit into this narrative: the case of phonons. These quasi-particles have some claim to be emergent, not least because the way in which they relate to the underlying crystal is almost precisely analogous to the way in which quantum particles relate to the underlying quantum field theory. But there (...) is no need to take a limit when moving from a crystal lattice based description to the phonon description. Not only does this demonstrate that we can have emergence without limits, but also provides a way of understanding cases that do involve limits. (shrink)

A number of bioethicists have been critical of the power of the family to “veto” a patient’s decision to posthumously donate her organs within opt-in systems of organ procurement. One major objection directed at the family veto is that when families veto the decision of their deceased family member, they do something wrong by violating or failing to respect the autonomy of that deceased family member. The goal of this paper is to make progress on answering this objection. I do (...) this in two stages. First, I argue that the most plausible interpretation of what happens when a person registers as an organ donor in an opt-in system is that she gives her consent to the state to posthumously remove her organs for transplantation purposes. Call this the Authorization Account. Second, given the Authorization Account, I argue by analogy that when families veto an individual’s decision to donate and the individual’s organs are not in the end removed, neither the doctors nor the family violate the individual’s autonomy in any morally objectionable sense. Call this the Nonremoval Thesis. I argue that since the Nonremoval Thesis is true, we do not violate or fail to respect the autonomy of registered donors when we fail to remove their organs because their family has objected. (shrink)

In this paper, I will discuss what I will call “skeptical pragmatic invariantism” as a potential response to the intuitions we have about scenarios such as the so-called bank cases. SPI, very roughly, is a form of epistemic invariantism that says the following: The subject in the bank cases doesn’t know that the bank will be open. The knowledge ascription in the low standards case seems appropriate nevertheless because it has a true implicature. The goal of this paper is to (...) show that SPI is mistaken. In particular, I will show that SPI is incompatible with reasonable assumptions about how we are aware of the presence of implicatures. Such objections are not new, but extant formulations are wanting for reasons I will point out below. One may worry that refuting SPI is not a worthwhile project given that this view is an implausible minority position anyway. To respond, I will argue that, contrary to common opinion, other familiar objections to SPI fail and, thus, that SPI is a promising position to begin with. (shrink)

Pattern-based reasons are reasons for action deriving not from the features of our own actions, but from the features of the larger patterns of action in which we might be participating. These reasons might relate to the patterns of action that will actually be carried out, or they might relate to merely hypothetical patterns. In past work, I have argued that accepting merely hypothetical pattern-based reasons, together with a plausible account of how to weigh these reasons, can lead to disastrous (...) consequences. However, in this article, I argue that this problem is not limited to hypothetical pattern-based reasons: it turns out that there are analogous issues for reasons deriving from actual patterns. I then suggest that we can avoid this problem by adopting a different account of the weight of pattern-based reasons. (shrink)

Kant’s claim that we must postulate the immortality of the soul is polarizing. While much attention has been paid to two standard arguments in its defense (one moral-psychological, the other rational), I contend that a favorite argument of Kant’s from the apogee of his critical period, namely, the teleological argument, deserves renewed attention. This paper reconstructs it and exhibits what makes it unique (though not necessarily superior) in relation to the other arguments. In particular, its form (as third-personal or descriptive, (...) beginning from observations) and related force of assent (as a subjectively universal reflective judgment) set it apart from the other arguments. My goal is to establish that any engagement with Kant’s immortality postulate must include equal consideration of the teleological argument in order to be complete. (shrink)

Unter dem Dach der Philosophie gingen empirische Forschung und normative Theorie lange Zeit Hand in Hand, bis sie spätestens um die Zeit der Emanzipation der Einzelwissenschaften in eine schwierige, nicht immer eindeutig bestimmbare Beziehung zueinander traten; dieses unterbestimmte Verhältnis tritt uns vor dem Hintergrund aktueller Debatten wieder entgegen. Das zeigt sich zum Beispiel auch bei Fragen der Ethik: In den letzten Jahrzehnten zeigten verschiedene wissenschaftliche Disziplinen verstärktes Interesse an empirischen Bemühungen um ein deskriptives Verständnis von Moral. Hier gibt es nach (...) wie vor eine starke Trennung zwischen den Bereichen der normativen Theorie einerseits und der empirischen Forschung andererseits, wobei in beiden Bereichen dazu tendiert wird, die jeweils anderen Diskurse zu vernachlässigen, wobei Unklarheit über die Möglichkeiten und Grenzen einer fruchtbaren Integration herrscht. Auf der anderen Seite gibt es jüngst auch verschiedene Versuche einer Integration beider Domänen. – Dies macht einen Diskurs über die Bestimmung des Verhältnisses von empirischer Forschung und normativer Theorie nötig, was in diesem Band aus verschiedenen historischen sowie systematischen Perspektiven geleistet wird. (shrink)

I develop a theory of action inspired by a Heideggerian conception of concern, in particular for phenomenologically-inspired Embodied Cognition (Noë 2004; Wheeler 2008; Rietveld 2008; Chemero 2009; Rietveld and Kiverstein 2014). I proceed in three steps. First, I provide an analysis that identifies four central aspects of action and show that phenomenologically-inspired Embodied Cognition does not adequately account for them. Second, I provide a descriptive phenomenological analysis of everyday action and show that concern is the best candidate for an explanation (...) of action. Third, I show that concern, understood as the integration of affect and embodied understanding, allows us to explain the different aspects of action sufficiently. (shrink)

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