The goal of this paper is to make sense of relativism about truth. There are two key ideas. (1) To be a relativist about truth is to allow that a sentence or proposition might be assessment-sensitive: that is, its truth value might vary with the context of assessment as well as the context of use. (2) Making sense of relativism is a matter of understanding what it would be to commit oneself to the truth of an assessment-sensitive sentence or proposition.

In the middle of the 20th century, it was a common Wittgenstein-inspired idea in philosophy that for a linguistic expression to have a meaning is for it to be governed by a rule of use. In other words, it was widely believed that meanings are to be identified with use-conditions. However, as things stand, this idea is widely taken to be vague and mysterious, inconsistent with “truth-conditional semantics”, and subject to the Frege-Geach problem. In this paper I reinvigorate the ideas (...) that meaningfulness is a matter of being governed by rules of use and that meanings are best thought of in terms of use-conditions. I will do this by sketching the Rule-Governance view of the nature of linguistic meaningfulness, showing that the view isn’t by itself subject to the two problems, and explain why the idea has had a lasting appeal to philosophers from Strawson to Kaplan and why we should find it continually attractive. (shrink)

One of the many ways that ‘deflationary’ and ‘inflationary’ theories of truth are said to differ is in their attitude towards truth qua property. This difference used to be very easy to delineate, with deflationists denying, and inflationists asserting, that truth is a property, but more recently the debate has become a lot more complicated, owing primarily to the fact that many contemporary deflationists often do allow for truth to be considered a property. Anxious to avoid inflation, however, these deflationists (...) are at pains to point out that the truth property, on their view, is not a property of any significant interest. Correspondingly, inflationists have seen this as an opportunity to refine what kind of property they think truth is, which—according to them—moves their views beyond deflationism. The upshot of this is that there are number of different accounts in the literature of what distinguishes an inflationary truth property from a deflationary one, or—as it is sometimes put—what distinguishes a ‘substantive’ property from an ‘insubstantive’ one. This has made it hard to pin down exactly what is at issue at the metaphysical level between deflationists and inflationists, which makes it increasingly hard to see how debates between them are properly phrased. Given that these positions represent the two central attitudes towards truth in contemporary debates, this makes for a serious obstacle for the project of discerning the correct theory of truth. The aim of this paper is to discern the best way to distinguish between substantive and insubstantive properties, and thus to restore some focus to these debates. I argue that the three central distinctions in the literature fail, and offer what I take to be a more promising distinction in terms of a graded distinction between abundant and sparse properties. (shrink)

In On What Matters, Derek Parfit defends a new metaethical theory, which he calls non-realist cognitivism. It claims that normative judgments are beliefs; that some normative beliefs are true; that the normative concepts that are a part of the propositions that are the contents of normative beliefs are irreducible, unanalysable and of their own unique kind; and that neither the natural features of the reality nor any additional normative features of the reality make the relevant normative beliefs true. The aim (...) of this article is to argue that Parfit’s theory is problematic because its defenders have no resources to make sense of the nature of normative truth, which is an essential element of their view. I do this by showing how the traditional theories of truth are not available for the non-realist cognitivists. (shrink)

I argue that there is no metaphysically substantive property of truth. Although many take this thesis to be central to deflationism about truth, it is sometimes left unclear what a metaphysically substantive property of truth is supposed to be. I offer a precise account by relying on the distinction between the property and concept of truth. Metaphysical substantivism is the view that the property of truth is a sparse property, regardless of how one understands the nature of sparse properties. I (...) then offer two new arguments against metaphysical substantivism that employ ideas involving recombination and truthmaking. First, I argue that there are no theoretically compelling reasons to posit the existence of a metaphysically substantive property of truth. Secondly, I argue that if we do posit the existence of such a property, then we end up with a view that is either contradictory or unmotivated. What we’re left with is a metaphysically deflationary account of the property of truth that fully respects the metaphysical ambitions of truthmaker theory, and that is consistent with both the view that truth is a deflated, explanatorily impotent concept and the view that truth is an explanatorily powerful concept. (shrink)

This paper explores the nature of the concept of truth. It does not offer an analysis or definition of truth, or an account of how it relates to other concepts. Instead, it explores what sort of concept truth is by considering what sorts of thoughts it enables us to think. My conclusion is that truth is a part of each and every propositional thought. The concept of truth is therefore best thought of as the ability to token propositional thoughts. I (...) explore what implications this view has for existing accounts of concepts, and argue that truth is a concept unlike any other. (shrink)

The paper offers a new analysis of the difficulties involved in the construction of a general and substantive correspondence theory of truth and delineates a solution to these difficulties in the form of a new methodology. The central argument is inspired by Kant, and the proposed methodology is explained and justified both in general philosophical terms and by reference to a particular variant of Tarski's theory. The paper begins with general considerations on truth and correspondence and concludes with a brief (...) outlook on the "family" of theories of truth generated by the new methodology. (shrink)

We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction. After discussing some potential criteria, we focus on the criterion of ℕ-categoricity and discuss its usefulness and limits.

This chapter reviews the major contributions of Donald Davidson to philosophy in the 20th century.

Kant claims that the nominal definition of truth is: “Truth is the agreement of cognition with its object”. In this paper, I analyse the relevant features of Kant's theory of definition in order to explain the meaning of that claim and its consequences for the vexed question of whether Kant endorses or rejects a correspondence theory of truth. I conclude that Kant's claim implies neither that he holds, nor that he rejects, a correspondence theory of truth. Kant's claim is not (...) a generic way of setting aside a correspondence definition of truth, or of considering it uninformative. Being the nominal definition of truth, the formula “truth is the agreement of cognition with its object” illustrates the meaning of the predicate “is true” and people's ordinary conception of truth. True judgements correspond to the objects they are about. However, there could be more to the property of truth than correspondence. (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 book offers a proposal on how to define truth in all its complexity, without reductionism, showing at the same time which questions a theory of truth has to answer and which questions, although related to truth, do not belong within the scope of such a theory. Just like any other theory, a theory of truth has its structure and limits. The semantic core of the position is that truth-ascriptions are pro-forms, i.e. natural language propositional variables. The book also offers (...) an explanation of the syntactic behaviour of truth-terms, and the pragmatic roles of truth-acts. The theory of truth we present is a technical proposal, relatively uncontaminated by radical philosophical discussion. It makes indeed philosophical points, but it is intended to be a conceptual analysis, as neutral as possible, of the aspects that may serve as a point of departure for more philosophically-laden destinations. Like the Fregean account of quantifiers, which is prior to and, to a large extent, independent of the metaphysical debate about existence and its forms, or the Kaplanian view on demonstratives, that is neutral regarding the debate about individuals and the possibilities we have to actually “reach” them in a referring act, we intend our proposal about truth to be a sophisticated and explicative setting that helps to situate other debates about truth accurately, far from the distorted and sometimes strongly ideological discussions that have turned the topic into a paradigm of philosophical impasse. (shrink)

The word ‘true’ shows some evidence of gradability. For instance, there are cases where truth-bearers are described as ‘slightly true’, ‘completely true’ or ‘very true’. Expressions that accept these types of modifiers are analysed in terms of properties that can be possessed to a greater or lesser degree. If ‘true’ is genuinely gradable, then it would follow that there are degrees of truth. It might also follow that ‘true’ is context-sensitive, like other gradable expressions. Such conclusions are difficult to reconcile (...) with most existing theories: deflationists and inflationists alike tend to reject the thesis that one true truth-bearer can have more or less truth than another. Based on work in natural language, I argue that ‘true’ is not a genuinely gradable expression. I also provide an explanation of the apparent evidence for gradability. Hence there is no reason to think that there is a truth property that comes in degrees. (shrink)

Traditional inflationary approaches that specify the nature of truth are attractive in certain ways; yet, while many of these theories successfully explain why propositions in certain domains of discourse are true, they fail to adequately specify the nature of truth because they run up against counterexamples when attempting to generalize across all domains. One popular consequence is skepticism about the efficaciousness of inflationary approaches altogether. Yet, by recognizing that the failure to explain the truth of disparate propositions often stems from (...) inflationary approaches' allegiance to alethic monism, pluralist approaches are able to avoid this explanatory inadequacy and the resulting skepticism, though at the cost of inviting other conceptual difficulties. A novel approach, alethic functionalism, attempts to circumvent the problems faced by pluralist approaches while preserving their main insights. Unfortunately, it too generates additional problems---namely, with its suspect appropriation of the multiple realizability paradigm and its platitude-based strategy---that need to be dissolved before it can constitute an adequate inflationary approach to the nature of truth. (shrink)

While P.F. Strawson’s essay ‘Freedom and Resentment’ has had many commentators, discussions of it can be roughly divided into two categories. A first group has dealt with the essay as something that stands by itself in order to analyse Strawson’s main arguments and to expose its weaknesses. A second group of commentators has looked beyond ‘Freedom and Resentment’ by emphasizing its Humean, Kantian or Wittgensteinian elements. Although both approaches have their own merits, it is too often forgotten that Strawson was (...) an original thinker with his own views on the nature of philosophical problems and how to appropriately deal with them. The aim of this article is to remedy this forgetfulness and to make sense of ‘Freedom and Resentment’ from a Strawsonian perspective, by looking at Strawson’s own views on philosophical methodology. (shrink)

Argumentation involves offering and/or exchanging reasons – either reasons for adopting various attitudes towards specific propositional contents or else reasons for acting in various ways. This paper develops the idea that the force of reasons is through and through a normative force because what good reasons accomplish is precisely to give one a certain sort of entitlement to do what they are reasons for. The paper attempts to shed light on what it is to have a reason, how the sort (...) of entitlement arising from reasons differs from other species of entitlement and how the norms by which such entitlement is assessed obtain their status as norms. (shrink)

I want to discuss a puzzle about the semantics of epistemic modals, like “It might be the case that” as it occurs in “It might be the case that Goldbach’s conjecture is false.”1 I’ll argue that the puzzle cannot be adequately explained on standard accounts of the semantics of epistemic modals, and that a proper solution requires relativizing utterance truth to a context of assessment, a semantic device whose utility and coherence I have defended elsewhere for future contingents (MacFarlane..

Donald Davidson's account of interpretation purports to be a priori , though I argue that the empirical facts about interpretation, theory of mind, and autism must be considered when examining the merits of Davidson's view. Developmental psychologists have made plausible claims about the existence of some people with autism who use language but who are unable to interpret the minds of others. This empirical claim undermines Davidson's theoretical claims that all speakers must be interpreters of other speakers and that one (...) need not be a speaker in order to be a thinker. The falsity of these theses has consequences for other parts of Davidson's world-view; for example, it undermines his argument against animal thought. (shrink)

This paper examines a passage in the Theaetetus where Plato distinguishes knowledge from true belief by appealing to the example of a jury hearing a case. While the jurors may have true belief, Socrates puts forward two reasons why they cannot achieve knowledge. The reasons for this nescience have typically been taken to be in tension with each other . This paper proposes a solution to the putative difficulty by arguing that what links the two cases of nescience is that (...) in neither case do the jurors act from an epistemic virtue and that doing so is a necessary condition of knowledge. Appreciating that it is a necessary condition of knowledge that it be the result of an epistemic agent's agency in a distinctive way provides a satisfying solution to the difficulty Burnyeat detected and also does justice to an otherwise neglected aspect of Plato's epistemology: his talk of cognitive capacities and virtues and his focus on what it is that is active and passive in epistemic processes. (shrink)

Functionalists about truth employ Ramsification to produce an implicit definition of the theoretical term _true_, but doing so requires determining that the theory introducing that term is itself true. A variety of putative dissolutions to this problem of epistemic circularity are shown to be unsatisfactory. One solution is offered on functionalists' behalf, though it has the upshot that they must tread on their anti-pluralist commitments.

This is a discussion of different ways of working out the idea that the semantic paradoxes show that natural languages are somehow “inconsistent”. I take the workable form of the idea to be that there are expressions such that a necessary condition of understanding them is that one be inclined to accept inconsistent claims (an conception also suggested by Matti Eklund). I then distinguish “simple” from “complex” forms of such views. On a simple theory, such expressions are meaningless, while on (...) a complex theory they are not. I argue that complex theories are incompatible with truth conditional semantics and that simple theories are only coherent when the inconsistent claims are metalingusitic attributions of meaning. I close with a discussion of the version of the simple metalinguistic theory I have defended in “Understanding the Liar” and other papers. (shrink)

Drawing on a range of sources in philosophy and literature, but with particular reference to the work of Heidegger, makes a compelling case for the importance of place in philosophical discourse.

This paper tries to say in what sense truth is a norm, a thesis that Donald Davidson, whose view are examined, denies. After skteching his conception of rationality, it is argued that truth is a norm in only the sense that we ought to believe what we believe is true, not that we all to believe everything which is true. This minimal norm of truth is isolated and defended.

In this article I contrast in two ways those conceptions of semantic theory deriving from Richard Montague's Intensional Logic (IL) and later developments with conceptions that stick pretty closely to a far weaker semantic apparatus for human first languages. IL is a higher-order language incorporating the simple theory of types. As such, it endows predicates with a reference. Its intensional features yield a conception of propositional identity (namely necessary equivalence) that has seemed to many to be too coarse to be (...) acceptable. In the most usual expositions, it takes the object of linguistic explication to be the sentence in a context, as in Kaplan, 1977. This last has led to recent speculations about 'shifted' contexts. IL may be contrasted with a more linguistically (representationally) bound conception of propositions and interpretation of their predicational and functional parts, and with the explication, not of sentences in contexts, but of potential utterances, relative to the antecedent referential intentions of their speakers. We may then advance, as an empirical hypothesis about all human languages, that contexts never shift, and propose that apparent counterexamples stem from the misconstrual of linguistically coded anaphoric relations, relations that are wanted independently anyway. Donald Davidson's posthumous volume Truth and Predication mounts a sustained criticism of the notion of predicate reference. This criticism is not decisive. However, it may put the ball in the other court, insofar as it asks for a justification of what IL takes as given. Elaborations of IL using structured propositions, recently defended in King, 2007, recognize the problem of predicate reference, and the correlative issue of the 'unity of the proposition'; but I do not see that they can do better than bite the bullet already bitten in IL. I agree with Frege's insight that full justification of predicate reference pushes the boundaries of natural language, and to that extent may not be found within the semantic (as opposed to general scientific) enterprise. (shrink)

This book attempts to explicate and expand upon Frank Ramsey's notion of the realistic spirit. In so doing, it provides a systematic reading of his work, and demonstrates the extent of Ramsey's genius as evinced by both his responses to the Tractatus Logico-Philosophicus , and the impact he had on Wittgenstein's later philosophical insights.

To save antirealism from Fitch's Paradox, Tennant has proposed to restrict the scope of the antirealist principle that all truths are knowable to truths that can be consistently assumed to be known. Although the proposal solves the paradox, it has been accused of doing so in an ad hoc manner. This paper argues that, first, for all Tennant has shown, the accusation is just; second, a restriction of the antirealist principle apparently weaker than Tennat's yields a non-ad hoc solution to (...) Fitch's Paradox; and third, the alternative is only apparently weaker than, and even provably equivalent to, Tennant's. It is thereby shown that the latter is not ad hoc after all. (shrink)

On the basis of careful textual exegesis and philosophical analysis, and contrary to the received view, Mark R. Wheeler demonstrates that Aristotle presents and systematically explicates his definition of the essence of the truth in the Metaphysics. Aristotle states the nominal definitions of the terms "truth" and "falsehood" as part of his arguments in defense of the logical axioms. These nominal definitions express conceptions of truth and falsehood his philosophical opponents would have recognized and accepted in the context of dialectical (...) argument. On the basis of these nominal definitions, Aristotle develops his definitions of the essences of truth and falsehood--his "real" definitions of truth and falsehood. Aristotle's methodical exposition of his essential definitions of truth and falsehood in the Metaphysics serves as a well-developed example of how his philosophical inquiry starts with nominal definitions and ends with real definitions. Wheeler also argues for the novel claim that Aristotle defines the most fundamental kind of truth in terms of accurate measurement. Aristotle's metrical conception of truth serves as the theoretical basis for specifying the truth conditions of various assertions, for identifying the sorts of beings implicated in these truth conditions, and for explaining the nature of approximate truth and falsehood. Far from offering us a minimal account of truth, Wheeler shows how Aristotle offers us a sophisticated and metrical theory of truth. (shrink)

A common objection against deflationism is that it cannot account for the fact that truth depends on reality. Consider the question ‘On what does the truth of the proposition that snow is white depend?’ An obvious answer is that it depends on whether snow is white. Now, consider what answer, if any, a deflationist can offer. The problem is as follows. A typical deflationary analysis of truth consists of biconditionals of the form ‘The proposition that p is true iff p’. (...) Such biconditionals tell us nothing about what the truth of the proposition that p might depend on. Therefore, it seems that a typical deflationist cannot give an answer. Since we know that an answer is available, this throws doubt over the adequacy of deflationism as an account of truth. Articulated here is a defence of deflationism against this objection. It is argued that although biconditionals of the sort mentioned do not explicitly state a dependency between truth and reality, they nevertheless convey one. The reason is that, given the context in which a deflationist invokes the biconditionals, such a dependency is implicated. A potential problem with this defence is that it leaves the deflationist still unable to give an account of what it is for truth to depend on reality. One might think that a deflationist can offer such an account by appealing to truthmaker theory but, it is argued below, truthmaker theory is unavailable to a deflationist. Instead, the deflationist should question the assumption that an account is available. (shrink)

Truth is a fundamental philosophical concept that, despite its common and everyday use, has resisted common-sense formulations. At this point, one may legitimately wonder if there even is a common-sense notion of truth or what it could look like. In response, I propose here a common-sense account of truth based on four “truisms” that set a baseline for how to go about building an account of truth. Drawing on both ordinary language philosophy and contemporary pragmatic approaches to truth, I defend (...) a pragmatic, common-sense theory of truth. The result is a theory that focuses the use and function of truth while also emphasizing its “subject-independence.”. (shrink)

Minimalism about truth is one of the main contenders for our best theory of truth, but minimalists face the charge of being unable to properly state their theory. Donald Davidson incisively pointed out that minimalists must generalize over occurrences of the same expression placed in two different contexts, which is futile. In order to meet the challenge, Paul Horwich argues that one can nevertheless characterize the axioms of the minimalist theory. Sten Lindström and Tim Button have independently argued that Horwich’s (...) attempt to formulate minimalism remains unsuccessful. We show how to properly state Horwich’s axioms by appealing to propositional functions that are given by definite descriptions. Both Lindström and Button discuss proposals similar to ours and conclude that they are unsuccessful. Our new suggestion avoids these objections. (shrink)

In this paper I investigate the claim that truth is a relational property. What does this claim really mean? What is its import?—Is it a basic feature of the concept of truth; or a distinctive feature of the correspondence theory of truth; or even both? After introducing some general ideas about truth, I begin by highlighting an ambiguity in current uses of the term ‘relational property’ in the truth debate, and show that we need to distinguish two separate ideas: that (...) truth is a relational property, and that truth is an extrinsic property. I go on to examine what both of these ideas are in more detail, and consider what would need to hold for truth to be in either of these categories. I then discern where all the main competitors in the truth debate stand on these issues. In doing so we learn more about these views and what they entail, and build a general picture of what stances different theories of truth take on whether truth is extrinsic or relational. Moreover, in doing this we will be able to answer one of the questions with which we began: whether truth’s being extrinsic or relational is something that, if accepted, lends support to the correspondence theory of truth. We will see that this is not so, and discern some interesting variations between various theories of truth on the issues of whether truth is extrinsic or relational. Following this we will be in a better position to judge whether the notions of extrinsicality or relationality are basic features of the concept of truth. In the final part of the paper I argue that, even if we are not in a position to conclude that they are basic features, they are features that any prospective theory of truth needs to take seriously. (shrink)

Tarski’s pioneering work on truth has been thought by some to motivate a robust, correspondence-style theory of truth, and by others to motivate a deflationary attitude toward truth. I argue that Tarski’s work suggests neither; if it motivates any contemporary theory of truth, it motivates conceptual primitivism, the view that truth is a fundamental, indefinable concept. After outlining conceptual primitivism and Tarski’s theory of truth, I show how the two approaches to truth share much in common. While Tarski does not (...) explicitly accept primitivism, the view is open to him, and fits better with his formal work on truth than do correspondence or deflationary theories. Primitivists, in turn, may rely on Tarski’s insights in motivating their own perspective on truth. I conclude by showing how viewing Tarski through the primitivist lens provides a fresh response to some familiar charges from Putnam and Etchemendy. (shrink)

Conceptual primitivism is the view that truth is among our most basic and fundamental concepts. It cannot be defined, analyzed, or reduced into concepts that are more fundamental. Primitivism is opposed to both traditional attempts at defining truth (in terms of correspondence, coherence, or utility) and deflationary theories that argue that the notion of truth is exhausted by means of the truth schema. Though primitivism might be thought of as a view of last resort, I believe that the view is (...) independently attractive, and can be argued for directly. In this paper I offer what I take to be the strongest argument in favor of conceptual primitivism, which relies upon the Fregean doctrine of the omnipresence of truth. (shrink)

David Lewis presented Convention as an alternative to the conventionalism characteristic of early-twentieth-century analytic philosophy. Rudolf Carnap is well known for suggesting the arbitrariness of any particular linguistic convention for engaging in scientific inquiry. Analytic truths are self-consistent, and are not checked against empirical facts to ascertain their veracity. In keeping with the logical positivists before him, Lewis concludes that linguistic communication is conventional. However, despite his firm allegiance to conventions underlying not just languages but also social customs, he pioneered (...) the view that convening need not require any active agreement to participate. Lewis proposed that conventions arise from “an exchange of manifestations of a propensity to conform to a regularity” (87–8). In reasserting the conventional quality of languages and other practices resting on mutual expectations, Lewis comfortably works within the analytic tradition. Yet he also deviates from his predecessors because his conventionalist approach is comprehensively grounded in instrumentalism. Lewis adopts an extension of David Hume's desire-belief psychology articulated in rational choice theory. He develops his philosophy of convention relying on the highly formal mid-twentieth-century expected utility and game theories. This attempt to account for language and social customs wholly in terms of instrumental rationality has the implication of reducing normativity to preference satisfaction. Lewis’ approach continues in the trend of undermining normative political philosophy because institutions and practices arise spontaneously, without the deliberate involvement of agents. Perhaps Lewis’ Convention is best seen as a resurgent form of analytic philosophy, characterized by “a style of argument, hostility to [ambitious] metaphysics, focus on language, and the dominance of logic and formalization” that solves the dilemma of “combining the analytic inheritance…with normative concerns” by reducing normativity to individuals’ preference fulfillment consistent with the axioms of rational choice. (shrink)

In the early 20th century, scepticism was common among philosophers about the very meaningfulness of the notion of truth – and of the related notions of denotation, definition etc. (i.e., what Tarski called semantical concepts). Awareness was growing of the various logical paradoxes and anomalies arising from these concepts. In addition, more philosophical reasons were being given for this aversion.1 The atmosphere changed dramatically with Alfred Tarski’s path-breaking contribution. What Tarski did was to show that, assuming that the syntax of (...) the object language is specified exactly enough, and that the metatheory has a certain amount of set theoretic power,2 one can explicitly define truth in the object language. And what can be explicitly defined can be eliminated. It follows that the defined concept cannot give rise to any inconsistencies (that is, paradoxes). This gave new respectability to the concept of truth and related notions. Nevertheless, philosophers’ judgements on the nature and philosophical relevance of Tarski’s work have varied. It is my aim here to review and evaluate some threads in this debate. (shrink)

Epistemic Logic is our basic universal science, the method of our cognitive confrontation in reality to prove the truth of our basic cognitions and theories. Hence, by proving their true representation of reality we can self-control ourselves in it, and thus refuting the Berkeleyian solipsism and Kantian a priorism. The conception of epistemic logic is that only by proving our true representation of reality we achieve our knowledge of it, and thus we can prove our cognitions to be either true (...) or rather false, and otherwise they are doubtful. Therefore, truth cannot be separated from being proved and we cannot hold anymore the principle of excluded middle, as it is with formal semantics of metaphysical realism. In distinction, the intuitionistic logic is based on subjective intellectual feeling of correctness in constructing proofs, and thus it is epistemologically encapsulated in the metaphysical subject. However, epistemic logic is our basic science which enable us to prove the truth of our cognitions, including the epistemic logic itself. (shrink)

This book is an inquiry into the philosophical concern with truth as one joint subject in philosophy of language and metaphysics and presents a theory of truth, substantive perspectivism (SP). Emphasizing our basic pre-theoretic understanding of truth (i.e., what is captured by the axiomatic thesis of truth that the nature of truth consists in capturing the way things are), and in the deflationism vs. substantivism debate background, SP argues for the substantive nature of non-linguistic truth and its notion’s indispensable substantive (...) explanatory role, both of which are not only intrinsically beyond what the linguistic function of the truth predicate can tell but are fundamentally related to the raison d’être of the truth predicate. Taking a holistic approach, SP endeavors to do justice to various reasonable perspectives, which are somehow contained in many competing accounts of truth, through a coordinate system: SP interprets such perspectives as distinct but related perspective-elaboration principles that distinctively (regarding distinct dimensions of the truth concern and/or for the sake of distinct purposes) elaborate, but are also unified by, the truth axiom thesis. To look at the issue from a broader vision, the book also takes a cross-tradition approach exploring the relationship between Daoist thinking of truth and thinking about truth in analytic philosophy.This book will enhance our systematic understanding of the issue through its holistic approach, broaden our vision on the issue via its cross-tradition approach, and enrich the conceptual and explanatory resources in treating the issue. (shrink)

Anaphoric deflationism is a prosententialist account of the use of “true.” Prosentences are, for sentences, the equivalent of what pronouns are for nouns: as pronouns refer to previously introduced nouns, so prosentences like “that’s true” inherit their content from previously introduced sentences. This kind of deflationism concerning the use of “true” (especially in Brandom’s version) is an explanation in terms of anaphora; the prosentence depends anaphorically on the sentence providing its content. A relevant implication of this theory is that “true” (...) is not understood as a predicate and that truth is not a property. Primitivism, defended by Frege, Moore, and Davidson, is associated with two ideas: (1) that truth is a primitive and central trait of our conceptual system and (2) that truth, as such, cannot be defined. This second claim can be called “negative primitivism,” and it especially points out the facts about the “indefinability” of truth generally advocated by primitivists. In what follows, a connection is established between the deflationist’s rejection of the predicate and of the property and facts (and primitivist ideas) about the indefinability of truth. This connection establishes a common framework to lend further explanatory power to both options. According to the resulting view, this indefinability can explain the appeal and soundness of a deflationist dismissal of predicates and properties dealing with truth. (shrink)

Consider the following 'principles':2(Norm of Belief Schema) Necessarily, a belief of is correct (relative to some scenario) if and only if p (at that scenario) — where 'p' has the aforementioned content .(Generalized Norm of Belief) Necessarily, for all propositions , a belief of is correct (relative to some scenario) if and only if is true (at that scenario).Both 'principles' appear to capture the aim(s) of belief. (NBS) particularizes the aims to beliefs of distinct content-types. (GNB) generalizes these aims of (...) beliefs as truth. Properly understood, the instances of (NBS) appear to be at least approximately true as does (GNB). Of course, one might harbor concerns about whether these are mere .. (shrink)

Whether or not deflationism is compatible with truth-conditional theories of meaning has often been discussed in very broad terms. This paper only focuses on Davidsonian semantics and Brandom's anaphoric deflationism and defends the claim that these are perfectly compatible. Critics of this view have voiced several objections, the most prominent of which claims that it involves an unacceptable form of circularity. The paper discusses how this general objection applies to the case of anaphoric deflationism and Davidsonian semantics and evaluates different (...) ways of responding to it (Williams 1999, Horisk 2008 and Lance 1997). Then, three further objections to the compatibility of these theories are assessed and eventually dismissed (Horisk 2007, Patterson 2005 and Collins 2002). It is shown how these considerations shed light on core issues of the debate. (shrink)

The question how to turn the principles implicitly governing the concept of truth into an explicit definition of the concept hence coalesced with the question how to get a finite grip on the infinity of T-sentences. Tarski's famous and ingenious move was to introduce a new concept, satisfaction, which could be, on the one hand, recursively defined, and which, on the other hand, straightforwardly yielded an explication of truth. A surprising 'by-product' of Tarski's effort to bring truth under control was (...) the breathtaking finding that truth is in a precisely defined sense ineffable, that no non trivial language can contain a truth-predicate which would be adequate for the very 4 language. This implied that truth proved itself to be strangely 'language-dependent': we can have a concept of truth-in-L for any language L, but we cannot have a concept of truth applicable to every language. In a sense, this means, as Quine put it, that truth belongs to "transcendental metaphysics", and Tarski's 'scientific' investigations seem to lead us back towards a surprising proximity of some more traditional philosophical views on truth. 3. TARSKI'S THEORY AS A PARADIGM So far Tarski himself. Subsequent philosophers then had to find out what his considerations of the concept of truth really mean and what are their consequences; and this now seems to be an almost interminable task. (shrink)

Functionalism about truth is the view that truth is an explanatorily significant but multiply-realizable property. According to this view the properties that realize truth vary from domain to domain, but the property of truth is a single, higher-order, domain insensitive property. We argue that this view faces a challenge similar to the one that Jaegwon Kim laid out for the multiple realization thesis. The challenge is that the higher-order property of truth is equivalent to an explanatorily idle disjunction of its (...) realization bases. This consequence undermines the alethic functionalists’ non-deflationary ambitions. A plausible response to Kim’s argument fails to carry over to alethic functionalism on account of significant differences between alethic functionalism and psychological functionalism. Lynch’s revised view in his book Truth as One and Many ( 2009 ) fails to answer our challenge. The upshot is that, while mental functionalism may survive Kim’s argument, it mortally wounds functionalism about truth. (shrink)

In the first two sections I present and motivate a formal semantics program that is modeled after the application of numbers in measurement (e.g., of length). Then, in the main part of the paper, I use the suggested framework to give an account of the semantics of necessity and possibility: (i) I show thatthe measurement theoretic framework is consistent with a robust (non-Quinean) view of modal logic, (ii) I give an account of the semantics of the modal notions within this (...) framework, and (iii) I defend the suggested account against various objections. (shrink)

In this dissertation, I argue that we should be pluralists about truth and in turn, eliminativists about the property Truth. Traditional deflationists were right to suspect that there is no such property as Truth. Yet there is a plurality of pluralities of properties which enjoy defining features that Truth would have, were it to exist. So although, in this sense, truth is plural, Truth is non-existent. The resulting account of truth is indebted to deflationism as the provenance of the suspicion (...) that Truth doesn't exist. But it would be hasty to simply classify the account as deflationary. Each of the 'truth-like' properties that it recognizes is highly substantive--that is, complex and explanatorily potent. So we should deflate Truth by recognizing that it doesn't exist, but we should also recognize that one of the most vital tasks in truth theory is to discover the essences of the many truth-like properties. My aim here is to do precisely this. (shrink)

This thesis engages with three topics and the relationships between them: (i) the phenomenon of disagreement (paradigmatically, where one person makes a claim and another denies it); (ii) the normative character of disagreements (the issue of whether, and in what sense, one of the parties is “at fault” for believing something that’s untrue); (iii) the issue of which theory of what truth is can best accommodate the norms relating belief and truth. People disagree about all sorts of things: about whether (...) climate is changing, death penalty is wrong, sushi is delicious, or Louis C.K. is funny. However, even focusing on disagreements in the evaluative domain (e.g., taste, moral and comedic), where people have the intuition that there is ‘no fact of the matter’ about who is right, there are significant differences that require explanation. For instance, disagreement about taste is generally perceived as shallow. People accept to disagree and live comfortably with that fact. By contrast, moral disagreement is perceived as deep and sometimes hard to tolerate. Comedic disagreement is similar to taste. However, it may involve an element of ‘intellectual snobbery’ that is absent in taste disagreement. The immediate questions are whether these contrasts allow of precise characterization and what is responsible for them. I argue that, once a case is made for the truth-aptness of judgments in these areas, the contrast can be explained in terms of variable normative function of truth – as exerting a lightweight normative constraint in the domain of taste and a stricter constraint in the moral domain. In particular I claim that while truth in the moral domain exerts a sui generis deontic control, this normative feature of truth is silent in both the taste and the comedic domains. This leads me to investigate how to conceive of truth in the light of normative variability. I argue that an amended version of deflationism – minimally inflated deflationism – can account for the normative variability of truth. (shrink)

This paper presents a passage on truth from "Der Gedanke" and comments on its content and use in the classroom.

Ordinary Language Philosophy has largely fallen out of favour, and with it the belief in the primary importance of analyses of ordinary language for philosophical purposes. Still, in their various endeavours, philosophers not only from analytic but also from other backgrounds refer to the use and meaning of terms of interest in ordinary parlance. In doing so, they most commonly appeal to their own linguistic intuitions. Often, the appeal to individual intuitions is supplemented by reference to dictionaries. In recent times, (...) Internet search engine queries for expressions of interest have become quite popular. Apparently, philosophers attempt to surpass the limits of their own linguistic intuitions by appealing to experts or to factual uses of language. I argue that this attempt is commendable but that its execution is wanting. Instead of appealing to dictionaries or Internet queries, philosophers should employ computer-based linguistic corpora in order to confirm or falsify hypotheses about the factual use of language. This approach also has some advantages over methods employed by experimental philosophers. If the importance of ordinary language is stressed, the use of linguistic corpora is hardly avoidable. (shrink)