From García-Carpintero and Kölbel, eds, Relative Truth.

In this ingenious and powerfully argued book Tim Maudlin sets out a novel account of logic and semantics which allows him to deal with certain notorious paradoxes which have bedevilled philosophical theories of truth. All philosophers interested in logic and language will find this a stimulating read.

Davidson attacks the intelligibility of conceptual relativism, i.e. of truth relative to a conceptual scheme. He defines the notion of a conceptual scheme as something ordering, organizing, and rendering intelligible empirical content, and calls the position that employs both notions scheme-content dualism. He argues that such dualism is untenable since: not only can we not parcel out empirical content sentence per sentence but also the notion of uninterpreted content to which several schemes are relative, and the related notion of a (...) theory ”fitting the evidence’, can be shown to lack intelligibility too. Davidson argues further that belief in incommensurable schemes or non-intertranslatable languages is possible only on violating a correct understanding of interpretability : if we succeed in interpreting someone else then we have shown there is no need to speak of two conceptual schemes, while if we fail ”there is no ground for speaking of two.’. (shrink)

The Liar paradox is the directly self-referential Liar statement: This statement is false.or : " Λ: ∼ T 1" The argument that proceeds from the Liar statement and the relevant instance of the T-schema: " T ↔ Λ" to a contradiction is familiar. In recent years, a number of variations on the Liar paradox have arisen in the literature on semantic paradox. The two that will concern us here are the Curry paradox, 2 and the Yablo paradox. 3The Curry paradox (...) demonstrates that neither negation nor a falsity predicate is required in order to generate semantic paradoxes. Given any statement Φ whatsoever, we need merely consider the statement: If this statement is true, then Φor: " Ξ: T → Φ" Here, via familiar reasoning, one can ‘prove’ Φ merely through consideration of statement Ξ and the Ξ-instance of the T-schema.Interestingly, the Liar paradox can be viewed as nothing more than a special case of the Curry paradox. If we define negation in terms of the conditional and a primitive absurdity constant ‘⊥’: 4" ∼ Ψ = df Ψ → ⊥" then the Liar paradox is simply the instance of the Curry paradox obtained by substituting ‘⊥’ for Φ.The Yablo paradox demonstrates that circularity is also not required in order to generate semantic paradox. 5 The paradox proceeds by considering an infinite ω-sequence of statements of the form: S 1: ) S 2: ) S 3: ) : : : : : S i: ) : : : : : :– that is, the set of …. (shrink)

Cappelen and Hawthorne present a powerful critique of fashionable relativist accounts of truth, and the foundational ideas in semantics on which the new relativism draws. They argue compellingly that the contents of thought and talk are propositions that instantiate the fundamental monadic properties of truth and falsity.

The beginning of the twenty-first century saw something of a comeback for relativism within analytical philosophy. Relativism and Monadic Truth has three main goals. First, we wished to clarify what we take to be the key moving parts in the intellectual machinations of self-described relativists. Secondly, we aimed to expose fundamental flaws in those argumentative strategies that drive the pro-relativist movement and precursors from which they draw inspiration. Thirdly, we hoped that our polemic would serve as an indirect defence of (...) a traditional and natural picture concerning truth. According to this picture, what we call ‘Simplicity’, the fundamental structure of semantic reality is best revealed by construing truth as a simple monadic property of propositions that serve as the objects of belief, assertion, meaning and agreement. Our project was not a straightforward one. So-called relativists are not uniform in their key ideology, are often sloppy, casual, obscure or confused in their self-characterization, and differ in their argumentative emphasis among themselves and over time, thereby presenting a target that is both amorphous and shifty. This is an area where parties will frequently claim not to understand each other and where certain parties will sometimes accuse others of failing to make any sense at all. In such a situation, any effort to impose order will inevitably strike some parties as tendentious and unfair. That said, we felt that we had enough of …. (shrink)

We give a precis of our book Insensitive Semantics.

This volume reprints a dozen of the author’s papers, most with substantial postscripts, and adds one new one. The bulk of the material is on topics in philosophy of language, but there are also two papers on philosophy of mathematics written after the appearance of the author’s collected papers on that subject, and one on epistemology. As to the substance of Field’s contributions, limitations of space preclude doing much more below than indicating the range of issues addressed, and the general (...) orientation taken towards them. As to the style of his writing, it well exhibits the first of the two virtues, clarity and conciseness, that one looks for in philosophical prose. (shrink)

Quine correctly argues that Carnap's distinction between internal and external questions rests on a distinction between analytic and synthetic, which Quine rejects. I argue that Quine needs something like Carnap's distinction to enable him to explain the obviousness of elementary mathematics, while at the same time continuing to maintain as he does that the ultimate ground for holding mathematics to be a body of truths lies in the contribution that mathematics makes to our overall scientific theory of the world. Quine's (...) arguments against the analytic/synthetic distinction, even if fully accepted, still leave room for a notion of pragmatic analyticity sufficient for the indicated purpose. (shrink)

A stellar line-up of leading philosophers from around the world offer new treatments of a topic which has long been central to philosophical debate, and in ...

The paper asks under what conditions deductive reasoning transmits justification from its premises to its conclusion. It argues that both standard externalist and standard internalist accounts of this phenomenon fail. The nature of this failure is taken to indicate the way forward: basic forms of deductive reasoning must justify by being instances of 'blind but blameless' reasoning. Finally, the paper explores the suggestion that an inferentialist account of the logical constants can help explain how such reasoning is possible.

Jason Stanley presents a startling and provocative claim about knowledge: that whether or not someone knows a proposition at a given time is in part determined by his or her practical interests, i.e. by how much is at stake for that person at that time. In defending this thesis, Stanley introduces readers to a number of strategies for resolving philosophical paradox, making the book essential not just for specialists in epistemology but for all philosophers interested in philosophical methodology. Since a (...) number of his strategies appeal to linguistic evidence, it will be of great interest to linguists as well. (shrink)

Models are of central importance in many scientific contexts. The centrality of models such as inflationary models in cosmology, general-circulation models of the global climate, the double-helix model of DNA, evolutionary models in biology, agent-based models in the social sciences, and general-equilibrium models of markets in their respective domains is a case in point (the Other Internet Resources section at the end of this entry contains links to online resources that discuss these models). Scientists spend significant amounts of time building, (...) testing, comparing, and revising models, and much journal space is dedicated to interpreting and discussing the implications of models. In short, models are one of the principal instruments of modern science. (shrink)

Recent years have seen an explosion of interest in the semantics of knowledge-attributing sentences, not just among epistemologists but among philosophers of language seeking a general understanding of linguistic context sensitivity. Despite all this critical attention, however, we are as far from consensus as ever. If we have learned anything, it is that each of the standard views—invariantism, contextualism, and sensitive invariantism—has its Achilles’ heel: a residuum of facts about our use of knowledge attributions that it can explain only with (...) special pleading. This is not surprising if, as I will argue, there is a grain of truth in each of these views. (shrink)

Paul Boghossian defends a meaning‐based approach to the apriority of the propositions of logic. His model is based on the idea that the logical constants are implicitly defined by some of the axioms and inference rules in which they are involved, thereby offering an alternative to those theories that deny that grasp of meaning can contribute to the explanation of a thinker's entitlement to a particular type of transition or belief.

Dialetheism is the view that some contradictions are true. This is a view which runs against orthodoxy in logic and metaphysics since Aristotle, and has implications for many of the core notions of philosophy. Doubt Truth to Be a Liar explores these implications for truth, rationality, negation, and the nature of logic, and develops further the defense of dialetheism first mounted in Priest's In Contradiction, a second edition of which is also available.

Attempts to clarify some issues about the use of hidden arguments to predicates of personal taste, and motivate an analysis which does not make use of such arguments.

In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...

Willard Van Orman Quine begins this influential work by declaring, "Language is asocial art.

A collection of all but two of the author's philosophical essays and lectures originally published or presented before August 1976.

This is the first elementary book to employ the concept of infinitesimals.

The paper criticizes epistemological conceptions of analytic or conceptual truth, on which assent to such truths is a necessary condition of understanding them. The critique involves no Quinean scepticism about meaning. Rather, even granted that a paradigmatic candidate for analyticity is synonymy with a logical truth, both the former and the latter can be intelligibly doubted by linguistically competent deviant logicians, who, although mistaken, still constitute counterexamples to the claim that assent is necessary for understanding. There are no analytic or (...) conceptual truths in the epistemological sense. The critique is extended to purportedly analytic inference rules. An alternative account is sketched on which understanding a word is a matter of participation in a linguistic practice, while synonymy and concept identity consist in sameness of truth-conditional semantic properties. Although there are philosophical questions about concepts, the idea that philosophical questions in general are conceptual questions generates only an illusion of insight into philosophical methodology. (shrink)

The paper challenges the inferentialist account of concept possession that Paul Boghossian takes as a premise in his account of the transmission of justification by deductive reasoning in his paper 'Blind Reasoning'. Unorthodox speakers who reject the inferences in an alleged possession condition can still have the concept by understanding a word for it. In that sense, the inferences are not analytic. Inferentialist accounts of logical constants, theoretical terms (using the Ramsey-Carnap-Lewis method) and pejorative expressions such as 'Boche' are examined (...) and rejected. It is suggested that epistemological questions cannot be reduced to questions in the theory of thought and meaning. (shrink)

The paper criticizes epistemological conceptions of analytic or conceptual truth, on which assent to such truths is a necessary condition of understanding them. The critique involves no Quinean scepticism about meaning. Rather, even granted that a paradigmatic candidate for analyticity is synonymy with a logical truth, both the former and the latter can be intelligibly doubted by linguistically competent deviant logicians, who, although mistaken, still constitute counterexamples to the claim that assent is necessary for understanding. There are no analytic or (...) conceptual truths in the epistemological sense. The critique is extended to purportedly analytic inference rules. An alternative account is sketched on which understanding a word is a matter of participation in a linguistic practice, while synonymy and concept identity consist in sameness of truth-conditional semantic properties. Although there are philosophical questions about concepts, the idea that philosophical questions in general are conceptual questions generates only an illusion of insight into philosophical methodology. (shrink)

[Paul Boghossian] The paper asks under what conditions deductive reasoning transmits justification from its premises to its conclusion. It argues that both standard externalist and standard internalist accounts of this phenomenon fail. The nature of this failure is taken to indicate the way forward: basic forms of deductive reasoning must justify by being instances of ’blind but blameless’ reasoning. Finally, the paper explores the suggestion that an inferentialist account of the logical constants can help explain how such reasoning is possible. (...) /// [Timothy Williamson] The paper challenges the inferentialist account of concept possession that Paul Boghossian takes as a premise in his account of the transmission of justification by deductive reasoning in his paper ’Blind Reasoning’. Unorthodox speakers who reject the inferences in an alleged possession condition can still have the concept by understanding a word for it. In that sense, the inferences are not analytic. Inferentialist accounts of logical constants, theoretical terms (using the Ramsey-Carnap-Lewis method) and pejorative expressions such as ’Boche’ are examined and rejected. It is suggested that epistemological questions cannot be reduced to questions in the theory of thought and meaning. (shrink)

We investigate axiomatizations of Kripke's theory of truth based on the Strong Kleene evaluation scheme for treating sentences lacking a truth value. Feferman's axiomatization KF formulated in classical logic is an indirect approach, because it is not sound with respect to Kripke's semantics in the straightforward sense: only the sentences that can be proved to be true in KF are valid in Kripke's partial models. Reinhardt proposed to focus just on the sentences that can be proved to be true in (...) KF and conjectured that the detour through classical logic in KF is dispensable. We refute Reinhardt's Conjecture, and provide a direct axiomatization PKF of Kripke's theory in partial logic. We argue that any natural axiomatization of Kripke's theory in Strong Kleene logic has the same proof-theoretic strength as PKF, namely the strength of the system RA< ωω ramified analysis or a system of Tarskian ramified truth up to ωω. Thus any such axiomatization is much weaker than Feferman's axiomatization KF in classical logic, which is equivalent to the system RA<ε₀ of ramified analysis up to ε₀. (shrink)

I examine Paul Boghossian's recent attempt to argue for scepticism about logical rules. I argue that certain rule- and proof-theoretic considerations can avert such scepticism. Boghossian's 'Tonk Argument' seeks to justify the rule of tonk-introduction by using the rule itself. The argument is subjected here to more detailed proof-theoretic scrutiny than Boghossian undertook. Its sole axiom, the so-called Meaning Postulate for tonk, is shown to be false or devoid of content. It is also shown that the rules of Disquotation and (...) of Semantic Ascent cannot be derived for sentences with tonk dominant. These considerations deprive Boghossian's scepticism of its support. (shrink)

I examine Paul Boghossian's recent attempt to argue for scepticism about logical rules. I argue that certain rule- and proof-theoretic considerations can avert such scepticism. Boghossian's 'Tonk Argument' seeks to justify the rule of tonk-introduction by using the rule itself. The argument is subjected here to more detailed proof-theoretic scrutiny than Boghossian undertook. Its sole axiom, the so-called Meaning Postulate for tonk, is shown to be false or devoid of content. It is also shown that the rules of Disquotation and (...) of Semantic Ascent cannot be derived for sentences with tonk dominant. These considerations deprive Boghossian's scepticism of its support. (shrink)

Jason Stanley's "Knowledge and Practical Interests" is a brilliant book, combining insights about knowledge with a careful examination of how recent views in epistemology fit with the best of recent linguistic semantics. Although I am largely convinced by Stanley's objections to epistemic contextualism, I will try in what follows to formulate a version that might have some prospect of escaping his powerful critique.

This is a defense and extension of Stephen Yablo's claim that self-reference is completely inessential to the liar paradox. An infinite sequence of sentences of the form 'None of these subsequent sentences are true' generates the same instability in assigning truth values. I argue Yablo's technique of substituting infinity for self-reference applies to all so-called 'self-referential' paradoxes. A representative sample is provided which includes counterparts of the preface paradox, Pseudo-Scotus's validity paradox, the Knower, and other enigmas of the genre. I (...) rebut objections that Yablo's paradox is not a genuine liar by constructing a sequence of liars that blend into Yablo's paradox. I rebut objections that Yablo's liar has hidden self-reference with a distinction between attributive and referential self-reference and appeals to Gregory Chaitin's algorithmic information theory. The paper concludes with comments on the mystique of self-reference. (shrink)

Part one attempts to diffuse five different forms of truth skepticism, broadly conceived: the view that truth is indefinable, that it is unknowable, that it is inextricably metaphysical, that there is no such thing as truth, and the view that truth is inherently paradoxical, and so must either be abandoned, or revised. An intriguing formulation of the last of these views is due to Alfred Tarski, who argued that the Liar paradox shows natural languages to be inconsistent because they contain (...) defective, and ultimately incoherent, truth predicates. I argue in response that on a plausible interpretation of his puzzling notion of an inconsistent language, Tarski’s argument turns out to be logically valid, but almost certainly unsound, since one of its premises can be seen to be indefensible. Similar results are achieved for other forms of truth skepticism. (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 essay proposes a theory of the nature and logic of truth on which truth is an inconsistent concept that should be replaced for certain theoretical purposes. The paradoxes associated with truth (for example, the liar) and the pattern of failures in our attempts to deal with them suggest that truth is an inconsistent concept. The first part of the essay describes a pair of replacement concepts, which the essay dubs ascending truth and descending truth, along with an axiomatic theory (...) of them and an empirical interpretation of the theory. The essay shows how to use these replacements in a familiar truth-conditional semantics as well. The second part of the essay offers a descriptive theory of our natural language truth predicate that takes it to be assessment sensitive, which means that it has the same content in every context of utterance, but its extension (that is, the set of things that are true) depends on a context of assessment. Contexts of assessment model situations in which a person interprets someone's utterance. From different contexts of assessment, the truth predicate has different extensions. The descriptive theory employs the concepts of ascending truth and descending truth, and they determine how the extension of the truth predicate varies across contexts of assessment. This assessment-sensitive theory of truth solves the liar and other paradoxes, it is compatible with classical logic and all the expressive resources we have in natural language, and it does not give rise to any new paradoxes. (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)