Causal theories of content, a popular family of approaches to defining the content of mental states, commonly run afoul of two related and serious problems that prevent them from providing an adequate theory of mental content—the misrepresentation problem and the disjunction problem. In this paper, I present a causal theory of content, built on information theoretic tools, that solves these problems and provides a viable model of mental content. This is the greatest surprise reduction theory of content, which identifies the (...) content of a signal as the event the surprisal of which is most reduced by that signal. Conceptually, this amounts to the claim that the content of a signal is the event the probability of which has increased by the largest proportion, or the event that the signal makes the most less surprising to us. I develop the greatest surprise reduction theory of content in four stages. First, I introduce the general project of causal theories of content, and the challenges presented to this project by the misrepresentation and disjunction problems. Next, I review two recent and prominent causal theories of content and demonstrate the serious challenges faced by these approaches, both clarifying the need for a solution to the misrepresentation and disjunction problems and providing a conceptual background for the greatest surprise reduction theory. Then, I develop the greatest surprise reduction theory of content, demonstrate its ability to resolve the misrepresentation and disjunction problems, and explore some additional applications it may have. Finally, I conclude with a discussion of a particularly difficult challenge that remains to be addressed—the partition problem—and sketch a path to a potential solution. (shrink)

Direct Informational Semantics, according to which [X]s represent X if ‘Xs cause [X]s’ is a law, and Fodorian naturalistic semantics both suffer from double disjunctivitis. I argue that robustness, properly construed, characterizes both represented properties and representing symbols: two or more properties normally regarded as non-disjunctive may each be nomologically connected to a non-disjunctive symbol, and two or more non-disjunctive symbols may each be nomologically connected to a property. This kind of robustness bifurcates the so-called disjunction problem (...) into a Represented-Disjunction Problem, of which Fodor was aware, and a Representer-Disjunction Problem, of which he was on the whole oblivious. Fodor fails to solve these problems: his solution to the former, the Asymmetric Dependence Condition, presupposes a successful solution to the latter, while possible responses that Fodor might make to the latter either beg the former or cannot be met or else flout the Naturalistic Requirement and the Atomistic Requirement. Even setting the Representer-Disjunction Problem aside, the Represented-Disjunction Problem does not get solved, because the robustness involving phonological/orthographic sequences guarantees that nothing can meet the Asymmetrical Dependence Condition. Indeed there is a serious problem of individuating phonological/orthographic tokens and types in a manner that satisfies Fodor’s expectations. This is made manifest by the presence of orthographic tokens embedded in larger tokens. (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)

Fodor (1990) argues that the theory of evolution by natural selection will not help to save naturalistic accounts of representation from the disjunction problem. This is because, he claims, the context 'was selected for representing things as F' is transparent to the substitution of predicates coextensive with F. But, I respond, from an evolutionary perspective representational contexts cannot be transparent: only under particular descriptions will a representational state appear as a "solution" to a selection "problem" and so be adaptive. Only (...) when we construe representational states as opaque in this manner are the generalizations of branches of evolutionary theory, like foraging theory, possible. (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.

I present a problem for theories of explanation, concerning explanations involving disjunctive properties. The problem is particular acute for the explanatory non-fundamentalist, according to whom non-fundamental scientific explanations are sometimes superior to fundamental physical explanations. I criticise solutions to the problem due to Woodward, Strevens and Sober, and Lewis, and then defend a solution inspired by an account of non-fundamental laws recently defended by Callender and Cohen.

In this paper we address some central problems of combination of logics through the study of a very simple but highly informative case, the combination of the logics of disjunction and conjunction. At first it seems that it would be very easy to combine such logics, but the following problem arises: if we combine these logics in a straightforward way, distributivity holds. On the other hand, distributivity does not arise if we use the usual notion of extension between consequence relations. (...) A detailed discussion about this phenomenon, as well as some possible solutions for it, are given. (shrink)

Fodor argues that the theory of evolution by natural selection will not help to save naturalistic accounts of representation from the disjunction problem. This is because, he claims, the context 'was selected for representing things as F' is transparent to the substitution of predicates coextensive with F. But, I respond, from an evolutionary perspective representational contexts cannot be transparent: only under particular descriptions will a representational state appear as a "solution" to a selection "problem" and so be adaptive. Only when (...) we construe representational states as opaque in this manner are the generalizations of branches of evolutionary theory, like foraging theory, possible. (shrink)

Hypothetico-deductivists have struggled to develop qualitative confirmation theories not raising the so-called tacking by disjunction paradox. In this paper, I analyze the difficulties yielded by the paradox and I argue that the hypothetico-deductivist solutions given by Gemes (1998) and Kuipers (2000) are questionable because they do not fit such analysis. I then show that the paradox yields no difficulty for the Bayesian who appeals to the Total Evidence Condition. I finally argue that the same strategy is unavailable to the (...) hypothetico-deductivist. (shrink)

Suppose that Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\it \Phi}}$$\end{document} is a consistent sentence. Then there is no Herbrand proof of ¬Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\neg {\it \Phi}}$$\end{document}, which means that any Herbrand disjunction made from the prenex form of ¬Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\neg {\it \Phi}}$$\end{document} is falsifiable. We show that the problem of finding such a falsifying assignment is hard in the following sense. For every (...) total polynomial search problem R, there exists a consistent Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\it \Phi}}$$\end{document} such that finding solutions to R can be reduced to finding a falsifying assignment to an Herbrand disjunction made from ¬Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\neg {\it \Phi}}$$\end{document}. It has been conjectured that there are no complete total polynomial search problems. If this conjecture is true, then for every consistent sentence Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\it \Phi}}$$\end{document}, there exists a consistent sentence Ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Psi}$$\end{document}, such that the search problem associated with Ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Psi}$$\end{document} cannot be reduced to the search problem associated with Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\it \Phi}}$$\end{document}. (shrink)

Various philosophers have long since been attracted to the doctrine that future contingent propositions systematically fail to be true—what is sometimes called the doctrine of the open future. However, open futurists have always struggled to articulate how their view interacts with standard principles of classical logic—most notably, with the Law of Excluded Middle. For consider the following two claims: Trump will be impeached tomorrow; Trump will not be impeached tomorrow. According to the kind of open futurist at issue, both of (...) these claims may well fail to be true. According to many, however, the disjunction of these claims can be represented as p ∨ ~p—that is, as an instance of LEM. In this essay, however, I wish to defend the view that the disjunction these claims cannot be represented as an instance of p ∨ ~p. And this is for the following reason: the latter claim is not, in fact, the strict negation of the former. More particularly, there is an important semantic distinction between the strict negation of the first claim [~] and the latter claim. However, the viability of this approach has been denied by Thomason, and more recently by MacFarlane and Cariani and Santorio, the latter of whom call the denial of the given semantic distinction “scopelessness”. According to these authors, that is, will is “scopeless” with respect to negation; whereas there is perhaps a syntactic distinction between ‘~Will p’ and ‘Will ~p’, there is no corresponding semantic distinction. And if this is so, the approach in question fails. In this paper, then, I criticize the claim that will is “scopeless” with respect to negation. I argue that will is a so-called “neg-raising” predicate—and that, in this light, we can see that the requisite scope distinctions aren’t missing, but are simply being masked. The result: a under-appreciated solution to the problem of future contingents that sees and as contraries, not contradictories. (shrink)

This paper gives a new, purely semantic proof of the following theorem: if an intermediate propositional logic L has the disjunction property then a disjunction free formula is provable in L iff it is provable in intuitionistic logic. The main idea of the proof is to use the well-known semantic criterion of the disjunction property for "simulating" finite binary trees (which characterize the disjunction free fragment of intuitionistic logic) by general frames.

Although Montague claims that the system of The proper treatment of quantification in ordinary English includes some conjunction and disjunction, the rules for other grammatical constructions do not take conjunction or disjunction into account, and in general fail either syntactically or semantically when one of their arguments is so formed. Using an unlabeled bracketing of syntactic structure and recursive definitions, we have been able to rewrite the rules so that correct results are obtained.These results should provide a firmer basis for (...) extension of PTQ. (shrink)

The objective of this paper is to show that Russell's paradox cannot be solved just by defining a class as what is classified, as Balzer thinks. It can be solved not by defining a class, as he does, but by rejecting the assumption on which the validity of argument is based, that is, not conceding the truth of the disjunctive premise that a class is either an instance of itself or not an instance of itself.

If natural kinds were defined on the basis of fixed and immutable essences, then – with the end of essentialism in life sciences – their end, at least for those kinds confined to the living realm, would ensue as well (1-2). If appropriately revised and adapted, however, natural kinds may still play an important theoretical role, not only for the sake of philosophical speculation, but also in accomodating scientific practices and in providing an adequate rendering of human reasoning. The proposal (...) outlined in this paper moves from the historical and disjunctive solutions of Millikan and Boyd, but it departs from them in that it offers a conventionalist interpretation of natural kinds. The bulk of the theory is presented through the case study of the distinction between sexes and genders (3). A few remarks on how to further the proposal are offered in the final section (4). (shrink)

Disjunctions in the scope of possibility modals give rise to a conjunctive inference, generally referred to as ‘free choice.’ For example, Emma can take Spanish or Calculus suggests that Emma can take Spanish and can take Calculus. This inference is not valid on standard semantics for modals in combination with a Boolean semantics for disjunction. Hence free choice has sparked a whole industry of theories in philosophy of language and semantics. This paper investigates free choice in sentences involving a non-monotonic (...) modified numeral, under which we embed a possibility modal scoping over disjunction. One example is Exactly one student can take Spanish or Calculus. As we point out, the presence of certain readings of these sentences is a key test for a prominent approach, which analyzes free choice as a kind of scalar implicature. We report on two experiments investigating the readings of such sentences, using an inferential task. Our results are challenging for the implicature approach. We sketch two possible solutions within this approach, either adopting a different recent implicature algorithm, or exploring a different meaning for modified numerals with exactly. Both of them suffer from a variety of problems. We then discuss a third solution, which exploits a recent account of free choice based on homogeneity. This approach can account for our results, in combination with plausible assumptions about homogeneity projection, though it too has open issues with related cases. Regardless of which solution is chosen, non-monotonic contexts turn out to be an important test case for theories of free choice, implicature, and modified numerals. (shrink)

It is of common use in modern Venn diagrams to mark a compartment with a cross to express its non-emptiness. Modern scholars seem to derive this convention from Charles S. Peirce, with the assumption that it was unknown to John Venn. This paper demonstrates that Venn actually introduced several methods to represent existentials but felt uneasy with them. The resistance to formalize existentials was not limited to diagrammatic systems, as George Boole and his followers also failed to provide a satisfactory (...) symbolic representation for them. This difficulty points out issues that are inherent to the very nature of existentials. This paper assesses the various methods designed for the representation of existential statements with Venn diagrams. First, Venn’s own attempts are discussed and compared with other solutions proposed by his contemporaries and successors, notably Lewis Carroll and Peirce. Since disjunctives hold an important role in an effective representation of existentials, their representation is also discussed. Finally, recent methods for the diagrammatic representation of existing individuals, rather than mere existence, are surveyed. (shrink)

I propose a unified solution to two puzzles: Ross's puzzle and free choice permission. I begin with a pair of cases from the decision theory literature illustrating the phenomenon of act dependence, where what an agent ought to do depends on what she does. The notion of permissibility distilled from these cases forms the basis for my analysis of 'may' and 'ought'. This framework is then combined with a generalization of the classical semantics for disjunction — equivalent to Boolean disjunction (...) on the diagonal, but with a different two-dimensional character — that explains the puzzling facts in terms of semantic consequence. (shrink)

Thomas Bradwardine's solution to the semantic paradoxes, presented in his Insolubilia written in Oxford in the early 1320s, turns on two main principles: that a proposition is true only if things are wholly as it signifies; and that signification is closed under consequence. After exploring the background in Walter Burley's account of the signification of propositions, the question is considered of the extent to which Bradwardine's theory is compatible with the distribution of truth over conjunction, disjunction, negation and the conditional.

Problems and solutions for an act theoretic account of propositions. I discuss the relation between the primary source of intentionality, namely tokens of propositional acts or propositional acts simpliciter, and their representations, and I propose a measure-theoretic representation of propositional acts. On this basis, I argue for a Hanks-like conception of propositional acts as forceful acts. Propositional acts are forceful not only because they are truth-apt, but moreover because they are bearers of rational commitments and entitlements. I will point (...) out some undesirable consequences of adopting force cancellation or simulation contexts. These are that there seems to be an uncontrolled proliferation of force cancellation or simulation contexts, as suggested by the cases of probability judgments, comparative probability judgments, comparative preference directives, and the like. One might be dissatisfied with the lack of a unified account of what a cancellation context is supposed to be. I propose to liberate propositional acts so that they can be performed with a variety of forces, such as conditional assertion, disjunctive assertion, modified by degrees assertion etc. On the basis of a measurement theoretic representation of propositions, I propose the notion of act by surrogates to account for target-shifting in propositional acts. (shrink)

Expressivism promises an illuminating account of the nature of normative judgment. But worries about the details of expressivist semantics have led many to doubt whether expressivism's putative advantages can be secured. Drawing on insights from linguistic semantics and decision theory, I develop a novel framework for implementing an expressivist semantics that I call ordering expressivism. I argue that by systematically interpreting the orderings that figure in analyses of normative terms in terms of the basic practical attitude of conditional weak preference, (...) the expressivist can explain the semantic properties of normative sentences in terms of the logical properties of that attitude. Expressivism's problems with capturing the logical relations among normative sentences can be reduced to the familiar, more tractable problem of explaining certain coherence constraints on preferences. Particular attention is given to the interpretation of wide-scope negation. The proposed solution is also extended to other types of embedded contexts—most notably, disjunctions. (shrink)

Natural language conditionals seem to be subject to three logical requirements: they invalidate Antecedent Strengthening, they validate so-called Simplification of Disjunctive Antecedents, and they allow for the replacement of logically equivalent clauses in antecedent position. Unfortunately, these requirements are jointly inconsistent. Conservative solutions to the puzzle drop Simplification, treating it as a pragmatic inference. I show that pragmatic accounts of Simplification fail, and develop a truthmaker semantics for conditionals that captures all the relevant data. Differently from existing truthmaker (...) semantics, my semantics extends, rather than replaces, standard possible worlds semantics. The main innovation is the notion of a truthmaker in play: this notion is cognitive, rather than metaphysical, and can be defined in a purely syntactic way. (shrink)

Logic programs under answer set semantics have become popular as a knowledge representation formalism in Artificial Intelligence. In this paper we investigate the possibility of using answer sets for qualitative decision making. Our approach is based on an extension of the formalism, called logic programs with ordered disjunction (LPODs). These programs contain a new connective called ordered disjunction. The new connective allows us to represent alternative, ranked options for problem solutions in the heads of rules: A × B intuitively (...) means: if possible A, but if A is not possible then at least B. The semantics of logic programs with ordered disjunction is based on a preference relation on answer sets. We show that LPODs can serve as a basis for qualitative decision making. (shrink)

This paper deals with the varieties of monadic Heyting algebras, algebraic models of intuitionistic modal logic MIPC. We investigate semisimple, locally finite, finitely approximated and splitting varieties of monadic Heyting algebras as well as varieties with the disjunction and the existence properties. The investigation of monadic Heyting algebras clarifies the correspondence between intuitionistic modal logics over MIPC and superintuitionistic predicate logics and provides us with the solutions of several problems raised by Ono [35].

It is sometimes held that rules of inference determine the meaning of the logical constants: the meaning of, say, conjunction is fully determined by either its introduction or its elimination rules, or both; similarly for the other connectives. In a recent paper, Panu Raatikainen (2008) argues that this view - call it logical inferentialism - is undermined by some "very little known" considerations by Carnap (1943) to the effect that "in a definite sense, it is not true that the standard (...) rules of inference" themselves suffice to "determine the meanings of [the] logical constants" (p. 2). In a nutshell, Carnap showed that the rules allow for non-normal interpretations of negation and disjunction. Raatikainen concludes that "no ordinary formalization of logic ... is sufficient to `fully formalize' all the essential properties of the logical constants" (ibid.). We suggest that this is a mistake. Pace Raatikainen, intuitionists like Dummett and Prawitz need not worry about Carnap's problem. And although bilateral solutions for classical inferentialists - as proposed by Timothy Smiley and Ian Rumfitt - seem inadequate, it is not excluded that classical inferentialists may be in a position to address the problem too. (shrink)

Galles & Pearl (l998) claimed that s [possible-worlds] framework.s framework. Recursive models are shown to correspond precisely to a subclass of (possible-world) counterfactual structures. On the other hand, a slight generalization of recursive models, models where all equations have unique solutions, is shown to be incomparable in expressive power to counterfactual structures, despite the fact that the Galles and Pearl arguments should apply to them as well. The problem with the Galles and Pearl argument is identified: an axiom that (...) they viewed as irrelevant, because it involved disjunction (which was not in their language), is not irrelevant at all. (shrink)

There is much of interest in Cassam’s ground-breaking Vices of the Mind. This discussion focuses exclusively on one aspect of his view, namely, his account of what it takes to be properly criticisable or blameworthy for one’s epistemic vices. This critical discussion consists of two sections. The first provides an overview of Cassam’s account of responsibility and criticisability for intellectual vices. The second raises a problem for that account whose formulation is due to Battaly and proposes a solution which, at (...) least in part, could also be adopted by Cassam himself if he were prepared to make some small changes to his view. This solution generates a highly disjunctive account of criticisability and responsibility for possessing an epistemic vice. Although such heterogeneity might seem wholly unsatisfactory, it receives a plausible explanation when the account is put within the context of a Strawsonian approach to the practice of holding people responsible for their epistemic vices. (shrink)

By maintaining that a conditional sentence can be taken to express the validity of a rule of inference, we offer a solution to the Miners Paradox that leaves both modus ponens and disjunction elimination intact. The solution draws on Sundholm's recently proposed account of Fitch's Paradox.

I advance a new theory of causal relevance, according to which causal claims convey information about conditional probability functions. This theory is motivated by the problem of disjunctive factors, which haunts existing probabilistic theories of causation. After some introductory remarks, I present in Section 3 a sketch of Eells's (1991) probabilistic theory of causation, which provides the framework for much of the discussion. Section 4 explains how the problem of disjunctive factors arises within this framework. After rejecting three (...) proposed solutions, I offer in Section 6 a new approach to causation that avoids the problem. Decision-theoretic considerations also support the new approach. Section 8 develops the consequences of the new theory for causal explanation. The resulting theory of causal explanation incorporates the new insights while respecting important work on scientific explanation by Salmon (1971), Railton (1981), and Humphreys (1989). My conclusions are enumerated in Section 9. (shrink)

This paper develops a semantic solution to the puzzle of Free Choice permission. The paper begins with a battery of impossibility results showing that Free Choice is in tension with a variety of classical principles, including Disjunction Introduction and the Law of Excluded Middle. Most interestingly, Free Choice appears incompatible with a principle concerning the behavior of Free Choice under negation, Double Prohibition, which says that Mary can’t have soup or salad implies Mary can’t have soup and Mary can’t have (...) salad. Alonso-Ovalle 2006 and others have appealed to Double Prohibition to motivate pragmatic accounts of Free Choice. Aher 2012, Aloni 2018, and others have developed semantic accounts of Free Choice that also explain Double Prohibition. -/- This paper offers a new semantic analysis of Free Choice designed to handle the full range of impossibility results involved in Free Choice. The paper develops the hypothesis that Free Choice is a homogeneity effect. The claim possibly A or B is defined only when A and B are homogenous with respect to their modal status, either both possible or both impossible. Paired with a notion of entailment that is sensitive to definedness conditions, this theory validates Free Choice while retaining a wide variety of classical principles except for the transitivity of entailment. The homogeneity hypothesis is implemented in two different ways, homogeneous alternative semantics and homogeneous dynamic semantics, with interestingly different consequences. (shrink)

We suggest a new answer to this intriguing question and argue that the answer may have implications for the solutions to the measurement problem. The main basis of our analysis is the doctrine of psychophysical supervenience. First of all, based on this doctrine, we argue that an observer in a quantum superposition or a quantum observer has a definite conscious experience, which is neither disjunctive nor illusive. The inconsistency of this result with the bare theory is further analyzed, (...) and it is shown that an appropriate use of the strategy of analyzing the disposition of an observer to answer a particular question also leads to the same result. Next, we argue that this new result seems to disfavor Everett's and Bohm's approaches to quantum mechanics when considering the doctrine of psychophysical supervenience. This suggests that dynamical collapse theories are in the right direction to solve the measurement problem. Thirdly, we analyze the concrete content of the conscious experience of a quantum observer. It is argued that the mental content of a quantum observer is related to both the amplitude and relative phase of each branch of the superposition she is physically in, and it is composed of the mental content corresponding to every branch of the superposition. In addition, we argue that when assuming the modulus squared of the amplitude of each branch determines the vividness of the mental content corresponding to the branch, the structured tails problem of dynamical collapse theories can be solved. (shrink)

Salmon has argued that science provides explanations by describing a causal nexus: For Salmon, this nexus is a network of processes and interactions. I argue that this picture of the causal nexus is insufficient for an account of scientific explanation: a taxonomy of causal relevance is also needed. ;Probabilistic theories of causation seem to provide such a taxonomy in their dichotomy between promoting and inhibiting causes. However, standard probabilistic theories are beset by a difficulty called the problem of disjunctive (...) factors. According to such theories, an effect is more probable in the presence of a cause than in its absence . But there are many ways in which a particular cause may come about, and many in which it may be absent; these ways need not confer the same probabilities upon the effect. Thus, there is no direct comparison of two probabilities to be made. My solution is to abandon the oversimplified dichotomy between promoting and inhibiting causes. Causal claims convey qualitative information about more complex probabilistic relationships. Interestingly, this picture of causation meshes naturally with extant theories of explanation. ;I show how this framework may be employed in resolving several outstanding problems in the theories of causation and explanation, such as the relationship between singular and general causal claims, and the role of contrastive stress in causal and explanatory claims. ;Finally, I show how my account of causal explanation can be connected with the semantic conception of scientific theories. According to this conception, a theory is characterized in terms of a class of mathematical models. I describe the relationship between these mathematical models and the probabilistic relationships that are described by causal explanations. These ideas are illustrated in an extended discussion of causation and explanation in evolutionary theory. (shrink)

It is sometimes held that rules of inference determine the meaning of the logical constants: the meaning of, say, conjunction is fully determined by either its introduction or its elimination rules, or both; similarly for the other connectives. In a recent paper, Panu Raatikainen argues that this view—call it logical inferentialism—is undermined by some “very little known” considerations by Carnap (1943) to the effect that “in a definite sense, it is not true that the standard rules of inference” themselves suffice (...) to “determine the meanings of [the] logical constants” (p. 2). In a nutshell, Carnap showed that the rules allow for non-normal interpretations of negation and disjunction. Raatikainen concludes that “no ordinary formalization of logic [... ] is sufficient to ‘fully formalize’ all the essential properties of the logical constants” (ibid.). We suggest that this is a mistake. Pace Raatikainen, intuitionists like Dummett and Prawitz need not worry about Carnap’s problem. And although bilateral solutions for classical inferentialists—as proposed by Timothy Smiley and Ian Rumfitt—seem inadequate, it is not excluded that classical inferentialists may be in a position to address the problem too. (shrink)

Merging beliefs depends on the relative reliability of their sources. When this is information is absent, assuming equal reliability is unwarranted. The solution proposed in this article is that every reliability profile is possible, and only what holds according to all of them is accepted. Alternatively, one source is completely reliable, but which one is not specified. These two cases motivate two existing forms of merging: maxcons-based merging and disjunctive merging.

In the tradition of substructural logics, it has been claimed for a long time that conjunction and inclusive disjunction are ambiguous:we should, in fact, distinguish between ‘lattice’ connectives (also called additive or extensional) and ‘group’ connectives (also called multiplicative or intensional). We argue that an analogous ambiguity affects the quantifiers. Moreover, we show how such a perspective could yield solutions for two well-known logical puzzles: McGee’s counterexample to modus ponens and the lottery paradox.

In lieu of an abstract, here is a brief excerpt of the content:The Note of Interpretation: Theistic Finitism as an Aesthetics of Religious NaturalismAndrew Stone Porter (bio)In our cosmological construction we are, therefore, left with the final opposites, joy and sorrow, good and evil, disjunction and conjunction—that is to say, the many in one—flux and permanence, greatness and triviality, freedom and necessity, God and the World. In this list, the pairs of opposites are in experience with a certain ultimate directness (...) of intuition, except in the case of the last pair. God and the World introduce the note of interpretation.—Alfred North Whitehead1Theistic finitism, the position that God is not omnipotent, is the most tenable solution to the problem of evil—but it also necessitates a slide toward immanence. Among the ranks of the finitists we find philosophers such as William James,2 process thinkers such as Whitehead and Charles Hartshorne,3 theological personalists such as Edgar Brightman (and, Rufus Burrow argues, his pupil Martin Luther King, Jr.),4 feminist disability theologians like Julia Watts Belser,5 and popular religion writers such as Harold Kushner.6 Like many others, Kushner found in finitism not an answer to an abstract theological puzzle, but an existentially necessary salve for the despair that nearly overtook him when his three year-old son was diagnosed with a terminal degenerative disease. No loving, all-knowing, all-powerful creator would ever allow such [End Page 70] a thing to happen, Kushner reasoned. If God is not all-powerful, then God need not be the author of our pain, but a friend who hurts with us as we bear it. Rather than sadistic puppeteer, a finite God becomes “the fellow-sufferer who understands.”7 As Jürgen Moltmann put it, “the one who cannot suffer cannot love either. So [God] is also a loveless being.”8 Or, as Dietrich Bonhoeffer reflected as he awaited execution in a Nazi concentration camp, “Only the suffering God can help.”9However, when one strips away divine omnipotence, one must also bid adieu either to God’s omniscience or creator-hood: for an omniscient creator, crafting the world with full knowledge of how everything would unfold, would be ipso facto omnipotent. We are left, then, with the following alternatives: we could posit a God who pressed the “create world” button not knowing what would happen (which seems irresponsible, calling into question God’s goodness)—as Tim Bayne puts it, “If future contingents fall outside the scope of God’s knowledge, then creation was a massive gamble.”10 We may share Albert Einstein’s famous distaste for a God who plays dice with the universe. The other alternative is that God’s knowledge and power are partial, that the Divine is merely one being/force among many. But if God is “just a stranger on the bus, trying to make his way home,”11 then in what sense can we say that God is God at all?This paper offers a construal of theistic finitism as a form of religious naturalism with an aesthetics of empathetic solidarity. That is, when we relinquish belief in God’s omnipotence, instead imagining that God is struggling and suffering along with us, we relinquish as well belief in an overbearing “supernatural realm” or “order” governing/underlying all things. To see God in this way, as Whitehead says, is to “introduce the note of interpretation.” And that note, I suggest, is a musical note, specifically a blues note.12 To call the loving [End Page 71] friendship we experience “God” is an aesthetic choice, an informed way of interpreting life in order to move through it with companionship, tenderness and care. A naturalistic religiosity, in Carol Wayne White’s phrasing, “can be a mode of reflecting on, experiencing, and envisioning one’s relationality with all that is.”13 In this way theology becomes, as Belser puts it, “a grammar of the imagination.”14 As a blues aesthetics of empathetic solidarity, theistic finitism may be considered a form of religious naturalism particularly well-suited to our present moment, mired as it is in cascading crises and careening into catastrophe. I suggest that, as young spiritual seekers exit churches in search of more meaningful community... (shrink)

We analyze a recent trend in epistemic logic which consists in studying construction of knowledge from the agents’ observational abilities. It is based on the intuition that an agent’s knowledge comes from three possible sources: her observations, communication with other agents, and inference. The approaches mainly focus on the former two and suppose that the object of observations are propositional variables and that agents learn from public announcements. This allows to model knowledge in a more compact and intuitive way than (...) with Hintikka’s semantics. However, the semantics that one can find in the literature come with some counter-intuitive validities such as common knowledge of visibilities or the knowledge operator distributing over disjunctions. We propose a solution of each of these two issues and illustrate them with well-known toy examples of epistemic logic. (shrink)

Reading the Communist Manifesto against the contemporary background of massive unemployment, the author argues that Marx's theory of work is no longer adequate to tackle the problem of `workers without work' and suggests that it has to be reformulated in such a way that its normative intuitions and its critical impulses can be maintained. In the first part, he presents a philosophical critique of Marxism that is inspired by Jürgen Habermas and Hannah Arendt. In the second part, he presents a (...) sociological critique of Marxism and argues that the theory of the alienation of work implies a justification of work and the work society. Finally, in the last part, the author presents an ideological critique of Marxism that is inspired by Marcel Mauss' sociology of the gift. Criticising the contractualist assumptions of workfare solutions, he proposes a package solution for a radical decommodification of the labour market by means of a disjunction of income and work. (shrink)

This note explains an error in Restall’s ‘Simplified Semantics for Relevant Logics (and some of their rivals)’ (Restall, J Philos Logic 22(5):481–511, 1993 ) concerning the modelling conditions for the axioms of assertion A → (( A → B ) → B ) (there called c 6) and permutation ( A → ( B → C )) → ( B → ( A → C )) (there called c 7). We show that the modelling conditions for assertion and permutation proposed (...) in ‘Simplified Semantics’ overgenerate. In fact, they overgenerate so badly that the proposed semantics for the relevant logic R validate the rule of disjunctive syllogism. The semantics provides for no models of R in which the “base point” is inconsistent. This problem is not restricted to ‘Simplified Semantics.’ The techniques of that paper are used in Graham Priest’s textbook An Introduction to Non-Classical Logic (Priest, 2001 ), which is in wide circulation: it is important to find a solution. In this article, we explain this result, diagnose the mistake in ‘Simplified Semantics’ and propose two different corrections. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Rhetoric of RHETORIC: The Quest for Effective CommunicationCarolyn R. MillerThe Rhetoric of RHETORIC: The Quest for Effective Communication. Wayne C. BoothMalden, Mass: Blackwell, 2004. Pp. xvi + 206. $20.95, paperback.By using the traditional word rhetoric I want to suggest a whole philosophy of how men succeed or fail in discovering together, in discourse, new levels of truth (or at least agreement) that neither side suspected before.—Wayne C. (...) Booth, 1974Listening-Rhetoric is what I most long to celebrate and practice—the kind that is sadly rare.... Here both sides join in a trusting dispute, determined to listen to the opponent's arguments, while persuading the opponent to listen in exchange.... Both sides are pursuing not just victory but a new reality, a new agreement about what is real.—Wayne C. Booth, 2004By the evidence of these two quotations, the late Wayne Booth sustained a passionate interest in a constructivist, cooperative rhetoric for at least thirty years. His 1974 Modern Dogma and the Rhetoric of Assent first sounds many of the themes that are rearticulated in his 2004 The Rhetoric of RHETORIC, a volume in the Blackwell Manifestos series. Both books were motivated by evident failures of public discourse, the earlier one by those emanating from the Vietnam War, including student protests at the University of Chicago, and the recent one by multiple rhetorical sins of the Bush administration and the national media, especially those concerning the war in Iraq. Indeed, Booth confesses here that his distress dates at least to 1963, when he lamented that "the debate about the [Kennedy] assassination [may be] a greater national disgrace than the assassination itself" (109).What animates Booth in both books is the conviction not that only we can do better in conducting our discursive relationships as a nation, as institutions, as families, but that we must do so. We must do so because our ability to live and progress together depends on our talking rather than resorting to force and on our talking in a way that engenders trust and enables continued debate, rather than provoking mistrust and disrespect. The two enemies he has always in sight are violence and deception. These are two forms of rhetorical failure, but the two become entangled when "violence and the threat of violence corrupt rhetoric," particularly during times of war (118), and when corrupt rhetoric itself becomes a kind of violence (48). [End Page 261]As a "manifesto" addressed to a non-specialist audience, The Rhetoric of RHETORIC is relatively brief, engagingly written, and passionately argued. It includes chapters on definitions of rhetoric (good and bad), the history of rhetorical studies, the difficulties of judging rhetoric (i.e., the disjunction between instrumental and ethical effectiveness), the dispersal of rhetoric to multiple disciplines and forums, the condition of rhetorical education today, the dangers of bad rhetoric in politics and in the media, and a demonstration of how our many intractable debates might be improved with "listening-rhetoric," using as a case example the "warfare" between science and religion. Throughout, Booth dramatizes his ideal of listening-rhetoric by engaging in frequent proleptic questioning and refutation as well as reflexive commentary.Anyone who heard Booth talk at a conference within the past decade or more has first-hand knowledge of his predilection for neologism, and he indulged himself in this book (though he resisted in 1974; see Modern Dogma, 11n5). His term for bad rhetoric, the rhetoric that exacerbates misunderstanding or seeks victory through deception, is "rhetrickery"; his term for the best rhetoric, a kind of critical consciousness that seeks to find common ground and to remove misunderstanding, is "rhetorology." We are also introduced to LR (listening-rhetoric), WR (win-rhetoric), BR (bargain-rhetoric), Rhet-Ed (rhetorical education), P-Rhet (political rhetoric), and MR (media rhetoric).Rhetorology, or listening-rhetoric, is Booth's solution to our rhetorical woes, a solution that admittedly has both philosophical and practical limitations. Rhetorology opposes rhetrickery and some versions of win-rhetoric. He is at some pains to explain and sequester these damaging capabilities so that the unsavory aspects of rhetoric's reputation do not obscure its positive potential. Readers familiar with recent rhetorical theorizing... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Interpretation of Plato's Parmenides: Zeno s Paradox and the Theory of Forms R. E. ALLEN PLATO'S Parmenides is divided into three main parts, of uneven length, and distinguished from each other both by their subject matter and their speakers. In the first and briefest part (127d-130a), Socrates offers the Theory of Forms in solution of a problem raised by Zeno. In the second (130a-135d), Parmenides levels a series (...) of objections against Socrates' theory, objections putatively meant as refutation. Then, after an interlude to explain an unfamiliar method of dialectic (135d-137c), that method is applied in the third part by Parmenides, with the help of the young Aristoteles (137c-166c). This final part forms more than two-thirds of the whole. I propose here to examine the first part of the dialogue, the interchange between Zeno and Socrates, and to examine it with special attention to the bearing which questions of dialectical structure and dramatic characterization may have upon its interpretation. It is perhaps here proper to indicate the general view of the dialogue which this discussion will help serve to recommend. Briefly, it is this. The Parmenides is a sustained examination of Plato's Theory of Forms, and the manner of examination is Socratic: the student is presented, not with a body of conclusions, but with a series of arguments whose implications he is left to think through for himself. When he has done so, he will realize that the Theory of Forms is proof against the objections here brought against it: the Parmenides provides no direct support for the thesis, currently popular, that Plato in later life ceased to believe that Forms exist. But though sound as far as it goes, the Theory of Forms does not go far enough: the Parmenides demonstrates that there is a range of problems, bound up with the application of unrestricted predicates, which Forms do not solve but are prey to. A broader theory is required, though a theory which may well contain the Theory of Forms as a part. The Parmenides, whose purpose is critical, leaves unanswered the question of what that theory may be. Zeno's Paradox and the Theoryof Forms (127d-130a) It is Zeno who begins the dialectic of the Parmenides,and fittingly, he begins it with a paradox. If there are many things, the same things must be both [143] 144 HISTORY OF PHILOSOPHY like and unlike. But this is impossible: unlike things cannot be like, nor like things unlike. Therefore, there cannot be many things (127e). Socrates' reply begins with a solution, and ends with a challenge. There exists, alone by itself, a Form of Likeness, and also a Form of its opposite, Unlikeness. The things we call 'many' are both like and unlike; but in this they differ from the Forms in which they partake. For things which are just alike (abr& r& 6uoLa)1 cannot be unlike, nor things just unlike alike. But it is no more surprising that the same things should partake both in Likeness and Unlikeness than it is that a thing should be both one and many by partaking in both Unity and Plurality. Still, Unity itself is not many, nor Plurality one. And so with other Forms: Socrates would be filled with wonder if someone could show that Likeness and Unlikeness, Unity and Plurality, Rest and Motion, and the other Forms, can be combined with (~v'rK~p&vvwOaO and separated from (SLaKotp~0a,) each other. Forms cannot be qualified by their opposite. 2 Socrates' denial is a conjunction. Several translators, including Cornford and Taylor, have rendered ~v3,~p&vvvaOa~ ~as &aKps as though it were a disjunction, 'combined or separated'. The reason for this was no doubt stylistic; but the Greek means, not 'or' but 'and', and logically, the difference is important. Zeno and Parmenides are challenged to prove, not one of two alternatives, but both together. This conclusion rests on more than a Kas In the Sophist, knowing how to separate (&a~ps 253e 3) according to kinds is equivalent to distinguishing (&a~m~a0a~ 253d 1) according to kinds, and both are equivalent to not believing that the same Form is different or a different Form the same (253d 1... (shrink)

This article points out a problematic lacuna in our law on surrogate motherhood, namely the lack of objective criteria for evaluating the suitability of a surrogate mother. The recent case of Ex Parte KAF – a case in which a surrogate motherhood agreement confirmation application was dismissed by the Johannesburg High Court – demonstrated how this lacuna can cause conceptual disjunction between the court and the clinical psychologist who evaluates the candidate surrogate mother. The solution suggested in this article is (...) that clinical psychologists who evaluate candidate surrogate mothers should give urgent and careful thought to identifying such objective criteria, and start explicitly articulating these criteria in the reports that they file in surrogate motherhood agreement confirmation applications. This practice will give the court the opportunity to engage with such criteria and to develop precedents in this regard. (shrink)

In this paper I offer solutions to two problems which our moral practice engenders for expressivism, the meta-ethical doctrine according to which ethical statements aren't propositional, susceptible of truth and falsity, but, rather, express the speaker's non-cognitive attitudes. First, the expressivist must show that arguments which are valid when interpreted propositionally are valid when construed expressivistically, and vice versa. The second difficulty is the Frege-Geach problem. Moral arguments employ atomic sentences, negations, disjunctions, etc., and, by expressivist lights, the meaning (...) of a moral sentence depends on the attitude that it expresses. Since one's attitude varies as one asserts a claim, or negates it, or cites it as a disjunct, etc., the meaning of the relevant phrase changes as well, so the argument equivocates. (Formal proofs are provided in appendices to the paper.). (shrink)

This paper is a response to Enguehard (Natural Language Semantics 29(4):527–578, 2021 ), who observes that presuppositions project in the same way from coordinations of declaratives and coordinations of polar questions, but existing mechanisms of projection from declaratives (e.g. Schlenker in Theoretical Linguistics 34(3):157–212, 2008, Semantics and Pragmatics 2:1–78, 2009 ) fail to scale to questions. His solution involves specifying a trivalent inquisitive semantics for (coordinations of) questions that bakes the various asymmetries of presupposition projection into the lexical entry of (...) conjunction/disjunction. However, we argue that such a move faces both theoretical and empirical issues. Instead, we show that the data can be handled without moving to such an asymmetric inquisitive denotation, by adapting the novel pragmatic theory of _Limited Symmetry_ (Kalomoiros in Proceedings of the 52nd annual meeting of the North East linguistic society, GLSA, Amherst, 2022 ) to an inquisitive framework in a way that leaves the underlying semantics for conjunction symmetric and bivalent, while deriving the projection data. (shrink)

Reading the Communist Manifesto against the contemporary background of massive unemployment, the author argues that Marx's theory of work is no longer adequate to tackle the problem of `workers without work' and suggests that it has to be reformulated in such a way that its normative intuitions and its critical impulses can be maintained. In the first part, he presents a philosophical critique of Marxism that is inspired by Jürgen Habermas and Hannah Arendt. In the second part, he presents a (...) sociological critique of Marxism and argues that the theory of the alienation of work implies a justification of work and the work society. Finally, in the last part, the author presents an ideological critique of Marxism that is inspired by Marcel Mauss' sociology of the gift. Criticising the contractualist assumptions of workfare solutions, he proposes a package solution for a radical decommodification of the labour market by means of a disjunction of income and work. (shrink)

The article presents an analysis of the disjunction between civil and political society in Perú and its consequences in the collapse of the political parties and the rise of an authoritarian regime. It explains how citizenship developed as social rights in the realm of Peruvian civil society before the population gained access to full civil and political rights. This situation diminished the capacity of Peruvian citizens to have their own political representation and created a distance between Peru’s civil and political (...) societies, making it difficult for the population to hold politicians accountable for their actions in government and the opposition. This situation proved particularly serious when the country went through a period of deep economic crisis and extended political violence during the 1980s. The breach between civil and political society destroyed the prestige of politicians and democracy, paving the way for an authoritarian cuadillo who dismissed representation with promises of “direct communication with the people” and harsh solutions to the problems of economic crisis and political violence. (shrink)

Fiodor Dostoyevsky in his oeuvre indicates certain attitudes, which are often recognized in the process of man's thinking and behavior. They are conditioned by the manner he perceives reality and they in themselves appoint simultaneously this way of world perception. Some of those occurrences resemble in a great manner the defense mechanisms, which are described in the later literature. A first mechanism that was analyzed is pursue simplification, which causes a man to believe that thanks to the achieved knowledge he (...) will be able to set in order and fix imperfect reality. Such attitude enforces simplified vision of the world, which in turn helps in self-deception. Dostoyevsky's heroes have problems to recognize true motives of their own behaviors or they intentionally attribute nobler incentives to themselves. Therefore the next described attitude is reluctance to acknowledge the truth. The Russian writer rejects generally accepted disjunctivity of the 'truth and false' category and he attributes the final might to acknowledge something as true or false to the man's will. On account of innate laziness and refractoriness, man chooses the simplest solutions, which in point of fact dismiss possibility to see real reasons for all failures. It makes impossible to undertake activities, which could indeed change something. Man is characterized by irresponsibility for his actions and words. A word looses its causative meaning and becomes purely a decoration, an ornament. All these make that learning the truth, as one of the elements propelling development of the philosophy, was not impossible but it was unwanted. (shrink)