In the paper below the authors describe three super-tasks. They show that although the abstract notion of a super-task may be, as Benacerraf suggested, a conceptual mismatch, the completion of the three super-tasks involved can be defined rather naturally, without leading to inconsistency, by means of a particular kinematical interpretation combined with a principle of continuity.

A number of authors have noted that the key steps in Fitch’s argument are not intuitionistically valid, and some have proposed this as a reason for an anti-realist to accept intuitionistic logic (e.g. Williamson 1982, 1988). This line of reasoning rests upon two assumptions. The first is that the premises of Fitch’s argument make sense from an anti-realist point of view – and in particular, that an anti-realist can and should maintain the principle that all truths are knowable. The second (...) is that we have some independent reason for thinking that classical logic is not appropriate in this area. This paper explores these two assumptions in the context of Michael Dummett’s version of anti-realism, with particular reference to the argument from indefinite extensibility developed at various points in Dummett’s writings (e.g. Dummett 1991 Ch. 24). -/- Dummett argues that certain concepts, the indefinitely extensible concepts, are such that we cannot form a clear and determinate conception of all the objects that fall under them. The most familiar examples of indefinitely extensible concepts are mathematical. Dummett discusses the concepts ordinal number, real number, and natural number, which are indefinitely extensible because any conception that one might form of their complete extension can be extended to a more inclusive conception (as, for example, in Cantor’s proof of the non-denumerability of the set of real numbers). This paper argues that the concept of a truth is indefinitely extensible. This gives a Dummettian anti-realist an independent motivation for rejecting the classical understanding of the quantifiers in this area. At the same time, however, it places in doubt the admissibility of the knowability principle, which seems to involve quantification over the “totality” of truths. As Dummett is at pains to point out (1991: 316), some sentences that purport to quantify over the extension of an indefinitely extensible concept plainly have a truth-value (we can truly say, for example, that every ordinal number has a successor, even though when we say that we are not quantifying over the set of all ordinals). But is the knowability principle one of these sentences? (shrink)

The following essay reconsiders the ontological and logical issues around Frege’s Basic Law (V). If focuses less on Russell’s Paradox, as most treatments of Frege’s Grundgesetze der Arithmetik (GGA)1 do, but rather on the relation between Frege’s Basic Law (V) and Cantor’s Theorem (CT). So for the most part the inconsistency of Naïve Comprehension (in the context of standard Second Order Logic) will not concern us, but rather the ontological issues central to the conflict between (BLV) and (CT). These ontological (...) issues are interesting in their own right. And if and only if in case ontological considerations make a strong case for something like (BLV) we have to trouble us with inconsistency and paraconsistency. These ontological issues also lead to a renewed methodological reflection what to assume or recognize as an axiom. (shrink)

(T5) ϕ → ◊Kϕ |-- ϕ → Kϕ where ◊ is possibility, and ‘Kϕ’ is to be read as ϕ is known by someone at some time. Let us call the premise the knowability principle and the conclusion near-omniscience.2 Here is a way of formulating Fitch’s proof of (T5). Suppose the knowability principle is true. Then the following instance of it is true: (p & ~Kp) → ◊K(p & ~Kp). But the consequent is false, it is not possible to know (...) p & ~Kp. That is because the supposition that it is known is provably inconsistent.3 The inconsistency requires us to deny the possibility of the supposition, yielding ~◊K(p & ~Kp). This, together with the above instance of the knowability principle, entails ~(p & ~Kp), which is (classically) equivalent to p → Kp. Since p occurs in none of our undischarged assumptions, we may generalize to get near-omniscience, ϕ → Kϕ. QED. (shrink)

These are not just tricks or puzzles, but are intimately connected with some of the liveliest and most basic philosophical disputes about logical form, ...

This third edition is revised throughout, and adds nine new paradoxes that have important bearings in areas such as law, logic, ethics and probability.

This essential guide to paradoxes takes the reader on a lively tour of puzzles that have taxed thinkers from Zeno to Galileo and Lewis Carroll to Bertrand Russell. Michael Clark uncovers an array of conundrums, such as Achilles and the Tortoise, Theseus' Ship, Hempel's Raven, and the Prisoners' Dilemma, taking in subjects as diverse as knowledge, ethics, science, art and politics. Clark discusses each paradox in non-technical terms, considering its significance and looking at likely solutions.

This essential guide to paradoxes takes the reader on a lively tour of puzzles that have taxed thinkers from Zeno to Galileo ...

John Mair (1467–1550) was an influential post-medieval scholar. This paper focuses on his Tractatus insolubilium, in which he proposed semantic analysis of self-referential phenomena, in particular on his solution to alethic and correspondence paradoxes and his treatment of their general semantic aspects as well as particular applications. His solution to paradoxes is based on the so-called “network evaluation”, i.e. on a semantics which defines the concepts of truth and correspondence with reality in contextual terms. Consequently, the relation between semantic valuation, (...) synonymy and contradiction must be redefined. (shrink)

I express my dissatisfaction with the common ways to treat the semantic paradoxes. Not only do they give rise to revenge paradoxes, they ignore the wisdom contained in the ordinary reaction to paradoxes. I instead propose an account that vindicates the ordinary reaction to paradox by putting the blame on us philosophers. It is the wrong conception of what a valid inference is, one that is central to “the ideal of deductive logic” that gives rise to the problem. The solution (...) outlined gives us a new way to accept defeat in light of the paradoxes: the arguments that lead to them are based on valid forms of reasoning, but their conclusions are nonetheless rationally rejected. (shrink)

Addresses the question of why we find Fitch's knowability 'paradox' argument surprising.

This paper considers two deflationary responses to the Fitch argument on behalf of the semantic anti-realistthat is, two responses which aim to evade the conclusion of that argument by, on a principled basis, weakening one of the principles essentially employed. The first deflationary approach that is consideredwhich proceeds by weakening the factivity principle for knowledgeis shown to be ultimately unpromising, but a second approachwhich proceeds by weakening the knowability principle that is at the heart of semantic anti-realismis shown to have (...) considerable prima facie appeal. It is then argued that some key objections that one might raise for this approach are on closer inspection ineffective. (shrink)

The purpose of this book is to develop a framework for analyzing strategic rationality, a notion central to contemporary game theory, which is the formal study of the interaction of rational agents, and which has proved extremely fruitful in economics, political theory, and business management. The author argues that a logical paradox (known since antiquity as "the Liar paradox") lies at the root of a number of persistent puzzles in game theory, in particular those concerning rational agents who seek to (...) establish some kind of reputation. Building on the work of Parsons, Burge, Gaifman, and Barwise and Etchemendy, Robert Koons constructs a context-sensitive solution to the whole family of Liar-like paradoxes, including, for the first time, a detailed account of how the interpretation of paradoxial statements is fixed by context. This analysis provides a new understanding of how the rational agent model can account for the emergence of rules, practices, and institutions. (shrink)

The knowability paradox derives from a proof by Frederic Fitch in 1963. The proof purportedly shows that if all truths are knowable, it follows that all truths are known. Antirealists, wed as they are to the idea that truth is epistemic, feel threatened by the proof. For what better way to express the epistemic character of truth than to insist that all truths are knowable? Yet, if that insistence logically compels similar assent to some omniscience claim, antirealism is in jeopardy. (...) Response to the paradox has drifted toward a common theme, a theme I will argue is a non-starter in resolving the paradox. Seeing this point will also make clear the philosophical inadequacy of simply viewing the paradox as a refutation of a wide range of antirealisms. (shrink)

Zermelo once wrote that he had anticipated Russell's contradiction of the set of all sets that are not members of themselves. Is this sufficient for having anticipated Russell's Paradox — the paradox that revealed the untenability of the logical notion of a set as an extension? This paper argues that it is not sufficient and offers criteria that are necessary and sufficient for having discovered Russell's Paradox. It is shown that there is ample evidence that Russell satisfied the criteria and (...) that Zermelo did not. (shrink)

The main objective of this paper is to examine how theories of truth and reference that are in a broad sense Fregean in character are threatened by antinomies; in particular by the Epimenides paradox and versions of the so-called Russell-Myhill antinomy, an intensional analogue of Russell’s more well-known paradox for extensions. Frege’s ontology of propositions and senses has recently received renewed interest in connection with minimalist theories that take propositions (thoughts) and senses (concepts) as the primary bearers of truth and (...) reference. In this paper, I will present a rigorous version of Frege’s theory of sense and denotation and show that it leads to antinomies. I am also going to discuss ways of modifying Frege’s semantical and ontological framework in order to avoid the paradoxes. In this connection, I explore the possibility of giving up the Fregean assumption of a universal domain of absolutely all objects, containing in addition to extensional objects also abstract intensional ones like propositions and singular concepts. I outline a cumulative hierarchy of Fregean propositions and senses, in analogy with Gödel’s hierarchy of constructible sets. In this hierarchy, there is no domain of all objects. Instead, every domain of objects is extendible with new objects that, on pain of contradiction, cannot belong to the given domain. According to this approach, there is no domain containing absolutely all propositions or absolutely all senses. (shrink)

The property common to three kinds of paradoxes (logical, semantic, and cultural) is the underlying presence of an exclusive disjunction: even when it is put to a check by the paradox, it is still invoked at the level of implicit discourse. Hence the argumentative strength of paradoxical propositions is derived. Logical paradoxes (insolubilia) always involve two contradictory, mutually exclusive, truths. One truth is always perceived to the detriment of the other, in accordance with a succession which is endlessly repetitive. A (...) check is put on the principle of the excluded middle by the logical paradoxes, because self-reference leads to an endlessly repeating circle, out of which no resolution is conceivable. Logical paradoxes are to be compared with the `objective ambiguity' prevalent in oracles (Gallet, 1990). Semantic paradoxes are contextually-determined occurrences, whose resolution at the metalinguistic level is made possible by the discovery of a middle term. They express a wilful ambiguity, in which the interlocutor is invited to take an active part in the construction of sense, since what must be found is the unexpected sense thanks to which A and not-A can be asserted simultaneously. Cultural paradoxes play about doxa (`common sense') and openly challenge common opinion because of their character as inopinata (`unexpected'). My aim is to show that even cultural paradoxes hide sometimes a flaw of argumentation similar to logical or semantic paradox; they too imply an exclusive disjunction leading to the disappearance of the middle terms. Finally, basing myself on the theory of topoi (Anscombre and Ducrot, 1983), a tentative resolution of the cultural paradoxes will be suggested. (shrink)

This sharply intelligent, consistently provocative book takes the reader on an astonishing, thought-provoking voyage into the realm of delightful uncertainty--a world of paradox in which logical argument leads to contradiction and common sense is seemingly rendered irrelevant.

According to the “knowability thesis,” every truth is knowable. Fitch’s paradox refutes the knowability thesis by showing that if we are not omniscient, then not only are some truths not known, but there are some truths that are not knowable. In this paper, I propose a weakening of the knowability thesis (which I call the “conjunctive knowability thesis”) to the e:ect that for every truth p there is a collection of truths such that (i) each of them is knowable and (...) (ii) their conjunction is equivalent to p. I show that the conjunctive knowability thesis avoids triviality arguments against it, and that it fares very di:erently depending on another thesis connecting knowledge and possibility. If there are two propositions, inconsistent with one another, but both knowable, then the conjunctive knowability thesis is trivially true. On the other hand, if knowability entails truth, the conjunctive knowability thesis is coherent, but only if the logic of possibility is weak. (shrink)

A version of nonstandard analysis, Internal Set Theory, has been used to provide a resolution of Zeno's paradoxes of motion. This resolution is inadequate because the application of Internal Set Theory to the paradoxes requires a model of the world that is not in accordance with either experience or intuition. A model of standard mathematics in which the ordinary real numbers are defined in terms of rational intervals does provide a formalism for understanding the paradoxes. This model suggests that in (...) discussing motion, only intervals, rather than instants, of time are meaningful. The approach presented here reconciles resolutions of the paradoxes based on considering a finite number of acts with those based on analysis of the full infinite set Zeno seems to require. The paper concludes with a brief discussion of the classical and quantum mechanics of performing an infinite number of acts in a finite time. (shrink)

This collection assembles Church's referee reports, Fitch's 1963 paper, and nineteen new papers on the knowability paradox.

This collection assembles Church's referee reports, Fitch's 1963 paper, and nineteen new papers on the knowability paradox.

This study continues the anti-realist’s quest for a principled way to avoid Fitch’s paradox. It is proposed that the Cartesian restriction on the anti-realist’s knowability principle ‘ϕ, therefore 3Kϕ’ should be formulated as a consistency requirement not on the premise ϕ of an application of the rule, but rather on the set of assumptions on which the relevant occurrence of ϕ depends. It is stressed, by reference to illustrative proofs, how important it is to have proofs in normal form before (...) applying the proposed restriction. A similar restriction is proposed for the converse inference, the so-called Rule of Factiveness ‘3Kϕ therefore ϕ’. The proposed restriction appears to block another Fitch-style derivation that uses the KK -thesis in order to get around.. (shrink)

First, some reminiscences. In the years 1973-80, when I was an undergraduate and then graduate student at Oxford, Michael Dummett’s formidable and creative philosophical presence made his arguments impossible to ignore. In consequence, one pole of discussion was always a form of anti-realism. It endorsed something like the replacement of truth-conditional semantics by verification-conditional semantics and of classical logic by intuitionistic logic, and the principle that all truths are knowable. It did not endorse the principle that all truths are known. (...) Nor did it mention the now celebrated argument, first published by Frederic Fitch (1963), that if all truths are knowable then all truths are known. (shrink)

All paradoxes of self-reference seem to share some structural features. Russell in 1908 and especially Priest nowadays have advanced structural descriptions that successfully identify necessary conditions for having a paradox of this kind. I examine in this paper Priest’s description of these paradoxes, the Inclosure Scheme (IS), and consider in what sense it may help us understand and solve the problems they pose. However, I also consider the limitations of this kind of structural descriptions and give arguments against Priest’s use (...) of IS in favour of dialetheism. IS fails to identify sufficient conditions for having a paradox of self-reference. That means that, even if we identified a problem common to any reasoning satisfying IS, that problem would not explain why some of those reasonings are paradoxical and some others are not. Therefore IS cannot justify by itself the claim that some particular theory offers the best solution to the paradoxes of self-reference. We still need to consider aspects concerning the content and context of occurrence of every paradox. (shrink)

In this paper we concentrate on the nature of the liar paradox asa cognitive entity; a consistently testable configuration of properties. We elaborate further on a quantum mechanical model (Aerts, Broekaert and Smets, 1999) that has been proposed to analyze the dynamics involved, and we focus on the interpretation and concomitant philosophical picture. Some conclusions we draw from our model favor an effective realistic interpretation of cognitive reality.

Line 1: The statement on line one is false. Line 2: All statements on line two are false. p and not-p Line 3: All statements on line 3 are true, or all of them are false. p and not-p Line 4: The statement on line 4 is false, or (p and not-p). Line 5: The statement on line 5 is true if and only if (p and not p). Line 6: All statements on line 6 are false. p. Line 7: (...) All statements on line 7 are false. Not-p. Line 8: The statement on 9 is true. Line 9: The statement on line 8 is false. Line 10: The statement on line 11 is true if and only if the statement on line 12 is true. Line 11: The statement on line 10 is true and p. Line 12: The statement on line 10 is true and not-p.. (shrink)

We describe the earliest occurrences of the Liar Paradox in the Arabic tradition. e early Mutakallimūn claim the Liar Sentence is both true and false; they also associate the Liar with problems concerning plural subjects, which is somewhat puzzling. Abharī (1200-1265) ascribes an unsatisfiable truth condition to the Liar Sentence—as he puts it, its being true is the conjunction of its being true and false—and so concludes that the sentence is not true. Tūsī (1201-1274) argues that self-referential sentences, like the (...) Liar, are not truth-apt, and defends this claim by appealing to a correspondence theory of truth. Translations of the texts are provided as an appendix. (shrink)

In ‘A Consistent Way with Paradox’, Laurence Goldstein (2009) clarifies his solution to the liar, which he touts as revenge immune . In addition, he (Ibid.) responds to one of the objections that Armour-Garb and Woodbridge (2006) raise against certain solutions to the open pair and argues that his proffered solution to the liar family of paradoxes undermines what they (Ibid.) call the dialetheic conjecture . In this paper, after critically evaluating Goldstein’s response to A-G&W, I turn to his proposed (...) solution to the liar paradox, where I show that it is difficult to see how it manages to avoid that conjecture. (shrink)

Minimalists, following Horwich, claim that all that can be said about truth is comprised by all and only the nonparadoxical instances of (E) p is true iff p. It is, accordingly, standard in the literature on truth and paradox to ask how the minimalist will restrict (E) so as to rule out paradox-inducing sentences (alternatively: propositions). In this paper, we consider a prior question: On what grounds does the minimalist restrict (E) so as to rule out paradox-inducing sentences and, thereby, (...) avoid contradictions? We argue that there is no good reason for thinking that the minimalist can furnish such grounds. Accordingly, while we are tempted to conclude from this that the minimalist should acknowledge the contradictoriness of truth, instead, we end with a challenge: Provide grounds, compatible with minimalism, for banning the paradoxical instances of (E), or embrace dialetheism. (shrink)

In this paper I critically evaluate a number of current "consistent inconsistency theories" and then briefly motivate a rival position. The rival position challenges a consistent inconsistency theory, by sharing many of its basic commitments without suffering the problems that such a theory appears to face.

In defense of the minimalist conception of truth, Paul Horwich(2001) has recently argued that our acceptance of the instances of the schema,`the proposition that p is true if and only if p', suffices to explain our acceptanceof truth generalizations, that is, of general claims formulated using the truth predicate.In this paper, I consider the strategy Horwich develops for explaining our acceptance of truth generalizations. As I show, while perhaps workable on its own, the strategy is in conflictwith his response to (...) the liar paradox. Something must give. I consider and reject variousalternatives and emendations to the strategy. In order to resolve the conflict,I propose an alternative approach to the liar, one that supports Horwich's strategywhile leaving minimalism maximally uncompromised. (shrink)

Philosophical work on truth covers two streams of inquiry, one concerning the nature (if any) of truth, the other concerning truth-related paradox, especially the Liar. For the most part these streams have proceeded fairly independently of each other. In his Deflationary Truth and the Liar (JPL 28:455–488, 1999) Keith Simmons argues that the two streams bear on one another in an important way; specifically, the Liar poses a greater problem for deflationary conceptions of truth than it does for inflationist conceptions. (...) We agree with Simmons on this point; however, we disagree with his main conclusion. In a nutshell, Simmons' main conclusion is that deflationists can solve the Liar only by compromising deflationism. If Simmons is right, then deflationists cannot solve the Liar paradox. In this paper we argue that, pace Simmons, there is an approach to the Liar that is available to deflationists, namely dialetheism. (shrink)

Over the past 25 years, Graham Priest has ably presented and defended dialetheism, the view that certain sentences are properly characterized as true with true negations. Our goal here is neither to quibble with the tenability of true, assertable contradictions nor, really, with the arguments for dialetheism. Rather, we wish to address the dialetheist's treatment of cases of semantic pathology and to pose a worry for dialetheism that has not been adequately considered. The problem that we present seems to have (...) broader bite, afflicting both consistent and inconsistent proposals for resolving semantic pathology. Thus, while our primary goal is to uncover some important connections between dialetheism, semantic pathology, and other, more general issues, the problem that we pose might be a worry for anyone who aims to resolve semantic pathology - consistently or not. (shrink)

I revisit my earlier arguments for the (trivial) inconsistency of natural languages, and take up the objection that no such argument can be established on the basis of surface usage. I respond with the evidential centrality of surface usage: the ways it can and can't be undercut by linguistic science. Then some important ramifications of having an inconsistent natural language are explored: (1) the temptation to engage in illegitimate reductio reasoning, (2) the breakdown of the knowledge idiom (because its facticity (...) isn't comfortable with every sentence being true and false). Restoring the utility of the knowledge idiom motivates regimentation - the consistentist reinterpretation of natural language inferences (as they occur in real time). It's then sketched how to give the semantics of a natural language despite its inconsistency: Necessary and sufficient truth conditions are dropped in favor of necessary truth conditions and sufficient truth conditions. (shrink)

In this paper a logic for reasoning disquotationally about truth is presented and shown to have a standard model. This work improves on Hartry Field's recent results establishing consistency and omega-consistency of truth-theories with strong conditional logics. A novel method utilising the Banach fixed point theorem for contracting functions on complete metric spaces is invoked, and the resulting logic is shown to validate a number of principles which existing revision theoretic methods have heretofore failed to provide.

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but (...) not jointly, lack the problematic feature. (shrink)

In Beyond the Limits of Thought [2002], Graham Priest argues that logical and semantic paradoxes have the same underlying structure (which he calls the Inclosure Schema ). He also argues that, in conjunction with the Principle of Uniform Solution (same kind of paradox, same kind of solution), this is sufficient to 'sink virtually all orthodox solutions to the paradoxes', because the orthodox solutions to the paradoxes are not uniform. I argue that Priest fails to provide a non-question-begging method to 'sink (...) virtually all orthodox solutions', and that the Inclosure Schema cannot be the structure that underlies the Liar paradox. Moreover, Ramsey was right in thinking that logical and semantic paradoxes are paradoxes of different kinds. (shrink)

We sketch an account according to which the semantic concepts themselves are not pathological and the pathologies that attend the semantic predicates arise because of the intention to impose on them a role they cannot fulfill, that of expressing semantic concepts for a language that includes them. We provide a simplified model of the account and argue in its light that (i) a consequence is that our meaning intentions are unsuccessful, and such semantic predicates fail to express any concept, and (...) that (ii) in light of this it is incorrect to characterize the pathology simply as semantic inconsistency; a more nuanced view of the problem is needed. We also show that the defects of the semantic predicates need not undercut the use of a truth theory in a compositional semantics for a language containing them because the meaning theory per se need not involve commitment to the axioms of the truth theory it exploits. (shrink)

In this paper I respond to Jacquette’s criticisms, in (Jacquette, 2008), of my (Barker, 2008). In so doing, I argue that the Liar paradox is in fact a problem about the disquotational schema, and that nothing in Jacquette’s paper undermines this diagnosis.

I here argue for a particular formulation of truth-deflationism, namely, the propositionally quantified formula, (Q) ”For all p, <p> is true iff p”. The main argument consists of an enumeration of the other (five) possible formulations and criticisms thereof. Notably, Horwich’s Minimal Theory is found objectionable in that it cannot be accepted by finite beings. Other formulations err in not providing non-question-begging, sufficiently direct derivations of the T-schema instances. I end by defending (Q) against various objections. In particular, I argue (...) that certain circularity charges rest on mistaken assumptions about logic that lead to Carroll’s regress. I show how the propositional quantifier can be seen as on a par with first-order quantifiers and so equally acceptable to use. While the proposed parallelism between these quantifiers is controversial in general, deflationists have special reasons to affirm it. I further argue that the main three types of approach the truth-paradoxes are open to an adherent of (Q), and that the derivation of general facts about truth can be explained on its basis. (shrink)

Deflationist accounts of truth are widely held in contemporary philosophy: they seek to show that truth is a dispensable concept with no metaphysical depth. However, logical paradoxes present problems for deflationists that their work has struggled to overcome. In this volume of fourteen original essays, a distinguished team of contributors explore the extent to which, if at all, deflationism can accommodate paradox. The volume will be of interest to philosophers of logic, philosophers of language, and anyone working on truth. Contributors (...) include Bradley Armour-Garb, Jody Azzouni, JC Beall, Hartry Field, Christopher Gauker, Michael Glanzberg, Dorothy Grover, Anil Gupta, Volker Halbach, Leon Horsten, Paul Horwich, Graham Priest, Greg Restall, and Alan Weir. (shrink)

Curry's paradox, so named for its discoverer, namely Haskell B. Curry, is a paradox within the family of so-called paradoxes of self-reference (or paradoxes of circularity). Like the liar paradox (e.g., ‘this sentence is false’) and Russell's paradox , Curry's paradox challenges familiar naive theories, including naive truth theory (unrestricted T-schema) and naive set theory (unrestricted axiom of abstraction), respectively. If one accepts naive truth theory (or naive set theory), then Curry's paradox becomes a direct challenge to one's theory of (...) logical implication or entailment. Unlike the liar and Russell paradoxes Curry's paradox is negation-free; it may be generated irrespective of one's theory of negation. An intuitive version of the paradox runs as follows. (shrink)

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

The Liar paradox raises foundational questions about logic, language, and truth (and semantic notions in general). A simple Liar sentence like 'This sentence is false' appears to be both true and false if it is either true or false. For if the sentence is true, then what it says is the case; but what it says is that it is false, hence it must be false. On the other hand, if the statement is false, then it is true, since it (...) says (only) that it is false. -/- How, then, should we classify Liar sentences? Are they true or false? A natural suggestion would be that Liars are neither true nor false; that is, they fall into a category beyond truth and falsity. This solution might resolve the initial problem, but it beckons the Liar's revenge. A sentence that says of itself only that it is false or beyond truth and falsity will, in effect, bring back the initial problem. The Liar's revenge is a witness to the hydra-like nature of Liars: in dealing with one Liar you often bring about another. -/- JC Beall presents fourteen new essays and an extensive introduction, which examine the nature of the Liar paradox and its resistance to any attempt to solve it. Written by some of the world's leading experts in the field, the papers in this volume will be an important resource for those working in truth studies, philosophical logic, and philosophy of language, as well as those with an interest in formal semantics and metaphysics. (shrink)

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)

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.

In this volume of fourteen original essays, a distinguished team of contributors explore the extent to which, if at all, deflationism can accommodate paradox.