A number of theorists hold that literal, linguistic meaning is determined by the cognitive mechanism that underpins semantic competence. Borg and Larson and Segal defend a version of the view on which semantic competence is underpinned by the cognition of a truth-conditional semantic theory—a semantic theory which is true. Let us call this view the “cognitivist account of meaning”. In this paper, I discuss a surprisingly serious difficulty that the cognitivist account of meaning faces in light of the liar paradox. (...) I raise an argument to the effect that, in light of linguistic evidence concerning the liar paradox, the cognised semantic theory is inconsistent. This contradicts the cognitivist account. I consider a range of possible responses to the difficulty, raising problems for each. The liar paradox poses a serious difficulty to the cognitivist account of meaning, and it is unclear whether the difficulty can be resolved. (shrink)

Some have argued that the possibility of faultless disagreement gives relativist semantic theories an important explanatory advantage over their absolutist and contextualist rivals. Here I combat this argument, focusing on the specific case of aesthetic discourse. My argument has two stages. First, I argue that while relativists may be able to account for the possibility of faultless aesthetic disagreement, they nevertheless face difficulty in accounting for the intuitive limits of faultless disagreement. Second, I develop a new non-relativist theory which can (...) account for the full range of data regarding faultless disagreement. This view—‘Humean Absolutism’—integrates two of Hume’s central principles from Of the Standard of Taste into a truth-conditional framework, resulting in a non-bivalent theory of aesthetic truth. I argue that Humean Absolutism can underwrite the possibility of faultless disagreement whilst retaining reasonable limits around the phenomenon. I close by relating this positive account of faultless disagreement to broader issues concerning the cognitive role of truth-value gaps. -/- *NB - this is an unpublished paper and is no longer in progress.*. (shrink)

This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends classical (...) logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered. (shrink)

*Note that this project is now being developed in joint work with Rich Woodward* -/- Some things are left open by a work of fiction. What colour were the hero’s eyes? How many hairs are on her head? Did the hero get shot in the final scene, or did the jailor complete his journey to redemption and shoot into the air? Are the ghosts that appear real, or a delusion? Where fictions are open or incomplete in this way, we can (...) ask what attitudes it’s appropriate (or permissible) to take to the propositions in question, in engaging with the fiction. In Mimesis as Make-Believe (henceforth, MMB), Walton argues that just as truth norms belief, truth-in-fiction norms imagination. Granting that what is true-in-the-fiction should be imagined, and what is false-in-the-fiction is not to be imagined, there remains the question of what to say within the Waltonian framework about things that are neither true- nor false-in-the-fiction---the loci of incompleteness. (shrink)

Hartry Field's revised logic for the theory of truth in his new book, Saving Truth from Paradox , seeking to preserve Tarski's T-scheme, does not admit a full theory of negation. In response, Crispin Wright proposed that the negation of a proposition is the proposition saying that some proposition inconsistent with the first is true. For this to work, we have to show that this proposition is entailed by any proposition incompatible with the first, that is, that it is the (...) weakest proposition incompatible with the proposition whose negation it should be. To show that his proposal gave a full intuitionist theory of negation, Wright appealed to two principles, about incompatibility and entailment, and using them Field formulated a paradox of validity (or more precisely, of inconsistency). The medieval mathematician, theologian and logician, Thomas Bradwardine, writing in the fourteenth century, proposed a solution to the paradoxes of truth which does not require any revision of logic. The key principle behind Bradwardine's solution is a pluralist doctrine of meaning, or signification, that propositions can mean more than they explicitly say. In particular, he proposed that signification is closed under entailment. In light of this, Bradwardine revised the truth-rules, in particular, refining the T-scheme, so that a proposition is true only if everything that it signifies obtains. Thereby, he was able to show that any proposition which signifies that it itself is false, also signifies that it is true, and consequently is false and not true. I show that Bradwardine's solution is also able to deal with Field's paradox and others of a similar nature. Hence Field's logical revisions are unnecessary to save truth from paradox. (shrink)

In discussions of Fitch’s paradox, it is usually assumed without further argument that knowledge is factive, that if a subject knows that p, then p is true. It is argued that this common assumption is not as well-founded as it should be, and that there in fact are certain reasons to be suspicious of the unrestricted version of the factiveness claim. There are two kinds of reason for this suspicion. One is that unrestricted factiveness leads to paradoxes and unexpected results, (...) the other is that the usual arguments for factiveness are not as compelling as is commonly thought. There may in fact be some kinds of contexts, where factiveness doesn’t hold for knowledge—the usual arguments for factiveness don’t suffice to support the claim that knowledge is unrestrictedly factive. Perhaps all that can be shown is that knowledge is at times factive, or that it is default factive, as it were: this doesn’t show that there can’t be counterexamples, however. Certain aspects of knowledge without unrestricted factiveness are examined briefly. (shrink)

A historically popular response to the liar paradox (“this sentence is false”) is to say that the liar sentence is meaningless (or semantically defective, or malfunctions, or…). Unfortunately, like all other supposed solutions to the liar, this approach faces a revenge challenge. Consider the revenge liar sentence, “this sentence is either meaningless or false”. If it is true, then it is either meaningless or false, so not true. And if it is not true, then it can’t be either meaningless or (...) false, so it must be true. Either way, we are back in a paradox. This paper provides a detailed and exhaustive discussion of the options for responding to revenge on behalf of “meaningless” theories. Though I attempt to discuss all of the options fairly, I will ultimately opt for one specific response and discuss some of its challenges. Various technical and logical matters will be discussed throughout the paper, but my focus will be philosophical, throughout. My overall conclusion is that the “meaningless” strategy is at least as well off in the face of revenge as any other approach to the liar and related paradoxes. (shrink)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

The general thesis of this paper is that metasemantic theories can play a central role in determining the correct solution to the liar paradox. I argue for the thesis by providing a specific example. I show how Lewis’s reference-magnetic metasemantic theory may decide between two of the most influential solutions to the liar paradox: Kripke’s minimal fixed point theory of truth and Gupta and Belnap’s revision theory of truth. In particular, I suggest that Lewis’s metasemantic theory favours Kripke’s solution to (...) the paradox over Gupta and Belnap’s. I then sketch how other standard criteria for assessing solutions to the liar paradox, such as whether a solution faces a so-called revenge paradox, fit into this picture. While the discussion of the specific example is itself important, the underlying lesson is that we have an unused strategy for resolving one of the hardest problems in philosophy. (shrink)

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...) of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

Scholastic and analytic definitions of semantic paradoxes, in terms of groundlessness, circularity, and semantic pathology, are introduced and compared with each other. The fundamental intuitions used in these definitions are the concepts of being true about extralinguistic reality, of making statements about one’s self, and of compatibility with an underlying semantic theory. The three approaches—the groundlessness view, the circularity view, and the semantic pathology view—are shown to differ not only conceptually, but also in their applications. As both a means for (...) showing these differences and as an adequacytest, the so-called two-line puzzles are used, which allows one to address the possibility of making non-paradoxical statements about paradoxical sentences within the same language. (shrink)

There is a standard objection against purported explanations of how a language L can express the notion of being a true sentence of L. According to this objection, such explanations avoid one paradox (the Liar) only to succumb to another of the same kind. Even if L can contain its own truth predicate, we can identify another notion it cannot express, on pain of contradiction via Liar-like reasoning. This paper seeks to undermine such ‘revenge’ by arguing that it presupposes a (...) dubious assumption about the linguistic expression of concepts. Successful revenge would require that there be a notion other than truth that plays the same role with respect to concept-expression that truth is naturally thought to play before we are confronted with the Liar paradox. (shrink)

This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told, Truth at Work, Paradoxes of Truth and Denotation and Axiomatic Theories of Truth. Studying the nature of (...) the concept of ‘truth’ has always been a core role of philosophy, but recent years have been a boom time in the topic. With a wealth of recent conferences examining the subject from various angles, this collection of essays recognizes the pressing need for a volume that brings scholars up to date on the arguments. Offering academics and graduate students alike a much-needed repository of today’s cutting-edge work in this vital topic of philosophy, the volume is required reading for anyone needing to keep abreast of developments, and is certain to act as a catalyst for further innovation and research. (shrink)

In this paper, we offer a brief, critical survey of contemporary work on truth. We begin by reflecting on the distinction between substantivist and deflationary truth theories. We then turn to three new kinds of truth theory—Kevin Scharp's replacement theory, John MacFarlane's relativism, and the alethic pluralism pioneered by Michael Lynch and Crispin Wright. We argue that despite their considerable differences, these theories exhibit a common "pluralizing tendency" with respect to truth. In the final section, we look at the underinvestigated (...) interface between metaphysical and formal truth theories, pointing to several promising questions that arise here. (shrink)

The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is factive, and that we can use logical/mathematical reasoning to extend our knowledge via very weak single-premise closure principles. I argue that classical logic, not any of these epistemic principles, is the culprit. I develop a consistent theory validating (...) all these principles by combining Hartry Field's theory of truth with a modal enrichment developed for a different purpose by Michael Caie. The only casualty is classical logic: the theory avoids paradox by using a weaker-than-classical K3 logic. I then assess the philosophical merits of this approach. I argue that, unlike the traditional semantic paradoxes involving extensional notions like truth, its plausibility depends on the way in which sentences are referred to--whether in natural languages via direct sentential reference, or in mathematical theories via indirect sentential reference by Gödel coding. In particular, I argue that from the perspective of natural language, my non-classical treatment of knowledge as a predicate is plausible, while from the perspective of mathematical theories, its plausibility depends on unresolved questions about the limits of our idealized deductive capacities. (shrink)

This article outlines what a formal theory of truth should be like, at least at first glance. As not all of the stated constraints can be satisfied at the same time, in view of notorious semantic paradoxes such as the Liar paradox, we consider the maximal consistent combinations of these desiderata and compare their relative advantages and disadvantages.

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All—that is, All ϕs are ψ—or Most. Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. (...) In this paper I solve the problem by showing how Kleene's strong scheme, and Kripke's theory based on it, can in a natural way be extended to accommodate the full range of generalized quantifiers. (shrink)