Proves two simple identities relating the biconditional and exclusive disjunction. -/- The PDF has been made available gratis by the publisher.

This paper presents experimental data relevant to understanding the modal free choice effect (Kamp, 1973) when there are more than two disjuncts under the relevant modal operator. The results suggest that speakers' willingness to draw free choice inferences is correlated with whether the embedded disjuncts are *modally separable*, in a sense brought into focus by considering cases within which the relevant propositions fail to be pairwise redundant but are redundant as a set.

An exclusive disjunction is true when exactly one of the disjuncts is true. In the case of the familiar binary exclusive disjunction, we have a formula occurring as the first disjunct and a formula occurring as the second disjunct, so, if what we have is two formula-tokens of the same formula-type—one formula occurring twice over, that is—the question arises as to whether, when that formula is true, to count the case as one in which exactly one (...) of the disjuncts is true, counting by type, or as a case in which two disjuncts are true, counting by token. The latter is the standard answer: counting by tokens. James McCawley once suggested that, when the exclusively disjunctive construction in natural language is at issue, the construction should be treated as involving a multigrade connective whose semantic treatment is sensitive to the set of disjuncts rather than the corresponding multiset. Without any commitment as to whether there actually is such a construction, and conceding that for obvious pragmatic reasons such ‘repeated disjunct’ cases would be at best highly marginal, we note that for the binary case, this requires a nonstandard answer—count by type rather than by token—to the earlier question, and thus, an idempotent exclusive disjunction connective. Section 2 explores that idea and Section 3, a further idempotent variant for which it is the propositions expressed by the disjuncts, rather than the disjuncts themselves, that get counted once only in the case of repetitions. Sections 1 and 4 respectively set the stage for these investigations and conclude the discussion. More detailed considerations of points arising from the discussion but otherwise in danger of interrupting the flow are deferred to a ‘Longer Notes’ appendix at the end. (shrink)

Mody and Carey (2016) investigated children's capacity to reason by the disjunctive syllogism by hiding stickers within two pairs of cups (i.e., there is one sticker in cup A or B, and one in cup C or D) and then showing one cup to be empty. They found that children as young as 3 years of age chose the most likely cup (i.e., not A, therefore choose B; and disregard C and D) and suggested that these children were representing the (...) dependent relationship between A and B by applying the logical operator “or”. However, it is possible that children succeeded using simpler strategies, such as avoiding the empty cup and choosing within the manipulated pair. We devised a new version of the task in which a sticker was visibly removed from one of the four cups so that 2.5- to 5-year-old children (N = 100) would fail if they relied on such strategies. We also included a conceptual replication of Mody and Carey's (2016) original condition. Our results replicated their findings and showed that even younger children, 2.5 years of age, could pass above chance levels. Yet, 2.5-, 3- and 4-year-olds failed the new condition. Only 5-year-old children performed above chance in both conditions and so provided compelling evidence of deductive reasoning from the premise “A or B", where “or” is exclusive. We propose that younger children may instead conceive of the relationship between A and B as inclusive “or” across both versions of the task. (shrink)

The theory of evolution makes sense of the emergence of consciousness. Reduction is not wrong as such, but must not be totalised. The fact that we are star stuff does not preclude the novelty of consciousness. Materialism is naturalism, but naturalism need not be materialism. Neural pathways are relevant but are not the total picture. The central thesis is about David Chalmers’s philosophy being based on an exclusive disjunction. An inclusive disjunction is, when explained, more appropriate. Functionalism (...) is appropriate. Thomas Nagel’s philosophy on first person ontology can still be maintained. Quantum and complexity theories’ hypothesis on consciousness is more compatible with freedom of decision than classical theories. (shrink)

This chapter examimes relevance to misunderstandings about the meaning of aut and possible meanings of ‘or’. In spite of what has been said about the notion of form, there is no harm in applying the word ‘formal’ to the Stoics' work. By some standards, it is not informal, and by those standards, we may therefore call it formal where it is the contrast intended. Since the substitution account of validity would not rule out such disjunctions and a descriptive account would, (...) the descriptive account seems on that score to be the more likely candidate for the Stoic conception of validity. Boole also took exclusivity, even the same arity-free idea of exclusivity, to be centrally important to his representation, but the exclusivity was constructed out of a non-exclusive disjunctive use of ‘or’. (shrink)

I make a point concerning the construction ‘A or B or both’ in English, to the effect that if the connective ‘or’ is understood exclusively across the board then this familiar construction cannot convey the intended inclusive sense of disjunction. If we take ‘or’ inclusively, ‘A or B or both’ has the function of emphasizing that the disjunction is inclusive; taking ‘or’ exclusively, it does nothing.

Exclusivists interpret the ‘or’ of English (and other natural languages) exclusively, but may wish to introduce an inclusive sense of disjunction. A common natu.

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 exclusive component of unembedded disjunctions is standardly derived as a conversational implicature by assuming that or forms a lexical scale with and. It is well known, however, that this assumption does not suffice to determine the required scalar competitors of disjunctions with more than two atomic disjuncts (McCawley, Everything that linguists have always wanted to know about logic* (But were ashamed to ask). Chicago University Press, Chicago, 1993, p. 324; Simons, “Or”: Issues in the semantics and pragmatics of (...) disjunction. Ph.D. thesis, Cornell University, Ithaca, NY, 1998). To solve this, Sauerland (Linguist Philos 27(3): 367–391, 2004) assumes that or forms a lexical scale with two otherwise unattested silent connectives ( ${\mathbb{L}}$ and ${\mathbb{R}}$ ) that retrieve the left and right terms of a disjunction. A number of recent works have proposed an Alternative Semantics for indefinites and disjunction to account for their interaction with modals and other propositional operators (Kratzer and Shimoyama, In: Otsu Y (ed) The Proceedings of the Third Tokyo Conference on Psycholinguistics. Hituzi Syobo, Tokyo, pp. 1–25, 2002; Aloni, In: Weisgerber M (ed) Proceedings of the Conference “SuB7—Sinn und Bedeutung”. Arbeitspapier Nr. 114. Konstanz, pp. 28–37, 2003; Simons, Nat Lang Semantics 13: 271–316, 2005; Alonso-Ovalle, Disjunction in alternative semantics. Ph.D. thesis, University of Massachusetts, Amherst, MA, 2006). We note that the McCawley–Simons problem does not arise in an Alternative Semantics, if we assume that the set of pragmatic competitors to a disjunction is the closure under intersection of the set of propositions that it denotes. An adaptation of the strengthening mechanism presented in Fox (In: Sauerland U, Stateva P (eds) Presupposition and implicature in compositional semantics. MacMillan, Palgrave, pp. 71–120, 2007) allows for the derivation of the exclusive component of disjunctions with more than two atomic disjuncts without having to rely on the ${\mathbb{L}}$ and ${\mathbb{R}}$ operators. The proposal extends to the case of disjunctions with logically dependent disjuncts. (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)

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 “ (...) class='Hi'>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)

A-theoretic presentness is commonly regarded as non-solipsist and non-relative. The non-solipsism of a non-relative, A-theoretic presentness requires at least two space-like separated things to be present simpliciter together – this co-presentness further implies the global, non-relative, non-conventional simultaneity of them. Yet, this implication clashes with the general view that there is no global, non-relative, non-conventional simultaneity in Minkowski space-time. In order to resolve this conflict, this paper explores the possibility that the non-solipsism of a non-relative, A-theoretic presentness does not require (...) at least two space-like separated things to be present simpliciter together. This can be done by holding exclusive disjunctivism –that mutually space-like separated things are present simpliciter exclusively disjunctively, and each one of them gets to be present simpliciter in a non-successive way (just like mutually time-like related things are present simpliciter exclusively disjunctively, and each one of them gets to be present simpliciter, but in a successive way). (shrink)

This paper investigates young children's knowledge of scalar implicatures and downward entailment. In previous experimental work, we have shown that young children access the full range of truth-conditions associated with logical words in classical logic, including the disjunction operator, as well as the indefinite article. The present study extends this research in three ways, taking disjunction as a case study. Experiment 1 draws upon the observation that scalar implicatures (SIs) are cancelled (or reversed) in downward entailing (DE) linguistic (...) environments, e.g., in the scope of negation (Chierchia, 2000). Experiment 2 was designed to determine if scalar implicatures are used by children, like adults, to influence the interpretation of disjunction in non-DE contexts, yielding an implicature of exclusivity for disjunction. Whereas adult controls always rejected assertions of the form A or B in positive (non-DE) contexts in which assertions of the form A and B were also true, many children accepted assertions with disjunction in such contexts. To provide an interpretation to the findings from Experiment 2, a new experimental technique was devised and used in Experiment 3. The new technique presents pairs of assertions to children, who are asked to judge which assertion is a ‘better’ description of the context. The findings from Experiment 3 demonstrated children's awareness that A and B is more informative than A or B in positive contexts, where both statements are true. Taken together, the findings of Experiments 2 and 3 are compatible with the view that some children lack the computational resources to apply scalar implicatures when a single assertion is presented alone (see Reinhart, 1999). (shrink)

The connective or can be treated as an inclusive disjunction or else as an exclusive disjunction. Although researchers are aware of this distinction, few have examined the conditions under which each interpretation should be anticipated. Based on linguistic-pragmatic analyses, we assume that interpretations are initially inclusive before either (a) remaining so, or (b) becoming exclusive by way of an implicature ( but not both ). We point to a class of situations that ought to predispose disjunctions (...) to inclusive interpretations and to situations that encourage exclusive interpretations. A disjunction's ultimate interpretation is based on its potential informativeness, where the interpretation of the disjunctive utterance having the smallest number of true conditions is considered most informative. Our investigation leads to five experiments employing arbitrary materials. Among the problems expected to encourage inclusive interpretations are those that present disjunctions in the antecedents of conditionals and in question forms. The best candidates to produce implicatures are those disjunctions that underdetermine an expected conjunctive conclusion, although other disjunctive utterances that are more informative as exclusive are discussed and tested. (shrink)

Hurford’s Constraint (Hurford, Foundations of Language, 11, 409–411, 1974) states that a disjunction is infelicitous if its disjuncts stand in an entailment relation: #John was born in Paris or in France. Gazdar (Pragmatics, Academic Press, NY, 1979) observed that scalar implicatures can obviate the constraint. For instance, sentences of the form (A or B) or (Both Aand B) are felicitous due to the exclusivity implicature of the first disjunct: A or B implicates ‘not (A and B)’. Chierchia, Fox, and (...) Spector (Handbook of semantics, 2008) use the obviation of Hurford’s Constraint in these cases to argue for a theory of local implicature. I present evidence indicating that the constraint needs to be modified in two ways. First, implicatures can obviate Hurford’s Constraint only in earlier disjuncts, not later ones: #(Both A and B) or (A or B). Second, the constraint rules out not only disjuncts that stand in an entailment relation, but also disjuncts that are even mutually consistent: #John is from Russia or Asia. I propose to make sense of these facts by providing an incremental evaluation procedure which checks that each new disjunct to the right is inconsistent with the information to its left, before the disjunct can be strengthened by local implicature. (shrink)

This paper investigates young children's knowledge of scalar implicatures and downward entailment. In previous experimental work, we have shown that young children access the full range of truth-conditions associated with logical words in classical logic, including the disjunction operator, as well as the indefinite article. The present study extends this research in three ways, taking disjunction as a case study. Experiment 1 draws upon the observation that scalar implicatures (SIs) are cancelled (or reversed) in downward entailing (DE) linguistic (...) environments, e.g., in the scope of negation (Chierchia, 2000). Experiment 2 was designed to determine if scalar implicatures are used by children, like adults, to influence the interpretation of disjunction in non-DE contexts, yielding an implicature of exclusivity for disjunction. Whereas adult controls always rejected assertions of the form A or B in positive (non-DE) contexts in which assertions of the form A and B were also true, many children accepted assertions with disjunction in such contexts. To provide an interpretation to the findings from Experiment 2, a new experimental technique was devised and used in Experiment 3. The new technique presents pairs of assertions to children, who are asked to judge which assertion is a ‘better’ description of the context. The findings from Experiment 3 demonstrated children's awareness that A and B is more informative than A or B in positive contexts, where both statements are true. Taken together, the findings of Experiments 2 and 3 are compatible with the view that some children lack the computational resources to apply scalar implicatures when a single assertion is presented alone (see Reinhart, 1999). (shrink)

This study is concerned with the properties of the disjunction operator, or, and the acquisition of these properties by English-speaking children. Previous research has concluded that adult truth conditions for logical connectives are acquired relatively late in the course of language development. With particular reference to disjunction, the results of several studies have led to two claims. First, it has been argued that the full range of truth-conditions associated with inclusive-or is not initially available to children; instead, children (...) are supposed to interpret disjunction using the truth conditions that are associated with exclusive-or (e.g., Beilin and Lust 1975; Braine and Rumain 1981, 1983; Paris 1973). A second, related claim is that even when children respond as if they have access to the complete range of truth conditions, their responses result from the failure to distinguish or from and (Paris, 1973). Different conclusions were reached in recent work by Chierchia, Crain, Guasti and Thornton (1998). The experiments conducted by Chierchia et al. (1998) draw upon a distinction between linguistic contexts. In one type of context, the inclusive-or reading of disjunction is available. By contrast, in another type of context, the exclusive-or reading of disjunction is highly preferred; the truth conditions that are uniquely associated with the inclusive-or reading are eliminated in such contexts due to conversational implicatures. One context that cancels conversational implicatures is called the Prediction Mode by Chierchia et al. (1998). Notice that a prediction like (1) is consistent with different scenarios. (shrink)

This study is concerned with the properties of the disjunction operator, or, and the acquisition of these properties by English-speaking children. Previous research has concluded that adult truth conditions for logical connectives are acquired relatively late in the course of language development. With particular reference to disjunction, the results of several studies have led to two claims. First, it has been argued that the full range of truth-conditions associated with inclusive-or is not initially available to children; instead, children (...) are supposed to interpret disjunction using the truth conditions that are associated with exclusive-or (e.g., Beilin and Lust 1975; Braine and Rumain 1981, 1983; Paris 1973). A second, related claim is that even when children respond as if they have access to the complete range of truth conditions, their responses result from the failure to distinguish or from and (Paris, 1973). (shrink)

This paper introduces Exclusion Logic - a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.

Logic is a central and highly useful part of philosophy. Its value is particularly evident when it comes to keeping our thinking about disjunctive probabilities clear. Because of the two meanings of “or”, logic can show how the likelihood of a disjunction being true can be determined quite easily. To gauge the chance that one of two or more exclusive alternatives is true, one need only sum up their respective likelihoods. And to know the chance that at least (...) one of two or more compatible alternatives is true, one simply has to figure the chance that it is false that all of them are false! (shrink)

In truth-functional analysis we need not worry about the purported ambiguity of the English ‘or,’ for we can assign different symbols and define each by means of a truth table. However, at least in classes in elementary logic, we often try to indicate that there is some rationale to the assignation of truth values by marshaling English disjunctive sentences which will clearly render an inclusive or an exclusive reading, without the explicit addition of one of the qualifying phrases, “or (...) both” or “but not both.” At this point one discovers people writing on logic saying quite different things about the English ‘or.’ In his Methods of Logic Quine takes the inclusive sense to be the more naturally intended and claims that “indisputable instances of the exclusive use” are rare. Yet in The Principles of Logic Bradley says that no one ever really intends to use ‘or’ in any other than an exclusive sense; and Bosanquet followed him in this. In this paper I am interested in attempting to discover why the British Idealists held that ‘or’ is always exclusive, especially in the face of various examples which, prima facie, establish both uses in English. Why would Bradley feel compelled to deny “any possible instance in which alternatives are not exclusive”? As it turns out, the position held by Bradley and Bosanquet is stronger and more interesting than one initially expects. (shrink)

This study is concerned with the acquisition of the disjunction operator, or, in English. Two mutually inconsistent claims have been made about the acquisition of disjunction. One claim is that the acquisition of the adult truth conditions for logical connectives, including disjunction, is a late and not fully universal, achievement. With particular reference to disjunction, the findings from several studies are interpreted as showing that only the truth conditions associated with exclusive-or are available to young (...) children (e.g., Beilin and Lust 1975; Braine and Rumain 1981, 1983; Paris 1973). There is a related claim, that even when children respond as if they have access to a broader range of truth conditions, namely those associated with inclusive-or, children's adult-like responses are the result of a failure to distinguish or from and (Paris 1973). A different conclusion was reached in a recent study by Chierchia, Crain, Guasti and Thornton (1998), who conducted a series of experiments which revealed children's adult-like knowledge of logical connectives, including disjunction. To reconcile the findings from the Chierchia et al. study and those of previous research, Chierchia et al. (1998) draw upon a distinction between semantic and pragmatic knowledge. They argue that the acquisition of logical connectives is simply a process of mapping the appropriate truth conditions (associated with logical connectives in classical logic) onto the particular words of the language to which the child is exposed. In understanding sentences, however, children are also influenced by the pragmatic norms they follow. In many.. (shrink)

This study is concerned with the acquisition of the disjunction operator, or, in English. Two mutually inconsistent claims have been made about the acquisition of disjunction. One claim is that the acquisition of the adult truth conditions for logical connectives, including disjunction, is a late and not fully universal, achievement. With particular reference to disjunction, the findings from several studies are interpreted as showing that only the truth conditions associated with exclusive-or are available to young (...) children (e.g., Beilin and Lust 1975; Braine and Rumain 1981, 1983; Paris 1973). There is a related claim, that even when children respond as if they have access to a broader range of truth conditions, namely those associated with inclusive-or, children's adult-like responses are the result of a failure to distinguish or from and (Paris 1973). (shrink)

The property common to three kinds of paradoxes (logical, semantic, and cultural) is the underlying presence of an exclusive disjunction: even when it is put to a check by the paradox, it is still invoked at the level of implicit discourse. Hence the argumentative strength of paradoxical propositions is derived. Logical paradoxes (insolubilia) always involve two contradictory, mutually exclusive, truths. One truth is always perceived to the detriment of the other, in accordance with a succession which is (...) endlessly repetitive. A check is put on the principle of the excluded middle by the logical paradoxes, because self-reference leads to an endlessly repeating circle, out of which no resolution is conceivable. Logical paradoxes are to be compared with the `objective ambiguity' prevalent in oracles (Gallet, 1990). Semantic paradoxes are contextually-determined occurrences, whose resolution at the metalinguistic level is made possible by the discovery of a middle term. They express a wilful ambiguity, in which the interlocutor is invited to take an active part in the construction of sense, since what must be found is the unexpected sense thanks to which A and not-A can be asserted simultaneously. Cultural paradoxes play about doxa (`common sense') and openly challenge common opinion because of their character as inopinata (`unexpected'). My aim is to show that even cultural paradoxes hide sometimes a flaw of argumentation similar to logical or semantic paradox; they too imply an exclusive disjunction leading to the disappearance of the middle terms. Finally, basing myself on the theory of topoi (Anscombre and Ducrot, 1983), a tentative resolution of the cultural paradoxes will be suggested. (shrink)

Suprotno općeprihvaćenom mišljenju, argumentiram da Gettierovi protuprimjeri za trodijelnu analizu znanja kao opravdanoga istinitog vjerovanja nisu uspjeli zato što uvjet opravdanja, a pogotovo uvjet istinitosti za znanje u tim slučajevima nisu jednoznačno ispunjeni. Jer sudovi u koje se vjeruje jesu semantički ambivalentni te se za njih ne može jasno reći jesu ili istiniti ili neistiniti, pa stoga ni jesu li predmeti opravdanih istinitih vjerovanja. To je zbog zbunjujuće semantičke uloge koju igra odreðeni opis i ekskluzivna disjunkcija . Stoga nijedan od (...) Gettierovih navodnih protuprimjera zapravo ne opovrgava trodijelnu analizu kao takvu, nego samo jednu njezinu interpretaciju. Gettierovi se slučajevi mogu u najboljem slučaju protumačiti kao oni koji zahtijevaju modifikaciju i poboljšanje tradicionalne analize, a ne kao oni koji zahtijevaju njezino zamjenjivanje. Neki se drugi gettierovski slučajevi, npr. oni koje su iznijeli Lehrer i Feldman, mogu razmatrati na analogan način.Contrary to the received view, I argue that Gettier’s counterexamples to the tripartite analysis of knowledge as justified true belief failed, because the justification condition and especially truth condition for knowledge in these cases are not unambiguously fulfilled. For the propositions believed are semantically ambiguous and cannot be clearly said to be either true or false and, therefore, to be the objects of justified true beliefs. This is due to the puzzling semantic role played by a definite description and an exclusive disjunction . Therefore, neither of Gettier’s alleged counterexamples does in fact refute the tripartite analysis as such, but only an interpretation of it. Gettier’s cases can be at best construed as demanding a modification and improvement of the traditional analysis and not as demanding its replacement. Some other Gettier-like cases, e.g. those proposed by Lehrer and Feldman, can be treated in an analogous manner. (shrink)

This paper aims to show that the K-O Apel's Project of Anthropology of Knowledge belongs to the tradition of hermeneutics logic, developed by the Logic of Göttigen. This statement can be proved by the fact that Apel conceives the relationship between das Leibapriori and das Erkenntnisapriori. In two text of sixties Apel shapes the relationship between human body and knowledge as a polarization of opposite strengths. The logic of exclusive disjunction rules this polarization. Forty years later he changes (...) his perspective and presents them as tensive relation of rivalry. In this way Apel takes in his own argumentation a central topic of the hermeneutics logic, namely, the life conception as a mediation between strength and meaning. (shrink)

A growing number of linguistic attempts to explain how languages change use cultural-evolutionary models involving selection or drift. Developmental constraints and biases, which take center stage in evolutionary developmental biology or evo-devo, seem to be absent within this framework, even though linguistics is home to numerous notions of constraint. In this paper, we show how these evo-devo concepts could be applied to linguistic change and why they should. This requires some conceptual groundwork, due to important differences between linguistic and biotic (...) evolution. In biological evolution, development generates the organism's variable traits on which selection and drift act. In linguistic evolution by analogy, we say development generates the linguistic variants on which selection and drift can act. “Linguistic development” then picks out how individual speakers produce and comprehend language. It involves much more than just learning. Using this broad notion of development, we distinguish between different types of bias that could operate in the processes of linguistic innovation and transmission, which correspond to genetic mutation and biological reproduction, respectively. Having thus sharpened our conceptual toolbox, we then reanalyze two well-documented cases of linguistic change and show that, in both these cases, linguists have only considered Neo-Darwinian evolutionary explanations, falsely deploying an exclusive disjunction of selection and drift. We show that there is at least a third relevant alternative in these examples, namely developmental constraint or bias in the sense we explicate here. (shrink)

In the paper, we apply Kooi and Tamminga’s correspondence analysis to some conventional and functionally incomplete fragments of classical propositional logic. In particular, the paper deals with the implication, disjunction, and negation fragments. Additionally, we consider an application of correspondence analysis to some connectiveless fragment with certain basic properties of the logical consequence relation only. As a result of the application, one obtains a sound and complete natural deduction system for any binary extension of each fragment in question. With (...) the focus on exclusive disjunction we comparatively study the proposed systems. Finally, we discuss Segerberg’s systems for connectiveless and negation fragments and compare them with our systems. (shrink)

It is often debated whether what we ought, politically, to do is determined by standards that are independent of any actual political process or whether, by contrast, judgments reached in actual democratic processes have constitutive importance in determining what we should do. This paper argues that this is not an exclusive disjunction and that, consistently with there being independent standards, constitutively authoritative judgments can enter into the truth-conditions pertaining to claims about what we ought, politically, to do. The (...) crucial objection to constitutive judgment is that it involves an unacceptable form of bootstrapping, according to which reasons arise out of nothing. To circumvent this objection, the paper deploys John Broome's notion of a wide-scope 'normative requirement'. Normative requirements affect what ought to be done without altering the balance of reasons and defuse the bootstrapping objection by blocking the derivation of all-things-considered conclusions. To show that politics involves constitutive authority of this kind, the paper defends two illustrative normative requirements applicable to the political process that give constitutive roles to political judgments of various kinds. Throughout, the discussion is enlivened by comparisons to the judgments of a baseball umpire, which have been illuminatingly discussed by Robert Brandom. (shrink)

Chakravartty claims that science does not imply any specific metaphysical theory of the world. In this sense, science is consistent with both neo-Aristotelianism and neo-Humeanism. But, along with many others, he thinks that a neo-Aristotelian outlook best suits science. In other words, neo-Aristotelianism is supposed to win on the basis of an inference to the best explanation (IBE). I fail to see how IBE can be used to favour neo-Aristotelianism over neo-Humeanism. In this essay, I aim to do two things. (...) Firstly, I explain why this failure is not idiosyncratic: it should be there even by Chakravartty's lights. Secondly, I raise some critical worries about Chakravartty's semirealism, especially in connection with the concept of a 'concrete structure' and the detection/auxiliary distinction. The essay ends with a dilemma: an exclusive disjunction encapsulated in its title. (shrink)

A logic of questions and answers exists within the logic of statements, if we make the following identifications (roughly): "Whether" questions are identified with true exclusive disjunctions, and "which" questions are identified with true existential quantifications. The question-and-answer process is interpreted as an information-matching game. The question mark is not needed except as a device of abbreviation. Complete and partial answers can be distinguished and various relations of relevance, independence, and resolution defined.

The aim of this paper is to show that the definition of a possible world in the actualist tradition of A. Plantinga, R.M. Adams, R. Chisholm, J. Pollock and N. Wolterstorff is unable to accomodate tensed states of affairs. An example of a tensed state of affairs is the transiently obtaining state of affairs that the storm is present, which obtains only if its negation, it is not the case that the storm is present also obtains but at different times. (...) A possible world that includes tensed states of affairs and their negations cannot be defined in the traditional way, which states that a possible world is a state of affairs S that includes every state of affairs S' or (exclusive disjunction) the negation of S'. Rather, it must be defined in a new way: A possible world is a state of affairs S that includes every state of affairs S' or (inclusive disjunction) the negation of S', such that for every pair P of mutually contradictory tensed states of affairs entailed by S, the members of P obtain nonsimultaneously in S. (shrink)

The aim of this paper is to show that the definition of a possible world in the actualist tradition of A. Plantinga, R.M. Adams, R. Chisholm, J. Pollock and N. Wolterstorff is unable to accomodate tensed states of affairs. An example of a tensed state of affairs is the transiently obtaining state of affairs that the storm is present, which obtains only if its negation, it is not the case that the storm is present also obtains but at different times. (...) A possible world that includes tensed states of affairs and their negations cannot be defined in the traditional way, which states that a possible world is a state of affairs S that includes every state of affairs S' or (exclusive disjunction) the negation of S'. Rather, it must be defined in a new way: A possible world is a state of affairs S that includes every state of affairs S' or (inclusive disjunction) the negation of S', such that for every pair P of mutually contradictory tensed states of affairs entailed by S, the members of P obtain nonsimultaneously in S. (shrink)

There are two contrasting views on the decision-making for life-sustaining treatment in advanced stages of dementia when the patient is deemed incompetent. One is to respect the patient's precedent autonomy by adhering to advance directives or using the substituted judgement standard. The other is to use the best-interests standard, particularly if the current judgement on what is best for the incapacitated patient contradicts the instructions from the patient's precedent autonomy. In this paper, I argue that the protracted clinical course of (...) dementia over many years requires the extended perspective of a progressive decision-making process—extended in both social space and time. The ongoing debate between these two competing views has missed this perspective by focussing on an exclusive disjunction between the competent former self and the incompetent current self. Drawing on theories of situated cognition in cognitive science, I will show that the cognition of a demented patient can be viewed as extended and embodied by her supportive social environment. As the disease progresses, the content of the mind of a demented person becomes partially constituted by such external resources along with her diminishing intrinsic mind. With this understanding, medical decision-making for a demented patient can be construed as a temporally and socially extended practice. A collective decision-making body consisting of the patient, her family and surrogates, and the clinician, should make progressive decisions as a whole over years of the disease course. Finally, I will provide a practical example of how this proposal can be applied in clinical practice. (shrink)

We claim that Kant's doctrine of the "transcendental ideal of pure reason" contains, in an anticipatory sense, a second-order theory of reality (as a second-order property) and of the highest being. Such a theory, as reconstructed in this paper, is a transformation of Kant's metatheoretical regulative and heuristic presuppositions of empirical theories into a hypothetical ontotheology. We show that this metaphysical theory, in distinction to Descartes' and Leibniz's ontotheology, in many aspects resembles Gödel's theoretical conception of the possibility of a (...) supreme being. The proposed second-order modal formalization of the Kantian doctrine of the "transcendental ideal" of the supreme being includes some specific features of Kantian general logic like "categorical", "hypothetical", and exclusive disjunctive propositions as basic forms. (shrink)

Following Aristotle, classical Islamic philosophers distinguished between two types of knowledge: conception and assent. This paper argues that the discussions elicited by this distinction are an essential feature of postclassical Islamic philosophy (ca. 1200–1800). The early postclassical philosophers made the distinction central to logic and thereby to epistemology and scientific inquiry at large. As the distinction came to be perceived as problematic, it sparked philosophical arguments about a range of issues in logic and epistemology. One particularly pertinent problem was the (...) nature of the distinction itself: it was understood as an exclusive disjunction, but it seemed impossible to define one notion without recourse to the other. In the fourteenth century this led to the emergence of a new genre of philosophical writings exclusively dedicated to discussing the precise nature of the distinction. This paper discusses some of the central arguments of these writings, showing how philosophers grappling with that problem devised new theories of judgement and new forms of the proposition as they were continuously developing their theory of knowledge. (shrink)

The computation of scalar implicatures is sometimes costly relative to basic meanings. Among the costly computations are those that involve strengthening `some' to `not all' and strengthening inclusive disjunction to exclusive disjunction. The opposite is true for some other cases of strengthening, where the strengthened meaning is less costly than its corresponding basic meaning. These include conjunctive strengthenings of disjunctive sentences (e.g., free-choice inferences) and exactly-readings of numerals. Assuming that these are indeed all instances of strengthening via (...) implicature/exhaustification, the puzzle is to explain why strengthening sometimes increases costs while at other times it decreases costs. I develop a theory of processing costs that makes no reference to the strengthening mechanism or to other aspects of the derivation of the sentence's form/meaning. Instead, costs are determined by domain-general considerations of the grammar's output, and in particular by aspects of the meanings of ambiguous sentences and particular ways they update the context. Specifically, I propose that when the hearer has to disambiguate between a sentence's basic and strengthened meaning, the processing cost of any particular choice is a function of (i) a measure of the semantic complexity of the chosen meaning and (ii) a measure of how much relevant uncertainty it leaves behind in the context. I measure semantic complexity with Boolean Complexity in the propositional case and with semantic automata in the quantificational case, both of which give a domain-general measure of the minimal representational complexity needed to express the given meaning. I measure relevant uncertainty with the information-theoretic notion of entropy; this domain-general measure formalizes how `far' the meaning is from giving a complete answer to the question under discussion, and hence gives an indication of how much representational complexity is yet to come. Processing costs thus follow from domain-general considerations of current and anticipated representational complexity. The results might also speak to functional motivations for having strengthening mechanisms in the first place. Specifically, exhaustification allows language users to use simpler forms than would be available without it to both resolve relevant uncertainties and convey complex meanings. (shrink)

In this paper I discuss a neglected form of argument against religious belief -- generically, 'the probabilistic argument from pluralism'. If the denial of a belief is equivalent to the disjunction of its alternatives, and if we may gain some idea as to the probabilities of such disjunctions by adding the separate probabilities of their mutually exclusive disjuncts, and if, moreover, the denials of many religious beliefs are disjunctions known to have two or more mutually exclusive members (...) each possessing a significant degree or probability, then at any rate in many such cases, the denial of a religious belief can be shown to be more probable than it is -- which is to say that the belief can be shown to be improbable. I consider a large number of responses to arguments of this form, concluding that none suffices to overthrow it altogether. Indeed, the argument remains as a significant threat to any religious belief confronted by a plurality of alternatives. (shrink)

Philosophy & Social Criticism, Ahead of Print. What is cultural ‘appropriation’? What is cultural ‘appreciation’? Whatever the complex answer to this question, cultural appropriation is commonly defined as ‘the taking of something produced by members of one culture by members of another’, whilst appreciation is typically understood as mere ‘exploration’: ‘Appreciation explores whatever is there’. These provisional definitions suggest that there is an in-principle distinction between the two concepts that presupposes the following: what is appreciated is already available; what is (...) appropriated was, prior to its being taken, not already there or available. Moreover, perhaps appreciation, when contrasted to appropriation, is unproblematic precisely due to this basic difference. In this paper, we argue that the exclusive disjunction – appropriation or appreciation – rests on a false distinction between the two. We also show that this distinction presupposes a false normative principle that to the extent that x is appreciation rather than appropriation, then x is not – relevant to this issue – a wrong. Against these presuppositions, we defend the view that appropriation is already built into appreciation. This does not mean that we cannot ask questions of appreciation, but that questions of appreciation do not preclude the problematics of appropriation. (shrink)

The main goal of this paper is to provide a ground-analysis of two classical connectives that have so far been ignored in the literature, namely the exclusive disjunction, and the ternary disjunction. Such ground-analysis not only serves to extend the applicability of the logic of grounding but also leads to a generalization of Poggiolesi (2016)’s definition of the notion of complete and immediate grounding.

From certain sorts of premise, individuals reliably infer invalid conclusions. Two Experiments investigated a possible cause for these illusory inference: Reasoners fail to think about what is false. In Experiment 1, 24 undergraduates drew illusory and control inferences from premises based on exclusive disjunctions (“or else”). In one block, participants were instructed to falsify the premises of each illusory and control inference before making the inference. In the other block, participants did not receive these instructions. There were more correct (...) answers for illusory disjunctions whose premises had been falsified than there were for illusory disjunctions that had not been falsified. A second Experiment introduced illusory inferences in a real world context that accentuated falsification of premises. Accuracy also improved. Knowledge of how to falsify premises and to consider their implications for true premises transferred to a new problem introduced at the end of the Experiment without the falsification instruction. The participants' ratings of the difficulty of the inferences showed that they did not err simply because illusory inferences are perceived to be more difficult than control problems. The model theory predicts these results because it postulates that the limitations of working memory preclude the representation of false information. (shrink)

Immanuel Kant’s moral philosophy is organized around an exclusive disjunction of dignity or price, equality or equivalence. In his 1797 Doctrine of Right, however, Kant places enslaved black people on the wrong side of this disjunction when he speculates that their status as currency may offer insight into the origins of money. Recent work in black studies has begun to speculate on the link between blackness and money in modernity, and this paper draws attention to Kant’s role (...) as an unlikely and unwitting precursor for monetary theories of blackness. Precisely in his attempt to secure the priceless and unconditional character of freedom and dignity, it argues, Kant ends up demonstrating the positional value of both. (shrink)

This article introduces and clarifies a neglected sense of the word ἤ (‘or’) employed by Aristotle and other authors. In this sense, called ‘indifferent’, ἤ signifies ‘one or the other, regardless of which’. It is shown how attention to this use makes it possible to explain the source of the ambiguity of certain sentences, most obviously, though not exclusively, sentences that make a necessity claim about an embedded disjunction, for example ‘It is necessary that A or B’. Why this (...) sense cannot be explained, as some scholars have suggested, by the distinction between exclusive and inclusive ἤ is also discussed. Finally, it is shown how awareness of this sense might rescue Aristotle from a gross inconsistency. (shrink)

This is another one of those “let’s see how we can misuse the insights of modern physics to justify a crackpot theory of the universe” type of books. The most worthy such attempt known to me is. It is difficult to take seriously an author who claims that Nazism is an “astral epidemic”, who sees trinitarian implications in the American constitutional system of checks and balances, who accepts without qualification the statement of another researcher that subjects under the influence of (...) LSD were able to recall events in the womb, who is enthusiastic about reincarnation, going so far as to claim that “…we are living within the vortex of all the previous cultures”, and who alleges that the full meaning of a symbol is to be grasped through meditation that removes the opposition of the cognizer and the cognized, through entering of the essence of the object and complete merging with it”. Skepticism toward any of this, moreover, is treated as a sign of latent mechanism, the product of “…a scornful attitude toward human inner experience”, and analogous to the disbelief which at first greeted the Wright brothers. If you like Jung, particularly the theories of archetypes and collective unconscious, you will love Nalimov. He is a talk show host’s dream: full of stories and experiments [sic] similar to those concocted by Targ and Puthoff at Stanford Research Institute during the 1960s—all of which have been thoroughly discredited by. His sincerity is undeniable; he is just an incredibly bad, or else naive, scientist, at least concerning this motley collection of subjects. He is also prone to gobbledygook, for example: when characterizing the difference between humans and computers, he writes “…an illusion is semantically meaningful. We call this semantics illusory only because we are ignorant of the mechanism of interaction of the unconscious myth-like images with the manifestations of consciousness”. Or, talking about “bimodal distribution functions” for a set of exclusive disjunctions, the author alludes to “…the increasing informational entropy of concepts” which creates “…smoothed bimodality”. Very impressive, but what does it mean in plain English—or plain Russian, if the translator is to blame? (shrink)

Is the set of all self-membered sets, S, a member of itself? In naive set theory, this is Russell’s hypodox. By the Laws of Excluded Middle and Non-contradiction, S is a member of itself xor it is not, but no principle of classical logic or naive set theory determines which. (Herein, ‘xor’ extends English with a specifically exclusive disjunction.) As a hypodox, the Truth-teller is a sentence that says of itself simply that it is true; by the above (...) mentioned principles, the Truth-teller is true xor not true, but no principle of classical logic or naive truth determines which. Many concepts that have paradoxes have related hypodoxes, although the focus here is on these two. I argue that the Truth-teller does not rely on a principle of truth, in particular it does not rely on the T-schema. I also argue that Russell’s hypodox does not rely on Comprehension. Yet I relate Russell’s paradox and hypodox based on involution functions. The Liar and the Truth-teller are also related by means of involutions. Relations based on these involution functions can be represented in duality squares. Although hypodoxes are not paradoxes, these involution functions and duality relations warrant some commonality in a correct solution to a paradox and its dual hypodox. Using this and some other premises, I provide novel arguments supporting non-classical solutions for the Liar paradox and the significance of Russell’s hypodox for solutions to Russell’s paradox. (shrink)

The majority of formal accounts attribute to Stoic logicians the classical truth-functional understanding of the material conditional and exclusive disjunction.These interpretations were disputed,...

White supremacy dominates the academy and political discussions. It first consists of conflating the geography of the West (where Black, Indigenous, and People of Color—BIPOC—are to be found) with a specific colonizing tradition originating in ancient Greek thought—call this tradition the West. Secondly, and more profoundly, it consists in treating this tradition as the frame for the study of every other intellectual tradition, which since the Romans it brands as religion. The political function of this marginalization of BIPOC philosophy is (...) to shield Western colonialism from moral philosophical criticism. The mechanism of colonialism is interpretation—explanation in terms of propositional attitudes, like belief. Not only is this a basic commitment of the Western tradition owing to its foundational linguistic account of thought (LAT), the South Asian moral philosophy of Yoga shows interpretation to be the essence of irresponsibility: it undermines the possibilities of choice as it is antilogical and is the mechanism of oppression. In contrast, Yoga, a fourth basic ethical theory (in addition to virtue ethics, consequentialism, and deontology) identifies an alternate metaethical choice as the essence of moral responsibility: explication—understanding in terms of inferential relationships. Yoga is not only the locus classicus for a nondiscriminatory, antioppressive approach to moral standing: it constitutes reason-based, (both ideal and nonideal) normative practices of solidarity with people (including nonhumans and celestial bodies like the Earth). This paper explores the mutually exclusive disjunction between interpretation and explication, the historical impact of these methodologies, and the colonization by the West of philosophy in the game of Publish or Perish. Shaking this off is as easy as returning to the philosophically indigenous practice of explication. (shrink)

The claim currently known as “disjunctivism” is usually interpreted in terms of exclusive disjunction. However, it can be also explicated through the lens of alternative denial. The aim of this paper is to show that the latter interpretation is more accurate. Firstly, it reflects the core of disjunctivism more precisely. Secondly, it reduces metaphysical weight of the claim, thereby making it more plausible.