Drawing inspiration from the notion of evocation employed in inferential erotetic logic, we defend an ‘evoked questions norm’ on inquiring attitudes. According to this norm, it is rational to have an inquiring attitude concerning a question only if that question is evoked by your background information. We offer two arguments for this norm. First, we develop an argument from convergence. Insights from several independent literatures (20th-century ordinary-language philosophy, inferential erotetic logic, inquisitive epistemic logic, and contemporary zetetic epistemology) all converge on (...) the evoked questions norm. Second, we show that suitably interpreted, the evoked questions norm correctly predicts several underappreciated kinds of bad questions. It does this, in part, by recovering versions of previously defended ignorance and knowledge norms. Some of those bad questions cannot be predicted by either norm singly, but only when corporately taken to reflect a common normative category. We identify this category as evocation. (shrink)

In the first of the Insolubles in Chapter 8 of his Sophismata, Buridan contends that the inference Omnis propositio est affirmativa; ergo, nulla propositio est negativa (PS) is valid, even though it appeals to the self-reference in the conclusion to show that what we (following Read 2001) call the classical conception of validity (CCV) fails. This requires that we accept that there are good inferences in which a false conclusion follows from true premises. Partially following Hughes’ proposal (1982), we argue (...) that the First Sophism (PS) involves three different notions of validity. Two of them correspond to the ones described by Hughes (1982, 80–86), who calls them Theory A and Theory B. The third one—that will we call Theory C—is not mentioned by Hughes; instead, it is suggested by Buridan himself in the first three arguments in favor of the validity of PS. We show that: a) from what Buridan says in his Theory C it follows that PS is a formal and material consequence, and hence, a valid one. Then we show that: b) the rejection of CCV and the acceptance of Nulla propositio est negativa (NPN) as a (formal) consequence of Omnis propositio est affirmativa (OPA) leads to a paradox that bears similarities with the one put forward by Pseudo Scotus—which has been studied by Read (2001) and is related to Curry’s paradox. However, there are enough differences to merit considering this paradox separately, especially in relation to the so-called validity paradoxes. Interestingly, our work suggests that Buridan was aware of these problems, which explains why he introduced a new criterion for validity, one that is not based on truth-preservation but on what Spade (1988) calls firmness, and Klima (2016) correspondence. (shrink)

Indicative and subjunctive conditionals are in non-complimentary distribution: there are conversational contexts at which both are licensed (Stalnaker 1975; Karttunen and Peters 1979; von Fintel 1998). This means we can ask an important, but under-explored, question: in contexts which license both, what relations hold between the two? In this paper, I’ll argue for an initially surprising conclusion: when attention is restricted to the relevant contexts, indicatives and subjunctives are co-entailing. §1 introduces the indicative/subjunctive distinction, along with a discussion of the (...) relevant notion of entailment; §2 presents the main argument of the paper, and §3 considers some of the philosophical implications of the argument in §2. Finally, §4 argues that we can reconcile the equivalence of indicatives and subjunctives with apparently conflicting judgements. (shrink)

Margaret MacDonald (1907–56) was a central figure in the history of early analytic philosophy in Britain due to both her editorial work as well as her own writings. While her later work on aesthetics and political philosophy has recently received attention, her early writings in the 1930s present a coherent and, for its time, strikingly original blend of common-sense and scientific philosophy. In these papers, MacDonald tackles the central problems of philosophy of her day: verification, the problem of induction, and (...) the relationship between philosophical and scientific method. MacDonald’s philosophy of science starts from the principle that we should carefully analyse the elements of scientific practice (particularly its temporal features) and the ways that scientists describe that practice. That is, she applies the techniques of ordinary language philosophy to actual scientific language. MacDonald shows how ‘scientific common-sense’ is inconsistent with both of the dominant schools of philosophy of her day. Bringing MacDonald back into the story of analytic philosophy corrects the impression that in early analytic philosophy, there are fundamental dichotomies between the style of Moore and Wittgenstein, on the one hand, and the Vienna Circle on the other. (shrink)

A familiar claim, meant as a challenge to moral knowledge, is that we can credibly accept putative moral facts just in case they explain natural facts. This paper critically addresses Elizabeth Tropman’s response to a version of that claim. Her response has interest partly because it falls within, and extends, an influential philosophical tradition – that of trying to expose (some) skeptical challenges as spurious or ill-conceived. Also, Tropman’s target is not just any version of the claim just mentioned. It (...) is Gilbert Harman’s classic version, according to which putative moral facts must earn credibility by explaining the formation of moral beliefs. This version has wide influence, and variations of it can arise in many areas. Tropman’s response is thus well worth attention. (shrink)

This paper develops a form of transcendental naïve realism. According to naïve realism, veridical perceptual experiences are essentially relational. According to transcendental naïve realism, the naïve realist theory of perception is not just one theory of perception amongst others, to be established as an inference to the best explanation and assessed on the basis of a cost-benefit analysis that weighs performance along a number of different dimensions: for instance, fidelity to appearances, simplicity, systematicity, fit with scientific theories, and so on. (...) Rather, naïve realism enjoys a special status in debates in the philosophy of perception because it represents part of the transcendental project of explaining how it is possible that perceptual experience has the distinctive characteristics it does. One of the potentially most interesting prospects of adopting a transcendental attitude towards naïve realism is that it promises to make the naïve realist theory of perception, in some sense, immune to falsification. This paper develops a modest form of transcendental naïve realism modelled loosely on the account of the reactive attitudes provided by Strawson in ‘Freedom and Resentment’, and suggests one way of understanding the claim that naïve realism is immune to falsification. (shrink)

In this paper, I develop an essentialist model of the semantics of slurs. I defend the view that slurs are a species of kind terms: Slur concepts encode mini-theories which represent an essence-like element that is causally connected to a set of negatively-valenced stereotypical features of a social group. The truth-conditional contribution of slur nouns can then be captured by the following schema: For a given slur S of a social group G and a person P, S is true of (...) P iff P bears the “essence” of G—whatever this essence is—which is causally responsible for stereotypical negative features associated with G and predicted of P. Since there is no essence that is causally responsible for stereotypical negative features of a social group, slurs have null-extension, and consequently, many sentences containing them are either meaningless or false. After giving a detailed outline of my theory, I show that it receives strong linguistic support. In particular, it can account for a wide range of linguistic cases that are regarded as challenging, central data for any theory of slurs. Finally, I show that my theory also receives convergent support from cognitive psychology and psycholinguistics. (shrink)

There are many kinds of negation and denial. Perhaps the most common is the Boolean negation not that applies to propositions-in-extension, i.e. truth-values. The others are, inter alia, the property of propositions of not being true which applies to propositions; the complement function which applies to sets; privation which applies to properties; negation as failure applied in logic programming; negation as argumentation ad absurdum, and many others. The goal of this paper is neither to provide a complete list, nor to (...) analyse all of them. Rather, I am going to deal with negation of propositions that come attached with a presupposition that is entailed by the positive as well as negated form of a given proposition. However, there are two kinds of negation, namely internal and external negation. I am going to prove that while the former is presupposition-preserving, the latter is presupposition-denying. This issue has much in common with the difference between topic and focus articulation within a sentence. Whereas articulating the topic of a sentence activates a presupposition, articulating the focus frequently yields merely an entailment. The main contribution of this paper is the proof that the two kinds of negation are not equivalent. While the Russellian wide-scope (external) negation gets the truthconditions of a sentence right for a subject occurring as a focus, Strawsonian narrow-scope (internal) negation is validly applicable for a subject occurring as the topic. I also deal with other kinds of presupposition triggers, in particular factive attitudes and prerequisites of a given property. My background theory is Transparent Intensional Logic (TIL). TIL is an expressive logic apt for the analysis of sentences with presuppositions, because in TIL we work with partial functions, in particular with propositions with truth-value gaps. Moreover, the procedural semantics of TIL make it possible to uncover the hidden semantic features of sentences, make them explicit and logically tractable. (shrink)

Much recent metaphysics is built around notions such as naturalness, fundamentality, grounding, dependence, essence, and others besides. In this article I raise a problem for this kind of metaphysics, the “problem of missing value.” I survey a number of possible solutions to the problem and find them all wanting. This suggests a return to a kind of Goodmanian view that the world is a structureless mess onto which we project our own categorizations, not something with categories already built in.

Philosophy and Phenomenological Research, EarlyView.

Section 1 reviews Strawson’s logic of presuppositions. Strawson’s justification is critiqued and a new justification proposed. Section 2 extends the logic of presuppositions to cases when the subject class is necessarily empty, such as (x)((Px & ~Px) → Qx) . The strong similarity of the resulting logic with Richard Diaz’s truth-relevant logic is pointed out. Section 3 further extends the logic of presuppositions to sentences with many variables, and a certain valuation is proposed. It is noted that, given this valuation, (...) Gödel’s sentence becomes neither true nor false. The similarity of this outcome with Goldstein and Gaifman’s solution of the Liar paradox, which is discussed in section 4, is emphasized. Section 5 returns to the definition of meaningfulness; the meaninglessness of certain sentences with empty subjects and of the Liar sentence is discussed. The objective of this paper is to show how all of the above-mentioned concepts are interrelated. (shrink)

As an empirical inquiry into the nature of meaning, semantics must rely on data. Unfortunately, the primary data to which philosophers and linguists have traditionally appealed—judgments on the truth and falsity of sentences—have long been known to vary widely between competent speakers in a number of interesting cases. The present article constitutes an experiment in how to obtain some more consistent data for the enterprise of semantics. Specifically, it argues from some widely accepted Gricean premises to the conclusion that judgments (...) on lying are semantically relevant. It then endeavors to show how, assuming the relevance of such judgments, we can use them to generate a useful, widely acceptable test for semantic content. (shrink)

Carl Hempel (1965) argued that probabilistic hypotheses are limited in what they can explain. He contended that a hypothesis cannot explain why E is true if the hypothesis says that E has a probability less than 0.5. Wesley Salmon (1971, 1984, 1990, 1998) and Richard Jeffrey (1969) argued to the contrary, contending that P can explain why E is true even when P says that E’s probability is very low. This debate concerned noncontrastive explananda. Here, a view of contrastive causal (...) explanation is described and defended. It provides a new limit on what probabilistic hypotheses can explain; the limitation is that P cannot explain why E is true rather than A if P assign E a probability that is less than or equal to the probability that P assigns to A. The view entails that a true deterministic theory and a true probabilistic theory that apply to the same explanandum partition are such that the deterministic theory explains all the true contrastive propositions constructable from that partition, whereas the probabilistic theory often fails to do so. (shrink)

The paper offers a new understanding of induction in the empirical sciences, one which assimilates it to induction in geometry rather than to statistical inference. To make the point a system of notions, essential to logically sound induction, is defined. Notable among them are arbitrary object and particular property. A second aim of the paper is to bring to light a largely neglected set of assumptions shared by both induction and deduction in the empirical sciences. This is made possible by (...) appealing to the logic of common nouns and applying it to the logic of natural-kind terms.This strategy yields a new insight into the concept of natural kinds. While the strategy reveals deep affinity between empirical induction and deduction it also reveals two problems peculiar to induction. This helps to explain the intuition that induction is the more problematic of the two. The paper does not set out ‘to solve the problem of induction’. 1The paper has benefited from the support and critical comments of several friends: Steven Davis, Kevin Dunbar, Anil Gupta, Michael Hallett, Ray Jackendoff and Storrs McCall. Two friends, however, deserve special thanks, Michael Makkai and Gonzalo Reyes. Many of the points made in the paper, otherwise unacknowledged, are due to their generosity and patience. In fact, the paper can be seen as an application of the logic of kinds on which Gonzalo Reyes has been working for several years. (shrink)

The aim of this paper is to point out the salient patterns of agreement and dis‐ agreement between Alf Ross and Hans Kelsen's analyses of valid law and efficacy. I argue that the disagreement has the character of systemic postulation on the part of both interlocutors. My main thesis is that the disagreement is not one of philosophical principle, but one that must be resolved on the basis of pragmatic considerations, i.e., the choice between the two valid‐law schemes pertains neither (...) to necessity nor to truth, but to expediency and values. (shrink)

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments (...) advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (shrink)

Lepore and Stone seek to replace the rationality-based Gricean picture of coordination between speaker and hearer with one leaning more strongly on the roles of convention and speaker knowledge while doing away with conversational implicature. Focusing on the phenomena of indirect speech acts, asymmetric conjunction, and scalar inferencing, I argue that the case for abandoning implicature as an analytical tool is not ultimately compelling. I seek further to demonstrate the utility of the classical Gricean distinction between what is said and (...) what is implicated in the construction of an intuitively appealing approach to the perennial question of how to distinguish lying from misleading inside and outside the legal domain. (shrink)

Could there be an implicature whose content is not propositional? Grice's canon is somewhat ambivalent on this question, but such figures as Sperber & Wilson, Davis, and Lepore & Stone presume that there cannot be, and argue that this causes glaring failures within the Gricean programme. Building on work by McDowell and Buchanan, I argue that, on the contrary, the notion of non-propositional implicature is very much worth investigating. I show how the notion has promise to illuminate the content of (...) many sorts of complex utterance—from the cases of verbal irony, metaphorical usage, slurring, insinuation, and (some kinds of) humour, to various others which involve expressive or evaluative content. (shrink)

Shamik Dasgupta has argued that realists about natural properties (and laws, grounding, etc.) cannot account for their epistemic value. For "properties are cheap": in addition to natural properties and any value the realist might attach to them, there are also "shmatural" properties (standing to natural properties like charge and mass as Goodman's grue and bleen stand to green and blue) and a corresponding "shmvalue" of theorizing in terms of them. Dasgupta's challenge is one of objectivity: the existence of the "shmamiked" (...) network of concepts threatens the objectivity of facts stated using the unshmamiked network. But the challenge can be repelled given a proper understanding of objectivity itself. (shrink)

In the first section, five major attempts to solve the problem of induction and their failures are discussed. In the second section, an account of meta-induction is introduced. It offers a novel solution to the problem of induction, based on mathematical theorems about the predictive optimality of attractivity-weighted meta-induction. In the third section, how the a priori justification of meta-induction provides a non-circular a posteriori justification of object-induction, based on its superior track record, is explained. In the fourth section, four (...) important extensions and refinements of the method of meta-induction are presented. The final section, summarizes the major impacts of the program of meta-induction for epistemology, the philosophy of science and cognitive science. (shrink)

The article discusses Nicholas Wolterstorff’s explanations for the flourishing of philosophical theology in analytic philosophy by taking Arthur Norman Prior’s (1914–1969) development of tense-logic into account. Prior’s work challenged the prevailing anti-metaphysical norms in analytic philosophy and introduced an alternative understanding of the relationship between logic and metaphysics. Prior’s application of tense-logic to an analysis of the concept of existence in quantified tense-logic and his exploration of future contingency in branching time semantics provide a strong reason for why analytic philosophy (...) naturally incorporates philosophical theology. These considerations lead us to modify Wolterstorff’s emphasis on the importance of meta-epistemology for the resurgence of philosophical theology. A development in logic was necessary. Furthermore, Prior’s importance questions the assumption that philosophical theology was a consequence of theistic philosophers seeking ways to defend theistic beliefs in analytic philosophy. This is not true for Prior. His invention of tense-logic and discussion of omniscience was driven by an existential interest in finding answers to philosophical problems concerning divine foreknowledge and human freedom which ultimately led him to reject his Christian beliefs. (shrink)

It is easy to construct pairs of sentences X, Y that lead many people to ascribe higher probability to the conjunction X-and-Y than to the conjuncts X, Y. Whether an error is thereby committed depends on reasoners’ interpretation of the expressions “probability” and “and.” We report two experiments designed to clarify the normative status of typical responses to conjunction problems. © 2004 Cognitive Science Society, Inc. All rights reserved.

Wittgenstein's conception of logical and conceptual truth is often thought to rival that of the logical positivists. This paper argues that there are important respects in which these conceptions complement each other. Analyticity, in the positivists' sense, coincides, not with Wittgenstein's notion of a grammatical proposition, but rather with his notion of a tautology. Grammatical propositions can usually be construed as analyticity postulates in Carnap's sense of the term. This account of grammatical and analytic propositions will be illustrated by appeal (...) to logical, conceptual and arithmetic truths. Its consequences for an analysis of corresponding modal notions will be indicated. (shrink)

For many philosophers, the Lying Test is a reliable instrument for collecting data in semantics. Michaelson argued that the Lying Test does not fall prey to the problem with ambiguity that limits the Cancellability Test of Gricean inspiration. I contend that Michaelson's argument in favor of the Lying Test overlooks two fundamental aspects of what determine the content of an utterance.

Strawson’s work seems to contain both pragmatic and semantic concepts of presupposition. The former concept has largely been studied by many philosophers and linguists, while the latter has not been properly investigated (van Fraassen being an exception). The present author explicates the semantic concept of existential presupposition in relation to deriving existential statements and distinguishing their de dicto/de re variants (in the rather generalized sense following Tichý).

Journalistic narrative prose is rich in suggestion. By voicing a single narrative ("X happened") statement in a supposedly non-fiction context, sender invites receiver to impute intelligibility, ascertainability, feasibility, topicality and speaker sincerity, as well as veracity, to the terms of an account. Conversely, when a narrative statement passes through a 'news-giving' medium, receivers are deterred from appraising those invited inferences. Similar inducements come from pseudonarrative statements. Meanwhile, some narratives convey other suggestions. Without being explicit they invite extra-logical inferences about event (...) locations, agent numbers, chronologies, relative importance, and determinants, as well as current practicabilities. Awareness of such suggestions is the first step toward distinguishing between prudent and foolhardy inferences. (shrink)

Contrary to what seems to be predicted by a Strawson-inspired view, in presupposition denials the presupposition triggered by, e.g., ‘the king of France’ seems to be cancelled. To explain this puzzling instance of the projection problem, defenders of a Strawson-inspired view have proposed various ad hoc ambiguities. I develop a version of Segmented Discourse Representation Theory that explains the puzzling presupposition-cancelling phenomenon relying only on independently motivated pragmatic processes. Appealing to Kripke’s “test” for the adequacy of ambiguity motivating counterexamples, I (...) argue that my analysis is to be preferred over proposals that posit ad hoc ambiguities. Two key insights of my analysis are, first, that the “cancellation” of presuppositions in presupposition denials depends upon the illocutionary effects of rejection and correction, and, second, that the process of presupposition accommodation often involves the speaker performing an ancillary sort of speech act, viz. the speech act of presupposing. (shrink)

Three-valued logics are standardly used to formalize gappy languages, i.e., interpreted languages in which sentences can be true, false or neither. A three-valued logic that assigns the same truth value to all gappy sentences is, in our view, insufficient to capture important semantic differences between them. In this paper we will argue that there are two different kinds of pathologies that should be treated separately and we defend the usefulness of a four-valued logic to represent adequately these two types of (...) gappy sentences. Our purpose is to begin the formal exploration of the four-valued logics that could be used to represent the phenomena in question and to show that these phenomena are present in natural language, at least according to some semantic theories of natural language. (shrink)

La Syllogistique d’Aristote de Łukasiewicz est écrite pour corriger les interprétations traditionnelles de la syllogistique d’Aristote en se plaçant « du point de vue de la logique formelle moderne ». Son interprétation contient plusieurs paradoxes forts : la description de la syllogistique comme une axiomatique qui utilise intuitivement les règles du calcul propositionnel, l’absence de quantificateurs et l’interprétation de la « nécessité syllogistique » comme un quantificateur universel, l’interprétation quadrivalente de la logique modale tout en admettant que la logique d’Aristote (...) est bivalente. Tous ces paradoxes se comprennent mieux si l’on voit que Łukasiewicz veut construire un système logique cohérent conforme aux intentions d’Aristote en utilisant la logique moderne comme un outil, tout en réagissant contre les critiques de la logique moderne à l’encontre de la syllogistique d’Aristote. (shrink)

Having served for a long time under Ostrogothic kings, then removed from office, Cassiodorus (vith century) designed his writings for the members of the famous monastery that he founded at Vivarium. In his monumental Expositio Psalmorum, meant for the novices, he wanted to give his readers not only an exegesis of the biblical text, but rudiments of Liberal Arts too, especially of dialectics and logic. This paper intends to show Cassiodorus’ conception of an orthodox study of dialectics, and his pedagogical (...) devices. Then is considered the way in which Cassiodorus applies in his commentary categorical and hypothetical syllogistics. Finally, special attention is given to Cassiodorus’ rigorous demonstration about the famous Three Chapters controversy. In the dialectical passages of the Expositio appears the artificial cha­racter of this attempt to reconcile secular culture and biblical exegesis. The best in Cassiodo­rus’ enterprise is his enthusiasm. (shrink)