The fundamental problem of Christology is the apparent contradiction of Christ as recorded at Chalcedon. Christ is human and Christ is divine. Being divine entails being immutable. Being human entails being mutable. Were Christ two different persons there’d be no apparent contradiction. But Chalcedon rules as much out. Were Christ only partly human or only partly divine there’d be no apparent contradiction. But Chalcedon rules as much out. Were the very meaning of ‘mutable’ and/or ‘immutable’ other than what they are, (...) there’d be no apparent contradiction. But the meaning is what it is, and changing the meaning of our terms to avoid the apparent contradiction of Christ is an apparent flight from reality. What, in the end, is the explanation of the apparent contradiction of Christ? Theologians and philosophers have long advanced many consistency-seeking answers, all of which increase the metaphysical or semantical complexity of the otherwise strikingly simple but radical core of Christianity’s GodMan. In this paper, I put the simplest explanation on the theological table: namely, Christ appears to be contradictory because Christ is contradictory. This explanation may sound complicated to the many who are steeped in the mainstream account of logic according to which logic precludes the possibility of true contradictions. But the mainstream account of logic can and should be rejected. Ridding theology of the dogma of mainstream logic illuminates the simple though striking explanation of the apparent contradiction of Christ — namely, that Christ is a contradictory being. Just as the simplest explanation to the apparent roundness of the earth has earned due acceptance, so too should the simplest explanation of the apparent contradiction of Christ. (shrink)

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

Three leading philosopher-logicians present a clear and concise overview of formal theories of truth, explaining key logical techniques. Truth is as central topic in philosophy: formal theories study the connections between truth and logic, including the intriguing challenges presented by paradoxes like the Liar.

This paper presents a simple but, by my lights, effective argument for a subclassical account of logic—an account according to which logical consequence is (properly) weaker than the standard, so‐called classical account. Alas, the vast bulk of the paper is setup. Because of the many conflicting uses of ‘logic’ the paper begins, following a disclaimer on logic and inference, by fixing the sense of ‘logic’ in question, and then proceeds to rehearse both the target subclassical account of logic and its (...) well‐known relative (viz., classical logic). With background in place the simple argument—which takes up less than five pages—is advanced. My hope is that the minimal presentation will help to get ‘the simple argument’ plainly on the table, and that subsequent debate can move us forward. (shrink)

Cet article présente les paradigmes de la cécité au changement. J'y identifie et évalue les interprétations perceptives et cognitives des déficits induits par des manipulations de l'attention, et critique le critère épistémique proposé par Dretske en faveur de la conception cognitive. Mon argument souligne l'influence de l'attention sur le contenu de l'expérience perceptive.

In this paper, we distinguish two versions of Curry's paradox: c-Curry, the standard conditional-Curry paradox, and v-Curry, a validity-involving version of Curry's paradox that isn’t automatically solved by solving c-curry. A unified treatment of curry paradox thus calls for a unified treatment of both c-Curry and v-Curry. If, as is often thought, c-Curry paradox is to be solved via non-classical logic, then v-Curry may require a lesson about the structure—indeed, the substructure—of the validity relation itself.

This paper offers a new and very simple alternative to Bochvar's well known nonsense -- or meaninglessness -- interpretation of Weak Kleene logic. To help orient discussion I begin by reviewing the familiar Strong Kleene logic and its standard interpretation; I then review Weak Kleene logic and the standard interpretation. While I note a common worry about the Bochvar interpretation my aim is only to give an alternative -- and I think very elegant -- interpretation, not necessarily a replacement.

In this paper I advance and defend a very simple position according to which logic is subclassical but is weaker than the leading subclassical-logic views have it.

Traditional monotheism appears to many to involve contradiction in basic 'omni' properties (e.g. omnipotence and too-heavy stones, etc.). A glut-theoretic account of such problems treats them as gluts (dual to familiar truth-value gaps): 'omnipotence' is both true of and false of God. Many philosophers, glut theorists and otherwise, acknowledge that such a glut-theoretic account of at least some traditional omni-god problems is natural, at least in the abstract. But what about the problem of evil? The unanimous view even among glut (...) theorists (including myself until now) has long been clear: gluts have nothing to offer in response to the problem of evil even if they are involved in true theology elsewhere. This paper refutes said view by advancing a simple glut-theoretic response to the target problem of evil on the assumption that gluts are involved in the theology elsewhere (notably, at 'omnipotent' or 'omniscient' or both). (shrink)

Traditional monotheism has long faced logical puzzles. We argue that such puzzles rest on the assumed logical truth of the Law of Excluded Middle, which we suggest there is little theological reason to accept. By way of illustration we focus on God's alleged stone problem, and present a simple but plausible ‘gappy’ framework for addressing this puzzle. We assume familiarity with the proposed logic but an appendix is offered as a brief review.

1. In both Benedetto Croce's and Hegel's own terminology, dialectics can be understood as dottrina degli opposti (the doctrine of the opposites – Lehre der Gegensätze).1 In the dialectical process,...

Philosophical applications of familiar paracomplete and paraconsistent logics often rely on an idea of . With respect to the paraconsistent logic LP (the dual of Strong Kleene or K3), such is standardly cashed out via an LP-based nonmonotonic logic due to Priest (1991, 2006a). In this paper, I offer an alternative approach via a monotonic multiple-conclusion version of LP.

I believe that, for reasons elaborated elsewhere (Beall, 2009; Priest, 2006a, 2006b), the logic LP (Asenjo, 1966; Asenjo & Tamburino, 1975; Priest, 1979) is roughly right as far as logic goes.1 But logic cannot go everywhere; we need to provide nonlogical axioms to specify our (axiomatic) theories. This is uncontroversial, but it has also been the source of discomfort for LP-based theorists, particularly with respect to true mathematical theories which we take to be consistent. My example, throughout, is arithmetic; but (...) the more general case is also considered. (shrink)

The first sentence in this essay is a lie. There is something odd about saying so, as has been known since ancient times. To see why, remember that all lies are untrue. Is the first sentence true? If it is, then it is a lie, and so it is not true. Conversely, suppose that it is not true. As we (viz., the authors) have said it, presumably with the intention of you believing it when it is not true, it is (...) a lie. But then it is true! (shrink)

This paper is a sequel to Beall (2011), in which I both give and discuss the philosophical import of a result for the propositional (multiple-conclusion) logic LP+. Feedback on such ideas prompted a spelling out of the first-order case. My aim in this paper is to do just that: namely, explicitly record the first-order result(s), including the collapse results for K3+ and FDE+.

_Logic: The Basics_ is an accessible introduction to several core areas of logic. The first part of the book features a self-contained introduction to the standard topics in classical logic, such as: · mathematical preliminaries · propositional logic · quantified logic · English and standard ‘symbolic translations’ · tableau procedures. Alongside comprehensive coverage of the standard topics, this thoroughly revised second edition also introduces several philosophically important nonclassical logics, free logics, and modal logics, and gives the reader an idea of (...) how they can take their knowledge further. With its wealth of exercises, _Logic: The Basics _is a useful textbook for courses ranging from the introductory level to the early graduate level, and also as a reference for students and researchers in philosophical logic. (shrink)

This chapter attempts to give a brief overview of nonclassical (-logic) theories of truth. Due to space limitations, we follow a victory-through-sacrifice policy: sacrifice details in exchange for clarity of big-picture ideas. This policy results in our giving all-too-brief treatment to certain topics that have dominated discussion in the non-classical-logic area of truth studies. (This is particularly so of the ‘suitable conditoinal’ issue: §4.3.) Still, we present enough representative ideas that one may fruitfully turn from this essay to the more-detailed (...) cited works for further study. Throughout – again, due to space – we focus only on the most central motivation for standard non-classical-logic-based truth theories: namely, truth-theoretic paradox (specifically, due to space, the liar paradox). (shrink)

JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We work with the scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that promotes the discovery and use of these resources. For more information about JSTOR, please contact [email protected].

One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley-Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly discussing (...) a general conception of conditionality that may unify the three given conceptions. (shrink)

We shed light on an old problem by showing that the logic LP cannot define a binary connective $\odot$ obeying detachment in the sense that every valuation satisfying $\varphi$ and $(\varphi\odot\psi)$ also satisfies $\psi$ , except trivially. We derive this as a corollary of a more general result concerning variable sharing.

In "Semantic paradoxes and abductive methodology", Williamson presents a new Quinean argument based on central ingredients of common pragmatism about theory choice (including logical theory, as is common). What makes it new is that, in addition to avoiding Quine's unfortunate charge of mere terminological squabble, Williamson's argument explicitly rejects at least for purposes of the argument Quine's key conservatism premise. In this paper I do two things. First, I argue that Williamson's new Quinean argument implicitly relies on Quine's conservatism principle. (...) Second, by way of answering his charges against nonclassical logic I directly defend a particular subclassical account of logical consequence. (shrink)

Dans cet article, je défends le représentationnalisme contre l’objection de la saillance phénoménale, développée notamment par Chalmers, Nickel et Speaks. Selon mon approche, les déplacements couverts de l’attention améliorent la résolution des représentations perceptives au point de fixation. Cette amélioration locale permet d’expliquer l’effet de saillance, typique de l’attention focale, et de préserver l’intuition représentationnaliste.This article is a defence of representationalism against the objection of phenomenal saliency, which Chalmers, Nickel and Speaks have developed. According to my approach, covert shifts of (...) attention enhance the resolution of perceptual representations at fixation point. This local enhancement accounts for the saliency effect, typical of focal attention, and preserves the representationalist intuition. (shrink)

The female reproductive axis in mammals is a highly complex dynamic system which goes through different transient or absorbent states during the course of a life-time. Little is known about the mechanisms controlling this system during fetal life and at birth, although it has been shown in numerous species, including primates, that the whole machinery is already functioning . After a delay ranging from a few days to a few weeks, according to the species, the reproductive axis becomes quiescent and (...) activity apparently resumes only at the time of puberty. Here again understanding of the phenomenon is still limited. (shrink)

In the service of paraconsistent (indeed, ‘dialetheic’) theories, Graham Priest has long advanced a non-monotonic logic (viz., MiLP) as our ‘universal logic’ (at least for standard connectives), one that enjoys the familiar logic LP (for ‘logic of paradox’) as its monotonic core (Priest, G. In Contradiction , 2nd edn. Oxford: Oxford University Press. First printed by Martinus Nijhoff in 1987: Chs. 16 and 19). In this article, I show that MiLP faces a dilemma: either it is (plainly) unsuitable as a (...) universal logic or its role as a ‘universal logic’ (indeed, its role full stop) is a mystery. While familiarity with the basic ideas of dialetheism is assumed, formal details of the target logics are relegated to an appendix; the basic problem is evident without them. (shrink)

Logic: the Basics is an accessible introduction to the core philosophy topic of standard logic. Focussing on traditional Classical Logic the book deals with topics such as mathematical preliminaries, propositional logic, monadic quantified logic, polyadic quantified logic, and English and standard ‘symbolic transitions’. With exercises and sample answers throughout this thoroughly revised new edition not only comprehensively covers the core topics at introductory level but also gives the reader an idea of how they can take their knowledge further and the (...) philosophical questions around logic. -/- Logic: the Basics is essential reading for first-year undergraduate philosophy students on standard introductory logic courses. (shrink)