A natural suggestion and increasingly popular account of how to revise our logical beliefs treats revision of logic analogously to the revision of scientific theories. I investigate this approach and argue that simple applications of abductive methodology to logic result in revision-cycles, developing a detailed case study of an actual dispute with this property. This is problematic if we take abductive methodology to provide justification for revising our logical framework. I then generalize the case study, pointing to similarities with more (...) recent and popular heterodox logics such as naïve logics of truth. I use this discussion to motivate a constraint—logical partisanhood—on the uses of such methodology: roughly: both the proposed alternative and our actual background logic must be able to agree that moving to the alternative logic is no worse than staying put. (shrink)

ABSTRACTDo truth tables—the ordinary sort that we use in teaching and explaining basic propositional logic—require an assumption of consistency for their construction? In this essay we show that truth tables can be built in a consistency-independent paraconsistent setting, without any appeal to classical logic. This is evidence for a more general claim—that when we write down the orthodox semantic clauses for a logic, whatever logic we presuppose in the background will be the logic that appears in the foreground. Rather than (...) any one logic being privileged, then, on this count partisans across the logical spectrum are in relatively similar dialectical positions. (shrink)

Philosophers often aim to demonstrate that the things we ordinarily think and say can be reconciled with our considered beliefs about the world. To this end, many philosophers try to paraphrase ordinary language claims by finding equivalent sentences that are less misleading. For instance, though we know that there is no British family that is the average one, we want to say that the average British family has 1.8 children, and we might do that by paraphrasing this claim as: there (...) are nearly twice as many British children as British families. This article aims to introduce and distinguish different paraphrase strategies, sketch their role in metaphysical debates and highlight some crucial questions that proponents of such strategies face. (shrink)

Goodman and Lederman (2020) argue that the traditional Fregean strategy for preserving the validity of Leibniz’s Law of substitution fails when confronted with apparent counterexamples involving proper names embedded under propositional attitude verbs. We argue, on the contrary, that the Fregean strategy succeeds and that Goodman and Lederman’s argument misfires.

Despite some discomfort with this grandly philosophical topic, I do in fact hope to address a venerable pair of philosophical chestnuts: mathematical truth and existence. My plan is to set out three possible stands on these issues, for an exercise in compare and contrast.' A word of warning, though, to philosophical purists (and perhaps of comfort to more mathematical readers): I will explore these philosophical positions with an eye to their interconnections with some concrete issues of set theoretic method.

There is a strong case to be made for thinking that an obscure logic, KR, is better than classical logic and better than any relevant logic. The argument for KR over relevant logics is that KR counts disjunctive syllogism valid, and this is the biggest complaint about relevant logics. The argument for KR over classical logic depends on the normativity of logic and the paradoxes of implication. The paradoxes of implication are taken by relevant logicians to justify relevant logic, but (...) considerations on the normativity of logic show that only some of the paradoxes of implication are genuine. KR avoids all the genuine paradoxes of implication, unlike classical logic. Overall, KR avoids the genuine paradoxes of implication and avoids the major objection to relevant logics. This combination of features provides strong reason to give KR a place in the conversation about the right logic. (shrink)

Various formally valid counterexamples have been adduced against the Humean dictum that one cannot derive an “ought” from an “is.” There are formal rebuttals—some very sophisticated now (e.g., Charles R. Pigden’s and Gerhard Schurz’s)—to such counterexamples. But what follows is an intuitive and informal argument against them. I maintain that it is better than these sophisticated formal defenses of the Humean dictum and that it also helps us see why it implausible to think that we can be as decisive about (...) the truth or falsity of the dictum as both the formal counterexamples or formal barriers to them purport to be. (shrink)

Moore′s paradox came of age when John N. Williams gave us a simple paradoxical argument according to which the Moorean believer must hold false belief while believing contingent propositions. Simplicity was key; it was groundbreaking for the topic. On Williams′s account, given only the notions of inconsistency and self‐refutation, the thesis that belief distributes over conjunction, and a tiny bit of classical logic, we can derive a paradox from the Moorean propositional schemata. But, as argued here, it′s easy to overestimate (...) the significance of his argument to a proper understanding of the problem. His fundamental claim can be established in a way that shows how the paradox arises for any propositional attitude that distributes over conjunction, which gives us the opportunity to reconsider the problem we have been calling “Moore′s paradox”, and to conclude that all of the available analyses of the problem are, at best, incomplete. On this new approach, we lose a little formal simplicity vis‐à‐vis Williams′s approach, but make conceptual economy, as we gain a farther‐reaching problem than the one we have known. (shrink)

Half a century later, a Dretskean stance on epistemic closure remains a minority view. Why? Mainly because critics have successfully poked holes in the epistemologies on which closure fails. However, none of the familiar pro-closure moves works against the counterexamples on display here. It is argued that these counterexamples pose the following dilemma: either accept that epistemic closure principles are false, and steal the thunder from those who attack classical logic on the basis of similarly problematic cases—specifically, relevance logicians and (...) like-minded philosophers—or stick with closure and surrender to relevantist claims of failure in truth-preservation aimed at classical rules of inference. Classicist closure advocates find the promise of a way out of the dilemma in the works of Roy Sorensen and John Hawthorne. The paper argues against their pro-closure move and renews Robert Audi’s call for a theory of closure-failure. (shrink)

Advocates of certain paraconsistent logics claim that classical logic provides incorrect norms for reasoning about impossible situations. Some have taken this claim as a sufficient reason to modify classical accounts of consequence. In this paper, I explain and evaluate such an argument based on Graham Priest's fictional story, "Sylvan's Box." I will explain and evaluate an objection to this argument based on a consistent reading of Priest's story offered by Daniel Nolan. However, I will argue that the argument fails for (...) different reasons. It is not the case that classical logic provides incorrect norms for reasoning about impossible situations. I will discuss logical tools, offered by Daniel Nolan, compatible with classical accounts of consequence that allow for non-vacuous reasoning about impossibilities. Finally, I will offer an explanation for seeming tensions between certain classical logic principles and reasoning about impossibilities. (shrink)

This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...) the semantics, such as inductive skepticism, the logic of discovery, Duhem’s problem, the articulation of theories by auxiliary hypotheses, the role of serendipity in scientific knowledge, Fitch’s paradox, deductive closure of knowability, whether one can know inductively that one knows inductively, whether one can know inductively that one does not know inductively, and whether expert instruction can spread common inductive knowledge—as opposed to mere, true belief—through a community of gullible pupils. (shrink)