In Saving Truth from Paradox, Hartry Field presents and defends a theory of truth with a new conditional. In this paper, I present two criticisms of this theory, one concerning its assessments of validity and one concerning its treatment of truth-preservation claims. One way of adjusting the theory adequately responds to the truth-preservation criticism, at the cost of making the validity criticism worse. I show that in a restricted setting, Field has a way to respond to the validity criticism. I (...) close with some general considerations on the use of revision-theoretic methods in theories of truth. (shrink)

While epistemologists routinely employ disbelief talk, it is not clear that they really mean it, given that they often equate disbelieving p with believing ¬p. I argue that this is a mistake—disbelief is a doxastic attitude of rejection and is distinct from belief. I first clarify this claim and its opposition, then show that we must distinguish disbelieving p from believing ¬p in order to account for the fact that we continue to hold doxastic attitudes toward propositions that we reject. (...) After defending this argument against some possible objections, I examine several cases that reveal disbelieving p to be not only non-identical to believing ¬p, but independent of that attitude as well. Finally, I sketch some immediate and potential consequences of recognizing disbelief as a distinct doxastic attitude, particularly for work on epistemic rationality. (shrink)

This article is an inquiry into how the relationship between the principle of non-contradiction and the limits of thought has been understood by thinkers as diverse as Hegel, Heidegger, Levinas, and Graham Priest. While Heidegger and Levinas focus on the question of temporality and Priest takes a formal approach, all these philosophers effectively maintain that the principle of non-contradiction imposes a restriction on thought that disables it from adequately accounting for its own limits and thus what lies beyond those limits, (...) the implication being that the violation of the principle is necessary for such an accounting to take place. However, the ultimate argument here is that, contrary to Priest’s interpretation, Hegel’s philosophy can be convincingly read as supporting the idea that the mind’s ability to go beyond any particular limit of thought can actually be said to involve an adherence to a normative demand to locate and dispel the contradictions that emerge through the very setting of determinative limits. This is a non-formal consistency that evinces a “logic” that is unknowingly followed by the Heideggerian and Levinasian phenomenological philosophies of transcendence. (shrink)

I argue for an account of semantic paradox that requires minimal logical revision. I first consider a phenomenon that is common to the paradoxes of definability, Russell’s paradox and the Liar. The phenomenon—which I call Repetition—is this: given a paradoxical expression, we can go on to produce a semantically unproblematic expression composed of the very same words. I argue that Kripke’s and Field’s theories of truth make heavy weather of Repetition, and suggest a simpler contextual account. I go on to (...) outline a ‘singularity’ theory of semantical predicates in the spirit of remarks of Gödel. According to this theory, ‘denotes’, ‘extension’ and ‘true’ are context-sensitive expression that apply almost everywhere on a given occasion of use, except for certain singular points. I then turn to revenge paradoxes, and argue that even the dialetheist is subject to revenge. I then examine how the singularity theory responds to revenge. (shrink)

Truth-value gaps have received little attention from a foundational perspective, a fact which has rightfully opened up gap theories to charges of vacuousness. This paper develops an account of the foundations of gap-like behavior which has some hope of avoiding such charges. I begin by reviewing and sharpening a powerful argument of Dummett’s to constrain the options that gap theorists have to make sense of their views. I then show that within these strictures, we can give an account of gaps (...) by drawing on elements of a broadly Stalnakerian framework for assertion and using gaps to track an amalgamation of assertoric effects. The discussion reveals that we may need special resources in our theories of assertion to posit gaps, that gaps may be unusable in characterizing the structure of mental states, and that gaps may have heterogeneous linguistic sources that result in equally heterogeneous projective and inferential behavior. (shrink)

This paper compares two ways of holding that logic is special among the sciences in that it has no restricted class of entities as its subject matter, but instead concerns all entities alike. One way is Williamson’s explanation of how inquiry into logical consequence and logical truth only superficially concerns the linguistic or conceptual entities that bear these properties. Williamson draws on ideas familiar from deflationism about truth, and his account has been called “deflationary.” I argue that the analogy is (...) misleading. While there’s a broad sense in which Williamson offers a deflationary account of logical inquiry, his view differs from deflationism about truth in being best understood as a form of instrumentalism. By contrast, I elaborate a deflationism about logical properties modeled on deflationism about truth. I defend this expressive device deflationism as an explanation of our use of logical predicates. (shrink)

I argue that on very weak assumptions about truth (in particular, that there are coherent norms governing the use of "true"), there is a proposition absolutely inexpressible with conventional language, or something very close. I argue for this claim "constructively": I use a variant of the Berry Paradox to reveal a particular thought for my readership to entertain that very strongly resists conventional expression. I gauge the severity of this expressive limitation within a taxonomy of expressive failures, and argue that (...) despite its strength there is nothing incoherent about admitting its existence. The argument forms part of a project of clarifying precisely what trade-offs are required to secure the kinds of expressive power truth theorists typically want, in the process showing that the admission of very strong expressive limitations may ultimately prove to be the lesser of two evils. (shrink)

This article concerns the ongoing neo-logicist program in the philosophy of mathematics. The enterprise began life, in something close to its present form, with Crispin Wright’s seminal [1983]. It was bolstered when Bob Hale [1987] joined the fray on Wright’s behalf and it continues through many extensions, objections, and replies to objections . The overall plan is to develop branches of established mathematics using abstraction principles in the form: Formula where a and b are variables of a given type , (...) Σ is a higher-order operator denoting a function from items of the given type to objects in the range of the first-order variables, and E is an equivalence relation over items of the given type. In what follows, I will sometimes omit the initial quantifiers.Frege [1884, 1893] himself employed three abstraction principles. One of them, used for illustration, comes from geometry: "The direction of l1 is identical to the direction of l2 if and only if l1 is parallel to l2."Call this the direction principle. The second was dubbed N= in [Wright, 1983] and is now called Hume’s principle: Formula where F≈G is an abbreviation of the second-order statement that there is a one-to-one relation mapping the F’s onto the G’s. In words, states that the number of F is identical to the number of G if and only if F is equinumerous with G. Unlike the direction-principle, the relevant variables, F, G here are second-order. Georg Cantor …. (shrink)

The article is part of a symposium on Hartry Field’s “Saving truth from paradox”. The book is one of the most significant intellectual achievements of the past decades, but it is not clear what, exactly, it accomplishes. I explore some alternatives, relating the developed view to the intuitive, pre-theoretic notion of truth.

In this paper, I use the cases of intuitionistic arithmetic with Church’s thesis, intuitionistic analysis, and smooth infinitesimal analysis to argue for a sort of pluralism or relativism about logic. The thesis is that logic is relative to a structure. There are classical structures, intuitionistic structures, and (possibly) paraconsistent structures. Each such structure is a legitimate branch of mathematics, and there does not seem to be an interesting logic that is common to all of them. One main theme of my (...) ante rem structuralism is that any coherent axiomatization describes a structure, or a class of structures. If one weakens the logic, then more axiomatizations become coherent. (shrink)

Rejecting structural contraction has been proposed as a strategy for escaping semantic paradoxes. The challenge for its advocates has been to make intuitive sense of how contraction might fail. I offer a way of doing so, based on a “naive” interpretation of the relation between structure and logical vocabulary in a sequent proof system. The naive interpretation of structure motivates the most common way of blaming Curry-style paradoxes on illicit contraction. By contrast, the naive interpretation will not as easily motivate (...) one recent noncontractive approach to the Liar paradox. (shrink)

The aim of this paper is to point out the limitations of Hybrid Modal Realism as a general theory of modalities, i.e. one that gives an analysis of possibilities as well as impossibilities. To do so we will firstly sketch the goals that theories of impossible worlds should achieve. Secondly we will briefly present the two most popular accounts of impossibilities—Extended Modal Realism and Extended Ersatzism. We will focus on the aspects of both theories which became the motivation for a (...) hybrid view. In the last part of this paper we will analyze Francesco Berto’s Hybrid Modal Realism and present reasons why this account is an insufficient tool for analyzing impossibilities. (shrink)

Josiah Royce (1855?1916) was, in addition to being the pre-eminent metaphysician at the turn of the 19th century in the USA, regarded as ?a logician of the first rank?. At the time of his death in 1916, he had begun a substantial and potentially revolutionary project in logic in which he sought to show the connection between logic and ethics, aesthetics, and metaphysics. His system was developed in light of the work of Bertrand Russell and A. B. Kempe and aimed (...) to include Russell's logic as a subsystem. This more comprehensive logic, which Royce called system Σ, brought together an analysis of the character of experience and knowledge with the principles which served to organize interests and direct actions. The result was to be a logical theory framed by ?a profoundly ethical motive as well as a genuinely intellectual one? that would serve as ?a theory of the way in which activities must go on if they go on at all?. This paper examines three stages in the development of Royce's logical system, its relation to the logic of Principia Mathematica, and prospects for its further development. (shrink)

Although there has been a recent swell of interest in theories of truth that attempt solutions to the liar paradox and the other paradoxes affecting our concept of truth, many of these theories have been criticized for generating new paradoxes, called revenge paradoxes. The criticism is that the theories of truth in question are inadequate because they only work for languages lacking in the resources to generate revenge paradoxes. Theorists facing these objections offer a range of replies, and the matter (...) seems now to be at a standoff. I aim, first, to bolster the revenge objections by considering a relation, internalizability, between languages and theories of truth. A theory of truth is internalizable for a language iff there is an extension of that language in which the theory is expressible and for which the theory provides an accurate and complete assignment of semantic values. There are good reasons to think that acceptable theories of truth are internalizable for any language. With this internalizability requirement in hand, I argue that properly formulated revenge objections are decisive and that the replies to them are inadequate. Second, I show that the internalizability requirement can be met by a certain theory of truth. The central claim of this theory is that truth is an inconsistent concept and should be replaced with a pair of consistent concepts that can then be used to provide a semantics for our truth predicates. This theory is compatible with classical logic, does not give rise to revenge paradoxes of any kind, and satisfies the internalizability requirement. (shrink)

Of the dozens of purported solutions to the liar paradox published in the past fifty years, the vast majority are "traditional" in the sense that they reject one of the premises or inference rules that are used to derive the paradoxical conclusion. Over the years, however, several philosophers have developed an alternative to the traditional approaches; according to them, our very competence with the concept of truth leads us to accept that the reasoning used to derive the paradox is sound. (...) That is, our conceptual competence leads us into inconsistency. I call this alternative the inconsistency approach to the liar. Although this approach has many positive features, I argue that several of the well-developed versions of it that have appeared recently are unacceptable. In particular, they do not recognize that if truth is an inconsistent concept, then we should replace it with new concepts that do the work of truth without giving rise to paradoxes. I outline an inconsistency approach to the liar paradox that satisfies this condition. (shrink)

The paper discusses whether there are strictly inexpressible properties. Three main points are argued for: (i) Two different senses of ‘predicate t expresses property p ’ should be distinguished. (ii) The property of being a predicate that does not apply to itself is inexpressible in one of the senses of ‘express’, but not in the other. (iii) Since the said property is related to Grelling’s Antinomy, it is further argued that the antinomy does not imply the non-existence of that property.

(No abstract is available for this citation).

What is the property of being true like? To answer this question, begin with a Canberra-plan analysis of the concept of truth. That is, assemble the platitudes for the concept of truth, and then investigate which property might satisfy them. This project is aided by Friedman and Sheard’s groundbreaking analysis of twelve logical platitudes for truth. It turns out that, because of the paradoxes like the liar, the platitudes for the concept of truth are inconsistent. Moreover, there are so many (...) distinct paradoxes that only small subsets of platitudes for truth are consistent. The result is that there is no property of being true. The failure of the Canberra plan analysis of the concept of truth, points the way toward a new methodology: a conceptual engineering project for the concept of truth. Conceptual engineering is assessing the quality of our concepts, and when they are found defective, offering new and better concepts to replace them for certain purposes. Still, there are many aletheic properties, which are properties satisfied by reasonably large subsets of platitudes for the concept of truth. We can treat these aletheic properties as a guide to the multitude of new aletheic concepts, which are concepts similar to, but distinct from, the concept of truth. Any new aletheic concept or team of concepts might be called on to replace the concept of truth. In particular, the concepts of ascending truth and descending truth are recommended, but the most important point is that we need a full-scale investigation into the space of aletheic properties and new aletheic concepts—that is, we need an Aletheic Principles Project. (shrink)

In the paper two seemingly distinct areas of philosophical investigations are brought together: metaphor and dialetheism. They both turn out to be deeply related, which becomes visible against a background, i.e. the hybrid structure of metaphor delineated in the first part. This network elicits three variations of dissonance subsequently called: (1) phantom-contradiction, which is combined with unconventionality of metaphors; (2) indexed-bound contradiction, bearing some cognitive tension but no real truth value gluts and; (3) logical contradiction “spread” between the two layers (...) of metaphorical structure. Finally, the analysis allows for approaching a theoretically pending question concerning the influence of dialetheic aspects of metaphor upon human cognition and thinking in general. (shrink)

Recent work on analyticity distinguishes two kinds, metaphysical and epistemic. This paper argues that the distinction allows for a new view in the philosophy of logic according to which the claims of logic are metaphysically analytic and have distinctive modal profiles, even though their epistemology is holist and in many ways rather Quinean. It is argued that such a view combines some of the more attractive aspects of the Carnapian and Quinean approaches to logic, whilst avoiding some famous problems.

In this article, we defend that incorporating a rejection operator into a paraconsistent language involves fully specifying its inferential characteristics within the logic. To do this, we examine a recent proposal by Berto for a paraconsistent rejection, which — according to him — avoids paradox, even when introduced into a language that contains self-reference and a transparent truth predicate. We will show that this proposal is inadequate because it is too incomplete. We argue that the reason it avoids trouble is (...) that the inferential characteristics of the new operator are left unspecified, exporting the task of specifying them to metaphysicians. Additionally, we show that when completing this proposal with some plausible rules for the rejection operator, paradoxes do arise. Finally, we draw some more general implications from the study of this example. (shrink)

Ultralogic as Universal? is a seminal text in non-classcial logic. Richard Routley presents a hugely ambitious program: to use an 'ultramodal' logic as a universal key, which opens, if rightly operated, all locks. It provides a canon for reasoning in every situation, including illogical, inconsistent and paradoxical ones, realized or not, possible or not. A universal logic, Routley argues, enables us to go where no other logic—especially not classical logic—can. Routley provides an expansive and singular vision of how a universal (...) logic might one day solve major problems in set theory, arithmetic, linguistics, physics, and more. It circulated in typescript in the late 1970s before appearing as the Appendix to Exploring Meinong's Jungle and Beyond. With engaging, forceful prose, unsparing criticism of entrenched institutions, and many tantalizing proof sketches, Ultralogic? has had a major influence on the development of paraconsistent and relevant logic. This new edition makes this work available for a modern audience, newly typeset and corrected, along with extensive notes, and new commentary essays. (shrink)

Paraconsistent and dialetheist approaches to a theory of truth are faced with a problem: the expressive resources of the logic do not suffice to express that a sentence is just true—i.e., true and not also false—or to express that a sentence is consistent. In his recent book, Spandrels of Truth, Jc Beall proposes a ‘just true’-operator to identify sentences that are true and not also false. Beall suggests seven principles that a ‘just true’-operator must fulfill, and proves that his operator (...) indeed fulfills all of them. He concludes that just true has been expressed in the language. I argue that, while the seven conditions may be necessary for an operator to express just true, they are not jointly sufficient. Specifically, first, I prove that a further plausible desideratum for necessary conditions on ‘just true’ is not fulfilled by Beall's proposal, namely that ‘just true’ ascriptions should themselves be just true, and not also false (or equivalently, that the ‘just true’-operator iterates). Second, I show that Beall's operator does not adequately express just true, but that it merely captures an arbitrary proper subset of the just true sentences. Further, there is no prospect of extending the proposal in order to encompass a more reasonable subset of the just true sentences without presupposing that we have antecedent means to characterize the class of just true sentences. (shrink)

The goal of the paper is to discuss whether substructural non-contractive accounts of the truth-theoretic paradoxes can be philosophically motivated. First, I consider a number of explanations that have been offered to justify the failure of contraction and I argue that they are not entirely compelling. I then present a non-contractive theory of truth that I’ve proposed elsewhere. After looking at some of its formal properties, I suggest an explanation of the failure of structural contraction that is compatible with it.

According to Ole Hjortland, Timothy Williamson, Graham Priest, and others, anti-exceptionalism about logic is the view that logic “isn’t special”, but is continuous with the sciences. Logic is revisable, and its truths are neither analytic nor a priori. And logical theories are revised on the same grounds as scientific theories are. What isn’t special, we argue, is anti-exceptionalism about logic. Anti-exceptionalists disagree with one another regarding what logic and, indeed, anti-exceptionalism are, and they are at odds with naturalist philosophers of (...) logic, who may have seemed like natural allies. Moreover, those internal battles concern well-trodden philosophical issues, and there is no hint as to how they are to be resolved on broadly scientific grounds. We close by looking at three of the founders of logic who may have seemed like obvious enemies of anti-exceptionalism—Aristotle, Frege, and Carnap—and conclude that none of their positions is clearly at odds with at least some of the main themes of anti-exceptionalism. We submit that, at least at present, anti-exceptionalism is too vague or underspecified to characterize a coherent conception of logic, one that stands opposed to more traditional approaches. (shrink)

The idea of classical recapture has played a prominent role for non-classical logicians. In the specific case of non-classical theories of truth, although we know that it is not possible to retain classical logic for every statement involving the truth predicate, it is clear that for many such statements this is in principle feasible, and even desirable. What is not entirely obvious or well-known is how far this idea can be pushed. Can the non-classical theorist retain classical logic for every (...) non-paradoxical statement? If not, is she forced to settle for a very weak form of Classical Recapture, or are there robust versions of classical recapture available to her? These are the main questions that I will address in this paper. As a test case I will consider a paracomplete account of the truth-theoretic paradoxes and I will argue for two claims. First, that it is not possible to retain the law of excluded middle for every non-paradoxical statement. Secondly, that there are no robust versions of classical recapture available to the paracomplete logician. (shrink)

In Heck, Richard Heck presents variants on the familiar liar paradox, intended to reveal limitations of theories of transparent truth. But all existing theories of transparent truth can respond to Heck's variants in just the same way they respond to the liar. These new variants thus put no new pressure on theories of transparent truth.

Graham Priest defends the use of a nonmonotonic logic, LPm, in his analysis of reasoning in the face of true contradictions, such as those arising from the paradoxes of self-reference. In the course of defending this choice of logic in the face of the criticism that this logic is not truth preserving, Priest argued that requirement is too much to ask: since LPm is a nonmonotonic logic, it necessarily fails to preserve truth. In this article, I show that this assumption (...) is incorrect, and I explain why nonmonotonic logics can nonetheless be truth preserving. Finally, I diagnose Priest's error, to explain when nonmonotonic logics do indeed fail to preserve truth. (shrink)

The paradoxes of self reference have to be dealt with by anyone seeking to give a satisfactory account of the logic of truth, of properties, and even of sets of numbers. Unfortunately, there is no widespread agreement as to how to deal with these paradoxes. Some approaches block the paradoxical inferences by rejecting as invalid a move that classical logic counts as valid. In the recent literature, this deviant logic analysis of the paradoxes has been called into question.This disagreement motivates (...) a re-examination of the philosophy of formal logic and the status of logical truths and rules. In this paper I do some of this work, and I show that this gives us the means to defend the deviant approaches against such criticisms. As a result I hope to show that these analyses of the paradoxes are worthy of more serious consideration than they have so far received. (shrink)

Tato stať je zamýšlena jako úvod do spojité problematiky explikace pravdivosti a sémantic-kých paradoxů, které onu explikaci pronásledují. Tyto paradoxy jsou viděny jako prostředek ukázání, že nedostatečně promyšlená explikace našeho pojmu pravdivosti (významu pravdi-vostního predikátu) je explikací nevyhovující. Poté jsou předvedeny rysy obou klasických přístupů, Russellovy teorie typů a Tarského hierarchie metajazyků. Nakonec jsou podány zá-kladní ideje hlavních názorových škol, které přišly poté.

It is known that a semantically closed theory with description may well be trivial if the principles concerning denotation and descriptions are formulated in certain ways, even if the underlying logic is paraconsistent. This paper establishes the nontriviality of a semantically closed theory with a natural, but non-extensional, description operator.

This paper articulates Sylvan's theory of mathematical objects as non-existent, by improving (arguably) his treatment of the Characterisation Postulate. It then defends the theory against a number of natural objections, including one according to which the account is just platonism in disguise.

A motivation behind one kind of logical pluralism is the thought that there are different kinds of objects, and that reasoning about situations involving these different kinds requires different kinds of logics. Given this picture, a natural question arises: what kind of logical apparatus is appropriate for situations which concern more than one kind of objects, such as may arise, for example, when considering the interactions between the different kinds? The paper articulates an answer to this question, deploying the methodology (...) of Chunk and Permeate, developed in a different context by Brown and Priest (J Philos Log 33:379–388, 2004). (shrink)

The paper concerns interpretations of the paraconsistent logic LP which model theories properly containing all the sentences of first order arithmetic. The paper demonstrates the existence of such models and provides a complete taxonomy of the finite ones.

_ Source: _Volume 95, Issue 3, pp 368 - 413 Frege famously maintained that concepts are not objects. A key argument of Frege’s for this view is, in outline, as follows: if we are to account for the unity of thought, concepts must be deemed _unsaturated_; since objects are, by contrast, saturated entities, concepts cannot be objects. The author investigates what can be made of this argument and, in particular, of the unsaturated/saturated distinction it invokes. Systematically exploring a range of (...) reconstructions suggested by Frege’s writings, and drawing on contemporary work, the author illustrates that no plausible reconstruction is forthcoming. In essence, it is altogether unclear how to simultaneously substantiate, on the one hand, the claim that unsaturated entities must be recognized in order to account for unity and, on the other, the claim that unsaturatedness is incompatible with objecthood. (shrink)

In ?Definability and the Structure of Logical Paradoxes? (Australasian Journal of Philosophy, this issue) Haixia Zhong takes issue with an account of the paradoxes of self-reference to be found in Beyond the Limits of Thought [Priest 1995. The point of this note is to explain why the critique does not succeed. The criterion for distinguishing between the set-theoretic and the semantic paradoxes offered does not get the division right; the semantic paradoxes are not given a uniform solution; no reason is (...) provided as to why the naïve denotation relation is ?indefinite? (other than that its definiteness leads to contradiction); and the account of the denotation relation given clearly misses the mark, even by consistent standards. (shrink)

This is a brief comment on Restall concerning my use of nonmontonic logics.

In this paper, I investigate the prospects for using the distinction between rejection and denial to resolve Saul Kripke’s puzzle about belief. One puzzle Kripke presents in A Puzzle About Belief poses what would have seemed a fairly straightforward question about the beliefs of the bilingual Pierre, who is disposed to sincerely and reflectively assent to the French sentence Londres est jolie, but not to the English sentence London is pretty, both of which he understands perfectly well. The question to (...) be answered is whether Pierre believes that London is pretty, and Kripke argues, of each answer, that it is unacceptable. On my proposal, either answer to the question is to be rejected, but neither answer is to be denied, using the resource of partially-defined predicates. After demonstrating how this serves as a solution to the puzzle, I illustrate some philosophical motivations—independent of Kripke’s puzzle —for adopting a view on which belief is a partially defined predicate. I conclude that there are decent prospects for the proposed response to Kripke’s puzzle. (shrink)