We systematically study several versions of the disjunction and the existence properties in modal arithmetic. First, we newly introduce three classes $\mathrm {B}$, $\Delta (\mathrm {B})$, and $\Sigma (\mathrm {B})$ of formulas of modal arithmetic and study basic properties of them. Then, we prove several implications between the properties. In particular, among other things, we prove that for any consistent recursively enumerable extension T of $\mathbf {PA}(\mathbf {K})$ with $T \nvdash \Box \bot $, the $\Sigma (\mathrm {B})$ -disjunction (...) property, the $\Sigma (\mathrm {B})$ -existence property, and the $\mathrm {B}$ -existence property are pairwise equivalent. Moreover, we introduce the notion of the $\Sigma (\mathrm {B})$ -soundness of theories and prove that for any consistent recursively enumerable extension of $\mathbf {PA}(\mathbf {K4})$, the modal disjunction property is equivalent to the $\Sigma (\mathrm {B})$ -soundness. (shrink)

This paper defends the case against (sparse) disjunctive properties by means of four Armstrongian arguments. The first of these is a logical atomist argument from truthmaking, which is, broadly speaking, ‘Armstrongian’ (Armstrong 1997). This argument is strong – although it stands or falls with the relevant notion of truthmaking, as it were. However, three arguments, which are prima facie independent of truthmaking, can be found explicitly early in Armstrong’s middle period. Two of these early arguments face a serious objection put (...) forward forcefully by Louise Antony (2003) and Alan Penczek (1997), respectively. I consider these objections and argue that they fail. Thus, even if the argument from truthmaking is indecisive, disjunctive properties should be rejected. (shrink)

Disjunctive antecedent conditionals —conditionals of the form if A or B, C—sometimes seem to entail both of their simplifications and sometimes seem not to. I argue that this behavior reveals a genuine ambiguity in DACs. Along the way, I discuss a new observation about the role of focal stress in distinguishing the two interpretations of DACs. I propose a new theory, according to which the surface form of a DAC underdetermines its logical form: on one possible logical form, if A (...) or B, C does entail both of its simplifications, while on the other, it does not. (shrink)

Gonzalo Rodriguez-Pereyra (2006) argues against attempts to preserve the entailment principle (or a restriction of it) while avoiding the explosion of truthmakers for necessities and truthmaker triviality. In doing so, he both defends the disjunction thesis--if something makes true a disjunctive truth, then it makes true one of its disjuncts--, and rejects the conjunction thesis--if something makes tue a conjunctive truth, then it makes true each of its conjuncts. In my discussion, I provide plausible counterexamples to the disjunction (...) thesis, and contend that Rodriguez-Pereyra's general defence of it fails. Then I defend the conjunction thesis from Rodriguez-Pereyra's case against it. (shrink)

Perceptual experiences are often divided into the following three broad categories: veridical perceptions, illusions, and hallucinations. For example, when one has a visual experience as of a red object, it may be that one is really seeing an object and its red colour (veridical perception), that one is seeing a green object (illusion), or that one is not seeing an object at all (hallucination). Many maintain that the same account should be given of the nature of the conscious experience that (...) occurs in each of these three cases. Those who hold a disjunctive theory of perception deny this. Disjunctivists typically reject the claim that the same kind of experience is common to all three cases because they hold views about the nature of veridical perception that are inconsistent with it. (shrink)

This paper is a response to replies by Dan López de Sa and Mark Jago to my ‘Truthmaking, Entailment, and the Conjuction Thesis’. In that paper, my main aim was to argue against the Entailment Principle by arguing against the Conjunction Thesis, which is entailed by the Entailment Principle. In the course of so doing, although not essential for my project in that paper, I defended the Disjunction Thesis. López de Sa has objected both to my defence of the (...) Disjunction Thesis and my case against the Conjunction Thesis. I shall show that his objections are unfounded and based on serious misunderstandings of my position, what the relevant debate is, and some fundamental notions of Truthmaker Theory. Jago argues that accepting the Disjunction Thesis and rejecting the Conjunction Thesis is hard to maintain. But I show that Jago has not shown that accepting the Disjunction Thesis while rejecting the Conjunction Thesis is impossible or even hard to maintain. Jago believes that, to accept the Disjunction Thesis while rejecting the Conjunction Thesis, one needs to reject his axiom (T3), which says that all the truthmakers for <P&P> are truthmakers for <P>. I argue that there are reasons to reject such a principle, and the version of it that says that what makes <P&P> true makes <P> true. (shrink)

Many philosophers have been attracted to the idea of using the logical form of a true sentence as a guide to the metaphysical grounds of the fact stated by that sentence. This paper looks at a particular instance of that idea: the widely accepted principle that disjunctions are grounded in their true disjuncts. I will argue that an unrestricted version of this principle has several problematic consequences and that it’s not obvious how the principle might be restricted in order to (...) avoid them. My suggestion is that, instead of trying to restrict the principle, we should distinguish between metaphysical and conceptual grounds and take the principle to apply exclusively to the latter. This suggestion, if correct, carries over to other prominent attempts at using logical form as a guide to ground. (shrink)

The disjunction problem and the distality problem each presents a challenge that any theory of mental content must address. Here we consider their bearing on purely probabilistic causal theories. In addition to considering these problems separately, we consider a third challenge—that a theory must solve both. We call this “the hard problem.” We consider 8 basic ppc theories along with 240 hybrids of them, and show that some can handle the disjunction problem and some can handle the distality (...) problem, but none can handle the hard problem. This is our main result. We then discuss three possible responses to that result, and argue that though the first two fail, the third has some promise. (shrink)

This chapter focuses on one of the common fallacies in Western philosophy called 'affirming a disjunct' (AAD). It presents a few examples of fallacies in arguments caused by an ambiguity in the English word or. Because context makes the meaning clear in everyday usage, we might never have thought about this ambiguity before, but we actually use the word or in two very distinct ways. One type of or is known as “inclusive”, and the other type is known as “exclusive”. (...) AAD occurs when someone mistakenly believes that an inclusive or is an exclusive or. Importantly, not every or statement can fall prey to AAD. The argument known as a disjunctive syllogism sets out two possibilities that are mutually exclusive. When someone is dead, she/he is not alive, and when someone is alive, she/he is not dead. (shrink)

In this paper, I offer reasons to conclude that either belief impermissivism or credal impermissivism is false. That is to say, I argue against the conjunction of belief impermissivism and credal impermissivism. I defend this conclusion in three ways. First, I show what I take to be an implausible consequence of holding that for any rational credence in p, there is only one correlating rational belief-attitude toward p, given a body of evidence. Second, I provide thought experiments designed to support (...) the intuition that there are at least a few credences in some cases for which more than one belief-attitude is rationally permissible. Third, I provide one possible theoretical grounding for my position by appeal to Jamesian values. (shrink)

In contrast to Hintikka’s enormously complex distributive normal forms of first- order logic, this paper shows how to generate minimized disjunctive normal forms of first-order logic. An effective algorithm for this purpose is outlined, and the benefits of using minimized disjunctive normal forms to explain the truth conditions of propo- sitions expressible within pure first-order logic are presented.

By a well-known result of Kotlarski et al., first-order Peano arithmetic \ can be conservatively extended to the theory \ of a truth predicate satisfying compositional axioms, i.e., axioms stating that the truth predicate is correct on atomic formulae and commutes with all the propositional connectives and quantifiers. This result motivates the general question of determining natural axioms concerning the truth predicate that can be added to \ while maintaining conservativity over \. Our main result shows that conservativity fails even (...) for the extension of \ obtained by the seemingly weak axiom of disjunctive correctness \ that asserts that the truth predicate commutes with disjunctions of arbitrary finite size. In particular, \ implies \\). Our main result states that the theory \ coincides with the theory \ obtained by adding \-induction in the language with the truth predicate. This result strengthens earlier work by Kotlarski and Cieśliński. For our proof we develop a new general form of Visser’s theorem on non-existence of infinite descending chains of truth definitions and prove it by reduction to Gödel’s second incompleteness theorem, rather than by using the Visser–Yablo paradox, as in Visser’s original proof. (shrink)

We argue in favor of merely disjunctive effects, namely cases in which an event or fact, C, is not a cause of an effect, E1, and is also not a cause of a distinct effect, E2, and yet C is a cause of the disjunctive effect (E1 orE2). Disjunctive effects let us retain the additivity and the distributivity of causation. According to additivity, if C is a cause of E1 and C is a cause of E2, then C is a (...) cause of E1 and E2. According to distributivity, if C is a cause of E1 and E2, then C is a cause of E1 and C is a cause of E2. We draw an analogy between causation and intensional notions like believing, wanting, and owing, which also admit of merely disjunctive cases. We argue that both the Lewisian counterfactual account of causation (including its recent emendation by Sartorio) and the contrastive account of causation fail to properly account for this phenomenon. (shrink)

We consider the problem of moral disjunction in professional and business activities from a virtue-ethical perspective. Moral disjunction arises when the behavioral demands of a role conflict with personal morality; it is an important problem because most people in modern societies occupy several complex roles that can cause this clash to occur. We argue that moral disjunction, and the psychological mechanisms that people use to cope with it, are problematic because they make it hard to pursue virtue (...) and to live with integrity. We present role coadunation as a process with epistemic and behavioral aspects that people can use to resolve moral disjunction with integrity. When role coadunation is successful, it enables people to live virtuous lives of appropriate narrative disunity and to honor their identity-conferring commitments. We show how role coadunation can be facilitated by interpretive communities and discuss the emergence and ideal features of those communities. (shrink)

A comparison of disjunctive theories of action and perception. The development of a theory of action that warrants the name, a disjunctive theory. On this theory, there is an exclusive disjunction: either an action or an event (in one sense). It follows that in that sense basic actions do not have events intrinsic to them.

The relation between ex falso and disjunctive syllogism, or even the justification of ex falso based on disjunctive syllogism, is an old topic in the history of logic. This old topic reappears in contemporary logic since the introduction of minimal logic by Johansson. The disjunctive syllogism seems to be part of our general non-problematic inferential practices and superficially it does not seem to be related to or to depend on our acceptance of the frequently disputable ex falso rule. We know (...) that the acceptance of the ex falso is a sufficient condition for the acceptance of the disjunctive syllogism, but the interesting question is: is the ex falso a necessary condition for the acceptance of the disjunctive syllogism? The aim of the present paper is to discuss some possible ways to define systems that combines the preservation of the disjunctive syllogism with the rejection of the ex falso. (shrink)

John McDowell's conception of perceptual knowledge commits him to the claim that if I perceive that P then I am in a position to know that I perceive that P. In the first part of this essay, I present some reasons to be suspicious of this claim - reasons which derive from a general argument against 'luminosity' - and suggest that McDowell can reject this claim, while holding on to almost all of the rest of his conception of perceptual knowledge, (...) by supplementing his existing disjunctive conception of experience with a new disjunctive conception of perceiving. In the second part of the essay, I present some reasons for thinking that one's justification, in cases of perceptual knowledge, consists not in the fact that one perceives that P but in the fact that one perceives such-and-such. I end by suggesting that the disjunctive conception of perceiving should be understood as a disjunctive conception of perceiving such-and-such. (shrink)

This paper is a survey of results concerning the disjunction property, Halldén-completeness, and other related properties of intermediate prepositional logics and normal modal logics containing S4.

The disjunction problem and the distality problem each presents a challenge that any theory of mental content must address. Here we consider their bearing on purely probabilistic causal theories. In addition to considering these problems separately, we consider a third challenge—that a theory must solve both. We call this “the hard problem.” We consider 8 basic ppc theories along with 240 hybrids of them, and show that some can handle the disjunction problem and some can handle the distality (...) problem, but none can handle the hard problem. This is our main result. We then discuss three possible responses to that result, and argue that though the first two fail, the third has some promise. (shrink)

Fine (2017a) sets out a theory of content based on truthmaker semantics which distinguishes two kinds of consequence between contents. There is entailment, corresponding to the relationship between disjunct and disjunction, and there is containment, corresponding to the relationship between conjunctions and their conjuncts. Fine associates these with two notions of parthood: disjunctive and conjunctive. Conjunctive parthood is a very useful notion, allowing us to analyse partial content and partial truth. In this chapter, I extend the notion of disjunctive (...) parthood in terms of a structural relation of refinement, which stands to disjunctive parthood much as mereological parthood stands to conjunctive parthood. Philosophically, this relation may be modelled on the determinable- determinate relation, or on a fact-to-fact notion of grounding. I discuss its connection to two other Finean notions: vagueness (understood via precisification) and arbitrary objects. I then investigate what a logic of truthmaking with refinement might look like. I argue that (i) parthood naturally gives rise to a relevant conditional; (ii) refinement underlies a relevant notion of disjunction; and so (iii) truthmaker semantics with refinement is a natural home for relevant logic. The resulting formal models draw on Fine’s (1974) semantics for relevant logics. Finally, I use this understanding of relevant semantics to investigate the status of the mingle axiom. (shrink)

There is an initial presumption against disjunctive causes. First of all, for some people causation is a relation between events. But, arguably, there are no disjunctive events, since events are particulars and thus they have spatiotemporal locations, while it is unclear what the spatiotemporal location of a disjunctive event could be.1 More importantly, even if one believes that entities like facts can enter in causal relations, and even if there are disjunctive facts, it is still hard to see how disjunctive (...) facts could be causes. Imagine, for instance, the following scenario. I have a gun filled with red paint and another gun filled with blue paint, and I fire both guns at my neighbor’s white wall. A moment later, there is a graffiti on the wall and my neighbor notifies the police. He would have done so regardless of the graffiti’s color, since all he cares about is the existence of a graffiti on his wall. Is it plausible to claim that a disjunctive fact is a cause of his notifying the police? In particular, is it plausible to claim that he notified the police because I fired the red-paint gun or the blue-paint gun (the thought being that my firing paint of either color would have sufficed)? It seems not. The police was notified because of the actual graffiti on the wall, and the actual graffiti on the wall is made of a certain pattern of colored patches. Imagine, that, as it turns out, there are patches of both colors on the wall. Then it seems that both my firing the red-paint gun and my firing the blue-paint gun were causes of my neighbor’s notifying the police. In other words, my firing the red-paint gun and my firing the blue-paint gun jointly caused the outcome: each of them was a contributory cause of the outcome’s occurrence. On the other hand, imagine that there are only patches of one color on the wall. Then it seems that my firing only one of the guns was a cause. Either way, the disjunction fails to be a cause: either my firing the red-paint gun was a cause, or my firing the blue-paint gun was a cause, or they were both causes, but their disjunction was not.. (shrink)

This paper proves that the disjunction property, the numerical existence property, Church’s rule, and several other metamathematical properties hold true for Constructive Zermelo-Fraenkel Set Theory, CZF, and also for the theory CZF augmented by the Regular Extension Axiom.As regards the proof technique, it features a self-validating semantics for CZF that combines realizability for extensional set theory and truth.

Classical first-order logic \ is commonly used to study logical connections between statements, that is sentences that in every context have an associated truth-value. Inquisitive first-order logic \ is a conservative extension of \ which captures not only connections between statements, but also between questions. In this paper we prove the disjunction and existence properties for \ relative to inquisitive disjunction Open image in new window and inquisitive existential quantifier \. Moreover we extend these results to several families (...) of theories, among which the one in the language of \. To this end, we initiate a model-theoretic approach to the study of \. In particular, we develop a toolkit of basic constructions in order to transform and combine models of \. (shrink)

Classical first-order logic \ is commonly used to study logical connections between statements, that is sentences that in every context have an associated truth-value. Inquisitive first-order logic \ is a conservative extension of \ which captures not only connections between statements, but also between questions. In this paper we prove the disjunction and existence properties for \ relative to inquisitive disjunction Open image in new window and inquisitive existential quantifier \. Moreover we extend these results to several families (...) of theories, among which the one in the language of \. To this end, we initiate a model-theoretic approach to the study of \. In particular, we develop a toolkit of basic constructions in order to transform and combine models of \. (shrink)

Starting from a recent paper by S. Kaufmann, we introduce a notion of conjunction of two conditional events and then we analyze it in the setting of coherence. We give a representation of the conjoined conditional and we show that this new object is a conditional random quantity, whose set of possible values normally contains the probabilities assessed for the two conditional events. We examine some cases of logical dependencies, where the conjunction is a conditional event; moreover, we give the (...) lower and upper bounds on the conjunction. We also examine an apparent paradox concerning stochastic independence which can actually be explained in terms of uncorrelation. We briefly introduce the notions of disjunction and iterated conditioning and we show that the usual probabilistic properties still hold. (shrink)

In this paper I deal with the relation between the disjunction thesis—that the truthmaking relation is distributed over a disjunction—and the necessary connection thesis—that the existence of some entities requires the existence of other distinct entities. I will first show that because of this very relation, the arguments for and against the disjunction thesis that overlook its metaphysical considerations will fail. Finally, I will show that the commitment produced by truthmaker maximalism to totality states of affairs, or (...) some relevantly similar things, requires one to accept a necessary connection that disaffirms the disjunction thesis. (shrink)

This paper suggests that art cannot be defined in terms of individually necessary and jointly sufficient conditions. Instead, we propose that there are several sufficient conditions for something's being art, and that a successful definition will consist of a disjunction of minimally sufficient conditions. Our proposal owes much to the insights of Berys Gaut's ‘“Art” as a Cluster Concept’ but offers a much simpler logical formulation, which, in addition, is immune to the objections that have been raised to Gaut's (...) account. This paper agrees with Gaut's claim that there are borderline cases of art, and suggests that they arise from indeterminacy about the content of some of the minimally sufficient conditions. It is argued that this disjunctive account is superior to classical theories, resemblance-to-paradigm theories, and prototype theories of art. (shrink)

A partial solution to Ono’s problem P54 is given. Here Ono’s problem P54 is whether Harrop disjunction property is equivalent to disjunction property or not in intermediate predicate logics. As an application of this result it is shown that some intermediate predicate logics satisfy Harrop disjunction property.

Reflection on skeptical scenarios in the philosophy of perception, made vivid in the arguments from illusion and hallucination, have led to the formulation of theories of the metaphysical and epistemological nature of perceptual experience. In recent times, the locus of the debate concerning the nature of perceptual experience has been the dispute between disjunctivists and common-kind theorists. Disjunctivists have held that there are substantial dissimilarities (either metaphysical or epistemological or both) between veridical perceptual experiences occurring when one perceives and perceptual (...) experiences involved in hallucination. Common-kind theorists have denied this. In this paper, I examine the nature of introspection – a faculty that has often been compared and contrasted to perception. I reflect on cases where introspection goes wrong in ways analogous to that in which our perceptual faculties can go wrong and formulate, what I take to be, an attractive theory of introspection. The cases that I focus on in which things go wrong are the case of zombies and the case of subjects with Anton’s syndrome. (Anton’s syndrome is a condition in which people who are blind claim that they can see.) I suggest that, just as it is possible to be a disjunctivist about perception, it is possible to be a disjunctivist about introspection. I argue that this is a good view of one type of introspection, namely, introspection of states that have phenomenal character, such as perceptual experiences. It has a good account to give of the cases in which such introspection seems to go wrong and it yields a plausible metaphysical and epistemological view of the nature of introspection. However, while I favour a disjunctive view of introspection, I do not favour a disjunctive view of perception. And, I suspect, that many disjunctivists about perception would not wish to condone my disjunctivist theory of introspection. I therefore go on to examine to what extent.. (shrink)

Sentences with disjunction in the scope of a universal quantifier, Every A is P or Q, tend to give rise to distributive inferences that each of the disjuncts holds of at least one individual in the domain of the quantifier, Some A is P & Some A is Q. These inferences are standardly derived as an entailment of the meaning of the sentence together with the scalar implicature that it is not the case that either disjunct holds of every (...) individual in the domain of the quantifier, \Every A is P &\Every A is Q. As we show, this derivation faces a challenge in that distributive inferences may obtain in the absence of plain negated inferences. We address this challenge by showing that on particular assumptions about alternatives, a derivation of distributive inferences as scalar implicatures can be maintained without in fact necessitating plain negated inferences. These assumptions accord naturally with the grammatical approach to scalar implicatures. We also present experimental data that suggest that plain negated inferences are not only unnecessary for deriving distributive inferences, but might in fact be unavailable. (shrink)

The paper explores the disjunctive riddle for induction: If we know the sample Ks to be P, we also know that they are P or F. Assuming that we also know that the future Ks are non-P, we can conclude that they are F, if only we can inductively infer the evidentially supported P-or-F hypothesis. Yet this is absurd. We cannot predict that future Ks are F based on the knowledge that the samples, and only they, are P. The ensuing (...) challenge is to account for the unprojectibility of the disjunctive hypothesis. I provide an explanation in terms of epistemic dependence. The P-or-F hypothesis is unprojectible because the evidence supporting it depends epistemically on the evidence for the defeated P-hypothesis. The paper also shows that the disjunctive riddle covers the essence of Goodman's infamous grue-problem, which, therefore, can be resolved by the same means: In contrast to the green-hypothesis, the grue-hypothesis is unprojectible because the grue-evidence depends on the evidence for a defeated hypothesis. (shrink)

In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that none of them (...) discusses our main question. This is why we finally turn to the analysis of the truth-conditions for conjunction and disjunction in infectious logics, employing the framework of plurivalent logics, as discussed by Priest. In doing so, we arrive at the interesting conclusion that —in the context of infectious logics— conjunction is conjunction, whereas disjunction is not disjunction. (shrink)

A pigeon has been conditioned to peck at red objects and has also been conditioned to peck at triangular objects. The pigeon is now presented with a red triangle and pecks. In virtue of which of the object's properties did the pigeon peck? I argue that the disjunctive property "red or triangular" best answers this question and that this in turn gives us reason to admit such disjunctive properties to our ontology. I also show how the criterion for causal efficacy (...) that I employ, expressed in terms of counterfactual conditionals, works to preclude spurious disjunctive properties from counting as efficacious. (shrink)

This article examines the idea of disjunctive rights—an idea first suggested by Joel Feinberg and more recently advocated by Richard Arneson. Using a hypothetical scenario to bring forward a conflict between two rights that cannot be simultaneously fulfilled, the suggestion that the conflict can be solved by describing the right-holders as holding disjunctive rights—rights that involve, in a significant way, a disjunction—is scrutinized. Several interpretations of the idea of disjunctive rights are examined from the perspectives of the interest theory (...) and will theory of rights. Ultimately, the idea of disjunctive rights fails to provide an acceptable solution to the problem at hand, as each interpretation has unacceptable implications. This conclusion challenges the compossibilist thesis, according to which moral rights do not, ultimately, conflict. Alternatively, if one wishes to keep the possibility of compossibility and disjunctive rights, the mainstream theories of rights must be revised or rejected. (shrink)

This paper investigates propositional hyperintensionality in counterfactuals. It starts with a scenario describing two children playing on a seesaw and studies the truth-value predictions for counterfactuals by four different semantic theories. The theories in question are Kit Fine’s truthmaker semantics, Luis Alonso-Ovalle’s alternative semantics, inquisitive semantics and Paolo Santorio’s syntactic truthmaker semantics. These predictions suggest that the theories that distinguish more of a given set of intensionally equivalent sentences (Fine and Alonso-Ovalle’s) fare better than those that do not (inquisitive semantics (...) and Santorio’s). Then we investigate how inquisitive semantics and Santorio can respond to these results. They can respond to them by helping themselves to considerations from Hurford disjunctions, disjunctions whose disjuncts stand in an entailment relation to one another. I argue that considerations from Hurford disjunctions are ad hoc modifications merely to predict the expected results. I conclude that the scenarios suggest a need for more fine-grained theories of sentential meaning in general. (shrink)

In a language for arithmetic with a predicate T, intended to mean “ x is the Gödel number of a true sentence”, a set S of axioms and rules of inference has the truth disjunction property if whenever S ⊢ T ∨ T, either S ⊢ T or S ⊢ T. Similarly, S has the truth existence property if whenever S ⊢ ∃χ T ), there is some n such that S ⊢ T ). Continuing previous work, we establish (...) whether these properties hold or fail for a large collection of possible axiomatic systems. (shrink)

This essay examines two distinct modes of sonic disjunction in Rosanna Bruno and Anne Carson’s The Trojan Women: A Comic and Carson’s H of H Playbook. The Trojan Women shows how noticing sounds that are dislocated from expectations exposes hard truths about reality. H of H interrogates our “regular” mode of hearing other people and implies that there is a gap in how we can know others and know ourselves. Thus, though both are graphic texts, their power and effect (...) are nonetheless garnered also through the sounds they describe and conjure in the minds of their readers. (shrink)

The natural interpretation of counterfactuals with disjunctive antecedents involves selecting from each of the disjuncts the worlds that come closest to the world of evaluation. It has been long noticed that capturing this interpretation poses a problem for a minimal change semantics for counterfactuals, because selecting the closest worlds from each disjunct requires accessing the denotation of the disjuncts from the denotation of the disjunctive antecedent, which the standard boolean analysis of or does not allow (Creary and Hill, Philosophy of (...) Science 43:341–344, 1975; Nute, Journal of Philosophy 72:773–778, 1975; Fine, Mind 84(335):451–458, 1975; Ellis et al. Journal of Philosophical Logic 6:335–357, 1977). This paper argues that the failure to capture the natural interpretation of disjunctive counterfactuals provides no reason to abandon a minimal change semantics. It shows that the natural interpretation of disjunctive counterfactuals is expected once we refine our assumptions about the semantics of or and the logical form of conditionals, and (i) we assume that disjunctions introduce propositional alternatives in the semantic derivation, in line with independently motivated proposals about the semantics of or (Aloni, 2003a; Simons, Natural Language Semantics 13:271–316, 2005; Alonso-Ovalle, Disjunction in Alternative Semantics. PhD thesis, 2006); and (ii) we treat conditionals as correlative constructions, as advocated in von Fintel (1994), Izvorski (Proceedings of NELS 26, 1996), Bhatt and Pancheva (2006), and Schlenker (2004). (shrink)

We introduce a tool for analysing models of $\text {CT}^-$, the compositional truth theory over Peano Arithmetic. We present a new proof of Lachlan’s theorem that the arithmetical part of models of $\text {CT}^-$ are recursively saturated. We also use this tool to provide a new proof of theorem from [8] that all models of $\text {CT}^-$ carry a partial inductive truth predicate. Finally, we construct a partial truth predicate defined for a set of formulae whose syntactic depth forms a (...) nonstandard cut which cannot be extended to a full truth predicate satisfying $\text {CT}^-$. (shrink)

I develop a ‘duty-plus’ approach to supererogation based on a simple intuition: if I am required to do x or y, doing x and y is a candidate for, though not necessarily, supererogation. This is an appealing view to take, located midway between two extreme positions, supererogationism and rigorism. I give a precise statement of the view through the notion of disjunctive duties, and discuss the commitments a duty-plus theorist should make, independent from the Kantian context in which this position (...) is often discussed. I also advocate the novel claim that we should take supererogation as a property of sets of actions, rather than single actions. The latter view suffers from problems in cases of concurrent acts and accumulative supererogation. (shrink)

Philosophers have had difficulty in explaining the difference between disjunctive and non-disjunctive predicates. Purely syntactical criteria are ineffective, and mention of resemblance begs the question. I draw the distinction by reference to relations between borderline cases. The crucial point about the disjoint predicate 'red or green', for example, is that no borderline case of 'red' is a borderline case of 'green'. Other varieties of disjunctive predicates are: inclusively disjunctive (such as 'red or hard'), disconnected (such as 'grue' on the usual (...) definitions), and skew (such as 'grue' on an emended definition). 'Green' is not a disjunctive predicate. Nelson Goodman's new riddle of induction elicits yet another response. (shrink)