In her book, Real Knowing (Cornell UP, 1996), and in many articles, she argues, in opposition to many post-structuralists and pragmatists, for the preservation of a notion of truth as partly referential albeit inextricably tied to a context. Furthermore, and in connection to this, she also critiques pure proceduralism in the normative dimension, defending instead a notion of normativity that is substantive but context related, thus, not universal or absolute.

I investigate the consequences of Nietzsche's perspectivism for notions of truth and objectivity, and show how the metaphor of visual perspective motivates an epistemology that avoids self-referential difficulties. Perspectivism's claim that every view is only one view, applied to itself, is often supposed to preclude the perspectivist's ability to offer reasons for her epistemology. Nietzsche's arguments for perspectivism depend on “internal reasons”, which have force not only in their own perspective, but also within the standards of alternative perspectives. Internal reasons (...) allow a perspectivist argument against dogmatism without presupposing aperspectival criteria for theory choice. Nietzsche also offers “internal” conceptions of truth and objectivity which reduce them to a matter of meeting our epistemic standards. This view has pluralistic implications, which conflict with common sense, but it is nevertheless consistent and plausible. Nietzsche's position is similar to Putnam's recent internalism, and this is due to their common Kantian heritage. (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)

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)

I begin with an exposition of the two main variants of the Prosentential Theory of Truth (PT), those of Dorothy Grover et al. and Robert Brandom. Three main types of criticisms are then put forward: (1) material criticisms to the effect that (PT) does not adequately explain the linguistic data, (2) an objection to the effect that no variant of (PT) gives a properly unified account of the various occurrences of “true” in English, and, most importantly, (3) a charge that the (...) comparison with proforms is explanatorily idle. The last objection is that, given a complete semantic account of pronouns, proadjectives, antecedents, etc., together with a complete (PT), the essential semantic character of “true” could be deduced, but then, the idleness of the comparison with pronouns would be apparent. It turns out that objections (2) and (3) are related in the following way: the prosentential terminology is held to conceal the lack of unity in (PT), by describing the different data in the same terms (“proform”, “antecedent”, etc.). But this, I argue, is only a way of truly describing, rather than explaining, the data, these being certain relations of equivalence and consequence between sentences. I consider a language for which (PT) would be not only true, but also explanatory, but note that this language is very different from English. I end by showing that Robert Brandom’s case that “is true” is not a predicate fails, and that his motivation for saying so is based on fallacious reasoning (namely, Boghossian’s argument against deflationism). (shrink)

The first section (§1) of this essay defends reliance on truth values against those who, on nominalistic grounds, would uniformly substitute a truth predicate. I rehearse some practical, Carnapian advantages of working with truth values in logic. In the second section (§2), after introducing the key idea of auxiliary parameters (§2.1), I look at several cases in which logics involve, as part of their semantics, an extra auxiliary parameter to which truth is relativized, a parameter that caters to special kinds (...) of sentences. In many cases, this facility is said to produce truth values for sentences that on the face of it seem neither true nor false. Often enough, in this situation appeal is made to the method of supervaluations, which operate by “quantifying out” auxiliary parameters, and thereby produce something like a truth value. Logics of this kind exhibit striking differences. I first consider the role that Tarski gives to supervaluation in first order logic (§2.2), and then, after an interlude that asks whether neither-true-nor-false is itself a truth value (§2.3), I consider sentences with non-denoting terms (§2.4), vague sentences (§2.5), ambiguous sentences (§2.6), paradoxical sentences (§2.7), and future-tensed sentences in indeterministic tense logic (§2.8). I conclude my survey with a look at alethic modal logic considered as a cousin (§2.9), and finish with a few sentences of “advice to supervaluationists” (2.10), advice that is largely negative. The case for supervaluations as a road to truth is strong only when the auxiliary parameter that is “quantified out” is in fact irrelevant to the sentences of interest—as in Tarski’s definition of truth for classical logic. In all other cases, the best policy when reporting the results of supervaluation is to use only explicit phrases such as “settled true” or “determinately true,” never dropping the qualification. (shrink)

Tim Maudiin’s Truth and Paradox (Maudlin 2004, cited here as T&P), a book that is richly endowed with interesting analyses and original theses, chooses to ignore both the prosentential theory of truth from Grover, Camp and Belnap 1975 and the revision theory in its book form, Gupta and Belnap 1993 (The Revision Theory of Truth, henceforth RTT).1 There is no discussion of either theory, nor even any mention of them in the list of references. I offer a pair of quotes (...) chosen from among a number of T&P generalizations that Maudlin would doubtless have modified if RTT had been on his mind at the time of composition of T&P. (1) "...every acceptable account of truth seems to imply that the Tlnferences must be valid" (p. 15). My response is that the revision theory of truth is built on an explicit denial of this. Rather than taking them as "valid," RTT takes the T—Inferences as stage-of-revision—shifting revision principles in the context of a definitional account of truth. (2) "...most discussions of the Liar paradox and related paradoxes...do not address [such questions as]...where ['l`&P’s] Proof Lambda and Proof Gamma go wrong" (p. 20). In fact, RTT is not open to this criticism. It’s simple natural-deduction calculus C0 addresses exactly such questions. (shrink)

This collection, with essays by Graham H. Bird, Jaakko Hintikka, Ilkka Niiniluoto, Jan Wolenski, will interest graduate students of the philosophy of language and logic, as well as professional philosophers, historians of analytic philosophy, and philosophically inclined logicians. Language, Truth and Knowledge brings together 11 new essays that offer a wealth of insights on a number of Carnap's concerns and ideas. The volume arose out of a symposium on Carnap's work at an international conference held in Vienna in 2001. The (...) essays are written from a variety of perspectives: -some essays aim at rebutting influential criticisms directed at Carnap's views; -others examine and assess his thought in the light of recent developments in the neurosciences; -still others are historical and describe the development of Carnap's thought; -they all shed light on the relation of this thought and different philosophical traditions. These essays form a collection that will prove a valuable resource for our understanding of the historic Carnap and the living philosophical issues with which he grappled. (shrink)

Douglas Patterson argues that the best way to respond to the semantic paradoxes that arise in natural language is to take natural language semantics to be (explosively) inconsistent. According to Patterson, to understand a natural language is to share with others cognition of a false semantic theory. Patterson’s main argument runs as follows. English is expressively rich. So, the first sentence occurring in this review could be.

Perspectivalism is a semantic theory according to which the contents of utterances and mental states (perhaps of a particular kind) have a truth-value only relative to a particular perspective (or standard) determined by the context of the speaker or bearer of the mental state. I have defended this view for epistemic terms, moral terms and predicates of personal taste elsewhere (Brogaard 2008a, 2008b, forthcoming a). Perspectivalism applies to every discourse beyond those for color, moral and epistemic terms. However, when a (...) sentence does not contain a property that has an extension only relative to a world with a marked center (i.e., a centered world), the perspectival nature of truth is redundant. For example, the sentence ‘Brit is human’ is true relative to a centered world containing Brit in the center. But which individual happens to occupy the center does not affect the truthvalue of the sentence. So, perspectivalism entails a version of pluralism about truth. Some discourse/propositional content is genuinely perspectival, some not. For example, attributions of truth to propositional content containing logical constants attribute a way of being true: a non-perspectival relational property (that takes contents from worlds to truthvalues). Propositional about color or moral appropriateness attribute a different way of being true: a perspectival relational property (that takes contents from e.g. worlds, individuals, times and viewing conditions to truth-values). Likewise, attributions of truth to truth-apt sentences about logical constants attribute a non-relational non-perspectival property, and attributions of truth-apt sentences about color or.. (shrink)

This is my expository and critical review of Paul Gochet's book on Quine's philosophy from 1987.

Thanks to all the people who responded to my enquiry about the status of the Continuum Hypothesis. This is a really fascinating subject, which I could waste far too much time on. The following is a summary of some aspects of the feeling I got for the problems. This will be old hat to set theorists, and no doubt there are a couple of embarrassing misunderstandings, but it might be of some interest to non professionals.

Truth values are, properly understood, merely proxies for the various relations that can hold between language and the world. Once truth values are understood in this way, consideration of the Liar paradox and the revenge problem shows that our language is indefinitely extensible, as is the class of truth values that statements of our language can take – in short, there is a proper class of such truth values. As a result, important and unexpected connections emerge between the semantic paradoxes (...) and the set-theoretic paradoxes. (shrink)

The intuitionistic conception of truth defended by Dummett, Martin Löf and Prawitz, according to which the notion of proof is conceptually prior1 to the notion of truth, is a particular version of the epistemic conception of truth. The paradox of knowability (first published by Frederic Fitch in 1963) has been described by many authors2 as an argument which threatens the epistemic, and the intuitionistic, conception of truth. In order to establish whether this is really so, one has to understand what (...) the epistemic conception of truth really is. So I shall start inpart I with a description of the matter at issue between theepistemic conception of truth and the opposite position, therealistic conception of truth. Inpart II I shall very briefly describe the paradox. Inpart III I shall try to answer the question which appears in the title of this paper: What can we learn from the paradox of knowability?. My conclusion will be that the paradox of knowability is not a refutation of the epistemic conception of truth, but helps us to better formulate (and understand) such a view. (shrink)

Aristotle's theory of truth, which has been the most influential account of the concept of truth from Antiquity onwards, spans several areas of philosophy: philosophy of language, logic, ontology, and epistemology. In this book, the first dedicated to this topic, Paolo Crivelli discusses all the main aspects of Aristotle's views on truth and falsehood. He analyses in detail the main relevant passages, addresses some well-known problems of Aristotelian semantics, and assesses Aristotle's theory from the point of view of modern analytic (...) philosophy. In the process he discusses most of the literature on Aristotle's semantic theory to have appeared in the last two centuries. His book vindicates and clarifies the often repeated claim that Aristotle's is a correspondence theory of truth. It will be of interest to a wide range of readers working in both ancient philosophy and modern philosophy of language. (shrink)

The coherence of the whole truth is a presupposition of any holistic coherence theory of justification that postulates a positive connection between justification and truth, for unless the whole truth is itself systemically coherent there is no reason to look for systemic coherence when deciding whether one is justified in accepting a given body of beliefs as true. This paper develops a formal model of holistic evidential coherence and uses this model to formalize and defend the claim that the whole (...) truth must be coherent in an evidential sense. (shrink)

On the basis of elementary thinkingabout language functioning,a solution of truth paradoxes isgiven and a correspondingsemantics of a truth predicateis founded. It is shown that it is precisely thetwo-valued description of the maximal intrinsic fixedpoint of the strong Kleene three-valuedsemantics.

Now in a new edition, this volume updates Davidson's exceptional Inquiries into Truth and Interpretation (1984), which set out his enormously influential philosophy of language. The original volume remains a central point of reference, and a focus of controversy, with its impact extending into linguistic theory, philosophy of mind, and epistemology. Addressing a central question--what it is for words to mean what they do--and featuring a previously uncollected, additional essay, this work will appeal to a wide audience of philosophers, linguists, (...) and psychologists. (shrink)

Communication of all sorts is passed off as "truth," when in fact it is a collection of varying degrees of truth, half-truth, and untruth. This article seeks to put the semantic spaciousness of the word truth into a more comprehensive context. It does so through construction of a continuum of terms, divided into four practical categories - (a) intent to be open and fully honest, (b) intent to be honest but with selective use of information, (c) use of untruths but (...) with no intent to deceive, and (d) conscious intent to deceive. Analysis of the categories relates each to degrees of ethical behavior of the communicator. (shrink)

It has been proposed that the law of non-contradiction be revised to permit the simultaneous truth and falsity of the key sentences of the logical paradoxes, e.g., This sentence is false. In an attempt to show to what extent this bizarre suggestion of inconsistent models or truth-value gluts is a coherent suggestion it is proved that a first-order language for number theory can be semantically closed by having its own global truth predicate under some non-standard interpretation and thus that it (...) actually can contain the Liar sentence. It is proved that in this interpretation the Liar sentence is both true and false, although not every sentence is. (shrink)

This paper responds to Tugendhat's well-known and influential critique of Heidegger's concept of truth with the resources of Heidegger's texts, in particular §44 of Being and Time. To start with, Tugendhat's primary critical argument is reconstructed. It is held to consist firstly in the charge of ambiguity against Heidegger's formulations of his concept of truth and secondly in the claim that Heidegger's concept of truth is incompatible with an adequate concept of falsehood. It is shown that the supposedly ambiguous meanings (...) are, on the one hand, in fact clearly distinguished by Heidegger and, on the other, that they merely amount to different extensions of the same meaning of truth. It is then shown how this concept of truth is indeed compatible with an adequate, albeit post-metaphysical, concept of falsehood. Finally, the grounds of falsehood in the untruth of the existential of Verfallen are pursued and further objections are dismissed. (shrink)

(For special volume of Inquiry, devoted to inconsistency views on the liar and sorites paradoxes, edited by Douglas Patterson.).

Tarski is famous for his widely accepted conceptual analysis (or, in his terms, “explication”) of the notion of truth for formal languages and the allied notions of satisfaction, definability, and logical consequence. From an historical point of view, two questions are of interest. First, what motivated Tarski to make these analyses, and second, what led to their particular form? The latter question is easy to answer at one level: Tarski was heavily influenced by the visible success of conceptual analysis in (...) set-theoretic topology as practiced by the leading mathematicians at the University of Warsaw in the 1920s, and so formulated his analyses of semantical concepts in general set-theoretical terms. But the actual forms which his definitions took are puzzling in a number of respects. The question of motivation is also difficult because there was no prima facie compelling reason for dealing in precise terms with the semantical notions. These had been used quite confidently, without any such explication, by a number of Tarski’s contemporaries, including Skolem and Gödel. The aim of this paper is to throw greater light on both the “why” and “how” questions concerning Tarski’s conceptual analysis of semantical notions, especially that of truth. (shrink)

Tim Maudlin’s Truth and Paradox is terrific. In some sense its solution to the paradoxes is familiar—the book advocates an extension of what’s called the Kripke-Feferman theory (although the definition of validity it employs disguises this fact). Nonetheless, the perspective it casts on that solution is completely novel, and Maudlin uses this perspective to try to make the prima facie unattractive features of this solution seem palatable, indeed inescapable. Moreover, the book deals with many important issues that most writers on (...) the paradoxes never deal with, including issues about the application of the Gödel theorems to powerful theories that include our theory of truth. The book includes intriguing excursions into general metaphysics, e.g. on the nature of logic, facts, vagueness, and much more; and it’s lucid and lively, a pleasure to read. It will interest a wide range of philosophers. (shrink)

This paper outlines a quantitative theory of strongly semantic information (TSSI) based on truth-values rather than probability distributions. The main hypothesis supported in the paper is that the classic quantitative theory of weakly semantic information (TWSI), based on probability distributions, assumes that truth-values supervene on factual semantic information, yet this principle is too weak and generates a well-known semantic paradox, whereas TSSI, according to which factual semantic information encapsulates truth, can avoid the paradox and is more in line with the (...) standard conception of what generally counts as semantic information. After a brief introduction, section two outlines the semantic paradox implied by TWSI, analysing it in terms of an initial conflict between two requisites of a quantitative theory of semantic information. In section three, three criteria of semantic information equivalence are used to provide a taxonomy of quantitative approaches to semantic information and introduce TSSI. In section four, some further desiderata that should be fulfilled by a quantitative TSSI are explained. From section five to section seven, TSSI is developed on the basis of a calculus of truth-values and semantic discrepancy with respect to a given situation. In section eight, it is shown how TSSI succeeds in solving the paradox. Section nine summarises the main results of the paper and indicates some future developments. (shrink)

Bernard Williams has argued that, because belief aims at getting the truth right, it is a conceptual truth that we cannot directly will to believe. Manyothers have adopted Williams claim that believers necessarily respect truth-conducive reasons and evidence. By presenting increasingly stronger cases, I argue that, on the contrary, believers can quite consciously disregard the demand for truth-conducive reasons and evidence. The irrationality of those who would directly will to believe is not any greater than that displayed by some actual (...) believers. So, our inability to directly will to believe is a contingent truth (at best). (shrink)

The semantic paradoxes, whose paradigm is the Liar, played a crucial role at a crucial juncture in the development of modern logic. In his 1908 seminal paper, Russell outlined a system, soon to become that of the Principia Mathematicae, whose main goal was the solution of the logical paradoxes, both semantic and settheoretic. Russell did not distinguish between the two and his theory of types was designed to solve both kinds in the same uniform way. Set theoreticians, however, were content (...) to treat only the set-theoretic paradoxes, putting aside the semantic ones as a non-mathematical concern. This separation was explicitly proposed, eighteen years after Russell’s paper, by Ramsey, though he, like Russell, advocated a system that addresses both kinds. Since then, the semantic paradoxes have been viewed within the perspective of the theory of truth, where they have occupied a respectable niche, but one of rather specialized interest. (shrink)

If we try to evaluate the sentence on line 1 we ¯nd ourselves going in an unending cycle. For this reason alone we may conclude that the sentence is not true. Moreover we are driven to this conclusion by an elementary argument: If the sentence is true then what it asserts is true, but what it asserts is that the sentence on line 1 is not true. Consequently the sentence on line 1 is not true. But when we write this (...) true conclusion on line 2 we ¯nd ourselves repeating the very same sentence. It seems that we are unable to deny the truth of the sentence on line 1 without asserting it at the same time. (shrink)