This introduction provides a highly readable critical overview of the main arguments and themes in twentieth-century and contemporary metaethics. It traces the development of contemporary debates in metaethics from their beginnings in the work of G. E. Moore up to the most recent arguments between naturalism and non-naturalism, cognitivism and non-cognitivism. A highly readable critical overview of the main arguments and themes in twentieth century and contemporary metaethics. Asks: Are there moral facts? Is there such a thing as moral truth? (...) Is moral knowledge possible? Traces the development of contemporary debates in metaethics from their beginnings in the work of G. E. Moore up to the most recent debates between naturalism and non-naturalism, cognitivism and noncognitivism. Provides for the first time a critical survey of famous figures in twentieth century metaethics such as Moore, Ayer and Mackie together with in-depth discussions of contemporary philosophers such as Blackburn, Gibbard, Wright, Harman, Railton, Sturgeon, McDowell and Wiggins. (shrink)

Deontic logic, as traditionally conceived, provides only a deductive theory that constrains the states or possible worlds within which an agent should try to remain.

Øystein Linnebo and Richard Pettigrew have recently developed a version of non-eliminative mathematical structuralism based on Fregean abstraction principles. They argue that their theory of abstract structures proves a consistent version of the structuralist thesis that positions in abstract structures only have structural properties. They do this by defining a subset of the properties of positions in structures, so-called fundamental properties, and argue that all fundamental properties of positions are structural. In this article, we argue that the structuralist thesis, even (...) when restricted to fundamental properties, does not follow from the theory of structures that Linnebo and Pettigrew have developed. To make their account work, we propose a formal framework in terms of Kripke models that makes structural abstraction precise. The formal framework allows us to articulate a revised definition of fundamental properties, understood as intensional properties. Based on this revised definition, we show that the restricted version of the structuralist thesis holds. 1Introduction 2The Structuralist Thesis 3LP-Structuralism 4Purity 5A Formal Framework for Structural Abstraction 6Fundamental Relations 7The Structuralist Thesis Vindicated 8Conclusion. (shrink)

This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well‐known Hansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two‐level approach to obligations is tested first against standard scenarios of contrary‐to‐duty obligations, leading also to a generalization for the Kanger‐Anderson reduction of deontic logic. Next, the priority framework is applied to model (...) two intuitively different sorts of deontic dynamics of obligations, based on information changes and on genuine normative events. In this two‐level setting, we also offer novel takes on vexed issues such as the Chisholm paradox and modelling strong permission. Finally, the priority framework is shown to provide a unifying setting for the study of operations on norms as such, in particular, adding or deleting individual norms, and even merging whole norm systems in different manners. (shrink)

Several philosophers of science construe models of scientific theories as set-theoretic structures. Some of them moreover claim that models should not be construed as structures in the sense of model theory because the latter are language-dependent. I argue that if we are ready to construe models as set-theoretic structures (strict semantic view), we could equally well construe them as model-theoretic structures of higher-order logic (liberal semantic view). I show that every family of set-theoretic structures has an associated language of higher-order (...) logic and an up to signature isomorphism unique model-theoretic counterpart, which is able to serve the same purposes. This allows to carry over every syntactic criterion of equivalence for theories in the sense of the liberal semantic view to theories in the sense of the strict semantic view. Taken together, these results suggest that the recent dispute about the semantic view and its relation to the syntactic view can be resolved. (shrink)

A phenomenon called perspectival disagreement is laid out and modelled on the basis of modifications to known consensus measures for qualitative representations of preferences and transitive values by binary relations. Cases of perspectival disagreement are of general philosophical interest, because they allow for the possibility that two or more agents judge the value positions of other agents differently even when their assessments are based on the same evidence. Various examples of perspectival disagreement are given, generalizations are discussed, and it is (...) argued that any representation by cardinal utilities also gives rise to some form of perspectivity. Although the examples strongly suggest that this phenomenon occurs in real life, it is concluded in the end that it does not pose any fundamental threat to representations of preferences and values as binary relations. Instead, position‐sensitive measures of disagreement ought to be taken as a modelling option for cases in which the relative importance of preference changes matters to an agent. (shrink)

The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or another, violate the laws (...) of logic. In this paper, we argue that existing impossible-worlds models of belief fail to describe agents who are both logically non-omniscient and logically competent. To model such agents, we argue, we need to ‘dynamize’ the impossible-worlds framework in a way that allows us to capture not only what agents believe, but also what they are able to infer from what they believe. In light of this diagnosis, we go on to develop the formal details of a dynamic impossible-worlds framework, and show that it successfully models agents who are both logically non-omniscient and logically competent. (shrink)

Although expected utility theory has proven a fruitful and elegant theory in the finite realm, attempts to generalize it to infinite values have resulted in many paradoxes. In this paper, we argue that the use of John Conway's surreal numbers shall provide a firm mathematical foundation for transfinite decision theory. To that end, we prove a surreal representation theorem and show that our surreal decision theory respects dominance reasoning even in the case of infinite values. We then bring our theory (...) to bear on one of the more venerable decision problems in the literature: Pascal's Wager. Analyzing the wager showcases our theory's virtues and advantages. To that end, we analyze two objections against the wager: Mixed Strategies and Many Gods. After formulating the two objections in the framework of surreal utilities and probabilities, our theory correctly predicts that (1) the pure Pascalian strategy beats all mixed strategies, and (2) what one should do in a Pascalian decision problem depends on what one's credence function is like. Our analysis therefore suggests that although Pascal's Wager is mathematically coherent, it does not deliver what it purports to, a rationally compelling argument that people should lead a religious life regardless of how confident they are in theism and its alternatives. (shrink)

What does 'might' mean? One hypothesis is that 'It might be raining' is essentially an avowal of ignorance like 'For all I know, it's raining'. But it turns out these two constructions embed in different ways, in particular as parts of larger constructions like Wittgenstein's 'It might be raining and it's not' and Moore's 'It's raining and I don't know it', respectively. A variety of approaches have been developed to account for those differences. All approaches agree that both Moore sentences (...) and Wittgenstein sentences are classically consistent. In this paper I argue against this consensus. I adduce a variety of new data which I argue can best be accounted for if we treat Wittgenstein sentences as being classically inconsistent. This creates a puzzle, since there is decisive reason to think that 'Might p' is classically consistent with 'Not p'. How can it also be that 'Might p and not p' and 'Not p and might p' are classically inconsistent? To make sense of this situation, I propose a new theory of epistemic modals and their interaction with embedding operators. This account makes sense of the subtle embedding behavior of epistemic modals, shedding new light on their meaning and, more broadly, the dynamics of information in natural language. -/- . (shrink)

Should objects count as necessarily having certain properties, despite their not having those properties when they do not exist? For example, should a cat that passes out of existence, and so no longer is a cat, nonetheless count as necessarily being a cat? In this essay I examine different ways of adapting Aldo Bressan’s MLν so that it can accommodate an affirmative answer to these questions. Anil Gupta, in The Logic of Common Nouns, creates a number of languages that have (...) a kinship with Bressan’s MLν , three of which are also tailored to affirmatively answering these questions. After comparing their languages, I argue that metaphysicians and philosophers of language should prefer MLν to Gupta’s languages in most applications because it can accommodate essential properties, like being a cat, while being more uniform and less cumbersome. (shrink)

What an agent ought to do is determined by competition between reasons bearing on the options open to her. The popular metaphor of balancing or weighing reasons on a scale to represent this competition encourages a focus on competition between reasons for competing options. But what an agent ought to do also depends on the reasons against those options. The balancing metaphor does not provide an obvious way to represent reasons against. Partly as a result of this, there is a (...) serious lack of work on reasons against. A simple view is that there is no problem here, since reasons against an option are really just more reasons for—in particular, reasons for certain alternatives. This simple view lets us maintain the balancing metaphor, and more importantly, it simplifies theorizing about the competition between reasons. This is because if it’s true, there is really just one kind of competition, the competition between reasons for competing options. This paper challenges the simple view, arguing against several ways of identifying which alternatives to an option the reasons against it are reasons for. I also sketch a competing view, according to which reasons against are distinct from reasons for—these are two different normative relations. If this kind of view is correct, then our theory of the competition between reasons will need to recognize at least two kinds of competition: the one between reasons for competing options, and the one between the reasons for an option and the reasons against it. (shrink)

What does it mean for the laws of logic to fail? My task in this paper is to answer this question. I use the resources that Routley/Sylvan developed with his collaborators for the semantics of relevant logics to explain a world where the laws of logic fail. I claim that the non-normal worlds that Routley/Sylvan introduced are exactly such worlds. To disambiguate different kinds of impossible worlds, I call such worlds logically impossible worlds. At a logically impossible world, the laws (...) of logic fail. In this paper, I provide a definition of logically impossible worlds. I then show that there is nothing strange about admitting such worlds. (shrink)

© The Author 2018. Published by Oxford University Press on behalf of The Analysis Trust. All rights reserved. For Permissions, please email: [email protected] article is published and distributed under the terms of the Oxford University Press, Standard Journals Publication Model...Philosophy of law was until recently dominated by abstract investigation into the nature of law, a pursuit known as ‘general jurisprudence’. In this way, it resembled a branch of metaphysics or mid-twentieth century philosophy of mind, seeking to uncover the essential properties (...) of a general and multiply realizable phenomenon. Today, philosophers study law with a sharper focus, and with a more specialized lens – that of ethicists, for example, or epistemologists, or philosophers of action.That is not to say there has been a drop in groundbreaking work in general jurisprudence (see, for... (shrink)

This article considers two important problems for the idea that what we ought to do is determined by the balance of competing reasons. The problems are distinct, but the object of the article is to explore how they admit of a single solution. It is a consequence of this solution that objective reasons—facts that count in favor—are in an important sense less objective than they have consistently been assumed to be. This raises but does not answer the question as to (...) what evidence we ever had that reasons are as objective as has been assumed. (shrink)

Unbelievable Errors defends an error theory about all normative judgements: not just moral judgements, but also judgements about reasons for action, judgements about reasons for belief, and instrumental normative judgements. This theory states that normative judgements are beliefs that ascribe normative properties, but that normative properties do not exist. It therefore entails that all normative judgements are false. -/- Bart Streumer also argues, however, that we cannot believe this error theory. This may seem to be a problem for the theory. (...) But he argues that it makes this error theory more likely to be true, since it undermines objections to the theory and it makes it harder to reject the arguments for the theory. -/- He then sketches how certain other philosophical theories can be defended in a similar way. He concludes that to make philosophical progress, we need to make a sharp distinction between a theory's truth and our ability to believe it. (shrink)

It is regrettably common for theorists to attempt to characterize the Humean dictum that one can’t get an ‘ought’ from an ‘is’ just in broadly logical terms. We here address an important new class of such approaches which appeal to model-theoretic machinery. Our complaint about these recent attempts is that they interfere with substantive debates about the nature of the ethical. This problem, developed in detail for Daniel Singer’s and Gillian Russell and Greg Restall’s accounts of Hume’s dictum, is of (...) a general type arising for the use of model-theoretic structures in cashing out substantive philosophical claims: the question of whether an abstract model-theoretic structure successfully interprets something often involves taking a stand on non-trivial issues surrounding the thing. In the particular case of Hume’s dictum, given reasonable conceptual or metaphysical claims about the ethical, Singer’s and Russell and Restall’s accounts treat obviously ethical claims as descriptive and vice versa. Consequently, their model-theoretic characterizations of Hume’s dictum are not metaethically neutral. This encourages skepticism about whether model-theoretic machinery suffices to provide an illuminating distinction between the ethical and the descriptive. (shrink)

This essay addresses the other side of the robot ethics debate, taking up and investigating the question “Can and should robots have rights?” The examination of this subject proceeds by way of three steps or movements. We begin by looking at and analyzing the form of the question itself. There is an important philosophical difference between the two modal verbs that organize the inquiry—can and should. This difference has considerable history behind it that influences what is asked about and how. (...) Second, capitalizing on this verbal distinction, it is possible to identify four modalities concerning social robots and the question of rights. The second section will identify and critically assess these four modalities as they have been deployed and developed in the current literature. Finally, we will conclude by proposing another alternative, a way of thinking otherwise that effectively challenges the existing rules of the game and provides for other ways of theorizing moral standing that can scale to the unique challenges and opportunities that are confronted in the face of social robots. (shrink)

In his classic book “the Foundations of Statistics” Savage developed a formal system of rational decision making. The system is based on (i) a set of possible states of the world, (ii) a set of consequences, (iii) a set of acts, which are functions from states to consequences, and (iv) a preference relation over the acts, which represents the preferences of an idealized rational agent. The goal and the culmination of the enterprise is a representation theorem: Any preference relation that (...) satisfies certain arguably acceptable postulates determines a (finitely additive) probability distribution over the states and a utility assignment to the consequences, such that the preferences among acts are determined by their expected utilities. Additional problematic assumptions are however required in Savage's proofs. First, there is a Boolean algebra of events (sets of states) which determines the richness of the set of acts. The probabilities are assigned to members of this algebra. Savage's proof requires that this be a σ-algebra (i.e., closed under infinite countable unions and intersections), which makes for an extremely rich preference relation. On Savage's view we should not require subjective probabilities to be σ-additive. He therefore finds the insistence on a σ-algebra peculiar and is unhappy with it. But he sees no way of avoiding it. Second, the assignment of utilities requires the constant act assumption: for every consequence there is a constant act, which produces that consequence in every state. This assumption is known to be highly counterintuitive. The present work contains two mathematical results. The first, and the more difficult one, shows that the σ-algebra assumption can be dropped. The second states that, as long as utilities are assigned to finite gambles only, the constant act assumption can be replaced by the more plausible and much weaker assumption that there are at least two non-equivalent constant acts. The second result also employs a novel way of deriving utilities in Savage-style systems -- without appealing to von Neumann-Morgenstern lotteries. The paper discusses the notion of “idealized agent" that underlies Savage's approach, and argues that the simplified system, which is adequate for all the actual purposes for which the system is designed, involves a more realistic notion of an idealized agent. (shrink)

This Handbook maps a central terrain of philosophy, and provides the definitive guide to it. An illustrious team of philosophers explore the concept of a reason to do or believe something, in order to determine what these reasons are and how they work. And they investigate the nature of 'normative' claims about what we ought to do or believe.

Parfit denies that the introduction of reasons into our ontology is costly for his theory. He puts forth two positions to help establish the claim: the Plural Senses View and the Argument from Empty Ontology. I argue that, first, the Plural Senses View for ‘exists’ can be expanded to allow for senses which undermine his ontological claims; second, the Argument from Empty Ontology can be debunked by Platonists. Furthermore, it is difficult to make statements about reasons true unless these statements (...) include reference to objects in reality. These arguments show the instability of Parfit’s claimed metaethical advantages over naturalism. [Open access]. (shrink)

I explore the Because Constraint—the idea that moral facts depend on natural facts and that moral judgements ought to respect the dependence of moral facts on natural facts. I consider several issues concerning its clarification and importance.

Some people commonly know a proposition just in case they all know it, they all know that they all know it, they all know that they all know that they all know it, and so on. They commonly believe a proposition just in case they all believe it, they all believe that they all believe it, they all believe that they all believe that they all believe it, and so on. A long tradition in economic theory, theoretical computer science, linguistics (...) and philosophy has held that people have some approximation of common knowledge or common belief in a range of circumstances, for example, when they are looking at an object together, or when they have just discussed something explicitly in conversation. In this paper, I argue that people do not have any approximation of common knowledge or common belief in these circumstances. The argument suggests that people never have any approximation of common knowledge or common belief. (shrink)

We provide conditions under which an incomplete strongly independent preorder on a convex set X can be represented by a set of mixture preserving real-valued functions. We allow X to be infi nite dimensional. The main continuity condition we focus on is mixture continuity. This is sufficient for such a representation provided X has countable dimension or satisfi es a condition that we call Polarization.

What is a normative reason for acting? In this paper, I introduce and defend a novel answer to this question. The starting-point is the view that reasons are right-makers. By exploring difficulties facing it, I arrive at an alternative, according to which reasons are evidence of respects in which it is right to perform an act, for example, that it keeps a promise. This is similar to the proposal that reasons for a person to act are evidence that she ought (...) to do so; however, as I explain, it differs from that proposal in two significant ways. As a result, I argue, the evidence-based account of reasons I advance shares the advantages of its predecessor while avoiding many of the difficulties facing it. (shrink)

The concept of supervenience and a regimented concept of grounding are often taken to provide rival explications of pre-theoretical concepts of dependence and determination. Friends of grounding typically point out that supervenience claims do not entail corresponding grounding claims. Every fact supervenes on itself, but is not grounded in itself, and the fact that a thing exists supervenes on the fact that its singleton exists, but is not grounded in it. Common lore has it, though, that grounding claims do entail (...) corresponding supervenience claims. In this article, I show that this assumption is problematic. On one way of understanding it, the corresponding supervenience claim is just an entailment claim under a different name. On another way of understanding it, the corresponding claim is a distinctive supervenience claim, but its specification gives rise to what I call the "reference type problem": to associate the classes of facts that are the relata of grounding with the types of facts that are the relata of supervenience. However it is understood, supervenience rules out prima facie possibilities: alien realizers, blockers, heterogeneous realizers, floaters, and heterogeneous blockers. Instead of being rival explications of one and the same pre-theoretical concept, grounding and supervenience may be complementary concepts capturing different aspects of determination and dependence. (shrink)

This paper replies to Himmelreich's ‘The Paraphrase Argument Against Collective Actions’ [2017], which presents three putative counterexamples to the multiple agents analysis of plural action sentences. The paper shows that the argument from the first example, the discursive dilemma, fails because it relies crucially on a simplification of the target analysis, and that the others don't bear on the question because they turn out on examination to be about individual rather than group action sentences.

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

There are many different oughts. There is a moral ought, a prudential ought, an epistemic ought, the legal ought, the ought of etiquette, and so on. These oughts can prescribe incompatible actions. What I morally ought to do may be different from what I self-interestedly ought to do. Philosophers have claimed that these conflicts are resolved by an authoritative ought, or by facts about what one ought to do simpliciter or all-things-considered. However, the only coherent notion of an ought simpliciter (...) has preposterous first-order normative commitments. It is more reasonable to reject the ought simpliciter in favor of the form of normative pluralism advocated in (Tiffany 2007). (shrink)

I defend the principle that a person is blameworthy for her action only if that action was morally wrong. But what should we say about an agent who does the right thing based on bad motives? I present three types of cases that have these features. In each, I argue, the agent is not culpable for her action; however, she violates the norm of moral responsibility, and thus acts in a morally irresponsible way. This analysis, I show, has several virtues. (...) It also has important theoretical ramifications: it allows for a more nuanced approach to moral luck and paves the way for an unexplored line of defense in favor of a particular norm of moral responsibility. (shrink)

Tarski characterized logical notions as invariant under permutations of the domain. The outcome, according to Tarski, is that our logic, which is commonly said to be a logic of extension rather than intension, is not even a logic of extension—it is a logic of cardinality. In this paper, I make this idea precise. We look at a scale inspired by Ruth Barcan Marcus of various levels of meaning: extensions, intensions and hyperintensions. On this scale, the lower the level of meaning, (...) the more coarse-grained and less “intensional” it is. I propose to extend this scale to accommodate a level of meaning appropriate for logic. Thus, below the level of extension, we will have a more coarse-grained level of form. I employ a semantic conception of form, adopted from Sher, where forms are features of things “in the world”. Each expression in the language embodies a form, and by the definition we give, forms will be invariant under permutations and thus Tarskian logical notions. I then define the logical terms of a language as those terms whose extension can be determined by their form. Logicality will be shown to be a lower level analogue of rigidity. Using Barcan Marcus’s principles of explicit and implicit extensionality, we are able to characterize purely logical languages as “sub-extensional”, namely, as concerned only with form, and we thus obtain a wider perspective on both logicality and extensionality. (shrink)

We present a new “reason-based” approach to the formal representation of moral theories, drawing on recent decision-theoretic work. We show that any moral theory within a very large class can be represented in terms of two parameters: a specification of which properties of the objects of moral choice matter in any given context, and a specification of how these properties matter. Reason-based representations provide a very general taxonomy of moral theories, as differences among theories can be attributed to differences in (...) their two key parameters. We can thus formalize several distinctions, such as between consequentialist and non-consequentialist theories, between universalist and relativist theories, between agent-neutral and agent-relative theories, between monistic and pluralistic theories, between atomistic and holistic theories, and between theories with a teleological structure and those without. Reason-based representations also shed light on an important but under-appreciated phenomenon: the “underdetermination of moral theory by deontic content”. (shrink)

There are several relations which may fall short of genuine identity, but which behave like identity in important respects. Such grades of discrimination have recently been the subject of much philosophical and technical discussion. This paper aims to complete their technical investigation. Grades of indiscernibility are defined in terms of satisfaction of certain first-order formulas. Grades of symmetry are defined in terms of symmetries on a structure. Both of these families of grades of discrimination have been studied in some detail. (...) However, this paper also introduces grades of relativity, defined in terms of relativeness correspondences. This paper explores the relationships between all the grades of discrimination, exhaustively answering several natural questions that have so far received only partial answers. It also establishes which grades can be captured in terms of satisfaction of object-language formulas and draws connections with definability theory. (shrink)

Justin Snedegar develops and defends contrastivism about reasons. This is the view that normative reasons are fundamentally reasons for or against actions or attitudes only relative to sets of alternatives. Simply put, reasons are always reasons to do one thing rather than another, instead of simply being reasons to do something, full stop.

In this paper, I provide an argument for pannormism, the view according to which there are normative properties all the way down. In particular, I argue for what I call the trickling down principle, which says that if there is a metaphysically basic normative property, then, if whatever instantiates it has a ground, that ground instantiates it as well.

This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...) Nov. 4th, 2016]. (shrink)

This paper offers a unified semantic explanation of two observations that prove to be problematic for classical analyses of modals, conditionals, and disjunctions: the fact that disjunctions scoping under possibility modals give rise to the free choice effect and the fact that counterfactuals license simplification of disjunctive antecedents. It shows that the data are well explained by a dynamic semantic analysis of modals and conditionals that uses ideas from the inquisitive semantic tradition in its treatment of disjunction. The analysis explains (...) why embedding a disjunctive possibility under negation reverts disjunction to its classical behavior, is general enough to predict less studied simplification patterns, and also makes progress toward a unified perspective on the distinction between informative, inquisitive, and attentive content. (shrink)

The models of contingency in what propositions, properties and relations there are developed in Part 1 are related to models of contingency in what propositions there are due to Robert Stalnaker. It is shown that some but not all of the classes of models of Part 1 agree with Stalnaker’s models concerning the patterns of contingency in what propositions there are they admit. Further structural connections between the two kinds of models are explored.

Like much in this book, the title and dust jacket illustration are clever. The first evokes Hume's remark in the Treatise that ‘Reason is, and ought only to be the slave of the passions.’ The second, which represents a cross between a dance-step and a clinch, links up with the title and anticipates an example used throughout the book to support its central claims: that Ronnie, unlike Bradley, has a reason to go to a party – namely, that there will (...) be dancing at the party – because Ronnie, unlike Bradley, loves dancing. So, the explanation of why Ronnie's and Bradley's reasons differ lies in their respective psychologies.Schroeder argues for a version of the Humean Theory of Reasons he calls Hypotheticalism, which says that every reason is explained by a desire in the same way as Ronnie's is. Schroeder argues that on almost every count, Hypotheticalism is as good as, or preferable to, the Humean and non-Humean alternatives; and he defends it against an array of objections. For example, he explains that while Hypotheticalism claims that ‘desires have to serve in the explanation of every reason because desires are part of the correct analysis of reasons’, it does not claim that a desire that explains a reason is part of that reason: rather it is a background condition for it. This, Schroeder argues, allows him to rebut a variety of objections that depend on conflating reasons with their background conditions. Other …. (shrink)

This paper explores the view that there are such things as (nonexistent) fictional objects, and that we refer to such objects when we say things like "Sherlock Holmes is a fictional detective", or "Conan Doyle wrote about Sherlock Holmes". A theory of such objects is developed as a special application of a Meinongian Ontology.

This article is about the implications of a conciliatory view about the epistemology of peer disagreement for our moral beliefs. Many have endorsed a conciliatory view about the epistemology of peer disagreement according to which if we find ourselves in a disagreement about some matter with another whom we should judge to be our epistemic peer on that matter, we must revise our judgment about that matter. This article focuses on three issues about the implications of conciliationism for our moral (...) beliefs. The first is whether there is an asymmetry between the implications of conciliationism for the epistemic status of our moral beliefs and the implications of conciliationism for the epistemic status of our non-moral beliefs; for instance, some have argued that conciliationism leads to epistemological moral skepticism but not to epistemological nonmoral skepticism. The second is what the implications of conciliationism are for the epistemic status of particular moral beliefs. The third is whether conciliationism's impact on the epistemic status of our moral beliefs has practical implications. (shrink)

The question of how the probabilistic opinions of different individuals should be aggregated to form a group opinion is controversial. But one assumption seems to be pretty much common ground: for a group of Bayesians, the representation of group opinion should itself be a unique probability distribution, 410–414, [45]; Bordley Management Science, 28, 1137–1148, [5]; Genest et al. The Annals of Statistics, 487–501, [21]; Genest and Zidek Statistical Science, 114–135, [23]; Mongin Journal of Economic Theory, 66, 313–351, [46]; Clemen and (...) Winkler Risk Analysis, 19, 187–203, [7]; Dietrich and List [14]; Herzberg Theory and Decision, 1–19, [28]). We argue that this assumption is not always in order. We show how to extend the canonical mathematical framework for pooling to cover pooling with imprecise probabilities by employing set-valued pooling functions and generalizing common pooling axioms accordingly. As a proof of concept, we then show that one IP construction satisfies a number of central pooling axioms that are not jointly satisfied by any of the standard pooling recipes on pain of triviality. Following Levi, 3–11, [39]), we also argue that IP models admit of a much better philosophical motivation as a model of rational consensus. (shrink)

This is a multifaceted semantico-ontological investigation of different types of families of concepts and properties. One major result is that contrast between: the ontologically egalitarian or democratic, but epistemologically hierarchical family of colors, and the ontologically hierarchical or pyramidal familiy of negations. The different negations are studied, and the unity of the whole family under a genus reveals the pyramidal structure of the family. The negation or properties has a powerful bearing on Russell’s paradox -- which shows different strands in (...) negation. The connections between existence and negation provides an introduction to Guise Theory and reveals some limitations in Bertrand Russell’s analysis of definite descriptions. (shrink)

This paper presents a new challenge to the thesis that moral responsibility for an omission requires the ability to do the omitted action, whereas moral responsibility for an action does not require the ability to do otherwise than that action. Call this the asymmetry thesis. The challenge arises from the possibility of cases in which an omission is identical to an action. In certain of such cases, the asymmetry thesis leads to a contradiction. The challenge is then extended to recent (...) variations of the asymmetry thesis defended by John Martin Fischer and Carolina Sartorio. Finally, a possible objection to the challenge is addressed. (shrink)