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)

In Spandrels of Truth, Beall concisely presents and defends a modest, so-called dialetheic theory of transparent truth.

Extensively classroom-tested, Possibilities and Paradox provides an accessible and carefully structured introduction to modal and many-valued logic. The authors cover the basic formal frameworks, enlivening the discussion of these different systems of logic by considering their philosophical motivations and implications. Easily accessible to students with no background in the subject, the text features innovative learning aids in each chapter, including exercises that provide hands-on experience, examples that demonstrate the application of concepts, and guides to further reading.

Semantic and soritical paradoxes challenge entrenched, fundamental principles about language - principles about truth, denotation, quantification, and, among others, 'tolerance'. Study of the paradoxes helps us determine which logical principles are correct. So it is that they serve not only as a topic of philosophical inquiry but also as a constraint on such inquiry: they often dictate the semantic and logical limits of discourse in general. Sixteen specially written essays by leading figures in the field offer new thoughts and arguments (...) about the paradoxes. (shrink)

We are pluralists about logical consequence [1]. We hold that there is more than one sense in which arguments may be deductively valid, that these senses are equally good, and equally deserving of the name deductive validity. Our pluralism starts with our analysis of consequence. This analysis of consequence is not idiosyncratic. We agree with Richard Jeffrey, and with many other philosophers of logic about how logical consequence is to be defined. To quote Jeffrey.

_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)

A longstanding problem confronting Christian theology and its doctrine of incarnation is the apparent contradiction that it faces. For example, to be divine, in the relevant sense, is to have the limitlessness of God. To be human, in the relevant sense, is to have the limitations of humans. The incarnation (in the person of Jesus per Christian doctrine) is to be both divine and human. Many theologians and sympathetic philosophers have attempted to ‘consistentize’ (i.e., make consistent) incarnation. Timothy Pawl has (...) been one of the latest to do so. In this paper, I concisely note a dilemma for Pawl’s approach. (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)

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.

A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the rich (...) will enroll. There are many different things one can say about this argument, but many agree that if we do not equivocate (if the terms mean the same thing in the premises and the conclusion) then the argument is valid, that is, the conclusion follows deductively from the premises. This does not mean that the conclusion is true. Perhaps the premises are not true. However, if the premises are true, then the conclusion is also true, as a matter of logic. This entry is about the relation between premises and conclusions in valid arguments. (shrink)

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)

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.

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)

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,...

Semantic and soritical paradoxes challenge entrenched, fundamental principles about language - principles about truth, denotation, quantification, and, among others, 'tolerance'. Study of the paradoxes helps us determine which logical principles are correct. So it is that they serve not only as a topic of philosophical inquiry but also as a constraint on such inquiry: they often dictate the semantic and logical limits of discourse in general. Sixteen specially written essays by leading figures in the field offer new thoughts and arguments (...) about the paradoxes. (shrink)

This book is a collection of important writings on deflationism, with a detailed introduction and an exhaustive annotated bibliography. Among philosophers concerned with the theory of truth, deflationist positions have quickly gained ground and have become the most popular. Yet heretofore there has been no single book to which the readers can go for a detailed, overall view of the entire phenomenon of deflationism. This is the only available map of the whole terrain of deflationism. -/- Deflationism is a comparatively (...) new approach, though it has its roots in the thinking of some philosophers in the early twentieth century. Deflationism rejects all the traditional theories of truth: the correspondence theory (truth corresponds with facts), the coherence theory (truth is membership of a coherent set of beliefs), the pragmatist theory is provability or verifiability). This book gives complete coverage to all the different varieties of deflationism, and to earlier philosophers who anticipated deflationism. The articles and exerpts include classic works by Frege, Ayer, Ramsey, Tarsk, and Quine, and recent works by the leading deflationist authors of today: Paul Horwich, Hartry Field, Stephen Schiffer, Robert Brandom, and Stephen Leeds. (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)

In his ‘On t and u and what they can do’, Greg Restall presents an apparent problem for a handful of well-known non-classical solutions to paradoxes like the liar. In this article, we argue that there is a problem only if classical logic – or classical-enough logic – is presupposed. 1. Background Many have thought that invoking non-classical logic – in particular, a paracomplete or paraconsistent logic – is the correct response to the liar and related paradoxes. At the most (...) basic level, the target non-classical idea is that some expressions, like ‘all and only the true propositions’, do not behave as we would expect from classical logic. Non-classical theorists argue that the class of all and only the truths is either incomplete or inconsistent: when you truly speak of all and only truths , you're either leaving some truths out, or you're letting some untruths in. Truth, in a slogan, is either gappy or glutty. Non-classicality is not a glib or easy-way-out response to the paradoxes. Innocuous-seeming notions can turn out to be philosophically substantial. Moreover, apparently correct forms of reasoning can turn out to be incorrect. To take a example, a glut theorist must hold that the following argument form is not in general valid. Either p is true or q is true. But p is untrue. So q is true. This argument form may strike our ears as acceptable. But if p is a truth value glut, then the inference fails to preserve truth. According to glut theorists, the inference breaks down in inconsistent contexts: if the subject matter involves gluts, then the inference is to be rejected. And the liar paradox, according to such theorists, shows that truth is exactly the kind of subject matter that yields inconsistency. In the …. (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.

Localization and decentralization are frequently presented as good for women. However, the reality is not so clear cut. Local government is the tier that is closest to people, but relationships, structures, and processes of local governance can limit both the space for women’s participation and the policy potential for addressing gender issues. The experience of democratic reform in South Africa is invariably held up as an example of good practice in advancing gender equity in governance. Critically drawing on this experience, (...) the article points out some of the paradoxes for women and gender equity that arise from decentralization strategies and governance at the local level. (shrink)

This paper presents a new puzzle for certain positions in the theory of truth. The relevant positions can be stated in a language including a truth predicate T and an operation that takes sentences to names of those sentences; they are positions that take the T-schema A ↔ T to hold without restriction, for every sentence A in the language. As such, they must be based on a nonclassical logic, since paradoxes that cannot be handled classically will arise. The bestknown (...) of these paradoxes is probably the liar paradox – a sentence that says of itself that it is not true – but our concern here is not with the liar. Instead, our focus is a variant of Curry ’s paradox – a sentence that says of itself that if it is true, everything is [3, 5, 7, 11]. In §1, we present the standard version of Curry ’s paradox and the strain of response to it we wish to focus on. This strain of response crucially invokes non-normal worlds: worlds at which the laws of logic differ from the laws that actually hold. In §2, we go on to argue that, in light of temporal curry paradox, this strain of response ought also to accept non-normal times: times at which the laws of logic in the actual world differ from the laws that hold now. We then consider, in §3, what this would mean for the theorists in question. (shrink)

Consequence is at the heart of logic, and an account of consequence offers a vital tool in the evaluation of arguments. This text presents what the authors term as 'logical pluralism' arguing that the notion of logical consequence doesn't pin down one deductive consequence relation; it allows for many of them.

This article presents a detailed study of an early section of the actual works and days of Hesiod's Works and Days. The treatment consistently eschews obsolete assumptions about this poem, in particular that it reduces to a didactic presentation to the early Greek farmer. A key principle of the method followed is to pay closer attention to the text's relation to epic forms than has been typical among the poem's commentators. The result is to find that a certain literary figure (...) gradually develops in the section discussed. Namely, the plowing nominally covered there stands for the section's portion on the human condition, a condition implicitly compared with that associated with traditional epic. The figure evokes a well-rounded person, aware of the divine and of the world's uncertainties, with a long-term sense of purpose involving good organization of one's life, as opposed to someone engaged in helter-skelter pursuit of transitory activities, perhaps war specifically. With this identification of virtual protagonist established by the end of the section, the ground is prepared for any further development of the figure as that entity's undertakings or adventures in the remainder of the poem. (shrink)