Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theory has developed from the discursive dilemma, rather than the doctrinal paradox, and the final objective of the paper is to give the latter (...) its own theoretical development along the line of recent work by Dietrich and Mongin. However, the paper also aims at reviewing logical aggregation theory as such, and it covers impossibility theorems by Dietrich, Dietrich and List, Dokow and Holzman, List and Pettit, Mongin, Nehring and Puppe, Pauly and van Hees, providing a uniform logical framework in which they can be compared with each other. The review goes through three historical stages: the initial paradox and dilemma, the scattered early results on the independence axiom, and the so-called canonical theorem, a collective achievement that provided the theory with its specific method of analysis. The paper goes some way towards philosophical logic, first by briefly connecting the aggregative framework of judgment with the modern philosophy of judgment, and second by thoroughly discussing and axiomatizing the ‘general logic’ built in this framework. (shrink)

In this paper, I will argue for a new account of presuppositions which is based on double indexing as well as minimal representational contexts providing antecedent material for anaphoric presuppositions, rather than notions of context defined in terms of the interlocutors’ pragmatic presuppositions or the information accumulated from the preceding discourse. This account applies in particular to new phenomena concerning the presupposition of quantifier domains. But it is also intended to be an account of presuppositions in general. The account differs (...) from the Satisfaction Theory and the Binding Theory of presuppositions in that it can be viewed as a conservative extension of traditional static semantics and in that it does not involve the notion of pragmatic presupposition. (shrink)

Many non-physicalists, including Chalmers, hold that the zombie argument succeeds in rejecting the physicalist view of consciousness. Some non-physicalists, including, again, Chalmers, hold that quantum collapse interactionism, i.e., the idea that non-physical consciousness causes collapse of the wave function in phenomena such as quantum measurement, is a viable interactionist solution for the problem of the relationship between the physical world and the non-physical consciousness. In this paper, I argue that if QCI is true, the zombie argument fails. In particular, I (...) show that if QCI is true, a zombie world physically identical to our world is impossible because there is at least one law of nature, a fundamental law of physics in particular, that exist only in the zombie world but not in our world. This shows that philosophers like Chalmers are committing an error in endorsing the zombie argument and QCI at the same time. (shrink)

This article discusses the argument we cannot have knowledge of abstract entities because they are not part of the causal order. The claim of this article is that the argument fails because of equivocation. Assume that the “causal order” is concerned with contingent facts involving time and space. Even if the existence of abstract entities is not contingent and does not involve time or space it does not follow that no truths about abstract entities are contingent or involve time or (...) space. I argue that it is the latter which is required to obtain the desired conclusion. (shrink)

In this article, I present a schema for generating counterexamples to the argument form known as Hypothetical Syllogism with indicative conditionals. If my schema for generating counterexamples to HS works as I think it does, then HS is invalid for indicative conditionals.

This paper criticizes Soames’s main argument against a variant of two-dimensionalism that he calls strong two-dimensionalism. The idea of Soames’s argument is to show that the strong two-dimensionalist’s semantics for belief ascriptions delivers wrong semantic verdicts about certain complex modal sentences that contain both such ascriptions and claims about the truth of the ascribed beliefs. A closer look at the formal semantics underlying strong two-dimensionalism reveals that there are two feasible ways of specifying the truth conditions for claims of the (...) latter sort. Only one of the two yields the problematic semantic verdicts, so strong two-dimensionalists can avoid Soames’s argument by settling for the other way. (shrink)

To define new property terms, we combine already familiar ones by means of certain logical operations. Given suitable constraints, these operations may presumably include the resources of first-order logic: truth-functional sentence connectives and quantification over objects. What is far less clear is whether we can also use modal operators for this purpose. This paper clarifies what is involved in this question, and argues in favor of modal property definitions.

This article’s guiding question is about bullet biting: When should compatibilists about moral responsibility bite the bullet in responding to stories used in arguments for incompatibilism about moral responsibility? Featured stories are vignettes in which agents’ systems of values are radically reversed by means of brainwashing and the story behind the zygote argument. The malady known as “intuition deficit disorder” is also discussed.

This article distinguishes among and examines three different kinds of argument for the thesis that moral responsibility and free action are each incompatible with the truth of determinism: straight manipulation arguments; manipulation arguments to the best explanation; and original-design arguments. Structural and methodological matters are the primary focus.

Entities of many kinds, not just material things, have been credited with parts. Armstrong , for example, has taken propositions and properties to be parts of their conjunctions, sets to be parts of sets that include them, and geographical regions and events to be parts of regions and events that contain them. The justification for bringing all these diverse relations under a single ‘part–whole’ concept is that they share all or most of the formal features articulated in mereology . But (...) the concept has also prompted an ontological thesis that has been expressed in various ways: that wholes are ‘no ontological addition’ to their parts ; that to list both a whole and its parts is ‘double counting’; and that there is ‘no more’ to a whole than its parts: for example, that there is no more to a conjunction than the conjuncts that are its parts, and whose truth or falsity determines whether it is true or false. For brevity, I shall express the thesis in the last of these ways, as the claim that entities with parts are ‘nothing but’ those parts. (shrink)

The paper develops a unified account of both deterministic and indeterministic laws of nature which inherits the merits but not the defects of the best existing accounts. As in Armstrong's account, laws are embodied in facts about universals; but not in higher‐order relations between them, and the necessity of laws is not primitive but results from their containing chances of 0 or 1. As in the Ramsey‐Lewis account, law statements would be the general axioms and theorems of the simplest deductive (...) theory of everything; but because laws are not so defined, simplicity of statement is not a criterion of law‐hood. (shrink)

In this paper, I relate key features of Adolf Reinach’s abundant ontology of propositional states of affairs of his to Armstrong’s—or an Armstrongian—state of affairs ontology, with special regard to finding out how sparse or abundant the latter is with respect to negative states of affairs. After introducing the issue, I clarify the notion of a propositional state of affairs, paying special attention to the notion of abstract versus concrete. I show how Reinach’s states of affairs are propositional, and how (...) they compare with Chisholm’s well-known propositional states of affairs. In the next section, I outline Reinach’s five roles for states of affairs and show that only one of them is relevant to Armstrongian state of affairs ontology. In the following section, I utilise this role to create a ranking of state of affairs ontologies according to how abundant they are. It is, however, unclear which level Armstrongian state of affairs ontology is at, since it is unclear if, like Reinach’s ontology, it includes negative states of affairs. In the final section, I argue that the answer is a qualified ‘yes’, i.e. it does not occupy the sparsest level. (shrink)

This paper is concerned with what I call the ‘problem of unity’ . This is the puzzle of how Armstrong‐like states of affairs are unified. The general approach is ‘relational internalism’: the unifier of such a state of affairs is a relation of some sort in it. A view commonly associated with relational internalism is that if such a relation satisfies a certain ‘naive’ expectation to a relation – that it is related to its relata – then Bradley's regress results. (...) As I argue, for one very natural species of relational internalism, this is indeed the case. Influential writers on the topic have therefore maintained that this relation is not related to its relata. But, as we shall see, while this ‘classic’ relational internalism obviously avoids Bradley's regress, intuitively, it fails completely to solve the problem of unity. I argue, however, that given the rejection of a natural, but unfounded, assumption of conventional relational internalism, a unique relation can unify states of affairs without leading to Bradley's regress. I consequently propose a novel version of relational internalism on which states of affairs are unified by such an entity. (shrink)

Assuming minimal fine-individuation--that there are some necessarily equivalent intensional objects (e.g. propositions) that are nonetheless distinct objects, on standard actualist frameworks, the answer to our title question is "No". First I specify a fully cognitively accessible, purely qualitative maximal consistent state of affairs (MCS). (That there is an MCS that is either fully graspable or purely qualitative is in itself quite contrary to conventional dogma.) Then I identify another MCS, one necessarily equivalent to the first. It follows that there could (...) have been more than one obtaining MCS. I then argue that there is more than one obtaining MCS. So there is nothing answering to "the actual world", and the set of worlds is not the set of MCSs. I explore various patch-ups. Finally, I compare the actualist and modal realist notions of worlds, and I argue that even if the realist were right about concrete world ensembles, our reflections indicate that necessary truth is not truth in all worlds anyway, which undercuts the rationale for the realist's program. (shrink)

A mathematical model in science can be formulated as a counterfactual conditional, with the model’s assumptions in the antecedent and its predictions in the consequent. Interestingly, some of these models appear to have assumptions that are metaphysically impossible. Consider models in ecology that use differential equations to track the dynamics of some population of organisms. For the math to work, the model must assume that population size is a continuous quantity, despite that many organisms are necessarily discrete. This means our (...) counterfactual representation of the model can have an impossible antecedent, giving us a counterpossible. Analogous counterpossibles arise in other sciences, as we’ll see. According to a prominent view in counterfactual semantics, the vacuity thesis, all counterpossibles are vacuously true, that is, true merely because their antecedents are necessarily false. But some counterpossible formulations of differential equation models in science are not all vacuously true—some are non-vacuously true, and some are false. I go on to show how an alternative semantics, one that employs impossible worlds, can deliver this judgment. (shrink)

Policymakers are responsible for key decisions about political governance. Usually, they are selected or elected based on experience and then supported in their decision-making by the additional counsel of subject experts. Those satisfied with this system believe these individuals – generally speaking – will have the right intuitions about the best types of action. This is important because political decisions have ethical implications; they affect how we all live in society. Nevertheless, there is a wealth of research that cautions against (...) trusting human judgment as it can be severely flawed. This paper will look at the root causes of the most common errors of human judgment before arguing – contra the instincts of many – that future AI systems could take a range of political decisions more reliably. I will argue that, if/when engineers establish ethically robust systems, governments will have a moral obligation to refer to them as a part of decision-making. (shrink)

In this note I discuss what seems to be a new kind of counterexample to Lewis’s account of counterfactuals. A coin is to be tossed twice. I bet on ‘Two heads’, and I win. Common sense says that (1) is false. But Lewis’s theory says that it is true. (1) If at least one head had come up, I would have won.

It is commonly assumed that causation is transitive and in this paper I aim to reconcile this widely-held assumption with apparent evidence to the contrary. I will discuss a familiar approach to certain well-known counterexamples, before introducing a more resistant sort of case of my own. I will then offer a novel solution, based on Yablo’s proportionality principle, that succeeds in even these more resistant cases. There is a catch, however. Either proportionality is a constraint on which causal claims are (...) true, and the solution works, or it is not and causation is not transitive after all. I will argue that the first horn has unacceptable consequences and should be rejected, but that the second horn is less costly than it might initially appear. (shrink)

Possibilism—the view that there are non-actual, merely possible entities—is a surprisingly resilient doctrine.1 One particularly hardy strand of possibilism—the modal realism championed by David Lewis—continues to attract both foes who seek to demonstrate its falsity (or at least stare its advocates into apostasy) and friends who hope to defend modal realism (or, when necessary, modify modal realism so as to avoid problematic objections).2 Although I am neither a foe nor friend of modal realism (but some of my best friends are!), (...) like many I continue to be fascinated by the doctrine. (shrink)

This paper argues that a counterpart-theoretic treatment of events, combined with a counterfactual theory of causation, can help resolve three puzzles from the causation literature. First, CCT traces the apparent contextual shifts in our causal attributions to shifts in the counterpart relation which obtains in those contexts. Second, being sensitive to shifts in the counterpart relation can help diagnose what goes wrong in certain prominent examples where the transitivity of causation appears to fail. Third, CCT can help us resurrect the (...) much-maligned fragility response to the problems of late pre-emption by understanding fragility in counterpart-theoretic terms. Some reasons to prefer this CCT approach to rivals are discussed. (shrink)

We argue that desire is an attitude that relates a person not to one proposition but rather to two, the first of which we call the object of the desire and the second of which we call the condition of the desire. This view of desire is initially motivated by puzzles about conditional desires. It is not at all obvious how best to draw the distinction between conditional and unconditional desires. In this paper we examine extant attempts to analyse conditional (...) desire. From the failures of those attempts, we draw a moral that leads us to the correct account of conditional desires. We then extend the account of conditional desires to an account of all desires. We attempt to explain the distinction between intrinsic and extrinsic desire in light of our account of desire. We show how to use our account to solve Wollheim’s paradox of democracy and to save modus ponens. Finally, we extend the account of desire to related phenomena, such as conditional promises, intentions, and commands. (shrink)

An objection is presented to Lewis’s analysis of counterfactual conditionals in terms of relative closeness of possible worlds. The objection depends on no special assumptions about the ‘closer-than’ relation. The argument also casts doubt on Lewis’s claim that Antecedent Strengthening fails for counterfactuals.

Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a first‐order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories. In particular, the logic provides analyses of causality, continuous change in quantities, the persistence of facts (the frame problem), and the relationship between tasks and actions. It (...) may be possible to implement a temporal‐inference machine based on this logic, which keeps track of several “maps” of a time line, one per possible history. (shrink)

The contemporary philosophical debate on free will and moral responsibility is rife with appeal to a variety of allegedly intuitive cases and principles. As a result, some have argued that many strands of this debate end in “dialectical stalemates,” boiling down to bedrock, seemingly intractable disagreements about intuition . Here I attempt to carve out a middle ground between conventional reliance on appeal to intuition and intuitional skepticism in regards to the philosophical discussion of moral responsibility in particular. The main (...) goal of this paper is to propose and defend a new methodological assumption that I argue responsibility theorists can and should accept, one that serves to preserve a general skepticism about the proper role of intuition in our responsibility theorizing while marking a particular class of our responsibility judgments as having a privileged epistemic status such that they can play a role in constraining our responsibility theorizing. (shrink)

The standard analysis of quantification says that determiner quantifiers (such as every) take an NP predicate and create a generalized quantifier. The goal of this paper is to subject these beliefs to crosslinguistic scrutiny. I begin by showing that in St'á'imcets (Lillooet Salish), quantifiers always require sisters of argumental type, and the creation of a generalized quantifier from an NP predicate always proceeds in two steps rather than one. I then explicitly adopt the strong null hypothesis that the denotations of (...) quantifiers should be crosslinguistically uniform. Since the Salish data cannot be captured by the usual analysis of English, I pursue the idea that English is reducible to the Salish pattern. Reanalysis of many English constructions is required. I argue that the reanalysis has advantages over the standard analysis for partitives, as well as for non-partitive all- and most-phrases, which I analyze as containing bare plurals of argumental type. Even where the new analysis faces some challenges (for example, with every), the attempt still leads to fruitful results. It forces us to view familiar constructions in a new light, and to redefine, I believe correctly, which quantificational constructions are ‘basic’ and which stand in need of further explanation. (shrink)

In this paper, I discuss whether the results of loop quantum gravity (LQG) constitute a fatal blow to Humeanism. There is at least a prima facie reason for believing so: while Humeanism regards spatiotemporal relations as fundamental, LQG describes the fundamental layer of our reality in terms of spin networks, which are not in spacetime. However, the question should be tackled more carefully. After explaining the importance of the debate on the tenability of Humeanism in light of LQG, and having (...) presented the Humean doctrine, I review two cases which present serious threats to Humeanism, one concerning the fundamentality of vectorial quantities and the other concerning quantum entanglement. In particular, I recall the strategies that are usually employed in these two cases in order to save Humeanism: in the first case, the strategy consists in amending the characterization of the Humean mosaic; in the second case, it consists in adopting a realist or nomological interpretation of the wave function. These solutions will turn out to be helpful in my discussion of LQG where, after describing LQG, I show that Humeans might save their doctrine either by endorsing a realist interpretation of spin networks, or by giving them a nomological status and, at the same time, by revisiting the characterization of the Humean mosaic. However, I conclude that both solutions are wanting. (shrink)

This paper presents ConR (Conditional R), a logic of conditionals based on Anderson and Belnap''s system R. A Routley-Meyer-style semantics for ConR is given for the system (the completeness of ConR over this semantics is proved in E. Mares and A. Fuhrmann, A Relevant Theory of Conditionals (unpublished MS)). Moreover, it is argued that adopting a relevant theory of conditionals will improve certain theories that utilize conditionals, i.e. Lewis'' theory of causation, Lewis'' dyadic deontic logic, and Chellas'' dyadic deontic logic.

ABSTRACT In social evolution theory, biological individuals are often represented on the model of rational agents, that is, as if they were ‘seeking’ to maximize their own reproductive success. In the 1990s, important criticisms of this mode of thinking were made by Brian Skyrms and Elliott Sober, who both argued that ‘rational agent’ models can lead to incorrect predictions when there are positive correlations between individuals’ phenotypes. In this article, I argue that one model of rational choice—namely, Savage’s model —can (...) actually be vindicated in evolutionary biology, provided that the pay-offs are computed in inclusive fitness terms. I also show that the use of this model is better avoided when pay-offs are non-additive, or when certain causal influences affect the outcome of natural selection. The result is a partial rehabilitation of this mode of thinking, conditional on both the additivity of the pay-off structure and the absence of any form of manipulation or coercion. _1_ Introduction _2_ When Natural Selection and Rational Deliberation Part Ways _3_ A Simple Solution: Redefining the Pay-offs in Inclusive Fitness Terms _4_ Sober on Inclusive Fitness Maximization _5_ Inclusive Fitness with Non-additive Pay-offs _6_ Causal Influences and the Savage– Hamilton Model _6.1_ Reciprocity and partner choice _6.2_ Coercion and manipulation _7_ Conclusion Appendix. (shrink)

In this paper we set out a semantics for relevant (counterfactual) conditionals. We combine the Routley-Meyer semantics for relevant logic with a semantics for conditionals based on selection functions. The resulting models characterize a family of conditional logics free from fallacies of relevance, in particular counternecessities and conditionals with necessary consequents receive a non-trivial treatment.

Over the last thirty years there have been a number of attempts to analyse the distinction between intrinsic and extrinsic properties. This article discusses three leading attempts to analyse this distinction that don’t appeal to the notion of nat-uralness: the duplication analysis endorsed by G. E. Moore and David Lewis, Peter Vallentyne’s analysis in terms of contractions of possible worlds, and the analysis of Gene Witmer, William Butchard and Kelly Trogdon in terms of grounding.

Parmenides and Melissus employ different deductive styles for their different kinds of argumentation. The former’s poem flows in an interesting sequence of passages: contents foreword, methodological premises, krisis, conclusions and corollaries. The latter, however, organizes an extensive process of deduction to show the characteristics of what is. In both cases, the strength of their argument rests on their deductive form, on the syntactical level of their texts: the formal structure of their reasonings help to identify the features and logical intersections (...) of their thoughts. On the one hand, Parmenides uses modal reasoning, enforcing the employment of the principle of the excluded middle. On the other hand, Melissus radicalizes the use of modal reasoning and employs counterfactual statements in order to develop his doctrine of what is. Despite their differences, both deserve a place in the Stone Age of logic and theory of argumentation due to their common ambition to demonstrate what is. (shrink)

I explore the logic of the conditional, using credence judgments to argue against Duality and in favor of Conditional Excluded Middle. I then explore how to give a theory of the conditional which validates the latter and not the former, developing a variant on Kratzer (1981)'s restrictor theory, as well as a proposal which combines Stalnaker (1968)'s theory of the conditional with the theory of epistemic modals I develop in Mandelkern 2019a. I argue that the latter approach fits naturally with (...) a conception of conditionals as referential devices which allow us to talk about particular worlds. (shrink)

We show that each of three natural sets of assumptions about the conditional entails necessitarianism: that anything possible is necessary.

This essay proposes a new theory of agentive modals: ability modals and their duals, compulsion modals. After criticizing existing approaches—the existential quantificational analysis, the universal quantificational analysis, and the conditional analysis—it presents a new account that builds on both the existential and conditional analyses. On this account, the act conditional analysis, a sentence like ‘John can swim across the river’ says that there is some practically available action that is such that if John tries to do it, he swims across (...) the river. The essay argues that the act conditional analysis avoids the problems faced by existing accounts of agentive modality and shows how the act conditional analysis can be extended to an account of generic agentive modal claims. The upshot is a new vantage point on the role of agentive modal ascriptions in practical discourse: ability ascriptions serve as a kind of hypothetical guarantee, and compulsion ascriptions as a kind of nonhypothetical guarantee. (shrink)

We discuss similarities and residual differences, within the general semantic framework of minimality, between defeasible inference, belief revision, counterfactual conditionals, updating — and also conditional obligation in deontic logic. Our purpose is not to establish new results, but to bring together existing material to form a clear overall picture.

Discussion of moral explanation has reached an impasse, with proponents of contemporary ethical naturalism upholding the explanatory integrity of moral facts and properties, and opponents--including both antirealists and non-naturalistic realists--insisting that such robustly explanatory pretensions as moral theory has be explained away. I propose that the key to solving the problem lies in the question whether instances of moral properties are causally efficacious. It is argued that, given the truth of contemporary ethical naturalism, moral properties are causally efficacious if the (...) properties of the special sciences are. (shrink)

A number of philosophical projects require a proper understanding of the modal aspects of agency, or of what I call ‘the agentive modalities.’ I propose a general account of the agentive modalities, one which takes as its primitive the decision-theoretic notion of an option. I relate this account to the standard semantics for ‘can’ and to the viability of some positions in the free will debates.

In this paper I offer an alternative - the ‘dispositional account’ - to the standard account of imprecise probabilism. Whereas for the imprecise probabilist, an agent’s credal state is modelled by a set of credence functions, on the dispositional account an agent’s credal state is modelled by a set of sets of credence functions. On the face of it, the dispositional account looks less elegant than the standard account – so why should we be interested? I argue that the dispositional (...) account is actually simpler, because the dispositional choice behaviour that fixes an agent’s credal state is faithfully depicted in the model of that agent’s credal state. I explore some of the implications of the account, including a surprising implication for the debate over dilation. (shrink)

This paper is about a puzzle concerning the metaphysics of material objects: a puzzle generated by cases where material objects appear to coincide, sharing all their matter. As is well known, it can be illustrated by the example of a statue. In front of me now, sitting on my desk, is a statue – a statue of a lion. The statue is made of clay. So in front of me now is a piece of clay. But what is the relation (...) between the statue and the piece of clay? Are they identical, or are they distinct? (shrink)

_ Source: _Volume 10, Issue 3, pp 349 - 369 A theory of causation suitable for historiography must accommodate the many types of causal claims historians make. In this paper, I examine the advantages of applying D. K. Lewis’s counterfactual theory of causation to the philosophy of historiography. I contend that Lewis’s possible world semantics offers a superior framework for making sense of historical causation, and that it lays the foundation for historians to look at history as causal series of (...) events, remaining agnostic as to whether there may be historical regularities or laws. Lewis’s theory can also accommodate important notions often used by historians, such as absences as causes, historical necessity and contingency, and the role they play in the formulation of historical counterfactuals. (shrink)