I argue that deflationary theories of truth reveal an important lesson for the broader theory of truth: although the notion of truthmaking has played an essential role in many traditional theories of truth, it can be separated from and survive the rejection of substantive theories of truth. I argue that many of the traditional substantive theories of truth are unified in defining truth in terms of the ontological grounds that are needed to (...) account for truth. Deflationists reject the idea that a theory of truth needs such metaphysical implications, but in so doing they need not rule out the possibility of developing an independently motivated theory of truthmaking. I argue that deflationists can and should embrace truthmaker theory, once it is shorn from its connection to the traditional project of defining truth. (shrink)

Theodore de Laguna develops and argues for a deflationary view of truth well before the publication of what many have taken to be its source, or at least its inspiration, namely Frank P. Ramsey’s paper ‘Facts and Propositions’. I outline de Laguna’s view of truth and the arguments he offers for it; I also discuss its role in the history of twentieth-century philosophy. My outline and discussion serve as an introduction to de Laguna’s ‘A Nominalistic Interpretation of (...) Truth’, a paper he originally wrote in English but which has hitherto only been published in French. (shrink)

The article first rehearses three deflationary theories of reference, (1) disquotationalism, (2) propositionalism (Horwich), and (3) the anaphoric theory (Brandom), and raises a number of objections against them. It turns out that each corresponds to a closely related theory of truth, and that these are subject to analogous criticisms to a surprisingly high extent. I then present a theory of my own, according to which the schema “That S(t) is about t” and the biconditional “S (...) refers to x iff S says something about x” are exhaustive of the notions of aboutness and reference. An account of the usefulness of “about” is then given, which, I argue, is superior to that of Horwich. I close with a few considerations about how the advertised theory relates to well-known issues of reference, the conclusions of which is (1) that the issues concern reference and aboutness only insofar as the words “about” and “refer” serve to generalise over the claims that are really at issue, (2) that the theory of reference will not settle the issues, and (3) that it follows from (2) that the issues do not concern the nature of aboutness or reference. (shrink)

The concept of truth is a fundamental philosophical inquiry that transcends time and cultural boundaries. This paper is aimed at illuminating the nature of truth and its intricate connection to the fabric of reality through an extensive bibliography. The reader will have at his disposal the most important references on the subject with a short abstract. The references are under the various theories of truth, even knowing the difficulties in classifying the authors under a label as those (...) proposed by the various theories of truth such as the correspondence, pragmatic, deflationary, constructivist, ontological, and semantic. (shrink)

Minimalism is currently the received deflationary theory of truth. On minimalism, truth is a transparent concept and a deflated property of truth bearers. In this paper, I situate minimalism within current deflationary debate about truth by contrasting it with its main alternative―the redundancy theory of truth. I also outline three of the primary challenges facing minimalism, its formulation, explanatory adequacy and stability, and draw some lessons for the soundness of its conception (...) of truth. (shrink)

This paper by Theodore de Laguna presents and argues for the deflationary theory of truth. The paper was first published in French in 1922. The version published here is the original, English version of the paper and has been edited by Joel Katzav.

The metaphysical dispute between moral realists and antirealists is cast in terms of properties: the realist holds that moral properties exist, the antirealist denies this claim. There is a longstanding philosophical dispute over the nature of properties, and the obscurity of properties may make the realist/antirealist dispute even more obscure. In the spirit of deflationary theories of truth, we can turn to a deflationary theory of properties in order to clarify this issue. One might reasonably worry (...) that such an account of properties would not be capable of properly characterizing disputes regarding the existence or nonexistence of genuine moral properties. In this paper, I will show that, within this framework, the traditional disputes over the existence of moral properties can be characterized in a far clearer fashion than is usually the case. A deflationary account of properties, along with an explanatory hierarchy of properties, makes the dispute in ontology clear. (shrink)

In a recent paper, Haig and Borsboom explore the relevance of the theory of truth for psychological science. Although they conclude that correspondence theories of truth are best suited to offer the resources for making sense of scientific practice, they leave open the possibility that other theories might accomplish those same ends. I argue that deflationary theories of truth, which deny that there is any substantive property that unifies the class of truths, makes equally good (...) sense of scientific practice as the correspondence theory, but at lesser theoretical cost. I also argue that the considerations Haig and Borsboom draw on are better thought of as issues relevant to realism, and thus separate from the theory of truth. I conclude that while they are correct to engage questions about what makes true the various claims that arise in psychological research, they may do so without saddling themselves with a correspondence theory. (shrink)

By a classical result of Kotlarski, Krajewski and Lachlan, pathological satisfaction classes can be constructed for countable, recursively saturated models of Peano arithmetic. In this paper we consider the question of whether the pathology can be eliminated; we ask in effect what generalities involving the notion of truth can be obtained in a deflationary truth theory (a theory of truth which is conservative over its base). It is shown that the answer depends on the (...) notion of pathology we adopt. It turns out in particular that a certain natural closure condition imposed on a satisfaction class—namely, closure of truth under sentential proofs—generates a nonconservative extension of a syntactic base theory (Peano arithmetic). (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)

One of the popular explications of the deflationary tenet of ‘thinness’ of truth is the conservativeness demand: the declaration that a deflationary truth theory should be conservative over its base. This paper contains a critical discussion and assessment of this demand. We ask and answer the question of whether conservativity forms a part of deflationary doctrines.

A theory of truth is an explanation of the nature of truth and set of rules that true things obey. A theory of truth is basically an attempt to enlighten on the nature of truth and formulate a set of laws that ‘true’ things follow. When we recall a memory, or analyze a statement, or appeal to evaluate within our brain, in fact, we are in quest for truth. Different theories of truth (...) try to understand it from different perspectives. Attempts to analyze truth down the history can neatly be divided into two: Classical and Contemporary theories. The classical or otherwise known as the traditional theories of truth are, Correspondence theory, Coherence theory, Pragmatic theory. Contemporary theories or otherwise known as modern theories of truth are mostly deflationary theories. Over and above these two categories we shall discuss a new theory of truth known as Functional theory of truth. When we analyze contemporary theories of truth, such as functionalist theory of truth, specifically alethic pluralism which commits the problem of mixed compound and also suggest the solution for the same. (shrink)

It is widely believed that deflationary truth has no explanatory power. I will argue that it does. Specifically, I will consider some objections to deflationary truth having explanatory power, and argue that they fail. The position which will emerge is that the deflationary concept of truth is analogous to the concept of an average. Scientists take averages to be explanatory, and I will argue that the concept of deflationary truth is explanatory in (...) the same way. I then argue that this deflationary _concept_ of truth motivates a theory of the _property_ of truth which is metaphysically disunified, but that this is no obstacle to explanation. This leads to a way of understanding the deflationary/substantive distinction in terms of grounding. (shrink)

Aristotle’s words in the Metaphysics: “to say of what is that it is, or of what is not that it is not, is true” are often understood as indicating a correspondence view of truth: a statement is true if it corresponds to something in the world that makes it true. Aristotle’s words can also be interpreted in a deflationary, i.e., metaphysically less loaded, way. According to the latter view, the concept of truth is contained in platitudes like: (...) ‘It is true that snow is white iff snow is white’, ‘It is true that neutrinos have mass iff neutrinos have mass’, etc. Our understanding of the concept of truth is exhausted by these and similar equivalences. This is all there is to truth. In his book Truth (Second edition 1998), Paul Horwich develops minimalism, a special variant of the deflationary view. According to Horwich’s minimalism, truth is an indefinable property of propositions characterized by what he calls the minimal theory, i.e., all (nonparadoxical) propositions of the form: It is true that p if and only if p. Although the idea of minimalism is simple and straightforward, the proper formulation of Horwich’s theory is no simple matter. In this paper, I shall discuss some of the difficulties of a logical nature that arise. First, I discuss problems that arise when we try to give a rigorous characterization of the theory without presupposing a prior understanding of the notion of truth. Next I turn to Horwich’s treatment of the Liar paradox and a paradox about the totality of all propositions that was first formulated by Russell (1903). My conclusion is that Horwich’s minimal theory cannot deal with these difficulties in an adequate way, and that it has to be revised in fundamental ways in order to do so. Once such revisions have been carried out the theory may, however, have lost some of its appealing simplicity. (shrink)

The concept of truth and competing philosophical theories on what truth amounts to have an important place in contemporary philosophy. The aim of this chapter is to give a synopsis of different theories of truth and the particular philosophical issues related to the concept of truth. The literature on this topic is vast, and we must necessarily be rather selective and very brief about complex questions of interpretation of various philosophers. The focus of the chapter is (...) mainly on selected systematic issues and the most influential and well-established philosophical theories and key concepts. (shrink)

When an entity ontologically depends on another entity, the former ‘presupposes’ or ‘requires’ the latter in some metaphysical sense. This paper defends a novel view, Dependence Deflationism, according to which ontological dependence is what I call an aggregative cluster concept: a concept which can be understood, but not fully analysed, as a ‘weighted total’ of constructive and modal relations. The view has several benefits: it accounts for clear cases of ontological dependence as well as the source of disagreement in controversial (...) ones; it gives a nice story about the evidential relevance of modal, mereological and set-theoretic facts to ontological dependence; and it makes sense of debates over the relation's formal properties. One important upshot of the deflationary account is that questions of ontological dependence are generally less deep and less interesting than usually thought. (shrink)

Truth is a matter of interest not only to philosophers, but to scientists and other researchers in various branches of knowledge. This paper examines Davidson’s views of the concept of truth. In the first section, I provide a brief account of the basic ideas of Davidson’s philosophy. An understanding of Davidson’s philosophy is essential for anyone who wishes to follow recent debates in the philosophy of language, the philosophy of action, the philosophy of logic, and the philosophy of (...) the mind. I give also a brief sketch of the leading traditional theories of truth, i.e., coherence, correspondence and pragmatic theories. In the second section, I give a comprehensive account of Davidson’s main contributions to the truth - the conditions theory of meaning. That the meaning of a sentence can be given by stating the conditions under which it is true, is not a novel idea. It is at least as old as the work of Frege. In addition to Frege, this idea has been held by, among others, Wittgenstein, Carnap, Quine and - as its leader apologist and most recent proponent - Davidson. Before I look at the details of Davidson’s contributions, I show how they relate to the work of Frege, Tarski, and Quine, all of whom greatly influenced Davidson’s theory. Putnam, Dummett, Rorty and many other philosophers rank Davidson among the deflationists. They all think that Tarski’s truth predicates completely capture the concept of truth. This is a mistake. The third section is concerned with this mistake. In the fourth section, I explain Davidson’s criticisms of what he regards as the main other anti-deflationary attempts to characterize truth: views which epistemologize truth on the one hand, and the correspondence theory of truth, on the other hand. Finally, in the fifth section, I make some remarks about Davidson’s treatment of the concept of truth. (shrink)

Philip Kitcher has argued for a causal correspondence view of truth, as against a deflationary view, on the grounds that the former is better poised than the latter to explain systematically successful patterns of action. Though Kitcher is right to focus on systematically successful action, rather than singular practical successes, he is wrong to conclude that causal correspondence theories are capable of explaining systematic success. Rather, I argue, truth bears no explanatory relation to systematic practical success. Consequently, (...) the causal correspondence view is not in a better position to explain success than the deflationary view; theories of truth are the wrong place to look for explanations of systematic practical success. (shrink)

For many years there has been a debate in truthmaking theory between proponents of the substantive and deflationary approaches. Substantivists about truthmaking maintain that we need entities called truthmakers, while deflationists of truthmaking argue that the asymmetric form of the T-schema is sufficient. In contrast to incompatibilists, who argue that one should adopt only one of these approaches, I propose a compatibilist theory of truthmaking in which the two approaches complement each other through the distribution of different (...) functions of truthmaking. I find that this helps to solve the problem of truthmaking of certain contentious truths, such as negative truths. (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)

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology (...) suffered by at least some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

In this paper we confront a challenge to truthmaker theory that is analogous to the objections raised by deflationists against substantive theories of truth. Several critics of truthmaker theory espouse a ‘deflationary’ attitude about truthmaking, though it has not been clearly presented as such. Our goal is to articulate and then object to the underlying rationale behind deflationary truthmaking. We begin by developing the analogy between deflationary truth and deflationary truthmaking, and then (...) show how the latter can be found in the work of Dodd, Hornsby, Schnieder, Williamson, and others. These philosophers believe that the ambitions of truthmaker theory are easily satisfied, without recourse to ambitious ontological investigation—hence the analogy with deflationary truth. We argue that the deflationists’ agenda fails: there is no coherent deflationary theory of truthmaking. Truthmaking, once deflated, fails to address the questions at the heart of truthmaking investigation. Truthmaking cannot be had on the cheap. (shrink)

What requirements must deflationary formal theories of truth satisfy? This chapter argues against the widely accepted view that compositional and Tarskian theories of truth are substantial or otherwise unacceptable to deflationists. First, two purposes that a formal truth theory can serve are distinguished: one descriptive, the other logical (i.e., to characterise the correctness of inferences involving ‘true’). The chapter argues that the most compelling arguments for the incompatibility of compositional and Tarskian theories concern descriptive theories (...) only. -/- Second, two requirements that any deflationist truth theory intended to serve a logical purpose must satisfy are put forward. These requirements, it is argued, suggest that (i) many well-known compositional and Tarskian theories are acceptable from a deflationist standpoint (including CT); (ii) certain other popular theories of truth (including KF and FS) are not similarly acceptable; (iii) there are no conclusive reasons to impose a conservativeness requirement on deflationary theories of truth. (shrink)

In this paper, we present what we call the argument from accidental truth, according to which some instances of deflationist schemata, even those carefully reformulated and adjusted by Field and Horwich to accommodate the truth of utterances, are falsified due to accidental truths. Since the folk concept of truth allows for accidental truths, the deflationary theory of truth will face a serious problem. In particular, it follows that the deflationist schema fails to capture the (...) proper extension of truth by precluding accidental truths of utterances. Even though the argument uses the contextualist cases, this conclusion does not require so much as the truth of contextualism, but only two assumptions, the existence of context-relative non-literal contents of utterances (or speech acts), and the existence of accidental truths, both of which are widely accepted by folks and theorists. We will also consider various responses to the argument, including the revisionary deflationist position, all of which we argue are unsatisfactory or committed to a highly implausible view. (shrink)

Arguments pro and contra convergent realism - underdetermination of theory by observational evidence and pessimistic meta-induction from past falsity- are considered. It is argued that, to meet the counter-arguments challenge, convergent realism should be considerably changed with a help of modification of the propositions from this meta-programme’s “hard core” and “protecting belt”. Maybe one of the ways out is to turn to the coherent theory of truth. Some of the works of Hegel (as interpreted by Merab Mamardashvili (...) and Alexandre Kojev), Husserl and Heidegger can help to dig still deeper into the background of this theory. Key words: Husserl, Heidegger, Hegel, convergent realism, internal realism, coherent theory of truth. -/- . (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on (...) the nature of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

Epistemic theories of truth, such as those presumed to be typical for anti-realism, can be characterised as saying that what is true can be known in principle: p → ◊Kp. However, with statements of the form “p & ¬Kp”, a contradiction arises if they are both true and known. Analysis of the nature of the paradox shows that such statements refute epistemic theories of truth only if the the anti-realist motivation for epistemic theories of truth is not (...) taken into account. The motivation in a link of understandability ans meaningful- ness suggests to change the above principle and to restrict the theory to logically simple sentences, in which case the paradox does not arise. This suggestion also allows to see the deep philosophical problems for anti-realism those counterexamples are pointing at. (shrink)

The chapter distinguishes between a weak and a strong form of ontological naturalism. Strong ontological naturalism is the view that all truths can be deduced, at least in principle, from truths about physical entities at the lowest level of organization, for example, truths about the elementary particles and forces. Weak ontological naturalism is the view that only physical properties can be causally efficacious. Strong ontological naturalism entails weak ontological naturalism but not vice versa. I then argue that the existence of (...) a truth property is consistent with weak ontological naturalism, as truth is not causally efficacious. After considering several prominent theories of truth, I argue that the only theories of truth that are consistent with strong ontological naturalism are deflationary doctrines that deny that there is a substantial truth property but these theories are not suitable adjoints to strong naturalism, as folks with strong naturalist inclinations normally want to posit the existence of substantial natural properties. Yet if the truth property itself is insubstantial, so are claims about the existence of substantial natural properties. I conclude by arguing that the result that there cannot be a naturalistic theory of truth is unsurprising, as there are independent reasons for thinking that the basic semantic notions must be treated an irreducible, primitive properties. (shrink)

We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.

I here develop a specific version of the deflationary theory of truth. I adopt a terminology on which deflationism holds that an exhaustive account of truth is given by the equivalence between truth-ascriptions and de-nominalised (or disquoted) sentences. An adequate truth-theory, it is argued, must be finite, non-circular, and give a unified account of all occurrences of “true”. I also argue that it must descriptively capture the ordinary meaning of “true”, which is plausibly (...) taken to be unambiguous. Ch. 2 is a critical historical survey of deflationary theories, where notably disquotationalism is found untenable as a descriptive theory of “true”. In Ch. 3, I aim to show that deflationism cannot be finitely and non-circularly formulated by using “true”, and so must only mention it. Hence, it must be a theory specifically about the word “true” (and its foreign counterparts). To capture the ordinary notion, the theory must thus be an empirical, use-theoretic, semantic account of “true”. The task of explaining facts about truth now becomes that of showing that various sentences containing “true” are (unconditionally) assertible. In Ch. 4, I defend the claim (D) that every sentence of the form “That p is true” and the corresponding “p” are intersubstitutable (in a use-theoretic sense), and show how this claim provides a unified and simple account of a wide variety of occurrences of “true”. Disquotationalism then only has the advantage of avoiding propositions. But in Ch. 5, I note that (D) is not committed to propositions. Use-theoretic semantics is then argued to serve nominalism better than truth-theoretic ditto. In particular, it can avoid propositions while sustaining a natural syntactic treatment of “that”-clauses as singular terms and of “Everything he says is true”, as any other quantification. Finally, Horwich’s problem of deriving universal truth-claims is given a solution by recourse to an assertibilist semantics of the universal quantifier. (shrink)

In this paprer a class of so called mathematically acceptable (shortly MA) languages is introduced First-order formal languages containing natural numbers and numerals belong to that class. MA languages which are contained in a given fully interpreted MA language augmented by a monadic predicate are constructed. A mathematical theory of truth (shortly MTT) is formulated for some of these languages. MTT makes them fully interpreted MA languages which posses their own truth predicates, yielding consequences to philosophy of (...) mathematics. MTT is shown to conform well with the eight norms presented for theories of truth in the paper 'What Theories of Truth Should be Like (but Cannot be)' by Hannes Leitgeb. MTT is also free from infinite regress, providing a proper framework to study the regress problem. (shrink)

In 'On the nature of truth and falsehood' Russell offers both a multiple relation theory of judgment and a correspondence theory of truth. It has been a prevailing understanding of the Tractatus that Wittgenstein rejects Russell’s multiple relation idea but endorses the correspondence theory. Ramsey took the opposite view. In his 'Facts and Propositions', Ramsey endorses Russell’s multiple relation idea, rejects the correspondence theory, and then asserts that these moves are both due to Wittgenstein. (...) This chapter will argue that Ramsey’s ascriptions are both correct. The extent of the agreement between Ramsey and Wittgenstein will be argued, moreover, to count definitively against standard understandings of Ramsey as a redundancy theorist of truth. Wittgenstein is no correspondence theorist and Ramsey is no redundancy theorist; rather, both philosophers offer identity theories of truth. (shrink)

This paper attempts to address the question what logical strength theories of truth have by considering such questions as: If you take a theory T and add a theory of truth to it, how strong is the resulting theory, as compared to T? Once the question has been properly formulated, the answer turns out to be about as elegant as one could want: Adding a theory of truth to a finitely axiomatized theory (...) T is more or less equivalent to a kind of abstract consistency statement. A large part of the interest of the paper lies in the way syntactic theories are 'disentangled' from object theories. (shrink)

The topic of truth has long been thought to be connected to scientific realism and its opposition. In this essay, I discuss the various ways that truth might be related to realism. First, I consider how truth might be of use when defining scientific realism and its opposition. Second, I consider whether various stances regarding realism require specific stances on the nature of truth. I survey "neutralist" views that argue that one's stance on realism is independent (...) of one's view on truth, and partisan positions that claim that one's attitude on realism is, in part, determined by one's theory of truth. Though partisan views have been popular, and defended by seminal figures such as Thomas Kuhn, Richard Rorty, Hilary Putnam, and Arthur Fine, I raise a number of objections for them. (shrink)

Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model of knowledge. (...) 5. Intellect and figuring out. 6. Comparing foundational holism with Quine’s holism. 7. Evaluation of Quine’s Philosophy -/- III. Substantive Theory of Truth and Relevant Issues: 1. Outline of Sher’s substantive theory of truth. 2. Criticism of deflationism and treatment of the Liar. 3. Comparing Sher’s substantive theory of truth with Tarski’s theory of truth. -/- IV. A New Philosophy of Logic and Comparison with Other Theories: 1. Foundational account of logic. 2. Standard of logicality, set theory and logic. 3. Psychologism, Hanna’s and Maddy’s conceptions of logic. 4. Quine’s theses about the revisability of logic. -/- V. Epilogue. (shrink)

Every countable language which conforms to classical logic is shown to have an extension which has a consistent definitional theory of truth. That extension has a consistent semantical theory of truth, if every sentence of the object language is valuated by its meaning either as true or as false. These theories contain both a truth predicate and a non-truth predicate. Theories are equivalent when sentences of the object lqanguage are valuated by their meanings.

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist (...) terms. In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

The article develops a correctness theory of truth (CTT) for semantic information. After the introduction, in section two, semantic information is shown to be translatable into propositional semantic information (i). In section three, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in section four, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q (...) + A]. This completes the reduction of the truth of i to the correctness of A. In sections five and six, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates (in a Fregean sense) Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. The last section draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. (shrink)

The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these theories (...) meets the correspondence intuition---that a true sentence or proposition in some way corresponds to reality---despite the explicit claims by each to capture this intuition. I distinguish six versions of the correspondence theory, and defend two against traditional objections, standardly taken as decisive against them, and show, plainly, that these two theories capture the correspondence intuition. Due to the importance of meeting this intuition, only these two theories stands a chance of being a satisfactory theory of truth. I argue that the version of the correspondence theory incorporating a simple semantic representation relation is preferable to its rival, for which the representation relation is complex. I present and argue for a novel version of this correspondence theory according to which truth is a correspondence property sensitive to semantic context. One consequence of this context-sensitivity is that an ungrounded sentence does not express a proposition. In addition to accounting for the similarity between the Liar and Truth-Teller sentences, this theory of truth is immune to the Liar Paradox, including empirical versions. It is argued that the Liar Paradox is devastating to all of the other theories above, and even formal theories of truth designed to solve it, such as the revision and vagueness theories. Customized versions of the Liar Paradox besetting this theory are handled by its context-sensitivity, and by enforcing the distinction between truth and truth value. This same pair of considerations also yields solutions to Lob's Paradox and Grelling's Paradox. Arguments similar to those given to defend this correspondence theory show that with one minor alteration, Kripke's fixed point theory may be used to model this correspondence notion of truth. (shrink)

A raft of new philosophical problems concerning truth have recently been discovered by several theorists. These problems concern the question of how ascriptions of truth are to be grounded. Most previous commentators have taken the problems to shed light on the theory of ground. In this paper, I argue that they also shed light on the theory of truth. In particular, I argue that the notion of ground can be deployed to clearly articulate one strand (...) of deflationary thinking about truth, according to which truth is “metaphysically lightweight.” I offer a ground-theoretic explication of the lightness of truth and show how it yields a novel solution to the problems concerning how truth is grounded. So, the theory of truth and the theory of ground interact fruitfully: we can apply the notion of ground to offer a clear explication of the deflationist claim that truth is “metaphysically lightweight” that both captures the motivations for that claim and solves the problems. (shrink)

In Pragmatism, James promised his readers a theory of truth. However, many of his readers (even those sympathetic with other parts of James’s work) have concluded that James’s “theory” was little more than a tangle of mistakes. In this chapter, I offer an interpretation and defence of James’s theory of truth. I emphasize James’s truth pluralism.

Constructive empiricism, the scientific anti-realism championed by Bas van Fraassen, claims to offer an adequate reconstruction of the aim and practice of scientific inquiry without adopting the inflationary metaphysical excesses of scientific realism. In articulating the positions of the realist and the empiricist, van Fraassen freely makes use of the concept of truth. Theories of truth come in a variety of flavors, some more metaphysically stark than others. Deflationary theories of truth, for instance, boast of the (...) ability to offer a full account of the nature of truth without having to succumb to the supposed metaphysical extravagances accompanying more substantive accounts. Constructive empiricism and deflationism about truth seem, then, to form a natural pair. My contention is that such a pairing is not possible— constructive empiricism requires a more substantive account of truth than can be offered by the deflationist. (shrink)

Hannes Leitgeb formulated eight norms for theories of truth in his paper [5]: `What Theories of Truth Should be Like (but Cannot be)'. We shall present in this paper a theory of truth for suitably constructed languages which contain the first-order language of set theory, and prove that it satisfies all those norms.

Many commentators on Alfred Tarski have, following Hartry Field, claimed that Tarski's truth-definition was motivated by physicalism—the doctrine that all facts, including semantic facts, must be reducible to physical facts. I claim, instead, that Tarski did not aim to reduce semantic facts to physical ones. Thus, Field's criticism that Tarski's truth-definition fails to fulfill physicalist ambitions does not reveal Tarski to be inconsistent, since Tarski's goal is not to vindicate physicalism. I argue that Tarski's only published remarks that (...) speak approvingly of physicalism were written in unusual circumstances: Tarski was likely attempting to appease an audience of physicalists that he viewed as hostile to his ideas. In later sections I develop positive accounts of: (1) Tarski's reduction of semantic concepts; (2) Tarski's motivation to develop formal semantics in the particular way he does; and (3) the role physicalism plays in Tarski's thought. (shrink)

According to Field’s influential incompleteness objection, Tarski’s semantic theory of truth is unsatisfactory since the definition that forms its basis is incomplete in two distinct senses: (1) it is physicalistically inadequate, and for this reason, (2) it is conceptually deficient. In this paper, I defend the semantic theory of truth against the incompleteness objection by conceding (1) but rejecting (2). After arguing that Davidson and McDowell’s reply to the incompleteness objection fails to pass muster, I argue (...) that, within the constraints of a non-reductive physicalism and a holism concerning the concepts of truth, reference and meaning, conceding Field’s physicalistic inadequacy conclusion while rejecting his conceptual deficiency conclusion is a promising reply to the incompleteness objection. (shrink)

A lot has been written on solutions to the semantic paradoxes, but very little on the topic of general theories of paradoxicality. The reason for this, we believe, is that it is not easy to disentangle a solution to the paradoxes from a specific conception of what those paradoxes consist in. This paper goes some way towards remedying this situation. We first address the question of what one should expect from an account of paradoxicality. We then present one conception of (...) paradoxicality that has been offered in the literature: the fixed-point conception. According to this conception, a statement is paradoxical if it cannot obtain a classical truth-value at any fixed-point model. In order to assess this proposal rigorously we provide a non-metalinguistic characterization of paradoxicality and we evaluate whether the resulting account satisfies a number of reasonable desiderata. (shrink)

Conservativeness has been proposed as an important requirement for deflationary truth theories. This in turn gave rise to the so-called ‘conservativeness argument’ against deflationism: a theory of truth which is conservative over its base theory S cannot be adequate, because it cannot prove that all theorems of S are true. In this paper we show that the problems confronting the deflationist are in fact more basic: even the observation that logic is true is beyond his (...) reach. This seems to conflict with the deflationary characterization of the role of the truth predicate in proving generalizations. However, in the final section we propose a way out for the deflationist — a solution that permits him to accept a strong theory, having important truth-theoretical generalizations as its theorems. (shrink)

In this paper a class of languages which are formal enough for mathematical reasoning is introduced. Its languages are called mathematically agreeable. Languages containing a given MA language L, and being sublanguages of L augmented by a monadic predicate, are constructed. A mathematical theory of truth (shortly MTT) is formulated for some of those languages. MTT makes them fully interpreted MA languages which posses their own truth predicates. MTT is shown to conform well with the eight norms (...) formulated for theories of truth in the paper 'What Theories of Truth Should be Like (but Cannot be)', by Hannes Leitgeb. MTT is also free from infinite regress, providing a proper framework to study the regress problem. Main tools used in proofs are Zermelo-Fraenkel (ZF) set theory and classical logic. (shrink)