According to alethic functionalism, truth is a higher-order multiply realizable property of propositions. After briefly presenting the views main principles and motivations, I defend alethic functionalism from recent criticisms raised against it by Cory Wright. Wright argues that alethic functionalism will collapse either into deflationism or into a view that takes true as simply ambiguous. I reject both claims.

Functionalist theories have been proposed for just about everything: mental states, dispositions, moral properties, truth, causation, and much else. The time has come for a functionalist theory of nothing. Or, more accurately, a role functionalist theory of those absences that are causes and effects.

Although its use is not universal, there is a map of the logical space of theories of truth that is widely applied. According to this map, the most foundational divide amongst theories of truth is that between deflationary and inflationary theories, where, roughly, the former hold that truth is an insubstantial, logical property of little philosophical interest and the latter that it is a substantial property suitable for philosophical attention. Amongst the inflationary theories, there are other fundamental (...) divisions. For example, on the one hand, correspondence theorists hold that the truth of a proposition is a matter of the proposition’s standing in a relation to something else which is not a proposition, such as a fact. On the other hand, coherence theorists hold that the truth of a proposition is a matter of its relations to other propositions. And again, pragmatists hold that the truth of a proposition is a matter of its being useful to believe. Throughout the twentieth century, philosophers used one or other version of this map to orient themselves and their students in the often complex and confusing debates about truth, even while acknowledging that the map may be incomplete in crucial respects (it does not include functionalist and pluralist views, for example). Our objection to the map is not that it is incomplete—although it obviously is—, but that it needs to be radically redrawn. In particular, the familiar division between coherence theories and correspondence theories needs to be rethought. The coherence theory is so often glibly dismissed as absurd that labelling someone as a coherence theorist is often seen as reason enough to ignore them.1 While none of the philosophers usually so labelled should be ignored, we shall argue (§3) that none of them actually held this view anyway. The difficulty—perhaps impossibility—of finding a genuine coherence theorist of truth strikes us as more than just an indication that this is a rare animal. Rather, it suggests the possibility of something significant, namely, that the only occupant of this position in historical space is a set of slogans; this would give us some reason to suppose that the logical space of theories is just as empty at this point.. (shrink)

Michael Lynch has recently proposed an updated version of alethic functionalism according to which the relation between truth per se and lower-level truth properties is not the realization relation, as might be expected, and as Lynch himself formerly held, but the manifestation relation. I argue that the manifestation relation is merely a resemblance relation and is inadequate to properly relate truth per se to lower-level truth properties. I also argue that alethic functionalism does not justify the (...) claim that truth per se exists, or that truth per se is a functional property. Finally, I suggest a replacement for the manifestation relation. I argue that the resulting theory is a strict improvement over alethic functionalism on two counts, but that the improved theory does not justify the claim that truth per se exists. Since no further improvements to the theory are apparent, the prospects for alethic functionalism are dim. (shrink)

According to proper functionalist theories of warrant, a belief is warranted only if it is formed by cognitive faculties that are properly functioning according to a good, truth-aimed design plan, one that is often thought to be specified either by intentional design or by natural selection. A formidable challenge to proper functionalist theories is the Swampman objection, according to which there are scenarios involving creatures who have warranted beliefs but whose cognitive faculties are not properly functioning, or (...) are poorly designed, or are not aimed at truth. In this paper, we draw lessons from cognitive science in order to develop a novel argument for the conclusion that the Swampman objection fails against proper functionalist theories of warrant. Our argument not only shows that the underlying, central intuition motivating Swampman-like scenarios is false but also motivates proper function as a necessary condition for warrant, thereby lending support to the claim that any theory of knowledge that lacks a proper function requirement is false. (shrink)

I have two objectives in this paper. The first is to investigate whether, and to what extent, truth is valuable. I do this by first isolating the value question from other normative questions. Second, I import into the debate about the nature of truth some key distinctions hailing from value theory. This will help us to clarify the sense in which truth is valuable. I then argue that there is significant variability in the value of (...) class='Hi'>truth in different areas of discourse. I shall call this the axiological variability conjecture. I illustrate and substantiate AVC by contrasting the occurrence of disagreement in two paradigmatically evaluative areas of discourse, viz. matters of taste, on the one hand, and morality, on the other. I claim that there is a reasonable tendency to care much more about settling moral disagreements than taste disagreements and that this difference has to do, at least partly but significantly, with the different value that truth exhibits in these two areas of discourse. I then turn to the second objective of the paper—namely, to discuss how pluralistic accounts of the nature of truth may deal with the value of truth in light of AVC. I will argue that AVC is a problem for all versions of truth pluralism that are committed to the following two theses: that truth is a value concept; and that this characteristic of the concept has to be reflected in the metaphysical nature of any admissible truth properties—i.e., all the various properties that are admissible in the pluralist account are value-conferring properties and thus intrinsically valuable. In so doing, I will focus primarily on Michael Lynch’s functionalist incarnation of truth pluralism. Lynch terms this “Manifestation Alethic Pluralism”. My reason for this is twofold: first and foremost, MAP is a paradigmatic exemplification of a model of truth pluralism that is committed to both and ; second, MAP has, to date, enjoyed the most discussion, and currently provides the most developed account of truth pluralism. However, I argue that MAP lacks the resources to account for AVC. Owing to this, I suggest two ways out for an advocate of MAP, which force various structural changes in her view. (shrink)

This paper examines the “pluralist” conception of truth defended by Crispin Wright, and stresses its difficulties and its dangerous flirtation with relativsm. A solution to these difficulties, which Wright himself contemplates, consists in embracing a functionalist theory of truth, according to which truth is a kind of formal property “realised” differently in various domains. But this view, it is argued, does not get rid of the difficulties of pluralism. It is then argued that we have (...) to accept that truth is one, not many, and a kind of realism about truth, on an epistemological basis. (shrink)

This paper develops an adverbial theory of consciousness. Adverbialism is described and endorsed and defended from its near rival, an identity thesis in which conscious mental states are those that the mental subject self-knows immediately that he or she is "in". The paper develops an account of globally supported self-ascription to embed this neo-Brentanian view of experiencing consciously within a more general account of the relation between consciousness and self-knowledge. Following O'Shaughnessy, person level consciousness is explained as a feature (...) of the bundle of mental capacities characteristic of persons: person level consciousness involves a capacity holism. Drawing on Kant, it is argued that if a person is in a mental state intentionally directed to an object then such a subject can "self token" such knowledge. The content of that self-knoweldge supervenes on the possession of a global set of capacities, and this capacity for self-ascription depends on the fact that our experience has a perspectival character with, as it were, nothing at the vanishing point of this perspective. The fact that one can attach the cogito to any one of one's representation shows a truth about the unity of the conscious life of a person that cannot be stated and this capacity is distinguished from self-conscious thinking about oneself. This approach is contrasted to Shoemaker's functionalist treatment of the self-tokening of conscious states and of "self-blindness". It is argued that to be fully consistent, Shoemaker has to abandon the claim that introspectionism is guilty of a self-scanning model or rational control as he seems committed to that model too. (shrink)

Theories of Truth provides a clear, critical introduction to one of the most difficult areas of philosophy. It surveys all of the major philosophical theories of truth, presenting the crux of the issues involved at a level accessible to nonexperts yet in a manner sufficiently detailed and original to be of value to professional scholars. Kirkham's systematic treatment and meticulous explanations of terminology ensure that readers will come away from this book with a comprehensive general understanding of one (...) of philosophy's thorniest set of topics. -/- Included are discussions of the correspondence, coherence, pragmatic, semantic, performative, redundancy, appraisal, and truth-as-justification theories. There are also chapters or sections of chapters on the liar paradox, three-valued logic, Field's critique of Tarski, Davidson's program, Dummett's theory of linguistic competence, satisfaction, recursion, the extension/intension distinction, and an explanation of how theories of justification, properly understood, differ from theories of truth. -/- A persistent theme is that philosophers have too often failed to recognize that not all theories of truth are intended to answer the same question. When the various questions are made distinct, it is apparent that many of the "debates" in this field are really cases of philosophers talking past one another. There is much less disagreement within the field than has commonly been thought. (shrink)

Some have argued, following Stalnaker, that a plausible functionalist account of belief requires coarse-grained propositions. I have explored a class of functionalist accounts, and my argument has been that, in this class, there is no account which meetsall of the following conditions: it is plausible, noncircular, and allows for the validity of the argument to coarse-grained propositions. In producing this argument, I believe that I have shown that it might be open to a functionalist to adopt fine-grained (...) propositions; thus, one might be a functionalist without holding that all mathematical beliefs are about strings of symbols (and that the belief that all bachelors are unmarried men is a belief about words).My project in this paper has been minimal in the following sense. I havenot argued thatno functionalist account of belief which meets the three conditions can be produced; rather, I have simply explored the inadequacies of certain sorts of accounts. I think that this is useful insofar as it makes clear the challenges to be met by an account of belief which can play the required role in the argument to coarse-grained propositions. It is compatible with my position that such an account is forthcoming, insofar as I have not produced a functionalist theory of belief which is clearly non-circular, plausible, and which yields fine-grained propositions. Of course, it is also compatible with my position that no plausible, non-circular functionalist account of belief of any sort can be produced. My argument has been that,if one construes such mental states as belief as functional states, no convincing argument has yet been produced that they require coarse-grained objects. (shrink)

I consider a grand, yet neglected proposal put forward by Shoemaker—a functionalist theory of all properties. I argue that two possible ways of developing this proposal meet with substantial objections. However, if we are prepared to endorse an ontology of tropes, one of these functionalist analyses can be developed into an original and informative theory of properties.

At the centre of the traditional discussion of truth is the question of how truth is defined. Recent research, especially with the development of deflationist accounts of truth, has tended to take truth as an undefined primitive notion governed by axioms, while the liar paradox and cognate paradoxes pose problems for certain seemingly natural axioms for truth. In this book, Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how (...) the logical results impinge on the philosophical topics related to truth. In particular, he shows that the discussion on topics such as deflationism about truth depends on the solution of the paradoxes. His book is an invaluable survey of the logical background to the philosophical discussion of truth, and will be indispensable reading for any graduate or professional philosopher in theories of truth. (shrink)

Nonclassical theories of truth have in common that they reject principles of classical logic to accommodate an unrestricted truth predicate. However, different nonclassical strategies give up different classical principles. The paper discusses one criterion we might use in theory choice when considering nonclassical rivals: the maxim of minimal mutilation.

Marco Buzzoni Gödel, Searle, and the Computational Theory of the (Other) Mind According to Sergio Galvan, some of the arguments offered by Lucas and Penrose are somewhat obscure or even logically invalid, but he accepts their fundamental idea that a human mind does not work as a computational machine. His main point is that there is a qualitative difference between the principles of the logic of provability and those of the logic of evidence and belief. To evaluate this suggestion, (...) I shall first compare it with Searle’s concept of “intentionality”, and then introduce a distinction between two different senses of intentionality: a reflexive-transcendental sense and a positive (that is, historical empirical or formal logical) one. In the first of these senses, the nature of human reason is such that we have no idea how a real material system – or the corresponding formal one – could instantiate it. However, although this will turn out to be an important element of truth in Searle’s and Galvan’s conception, it does not exclude the opposite truth of Turing’s functionalism: because intentionality, intuition, vision or insight – taken in their reflexive-transcendental sense – are simply invisible to the scientific eye, a man and a machine (or a robot) that is and one that is not endowed with intentionality are de facto indistinguishable from a strictly scientific point of view. For this reason, we might eventually be entitled, or even — by the practical precautionary principle – morally obliged, to attribute minds to machines. (shrink)

Three leading philosopher-logicians present a clear and concise overview of formal theories of truth, explaining key logical techniques. Truth is as central topic in philosophy: formal theories study the connections between truth and logic, including the intriguing challenges presented by paradoxes like the Liar.

This chapter contains sections titled: * I Introduction * II A-Theories and B-Theories * III Competing Versions of the A-Theory * IV Presentism a Trivial Truth? * V Open Theism and the A-Theory of Time * VI The “Truthmaker” Argument * VII Conclusion * Notes.

Theories of Truth introduces readers to issues that have been connected with truth—the only book of its kind. Richard Kirkham has an easy writing style and a good sense of what needs to be explained to students new to the literature. These facts make Theories of Truth a serious contender for use in the classroom. As with most introductions, use of the book should be supplemented with readings from the major authors covered. Beyond that supplementation, however, the (...) text still needs to be used with some caution, for there are shortcomings that could seriously mislead students. (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)

For someone who is inclined towards truth monism and moral realism, reading this book is like journeying through a foreign country: somewhat disconcerting, but nonetheless enjoyable. Michael Lynch’s world is a stoutly naturalistic world, in which representation is conceived in terms of causal or teleological relations. This is a world in which it is hard to fit normative facts. Thus, the reader is told that there are good reasons to think that ‘moral properties, should they exist, would not be (...) the sort of properties with which we enter into causal contact’ (p. 161). But it is also a world in which thought is conceived of as unified, in the sense that propositions of all kinds, whether about middle-sized dry goods, mathematical objects, or morals, are truth-apt and cognitive, so that they can intermingle in reasoning. What we have, then, is the following: no moral facts in any serious sense of that term, but ordinary moral truth nonetheless. This is an interesting, but difficult, position. What it requires is a decidedly original account of truth, which Lynch dubs the functionalist theory of truth, according to which truth is both one and many. (shrink)

The paper contains an argument against functionalist theories of consciousness. The argument exploits an intuition to the effect that parts of an individual's brain that are not in use at a time t, can have no bearing on whether that individual is conscious at t. After presenting the argument, I defend it against two possible objections, and then distinguish it from two arguments to which it appears, on the surface to be similar.

The author examines the 1945 and 1948 versions of the Davis-Moore functionalist theory of stratification. The analysis explores the basic postulates, assumptions, and logical articulation of the theory and isolates its distinctively functionalist components. This is followed by a historical account of the major criticisms leveled at the theory. The critics have succeeded in showing the fallacious and tautologous character of the functionalist components, thus, in effect, destroying the theory as a theory. (...) Despite this destruction, various portions of the Davis-Moore theory are shown to be usable, to contain valuable insights, and to be capable of further development. (shrink)

This book examines different views on the concept of truth in early Chinese philosophy, and considers a variety of theories of truth in Chinese and comparative thought.

This papers deals with the class of axiomatic theories of truth for semantically closed languages, where the theories do not allow for standard models; i.e., those theories cannot be interpreted as referring to the natural number codes of sentences only (for an overview of axiomatic theories of truth in general, see Halbach[6]). We are going to give new proofs for two well-known results in this area, and we also prove a new theorem on the nonstandardness of a certain (...) theory of truth. The results indicate that the proof strategies for all the theorems on the nonstandardness of such theories are "essentially" of the same kind of structure. (shrink)

A transformed idea of truth is central to the project of reformational philosophy. This essay lays groundwork for such an idea by proposing a critical retrieval of Herman Dooyeweerd’s conception of truth. First it summarizes relevant passages in Dooyeweerd’s New Critique. Then it demonstrates several problems in his conception: he misconstrues religious truth, misconceives its relation to theoretical truth, and overlooks central questions of epistemology and truth theory. By addressing these problems, reformational philosophers can (...) find new ways to think about truth that retain the holism, normativity, and radicalness of Dooyeweerd’s conception. [T]he decisive blow against the idea of religiously neutral philosophy must be delivered on the field of the problem of truth… The postulate of neutrality always stands and falls with an idea of truth that takes theoretical truth to be self-sufficient. (shrink)

In Truth as One and Many, Michael Lynch offers a new theory of truth. There are two kinds of theory of truth in the literature. On the one hand, we have logical theories, which seek to construct formal systems that are consistent, while also containing a predicate which have as many as possible of the properties which we ordinarily take the English predicate ‘is true’ to have; salient examples include Tarski’s and Kripke’s theories of (...) class='Hi'>truth. On the other hand, we have metaphysical theories, which seek to give a non-formal account of the nature of truth – of what truth consists in, of what it means to say that something is true; salient examples include correspondence, coherence and deflationary theories of truth. Lynch’s theory – functionalism about truth – is of the second sort.The theory takes its start from a number of principles which Lynch classifies as truisms about truth:Objectivity: The belief that p is true if, and only if, with respect to the belief that p, things are as they are believed to be.Norm of Belief: It is prima facie correct to believe that p if and only if the proposition that p is true.End of Inquiry: Other things being equal, true beliefs are a worthy goal of inquiry.Lynch argues that other familiar principles can be derived from these: for example, Objectivity together with some auxiliary principles and definitions yields versions of the T-schema, and of the principle that beliefs can be true without being warranted and vice versa. These principles are supposed to give the nominal essence of truth – to constitute our folk theory of truth. Lynch …. (shrink)

Some sociological theories yield self-subverting or 'dangerous' knowledge. The functionalist theory of social deviance provides a case in point. The theory, first formulated by Durkheim, maintains that ostensibly anti-social deviants perform a number of socially indispensable functions. But what would happen if everyone knew this? They would cease to regard deviants as malefactors and would indeed come to esteem them as public benefactors. In that case, however, deviants could no longer perform their proper function. If they are (...) to play the part assigned to them by the theory, most people must remain unaware of their 'true' role in the drama of social life. This gives rise to the paradox of dangerous knowledge: The theory can be true only if its truths are not widely known; widespread ignorance is the precondition of its truth. But then, if its truths must not be publicly known, the theory is a piece of esoterica, not of science. I conclude by considering, and rejecting, several possible solutions to the 'dangerous knowledge' paradox. (shrink)

Much recent work in the philosophy of language has been concerned with the project of constructing a theory of reference and truth for natural languages. I shall discuss certain assumptions which have been tacitly in the background of most of this work; what I hope my rather sceptical discussion will show is that the project of giving a theory of reference and truth is much more problematic - and more closely tied to questions of general philosophical (...) interest - than is usually suspected. (shrink)

Paul Foulkes; V*—Theories of Truth, Proceedings of the Aristotelian Society, Volume 77, Issue 1, 1 June 1977, Pages 63–72, https://doi.org/10.1093/aristotelian/.

Paul Foulkes; V*—Theories of Truth, Proceedings of the Aristotelian Society, Volume 77, Issue 1, 1 June 1977, Pages 63–72, https://doi.org/10.1093/aristotelian/.

The paper is concerned with the idea that the world is the totality of facts, not of things – with what is involved in thinking of the world in that way, and why one might do so. It approaches this issue through a comparison between Wittgenstein's Tractatus and the identity theory of truth proposed by Hornsby and McDowell. The paper's positive conclusion is that there is a genuine affinity between these two. A negative contention is that the modern (...) identity theory is vulnerable to a complaint of idealism that the Tractatus can deflect. (shrink)

The so-called "problem of religious language" is a philosophical problem generated by some of the doctrines of classical theism. For example, if one conceives of God as infinite, then it would seem that words used to describe finite creatures might not adequately describe him. The ambiguity in meaning with respect to the divine names is the "problem of religious language" or the "problem of naming God." ;There are three possible solutions to the problem of naming God: the equivocal approach, the (...) analogical approach, and the univocal approach. The equivocal view argues that words used with respect to God have a different meaning than the same words used with respect to creatures. After outlining Maimonides' view of equivocity, I argue that his approach limits speech about God to divine actions and negations. Given the richness of the monotheistic traditions and their assumption that truths about God can be communicated about God beyond the divine actions, this position seems unlikely. ;The univocal view argues that words used with respect to God are used in the same sense as when they are applied to creatures. After outlining William Alston's view of univocity, I argue that Alston's approach is to be rejected because it cannot accommodate the differences between God and human beings with respect to perfection. Alston's commitment to the functional interpretation of mental concepts permits him to predicate terms of God and of human beings that he alleges to be "partially univocal." I argue that on the basis of functionalism, only complete univocity could exist between God and human beings and that Alston, himself, rejects complete univocity between God and human beings on the basis of divine perfection. ;The analogical view argues that words used with respect to God signify the same thing as words used with respect to creatures, but in a different mode. I argue that the analogical approach of Thomas Aquinas provides the best means of naming God within the context of classical theism and that it does not fall prey to those problems faced by the equivocal and the univocal views. (shrink)

Alethic functionalism is a sophisticated version of alethic pluralism according to which truth per se is a functional property supervening on lower level truth properties. After presenting alethic functionalism, I discuss four objections to it. I raise a new objection to alethic functionalism that if Objectivity, Norm of Belief, and End of Inquiry are the three truisms, correspondence is necessary and sufficient to satisfy the truisms, so that alethic functionalism capitulates to a correspondence theory of truth. (...) Second, I present a new argument that on alethic functionalism, truth per se is explanatorily epiphenomenal. Third, examining the case of mixed compound propositions shows that the principle which alethic functionalism adopts for determining which lower level truth property is required for a mixed compound proposition to be true has counterintuitive results and is arbitrary. Finally, I argue that alethic functionalism is unable to account for the intuition that a true truth attribution is true because of the proposition(s) to which truth is attributed. (shrink)

David Lewis's position, often called analytic functionalism, was inspired by Ryle's analytic behaviorism, which took psychological predicates to express complex sets of behavioral dispositions. In this chapter, the author reviews some tenets of Lewis's philosophy of mind and begins with some comments on the methodology Lewis employed in his analysis of psychological terms, which has become standard in functionalist accounts across philosophy. Then, he discusses the difference between what are often called “realizer functionalism” and “role functionalism,” and argues that (...) Lewis made the wrong choice. In Lewis's argument for the identity theory, the identity of mental states with biological states follows logically from folk‐psychological definitions and broadly physical facts. A central part of folk psychology concerns the interaction of beliefs, desires, and choices. The chapter presents Lewis's often misunderstood account of intentionality. It also presents few pessimistic remarks on the prospect of analyzing phenomenal truths in terms of functional role. (shrink)

Definitional and axiomatic theories of truth -- Objects of truth -- Tarski -- Truth and set theory -- Technical preliminaries -- Comparing axiomatic theories of truth -- Disquotation -- Classical compositional truth -- Hierarchies -- Typed and type-free theories of truth -- Reasons against typing -- Axioms and rules -- Axioms for type-free truth -- Classical symmetric truth -- Kripke-Feferman -- Axiomatizing Kripke's theory in partial logic -- Grounded truth (...) -- Alternative evaluation schemata -- Disquotation -- Classical logic -- Deflationism -- Reflection -- Ontological reduction -- Applying theories of truth. (shrink)

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

The relative merits and demerits of historically prominent views such as the correspondence theory, coherentism, pragmatism, verificationism, and instrumentalism have been subject to much attention in the truth literature and have fueled the long-lived debate over which of these views is the most plausible one. While diverging in their specific philosophical commitments, adherents of these historically prominent views agree in at least one fundamental respect. They are all alethic monists. They all endorse the thesis that there is only (...) one property in virtue of which propositions can be true, and so, in this sense, take truth to be one. The truth pluralist, on the other hand, rejects this idea. There are several properties in virtue of which propositions can be true. The literature on truth pluralism has been growing steadily for the past twenty years. This volume, however, is the first of its kind—the first collection of papers focused specifically on pluralism about truth. Part I is dedicated to the development, investigation, and critical discussion of different forms of pluralism. An additional reason to look at truth pluralism with interest is the significant connections it bears to other debates in the truth literature—the debates concerning traditional theories of truth and the deflationism/inflationism divide being cases in hand. Parts II and III of the volume connect truth pluralism to these two debates. (shrink)

The identity theory of truth takes on different forms depending on whether it is combined with a dual relation or a multiple relation theory of judgment. This paper argues that there are two significant problems for the dual relation identity theorist regarding thought’s answerability to reality, neither of which takes a grip on the multiple relation identity theory.

The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω-inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. Firstly, I exhibit some conceptual problems that follow from so introducing (...) it. Secondly, I show that in second order theories with standard semantics the same procedure yields a theory that doesn’t have models. So, while having an ω- inconsistent theory is a bad thing, having an unsatisfiable theory of truth is actually worse. This casts doubts on whether the predicate in question is, after all, a truthpredicate for that language. Finally, I present some alternatives to prove an inconsistency adding plausible principles to certain theories of truth. (shrink)

This book argues that correspondence theories of truth fail because the relation that holds between a true thought and a fact is that of identity, not correspondence. Facts are not complexes of worldly entities which make thoughts true they are merely true thoughts. According to Julian Dodd, the resulting modest identity theory, while not defining truth, correctly diagnoses the failure of correspondence theories, and thereby prepares the ground for a defensible deflation of the concept of truth.

This chapter attempts to give a brief overview of nonclassical (-logic) theories of truth. Due to space limitations, we follow a victory-through-sacrifice policy: sacrifice details in exchange for clarity of big-picture ideas. This policy results in our giving all-too-brief treatment to certain topics that have dominated discussion in the non-classical-logic area of truth studies. (This is particularly so of the ‘suitable conditoinal’ issue: §4.3.) Still, we present enough representative ideas that one may fruitfully turn from this essay to (...) the more-detailed cited works for further study. Throughout – again, due to space – we focus only on the most central motivation for standard non-classical-logic-based truth theories: namely, truth-theoretic paradox (specifically, due to space, the liar paradox). (shrink)

Substructural theories of truth are theories based on logics that do not include the full complement of usual structural rules. Existing substructural approaches fall into two main families: noncontractive approaches and nontransitive approaches. This paper provides a sketch of these families, and argues for two claims: first, that substructural theories are better-positioned than other theories to grapple with the truth-theoretic paradoxes, and second—more tentatively—that nontransitive approaches are in turn better-positioned than noncontractive approaches.

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)

The connection between theories of truth and meaning is explored. Theories of truth and meaning are connected in a way such that differences in the conception of what it is for a sentence to be true are engendered by differences in the conception of how meanings depend on each other, and on a base of underlying facts. It is argued that this view is common ground between Davidson and Dummett, and that their dispute over realism is really a (...) dispute in the theory of meaning over holism and molecularism. The view offered is contrasted with influential pragmatist and modest views. (shrink)

Jamin Asay's book offers a fresh and daring perspective on the age-old question 'What is truth?', with a comprehensive articulation and defence of primitivism, the view that truth is a fundamental and indefinable concept. Often associated with Frege and the early Russell and Moore, primitivism has been largely absent from the larger conversation surrounding the nature of truth. Asay defends primitivism by drawing on a range of arguments from metaphysics, philosophy of language and philosophy of logic, and (...) navigates between correspondence theory and deflationism by reviving analytic philosophy's first theory of truth. In its exploration of the role that truth plays in our cognitive and linguistic lives, The Primitivist Theory of Truth offers an account of not just the nature of truth, but the foundational role that truth plays in our conceptual scheme. It will be valuable for students and scholars of philosophy of language and of metaphysics. (shrink)

The main aim of our paper was to present three formal tools for comparing various axiomatic theories of truth. In Section 2 we aimed at showing that there are indeed many different approaches to defining a set of axioms for the notion of truth. In Section 3 we introduced three different \measures of strength" of axiomatic theories of truth, i.e. three reflexive and transitive relations on the set of axiomatic theories of truth. We have explained the (...) intuition behind each of them. The three relations were called : Fujimoto definability, model-theoretical strength, proof-theoretical strength. Then in the last section we described how they order the truth theories introduced in Section 2. We observed that theories made equivalent by the coarser relation can be strictly ordered by the next one. (shrink)

The classic and contemporary readings in this collection represent the four most influential theories of truth – correspondence, pragmatist, coherence, and deflationary theories. A collection of classic and contemporary philosophical reflections on the nature of truth. Opens with an introduction to theories of truth, designed for readers with little or no prior knowledge of the subject. Divided into four sections on the most important theories of truth - correspondence, pragmatist, coherence, and deflationary theories. Brings together articles (...) in the recent debate over the correspondence theory and deflationism that are not otherwise available in one place. Includes contributions by C.S. Peirce, William James, Bertrand Russell, Alfred Tarski, Hartry Field, Dorothy Grover, Anil Gupta and others. Concludes with an extensive bibliography of recent articles on truth. (shrink)

In this essay, I will try to answer two related questions. Adopting Nietzsche’s principle of the “enhancement of life” as a kind of basic value, would truth and truth-telling have high, medial, or no significance at all? In what sense does Nietzsche think that “the falsehood of a judgment is […] not necessarily an objection to it”?1 In order to give a satisfactory answer to these two questions, I will first illustrate how, from his essay entitled “On (...) class='Hi'>Truth and Lies in an Non Moral Sense” to the collection of aphorisms entitled Beyond Good and Evil, Nietzsche develops his analysis and critique of the conventional philosophical theory of truth into a full-fledged theory of multiperspectivism. Having reconstructed Nietzsche’s inquiry of the conventional concept of truth and his theory of perspectivism, I will be able to give a casuistic answer to the two abovementioned questions. (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)