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.

Graham Priest has influentially claimed that the Sorites paradox is an Inclosure paradox, concluding that his favored dialetheic solution to the Inclosure paradoxes should be extended to the Sorites paradox. We argue that, given Priest’s dialetheic solution to the Sorites paradox, the argument purporting to show that that paradox is an Inclosure is unsound, and discuss some issues surrounding this fact.

In a series of works, Pablo Cobreros, Paul Égré, David Ripley and Robert van Rooij have proposed a nontransitive system (call it ‘_K__3__L__P_’) as a basis for a solution to the semantic paradoxes. I critically consider that proposal at three levels. At the level of the background logic, I present a conception of classical logic on which _K__3__L__P_ fails to vindicate classical logic not only in terms of structural principles, but also in terms of operational ones. At the level of (...) the theory of truth, I raise a cluster of philosophical difficulties for a _K__3__L__P_-based system of naive truth, all variously related to the fact that such a system proves things that would seem already by themselves repugnant, even in the absence of transitivity. At the level of the theory of validity, I consider an extension of the _K__3__L__P_-based system of naive validity that is supposed to certify that validity in that system does not fall short of naive validity, argue that such an extension is untenable in that its nontriviality depends on the inadmissibility of a certain irresistible instance of transitivity (whence the advertised “final cut”) and conclude on this basis that the _K__3__L__P_-based system of naive validity cannot coherently be adopted either. At all these levels, a crucial role is played by certain metaentailments and by the extra strength they afford over the corresponding entailments: on the one hand, such strength derives from considerations that would seem just as compelling in a general nontransitive framework, but, on the other hand, such strength wreaks havoc in the particular setting of _K__3__L__P_. (shrink)

In other works, I’ve proposed a solution to the semantic paradoxes which, at the technical level, basically relies on failure of contraction. I’ve also suggested that, at the philosophical level, contraction fails because of the instability of certain states of affairs. In this paper, I try to make good on that suggestion.

Prawitz observed that Russell’s paradox in naive set theory yields a derivation of absurdity whose reduction sequence loops. Building on this observation, and based on numerous examples, Tennant claimed that this looping feature, or more generally, the fact that derivations of absurdity do not normalize, is characteristic of the paradoxes. Striking results by Ekman show that looping reduction sequences are already obtained in minimal propositional logic, when certain reduction steps, which are prima facie plausible, are considered in addition to the (...) standard ones. This shows that the notion of reduction is in need of clarification. Referring to the notion of identity of proofs in general proof theory, we argue that reduction steps should not merely remove redundancies, but must respect the identity of proofs. Consequentially, we propose to modify Tennant’s paradoxicality test by basing it on this refined notion of reduction. (shrink)

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...) audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

The logician's central concern is with the validity of argument. A logical theory ought, therefore, to provide a general criterion of validity. This book sets out to find such a criterion, and to describe the philosophical basis and the formal theory of a logic in which the premises of a valid argument are relevant to its conclusion. The notion of relevance required for this theory is obtained by an analysis of the grounds for asserting a formula in a proof.

This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used in deriving its conclusion. The logic is placed in the context of possible world semantics and situation semantics, which are then applied to provide an understanding of the various logical particles and natural language conditionals. The book ends by examining various applications of relevant logic and (...) presenting some interesting open problems. It will be of interest to a range of readers including advanced students of logic, philosophical and mathematical logicians, and computer scientists. (shrink)

First published in 1903, _Principles of Mathematics_ was Bertrand Russell’s first major work in print. It was this title which saw him begin his ascent towards eminence. In this groundbreaking and important work, Bertrand Russell argues that mathematics and logic are, in fact, identical and what is commonly called mathematics is simply later deductions from logical premises. Highly influential and engaging, this important work led to Russell’s dominance of analytical logic on western philosophy in the twentieth century.

In this paper, I consider the connection between consequence relations and closure operations. I argue that one familiar connection makes good sense of some usual applications of consequence relations, and that a largeish family of familiar noncontractive consequence relations cannot respect this familiar connection.

A unified answer is offered to two distinct fundamental questions: whether a nonclassical solution to the semantic paradoxes should be extended to other apparently similar paradoxes and whether a nonclassical logic should be expressed in a nonclassical metalanguage. The paper starts by reviewing a budget of paradoxes involving the logical properties of validity, inconsistency, and compatibility. The author’s favored substructural approach to naive truth is then presented and it is explained how that approach can be extended in a very natural (...) way so as to solve a certain paradox of validity. However, three individually decisive reasons are later provided for thinking that no approach adopting a classical metalanguage can adequately account for all the features involved in the paradoxes of logical properties. Consequently, the paper undertakes the task to do better, and, building on the system already developed, introduces a theory in a nonclassical metalanguage that expresses an adequate logic of naive truth and of some naive logical properties. (shrink)

A new semantic paradox developed by Richard Heck and relying on very minimal logical and truth-theoretic resources is rehearsed. A theory of truth restricting the structural metarule of contraction is presented and some of the theory's relevant features are made explicit. It is then shown how the theory provides a principled solution to the paradox while preserving the extremely compelling truth-theoretic principles at stake, thus bringing out a significant advantage that the theory enjoys over virtually all other non-dialetheic theories. It (...) is finally argued that such advantage is amplified by theoretical considerations made available by the adoption of a correspondentist perspective in the philosophy of truth. (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)

In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, (...) which we call tolerant truth and strict truth. We characterize the space of consequence relations definable in terms of those and discuss the kind of solution this gives to the sorites paradox. We discuss some applications of the framework to the pragmatics and psycholinguistics of vague predicates, in particular regarding judgments about borderline cases. (shrink)

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

The purpose of this note is to present a strong form of the liar paradox. It is strong because the logical resources needed to generate the paradox are weak, in each of two senses. First, few expressive resources required: conjunction, negation, and identity. In particular, this form of the liar does not need to make any use of the conditional. Second, few inferential resources are required. These are: (i) conjunction introduction; (ii) substitution of identicals; and (iii) the inference: From ¬(p (...) ∧ p), infer ¬ p. It is, interestingly enough, also essential to the argument that the ‘strong’ form of the diagonal lemma be used: the one that delivers a term λ such that we can prove: λ = ¬ T(⌈λ⌉); rather than just a sentence Λ for which we can prove: Λ ≡ ¬T(⌈Λ⌉). The truth-theoretic principles used to generate the paradox are these: ¬(S ∧ T(⌈¬S⌉); and ¬(¬S ∧ ¬T(⌈¬S⌉). These are classically equivalent to the two directions of the T-scheme, but they are intuitively weaker. The lesson I would like to draw is: There can be no consistent solution to the Liar paradox that does not involve abandoning truth-theoretic principles that should be every bit as dear to our hearts as the T-scheme. So we shall have to learn to live with the Liar, one way or another. (shrink)

By means of an example, shows the possibility of beliefs that are separately rational whilst together inconsistent.

This is a philosophical investigation of the nature of the limits of thought. Drawing on recent developments in the field of logic, Graham Priest shows that the description of such limits leads to contradiction, and argues that these contradictions are in fact veridical. Beginning with an analysis of the way in which these limits arise in pre-Kantian philosophy, Priest goes on to illustrate how the nature of these limits was theorised by Kant and Hegel. He offers new interpretations of Berkeley's (...) master argument for idealism and Kant on the antimonies. He explores the paradoxes of self reference, and provides a unified account of the structure of such paradoxes. The book concludes by tracing the theme of the limits of thought in modern philosophy of language, including discussions of the ideas of Wittgenstein and Derrida. (shrink)

Recent experiments have shown that naive speakers find borderline contradictions involving vague predicates acceptable. In Cobreros et al. we proposed a pragmatic explanation of the acceptability of borderline contradictions, building on a three-valued semantics. In a reply, Alxatib et al. show, however, that the pragmatic account predicts the wrong interpretations for some examples involving disjunction, and propose as a remedy a semantic analysis instead, based on fuzzy logic. In this paper we provide an explicit global pragmatic interpretation rule, based on (...) a somewhat richer semantics, and show that with its help the problem can be overcome in pragmatics after all. Furthermore, we use this pragmatic interpretation rule to define a new consequence-relation and discuss some of its properties. (shrink)

This paper presents and defends a way to add a transparent truth predicate to classical logic, such that and A are everywhere intersubstitutable, where all T-biconditionals hold, and where truth can be made compositional. A key feature of our framework, called STTT (for Strict-Tolerant Transparent Truth), is that it supports a non-transitive relation of consequence. At the same time, it can be seen that the only failures of transitivity STTT allows for arise in paradoxical cases.

According to the dominant approach in the theory of vagueness, the nature of the vagueness of an expression ‘F’ consists in its presenting borderline cases in an appropriately ordered series: objects which are neither definitely F nor definitely not F (where the notion of definiteness can be semantic, ontic, epistemic, psychological or primitive). In view of the various problems faced by theories of vagueness adopting the dominant approach, the thesis proposes to reconsider the naive theory of vagueness, according to which (...) the nature of the vagueness of an expression consists in its not drawing boundaries between any neighbouring objects in an appropriately ordered series. It is argued that expressions and concepts which do present this feature play an essential role in our cognitive and practical life, allowing us to conceptualize---in a way which would otherwise be impossible---the typically coarse-grained distinctions we encounter in reality. Despite its strong initial plausibility and ability to explain many phenomena of vagueness, the naive theory is widely rejected because thought to be shown inconsistent by the sorites paradox. In reply, it is first argued that accounts of vagueness based on the dominant approach are themselves subject to higher-order sorites paradoxes. The paradox is then solved on behalf of the naive theory by rejecting the unrestricted transitivity of the consequence relation on a vague language; a family of logics apt for reasoning with vague expressions is proposed and studied (using models with partially ordered values). The characteristic philosophical and logical consequences of this novel solution are developed and defended in detail. In particular, it is shown how the analysis of what happens in the attempt of surveying a sorites series and deciding each case allows the naive theory to recover a "thin" notion of a borderline case. (shrink)

According to the naive theory of vagueness, the vagueness of an expression consists in the existence of both positive and negative cases of application of the expression and in the non- existence of a sharp cut-off point between them. The sorites paradox shows the naive theory to be inconsistent in most logics proposed for a vague language. The paper explores the prospects of saving the naive theory by revising the logic in a novel way, placing principled restrictions on the transitivity (...) of the consequence relation. A lattice-theoretical framework for a whole family of “tolerant logics” is proposed and developed. Particular care is devoted to the relation between the salient features of the formal apparatus and the informal logical and semantic notions they are supposed to model. A suitable non-transitive counterpart to classical logic is defined. Some of its properties are studied, and it is eventually shown how an appropriate regimentation of the naive theory of vagueness is consistent in such a logic. (shrink)

Naive set theory, as found in Frege and Russell, is almost universally believed to have been shown to be false by the set-theoretic paradoxes. The standard response has been to rank sets into one or other hierarchy. However it is extremely difficult to characterise the nature of any such hierarchy without falling into antinomies as severe as the set-theoretic paradoxes themselves. Various attempts to surmount this problem are examined and criticised. It is argued that the rejection of naive set theory (...) inevitably leads one into a severe scepticism with regard to the feasibility of giving a systematic semantics for set theory. It is further argued that this is not just a problem for philosophers of mathematics. Semantic scepticism in set theory will almost inevitably spill over into total pessimism regarding the prospects for an explanatory theory of language and meaning in general. The conclusion is that those who wish to avoid such intellectual defeatism need to look seriously at the possibility that it is the logic used in the derivation of the paradoxes, and not the naive set theory itself, which is at fault. (shrink)

Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists.” To this end they recommend a radical (...) solution to both paradoxes, involving a substructural logic, in particular, one without structural contraction. In this paper I argue that substructuralism is unnecessary. Diagnosing the “v-Curry” is complicated because of a multiplicity of readings of the principles it relies on. But these principles are not analogous to the principles of naive truth, and taken together, there is no reading of them that should have much appeal to anyone who has absorbed the morals of both the ordinary Curry paradox and the second incompleteness theorem. (shrink)

Originally published in 1962. This book gives an account of the concepts and methods of a basic part of logic. In chapter I elementary ideas, including those of truth-functional argument and truth-functional validity, are explained. Chapter II begins with a more comprehensive account of truth-functionality; the leading characteristics of the most important monadic and dyadic truth-functions are described, and the different notations in use are set forth. The main part of the book describes and explains three different methods of testing (...) truth-functional aguments and agument forms for validity: the truthtable method, the deductive method and the method of normal forms; for the benefit mainly of readers who have not acquired in one way or another a general facility in the manipulation of symbols some of the procedures have been described in rather more detail than is common in texts of this kind. In the final chapter the author discusses and rejects the view, based largely on the so called paradoxes of material implication, that truth-functional logic is not applicable in any really important way to arguments of ordinary discourse. (shrink)

Substructural theories of truth are theories based on logics that do not include the full complement of usual structural rules. Existing substructural approaches fall into two main families: noncontractive approaches and nontransitive approaches. This paper provides a sketch of these families, and argues for two claims: first, that substructural theories are better-positioned than other theories to grapple with the truth-theoretic paradoxes, and second—more tentatively—that nontransitive approaches are in turn better-positioned than noncontractive approaches.