Recent philosophy of language has been profoundly impacted by the idea that mainstream, model-theoretic semantics is somehow incompatible with deflationary accounts of truth and reference. The present article systematizes the case for incompatibilism, debunks circularity and “modal confusion” arguments familiar in the literature, and reconstructs the popular thought that truth-conditional semantics somehow “presupposes” a correspondence theory of truth as an inference to the best explanation. The case for compatibilism is closed by showing that this IBE argument fails to rule out (...) two kinds of deflationism: the position Field famously accused Tarski of having; and a less familiar version of the view that defines reference in terms of a deflated notion of truth. Finally, the distinction between unifying and constitutive explanation is used to forestall the response that correspondence theory is literally part of mainstream semantics. (shrink)

The thesis that nothing is true has long been thought to be a self-refuting position not worthy of serious philosophical consideration. Recently, however, the thesis of alethic nihilism—that nothing is true—has been explicitly defended (notably by David Liggins). Nihilism is also, I argue, a consequence of other views about truth that have recently been advocated, such as fictionalism about truth and the inconsistency account. After offering an account of alethic nihilism, and how it purports to avoid the self-refutation problem, I (...) argue that it avoids the problem at the expense of changing the subject. I then present other arguments against nihilism and responses to the considerations offered in defense of it. The only tenable position is that something is indeed true. (shrink)

The laws of logic and two of the broader theories of truth are fundamental components that are responsible for espousing an ontology and meaningfulness in matters of analytic philosophy. In this respect they have persisted as conventional attitudes or modes of thought which most, if not all, of analytic philosophy uses to philosophize. However, despite the conceptual productivity of these components they are unable to account for matters that are beyond them. These matters would include certain theological beliefs, for instance, (...) that transcend the purview of analytic ontology and the meaningfulness it ensues. Any attempt in making rational sense of such beliefs that are insusceptible to these methodological components would conventionally prohibit (restrict) us from rationally believing in them. This is because we would be unable to make sense of such beliefs with the aid of these methodological components. As a result of this, religious beliefs of this particular nature would be deemed irrational. I shall demonstrate this point by applying both of these components to an absolutely ineffable God of Islam. This would entail, attempting to make sense of an absolutely ineffable God of Islam in virtue of the laws of logic and two broad categories of truth theories, namely, substantive and insubstantive theories. I hope to establish that applying both of these methodological components in attempting to make sense of an absolutely ineffable God of Islam would not be conceptually viable. It would result in a contradictory notion which I shall allude to as the paradox of ineffability. (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)

"Why should we care about having true beliefs? And why do demonstrably false beliefs persist and spread despite consequences for the people who hold them? Philosophers of science Cailin O’Connor and James Weatherall argue that social factors, rather than individual psychology, are what’s essential to understanding the spread and persistence of false belief. It might seem that there’s an obvious reason that true beliefs matter: false beliefs will hurt you. But if that’s right, then why is it irrelevant to many (...) people whether they believe true things or not? In an age riven by "fake news," "alternative facts," and disputes over the validity of everything from climate change to the size of inauguration crowds, the authors argue that social factors, not individual psychology, are what’s essential to understanding the persistence of false belief and that we must know how those social forces work in order to fight misinformation effectively."–Publisher’s description. (shrink)

Conferring legal personhood on purely synthetic entities is a very real legal possibility, one under consideration presently by the European Union. We show here that such legislative action would be morally unnecessary and legally troublesome. While AI legal personhood may have some emotional or economic appeal, so do many superficially desirable hazards against which the law protects us. We review the utility and history of legal fictions of personhood, discussing salient precedents where such fictions resulted in abuse or incoherence. We (...) conclude that difficulties in holding “electronic persons” accountable when they violate the rights of others outweigh the highly precarious moral interests that AI legal personhood might protect. (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)

This paper makes two claims. Firstly, it shows that thinking the truth of any particular concept (such as politics) is founded upon an instrumental logic that betrays the truth of a situation. Truth cannot be thought ‘of something’, for this would fall back into a theory of correspondence. Instead, truth is a function of thought. In order to make this move to a functional concept of truth, I outline Dewey’s criticism, and two important repercussions, of dogmatically instrumental philosophy. I then (...) show how Badiou’s philosophy is indeed guilty of instrumentalisation, but emphasise that his prioritisation of truth is nevertheless important to maintain. The second claim this paper makes is that the criticism of Deleuze’s conception of truth as circular is misplaced, as it is founded on the assumption that Deleuze conceptualises the truth of objects. Instead, I show that, for Deleuze, truth is not a property of an object but of its production. To reach this conclusion, I develop what I call Dewey’s account of pragmatic instrumentalisation (as opposed to the dogmatic instrumentalisation he criticises) into Deleuze’s conceptualisation of truth as the process of making sense of our precarious world. I conclude by making some provisional remarks that Deleuze’s pragmatic account of truth paves the way for an ethics that is not founded on truths it cannot explain (i.e. God or mathematics), but as an ongoing, subversive practice. (shrink)

Can one combine Davidsonian semantics with a deflationary conception of truth? Williams argues, contra a common worry, that Davidsonian semantics does not require truth-talk to play an explanatory role. Horisk replies that, in any event, the expressive role of truth-talk that Williams emphasizes disqualifies deflationary accounts—at least extant varieties—from combination with Davidsonian semantics. She argues, in particular, that this is so for Quine's disquotationalism, Horwich's minimalism, and Brandom's prosententialism. I argue that Horisk fails to establish her claim in all three (...) cases. This involves clarifying Quine’s understanding of a purely referential occurrence; explaining how Davidsonians can avail themselves of a syntactic treatment of lexical ambiguity; and correcting a common misreading of Brandom (answering along the way an objection offered by Künne as well). (shrink)

In the last decades two different and apparently unrelated lines of research have increasingly connected mathematics and evolutionism. Indeed, on the one hand different attempts to formalize darwinism have been made, while, on the other hand, different attempts to naturalize logic and mathematics have been put forward. Those researches may appear either to be completely distinct or at least in some way convergent. They may in fact both be seen as supporting a naturalistic stance. Evolutionism is indeed crucial for a (...) naturalistic perspective, and formalizing it seems to be a way to strengthen its scientificity. The paper shows that, on the contrary, those directions of research may be seen as conflicting, since the conception of knowledge on which they rest may be undermined by the consequences of accepting an evolutionary perspective. (shrink)

From antiquity several philosophers have claimed that the goal of natural science is truth. In particular, this is a basic tenet of contemporary scientific realism. However, all concepts of truth that have been put forward are inadequate to modern science because they do not provide a criterion of truth. This means that we will generally be unable to recognize a scientific truth when we reach it. As an alternative, this paper argues that the goal of natural science is plausibility and (...) considers some characters of plausibility. (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)

In this paper, I discuss two concerns for pluralist truth theories: a concern about a key detail of these theories and a concern about their viability. The detail-related concern is that pluralists have relied heavily upon the notion of a domain, but it is not transparent what they take domains to be. Since the notion of a domain has been present in philosophy for some time, it is important for many theorists, not only truth pluralists, to be clear on what (...) domains are and what work they can do. The viability-related concern is that it’s not clear how a pluralist truth theory could explain the truth-conditions of mixed atomic propositions. To address this concern, truth pluralists should recognize something to which they have not been sufficiently attentive: that some atomic propositions belong to more than one domain. But, recognizing this requires rethinking the relationships between the nature of propositions, their membership in domains, and their truth. I address these issues and propose an understanding of them that is preferable to the best existing account of them, that offered by Michael Lynch. (shrink)

It is commonplace to describe the pragmatist conception of truth as incompatible with correspondence theory. This popular description relies on a deflationary reading of Peirce and James’s many apparent endorsements of correspondence. This reading says they regarded it as a mere platitude or truism, not as a substantive piece of philosophical theorizing. There are two main reasons typically offered in support of this platitude narrative – its consonance with Peirce’s original formulation of PT from 1878, and the objections that pragmatists (...) frequently raised against various notions traditionally associated with CT. I argue that neither reason is compelling and that PT and CT are compatible conceptions of truth. (shrink)

Widespread deflationistic readings of Quine misrepresent his view of disquotation’s significance and the truth predicate’s utility. I demonstrate this by answering a question that philosophers have not directly addressed: how does Quine understand the philosophical problem of truth? A primary thesis of this paper is that we can answer this question only by working from within Quine’s naturalistic framework. Drawing on neglected texts from Quine's corpus, I defend the view that, for Quine, the problem of truth emerges from the development (...) of science, in particular, from logical theorizing. I show that disquotation itself, from this Quinean point of view, is the problematic phenomenon calling for philosophical reflection. I conclude by arguing that Quine does not envisage the kind of explanatory role for disquotation taken up by contemporary deflationists, and he shows no interest in the task that animates deflationism, namely, to show that concerns with truth’s nature are fundamentally confused. (shrink)

In this entry I will offer a survey of the contemporary debate on fic- tionalism, which is a distinctive anti-realist view about certain regions of discourse that are valued for their usefulness rather than their truth.

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.

In the philosophy of Alain Badiou, ethics can only arise in relation to an evental truth procedure that breaks from the economic logic of a situation. Further, because for Badiou there cannot be economic truths per se – rather, economic matters must be understood in their relation to one or more truths in the domain of love, art, science or politics – a Badiouian business ethics would look entirely distinct from any ethics that simply places limits on certain kinds of (...) economic activity. Although Slavoj Žižek, among others, has suggested that this marks an essential weakness in Badiou's economic/political theory, it may actually be the greatest strength of his position. Within a capitalist system, a Badiouian business ethics would then be a question of mobilizing economic resources in order to serve the ongoing construction of a truth procedure. For a business to be considered ethical on Badiou's terms, it must break – and continue to break – from the dominant logic of capitalism and its merely economic pursuit of profit maximization. (shrink)

This brief, largely expository book—hereafter TT—blends history and philosophy of logic with contemporary mathematical logic. Page 3 says it “is about the relation between formal theories of truth...

Truth is one of the central subjects in philosophy. It is also one of the largest. Truth has been a topic of discussion in its own right for thousands of years. Moreover, a huge variety of issues in philosophy relate to truth, either by relying on theses about truth, or implying theses about truth.

I offer an explicit account of the underdetermination thesis as well as of the many challenges it poses to scientific realism; a way to answer to these challenges is explored and outlined, by shifting attention to the content of theories. I argue that, even if we have solid grounds (as I contend we do) to support that some varieties of the underdetermination thesis are true, scientific realism can still offer an adequate picture of the aims and achievements of science.

Letting is a common practice in mathematics. For example, we let x be the sum of the first n integers and, after a short proof, conclude that x = n(n+1)/2; we let J be the point where the bisectors of two of the angles of a triangle intersect and prove that this coincides with H, the point at which another pair of bisectors of the angles of that triangle intersect. Karl Weierstrass's colleagues, in an attempt to solve optimization problems, stipulated (...) that the minimum area for a triangle with a given perimeter be a straight line segment conceived as a triangle with zero altitude. (Weierstrass complained that this obscured the insight that some problems have no solutions.) In mathematics applied to physics, we let x be the temperature in Fahrenheit corresponding to 30° Centigrade; we let v be the velocity of the Earth through the luminiferous ether. Before the error was spotted, the official rules for Little League Baseball made an inconsistent stipulation about the dimensions of home plate (Bradley 1996). (shrink)

This essay argues that deflationism is incompatible with the phenomenon of referential indeterminacy. This puts the deflationist in the difficult position of having to deny the possibility of what otherwise seems like a manifest and theoretically important phenomenon. Section 1 provides background on deflationism. Section 2 considers an intuitive argument by Stephen Leeds to the effect that deflationism precludes RI; the essay argues that this argument does not succeed. The rest of the essay presents its own, distinct argument for the (...) incompatibility of deflationism and RI. Section 3 argues that direct RI—RI that is not simply a derivative of some other, nonreferential instance of indeterminacy—is strictly incompatible with deflationism. Section 4 considers a couple of different ways the deflationist might try to achieve indirect RI—via indeterminate identity and indeterminate synonymy—and argues that each is unsatisfactory. (shrink)

First paragraph: This paper seeks to understand various paradoxes as cases of conflicting rules. In particular, the ambition is to outline a new perspective on and response to the Liar -- though it will take us a while to get that far. We begin in Section 1 with an account of simple rule confliction. Section 2 then brings this account to bear on a paradox, the Secretary Liberation Paradox, which is readily seen to involve conflicting rules. Finally in Section 3 (...) I suggest that the Liar can also be seen as a case of rule confliction, and outline briefly how that perspective provides for Liar arguments to be blocked. (shrink)

Recently, several philosophers have proposed fictionalist accounts of truth-talk, as a means for resolving the semantic pathology that the Liar Paradox appears to present. These alethic fictionalists aim to vindicate truth-talk as a kind of as if discourse, while rejecting that the talk attributes any real property of truth. Liggins has recently critically assessed one such proposal, Beall’s constructive methodological deflationist, offering objections to Beall’s proposed alethic fictionalism that potentially generalize to other alethic fictionalist accounts. Liggins further argues that CMD (...) supports a classically consistent response to the Liar Paradox—one that can be extracted from CMD, while leaving its putatively problematic fictionalist elements behind in favor of alethic nihilism. In this paper, after establishing that Liggins’s criticisms of CMD are off base, we show that the classical resolution of the Liar Paradox that he proposes is unworkable. Since his resistance to alethic fictionalism turns out to be unmotivated, we conclude that this approach is still worth considering as a framework for a resolution of the Liar Paradox. (shrink)

The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (shrink)

Mental fictionalism maintains that: (1) folk psychology is a false theory, but (2) we should nonetheless keep using it, because it is useful, convenient, or otherwise beneficial to do so. We should (or do) treat folk psychology as a useful fiction—false, but valuable. Yet some argue that mental fictionalism is incoherent: if a mental fictionalist rejects folk psychology then she cannot appeal to fictions in an effort to keep folk psychological discourse around, because fictions presuppose the legitimacy of folk psychology. (...) Call this the Argument from Cognitive Collapse. In this paper, I defend several different mental fictionalist views against cognitive collapse. (shrink)

In a recent article, David distinguishes between two interpretations of Tarski’s work on truth. The standard interpretation has it that Tarski gave us a definition of truth in-L within the meta-language; the non-standard interpretation, that Tarski did not give us a definition of true sentence in L, but rather a definition of truth, and Tarski does so for L within the metalanguage. The difference is crucial: for on the standard view, there are different concepts of truth, while in the alternative (...) interpretation there is just one concept. In this paper we will have a brief look at the distinction between these two interpretations and at the arguments David gives for each view. We will evaluate one of David’s arguments for the alternative view by looking at Tarski’s ‘On the concept of truth in formalized languages’, and his use of the term ‘extension’ therein, which, we shall find, yields no conclusive evidence for either position. Then we will look at how Tarski treats ‘satisfaction’, an essential concept for his definition of ‘true sentence’. It will be argued that, in light of how Tarski talks about ‘satisfaction’ in Sect. 4 of ‘CTF’ and his claims in the Postscript, the alternative view is more likely than the standard one. (shrink)

Our aim in this paper is to replace the old concept of truth in mathematics, based on the Set Structure provided with idea of true and false characterized by the presence of a characteric function \, by a mathematical structures founded on the idea of Topos, the triple structure \\}\) and the notion of Gradual Truth or Steps from the truth. Our motivations is to understand the mathematical structures underlying the emergence’s mechanism and phenomena. We think that this approach could (...) be useful to better appreciate the subtleties of the notion of truth and gives us a better understanding of the complex and changing phenomena. (shrink)

The logic of a physical theory reflects the structure of the propositions referring to the behaviour of a physical system in the domain of the relevant theory. It is argued in relation to classical mechanics that the propositional structure of the theory allows truth-value assignment in conformity with the traditional conception of a correspondence theory of truth. Every proposition in classical mechanics is assigned a definite truth value, either ‘true’ or ‘false’, describing what is actually the case at a certain (...) moment of time. Truth-value assignment in quantum mechanics, however, differs; it is known, by means of a variety of ‘no go’ theorems, that it is not possible to assign definite truth values to all propositions pertaining to a quantum system without generating a Kochen–Specker contradiction. In this respect, the Bub–Clifton ‘uniqueness theorem’ is utilized for arguing that truth-value definiteness is consistently restored with respect to a determinate sublattice of propositions defined by the state of the quantum system concerned and a particular observable to be measured. An account of truth of contextual correspondence is thereby provided that is appropriate to the quantum domain of discourse. The conceptual implications of the resulting account are traced down and analyzed at length. In this light, the traditional conception of correspondence truth may be viewed as a species or as a limit case of the more generic proposed scheme of contextual correspondence when the non-explicit specification of a context of discourse poses no further consequences. (shrink)

The category-theoretic representation of quantum event structures provides a canonical setting for confronting the fundamental problem of truth valuation in quantum mechanics as exemplified, in particular, by Kochen–Specker’s theorem. In the present study, this is realized on the basis of the existence of a categorical adjunction between the category of sheaves of variable local Boolean frames, constituting a topos, and the category of quantum event algebras. We show explicitly that the latter category is equipped with an object of truth values, (...) or classifying object, which constitutes the appropriate tool for assigning truth values to propositions describing the behavior of quantum systems. Effectively, this category-theoretic representation scheme circumvents consistently the semantic ambiguity with respect to truth valuation that is inherent in conventional quantum mechanics by inducing an objective contextual account of truth in the quantum domain of discourse. The philosophical implications of the resulting account are analyzed. We argue that it subscribes neither to a pragmatic instrumental nor to a relative notion of truth. Such an account essentially denies that there can be a universal context of reference or an Archimedean standpoint from which to evaluate logically the totality of facts of nature. (shrink)

Suppose our ordinary notion of truth is ‘inconsistent’ in the sense that its meaning is partly given by principles that classically entail a logical contradiction. Should we replace the notion with a consistent surrogate? This paper begins by defusing various arguments in favor of this revisionary proposal, including Kevin Scharp’s contention that we need to replace truth for the purposes of semantic theorizing . Borrowing a certain conservative metasemantic principle from Matti Eklund, the article goes on to build a positive (...) case for the opposite policy: retaining truth as-is. The thought is basically that bivalence for the bulk of what we say in the course of ordinary, scientific, and philosophical inquiry should suffice to justify keeping ‘true’. Two versions of the story are told: one more philosophical, drawing on an analogy to Lewis’ response to Putnam’s paradox; the other more technical, invoking a deviant stran.. (shrink)

Making a connection between ‘post-modernism’ and post-truth has by now become a standard trope, both within academia and popular discourse, despite post-truth’s only recent emergence as a concept. Such claims are often rather vague and fanciful and lack an altogether credible account of either phenomenon in many cases. This Chapter argues however that within a legal context, there is the emergence of a legal post-truth which is the direct consequence of a concrete form of post-modernity within legal practice and thought. (...) While law may be called upon to engage in judgments of ‘truth’ in numerous interesting ways, it does not itself have any particular form of privileged access to the truth of statements or allegations, even though it is often treated as doing so. However, the most persistent question which law must deal with, and indeed the most persistent question within legal philosophy, relates to a deeper form of inquiry into truth: the question of legal truth. In simple terms this refers to the correctness of any particular proposition of law. Within legal theory, this expands to the larger question of what makes, in general, any legal proposition valid, or true. Reflecting upon legal scholarship through the lens of truth reveals that theories of law can be broken down into two broad and radically distinct categories. On the one hand, there exist empirical accounts of law which fundamentally understand questions of legal truth as social questions whose answers are empirically demonstrable. On the other hand, there are ‘idealist’ accounts of law which view legal content, and hence truth, as existing in some way or other in a manner which transcends social practice and which is autonomous from it. Both of these classical accounts, while radically different, share an interesting paradox: they see truth in law as an objective fact, but one which is fleeting and distant, far from the paradigm of legal certainty upon which the ideology of law is partly based. However, such accounts of legal truth share many other unstated aspects, and are largely based upon ideas which place the separateness and completeness of legal systems at their heart, providing either a unified ideal or a unified empirically observable social practice. However, they are share a common flaw, namely the failure to account for what might be called a post-modern phase of development in law, in which ordinary legal questions now regularly require the complex and non-hierarchical interaction of competing legal systems with different ‘truths’ and different ways of arriving at such truths. Such phenomena are commonly referred to as legal or, at times, constitutional ‘pluralism’. This post-modern turn within law has also produced therefore what we might call a form of post-truth within law. This is particularly significant because it places under great strain both the empirical and ideal accounts of legal truth and require us to re-elaborate an account of what makes a legal proposition true. From certain perspectives, this legal post-truth shares certain important aspects with the cultural phenomenon of post-truth, namely its apparently capricious and deracinated nature. However, it is argued in this Chapter that, in the legal context at least, post-truth allows for the transcendence of the empirical/ideal divide and the revealing of deeper forms of legal truth and our ability to account for them through theory or, put more simply, explanation. Upon greater reflection, legal truth is generated by the very forms of argument, or modes, which allow access to it. Such forms of argument exist also to produce legal truths outside and between legal orders where these appear to conflict or collide. While some legal scholars and others claim that such pressures on structures of knowledge reveal the end of the potential for law to generate truth, it is argued here that, on the contrary, they require a more open and more transparent use of the pure methods and modes of reason which both reveal but also generate legal truth in the first place. This is relevant to post-truth more generally in one specific way, despite the numerous idiosyncrasies of legal truth and knowledge: when assertions of truth within structures of power seem to come to embody the perspectivism and relativism used as methods of deconstruction, the post-modern and deconstructionist projects themselves require radical change: they stay true to their goal of deconstructing structures and discourses of power by applying the classical epistemologies which are rejected by those in power. Just as legal outcomes which are asserted rather than reasoned or justified are most convincingly deconstructed through sober legal modes, so can the post-modernist project find purpose in a world where dominant epistemes seem to have come to embody a simplistic version of post-modernist critiques. (shrink)