An object-based correspondence theory of truth holds that a truth-bearer is true whenever its truth conditions are met by objects and their properties. In order to develop such a view, the principal task is to explain how truth-bearers become endowed with their truth conditions. Modern versions of the correspondence theory see this project as the synthesis of two theoretical endeavours: basic metasemantics and compositional semantics. Basic metasemantics is the theory of how simple, meaningful (...) items (e.g. names and concepts) are endowed with their contributions to truth conditions, and compositional semantics is the theory of how the meanings of simple items compose to generate (among other things) the truth conditions of sentences. Understanding truth along these broad lines was once popular; it was first championed by Field (1972). However, the once-popular conception of its tasks included an over-ambitious view of basic metasemantics. It was thought that reference needed to be analyzed (or reduced a posteriori) in terms of more fundamental, non-semantic relations (e.g. causal relations, indication, or teleological relations, in the case of mental representation). Obstacles in providing such an analysis engendered skepticism towards this understanding of truth and eventually gave way to its deflationary competitors. This dissertation aims to defend the modern, object-based correspondence theory against its rivals—especially deflationism. Chapter one provides a historically-grounded overview of the theory. Chapter two identifies two points of contrast between the correspondence theorist and the deflationist: they employ different orders of explanation for the variety of semantic phenomena, and they (traditionally) take different attitudes towards the prospects of reduction. Situating the dialectic in this way allows me to develop a middle ground: a moderate version of inflationism that takes the inflationary explanatory structure and combines it with a non-reductive, pluralist approach to basic metasemantics. Chapter three expands on the details of this pluralist account of reference. Chapter four contrasts the view with another rival approach to basic metasemantics: metasemantic interpretationism. And finally, chapter five applies the theory to answer another question of broad philosophical interest: what role does our conception of truth play in inquiry about the world? (shrink)

Several studies in experimental philosophy and semantics have shown that a substantial number of English speakers consider a statement true even if it does not align with the facts, as long as it is justified from the speaker's perspective. These findings challenge the prevailing view among philosophers that truth is uniformly based on a statement's correspondence to reality and suggest that for some speakers truth is sensitive to epistemic perspectives. In this study, we show that this behavior (...) depends on how the critical question assessing the statement's truth is phrased. When participants were asked whether the proposition itself is true (e.g., "Is it true that [the uttered proposition]?"), almost everyone answered negatively. It is when the original speaker was mentioned in the question (e.g., "Is what [the speaker] said true?" or "Is [the speaker]’s answer true?") that around half of the participants answered positively. We explore four possible explanations for this behavior: (1) "true" might be ambiguous between a basic correspondence sense and a coherence sense, which may be activated in some people by the explicit mentioning of the speaker; (2) "true" could be a context-sensitive expression with an implicit perspective parameter such that some speakers shift to the speaker’s perspective when prompted by the question; (3) those who select "true" might ad hoc relativize the term to the speaker’s perspective; (4) those who select "true" might unconsciously substitute it with "truthful". In addition, we discuss the implications of the findings for other philosophical discussions concerning norms of assertion, sincerity, and the theory of reference. (shrink)

This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is true. The (...) validity predicate so defined significantly increases our expressive resources and provides a coherent formal treatment of paradoxical arguments. (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)

Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled in’ (...) elements of truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

Most philosophers have largely downplayed any relevance of multiple meanings of the folk concept of truth in the empirical domain. However, confusions about what truth is have surged in political and everyday discourse. In order to resolve these confusions, we argue that we need a more accurate picture of how the term ‘true’ is in fact used. Our experimental studies reveal that the use of ‘true’ shows substantial variance within the empirical domain, indicating that ‘true’ is ambiguous between (...) a correspondence and a coherence reading. We then explore the consequences of these results for the project of re-engineering truth. (shrink)

Truthmaker theory begins with the idea that truth depends upon reality. When a truth-bearer is true, that is because something or other in the world makes it true. My dissertation offers a theory of truthmakers that shows how we should flesh out this thought while avoiding the contentious metaphysical commitments that are built into other truthmaker theories. Because of these commitments, many philosophers have come to view truthmaker theory as being essentially tied to correspondence theories of (...) class='Hi'>truth, and to metaphysical realism. I argue that, quite to the contrary, truthmaker theory is distinct from correspondence theory, and that the former actually undermines the motivation for the latter. In fact, truthmaker theory can be used to argue for a particular kind of deflationism about truth. I also argue that debates about realism and anti-realism are best viewed through the lens of truthmaker theory, which is not—contrary to what many have thought—an essentially realist approach to metaphysics. Anti-realists of various stripes can also make use of truthmakers. The anti-realism of such views depends upon either the nature of the truthmakers they use, or the nature of the truthmaking relation itself. (shrink)

The paper seeks to answer two new questions about truth and scientific change: What lessons does the phenomenon of scientific change teach us about the nature of truth? What light do recent developments in the theory of truth, incorporating these lessons, throw on problems arising from the prevalence of scientific change, specifically, the problem of pessimistic meta-induction?

This paper was part of a special online issue on Truth. I critically discuss Peter Geach's paper "Truth and God".

I show that Wittgenstein's critique of G.H. Hardy's mathematical realism naturally extends to Paul Benacerraf's influential paper, ‘Mathematical Truth’. Wittgenstein accuses Hardy of hastily analogizing mathematical and empirical propositions, thus leading to a picture of mathematical reality that is somehow akin to empirical reality despite the many puzzles this creates. Since Benacerraf relies on that very same analogy to raise problems about mathematical ‘truth’ and the alleged ‘reality’ to which it corresponds, his major argument falls prey to the (...) same critique. The problematic pictures of mathematical reality suggested by Hardy and Benacerraf can be avoided, according to Wittgenstein, by disrupting the analogy that gives rise to them. I show why Tarskian updates to our conception of ‘truth’ discussed by Benacerraf do not answer Wittgenstein's concerns. That is, because they merely presuppose what Wittgenstein puts into question, namely, the essential uniformity of ‘truth’ and ‘proposition’ in ordinary discourse. (shrink)

The paper uses the tools of mereotopology (the theory of parts, wholes and boundaries) to work out the implications of certain analogies between the 'ecological psychology' of J. J Gibson and the phenomenology of Edmund Husserl. It presents an ontological theory of spatial boundaries and of spatially extended entities. By reference to examples from the geographical sphere it is shown that both boundaries and extended entities fall into two broad categories: those which exist independently of our cognitive acts (for example, (...) the planet Earth, its exterior surface); and those which exist only in virtue of such acts (for example: the equator, the North Sea). The visual field, too, can be conceived as an example of an extended entity that is dependent in the sense at issue. The paper suggests extending this analogy by postulating entities which would stand to true judgments as the visual field stands to acts of visual perception. The judgment field is defined more precisely as that complex extended entity which comprehends all entities which are relevant to the truth of a given (true) judgment. The work of cognitive linguists such as Talmy and Langacker, when properly interpreted, can be shown to yield a detailed account of the structures of the judgment fields corresponding to sentences of different sorts. A new sort of correspondence-theoretic definition of truth for sentences of natural language can then be formulated on this basis. (shrink)

Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, empirical (...) and abstract, in both mind and world, but the fall of traditional foundationalism has led many to doubt the viability of this ‘classical’ project. Sher challenges this skepticism, charting a new foundational methodology, foundational holism, that differs from others in being holistic, world-oriented, and universal (i.e., applicable to all fields of knowledge). Using this methodology, Epistemic Friction develops an integrated theory of knowledge, truth, and logic. This includes (i) a dynamic model of knowledge, incorporating some of Quine’s revolutionary ideas while rejecting his narrow empiricism, (ii) a substantivist, non-traditional correspondence theory of truth, and (iii) an outline of a joint grounding of logic in mind and world. The model of knowledge subjects all disciplines to demanding norms of both veridicality and conceptualization. The correspondence theory is robust and universal yet not simplistic or naive, admitting diverse forms of correspondence. Logic’s grounding in the world brings it in line with other disciplines while preserving, and explaining, its strong formality, necessity, generality, and normativity. (shrink)

Several studies in experimental philosophy and semantics have shown that a substantial number of English speakers consider a statement true even if it does not align with the facts, as long as it is justified from the speaker's perspective. These findings challenge the prevailing view among philosophers that truth is uniformly based on a statement's correspondence to reality and suggest that for some speakers truth is sensitive to epistemic perspectives. In this study, we show that this behavior (...) depends on how the critical question assessing the statement's truth is phrased. When participants were asked whether the proposition itself is true (e.g., "Is it true that [the uttered proposition]?"), almost everyone answered negatively. It is when the original speaker was mentioned in the question (e.g., "Is what [the speaker] said true?" or "Is [the speaker]’s answer true?") that around half of the participants answered positively. We explore four possible explanations for this behavior: (1) "true" might be ambiguous between a basic correspondence sense and a coherence sense, which may be activated in some people by the explicit mentioning of the speaker; (2) "true" could be a context-sensitive expression with an implicit perspective parameter such that some speakers shift to the speaker’s perspective when prompted by the question; (3) those who select "true" might ad hoc relativize the term to the speaker’s perspective; (4) those who select "true" might unconsciously substitute it with "truthful". In addition, we discuss the implications of the findings for other philosophical discussions concerning norms of assertion, sincerity, and the theory of reference. (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)

In this paper I investigate how differences in approach to truth and logic (in particular, a deflationist vs. a substantivist approach to these fields) affect philosophers’ views concerning pluralism and normativity in these fields. My perspective on truth and logic is largely epistemic, focusing on the role of truth in knowledge (rather than on the use of the words “true” and “truth” in natural language), and my reference group includes Carnap (1934), Harman (1986), Horwich (1990), Wright (...) (1992), Beall and Restall (2006), Field (2009), Lynch (2009), and Sher (2016a).1 Whenever possible, I focus on positive rather than negative views on the issues involved, although in some cases this is not possible. (shrink)

Pragmatists are usually very antagonistic toward the correspondence theory of truth. They contend that the evidence-transcendent standard entailed by the theory is antithetical to the pragmatist methodology of elucidating concepts by exposing their practical bearings. What use could truth be to us if it offers a target we cannot even see? After judging the correspondence theory to be in violation of the Pragmatic Maxim, the pragmatist is prone to banishing it to the wastelands of empty metaphysics, (...) where nothing of practical importance could ever grow. This article makes the case that this unjust condemnation must be appealed and overturned. The ground for my case is an argument to the effect that the correspondence conception of truth can be practically advantageous, which provides proof of the fact that, contrary to popular pragmatist belief, the correspondence theory does comply with the Pragmatic Maxim. (shrink)

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

In this paper, we show how an internal tension in Wilfrid Sellars’s understanding of truth, as well as an external tension in his account of meaning attribution, can be resolved while adhering to a Sellarsian spirit, by appealing to the particular fictionalist accounts of truth-talk and proposition-talk that we have developed elsewhere.

This thesis develops a hermeneutic philosophy of science to provide insights into physics education. -/- Modernity cloaks the authentic character of modern physics whenever discoveries entertain us or we judge theory by its use. Those who justify physics education through an appeal to its utility, or who reject truth as an aspect of physics, relativists and constructivists, misunderstand the nature of physics. Demonstrations, not experiments, reveal the essence of physics as two characteristic engagements with truth. First, truth (...) in its guise as correspondence enables a human being to prepare for the distinctive event of physics. -/- Second, the event of physics occurs in human perception when someone forces a hidden reality to disclose an aspect of itself. Thus, the ground of physics is our human involvement with reality achieved by way of truth. -/- To support this account of physics, the thesis reports phenomenological investigations into Isaac Newton’s involvement with optics and a secondary school physics laboratory. These involve interpretations of Heidegger’s theory of beings, schema and signification. The project draws upon, and contributes to, the hermeneutic phenomenology of modern physics, a tradition in continental philosophy that begins with Immanuel Kant, and advances particularly from Martin Heidegger to Patrick Heelan. -/- The thesis advocates an ontological pedagogy for modern physics which has as its purpose each individual student’s engagement with reality and truth. Students may achieve this through demonstrations of phenomena that will enable them to dwell with physics, an experience that contrasts with their embroilment in modernity, and which perpetuates nature’s own science. (shrink)

Ernst Cassirer claimed that Kant's notion of actual object presupposes the notion of truth. Therefore, Kant cannot define truth as the correspondence of a judgement with an actual object. In this paper, I discuss the relations between Kant's notions of truth, object, and actuality. I argue that's notion of actual object does not presuppose the notion of truth. I conclude that Kant can define truth as the correspondence of a judgement with an actual (...) object. (shrink)

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 present crisis of truth, the "post-truth" crisis, puts the philosophy of truth in a new light. It calls for a reexamination of the tasks of the philosophy of truth and sets a new adequacy condition on this philosophy. One of the central roles of the philosophy of truth is to explain the importance of truth for human life and civilization. Among other things, it has to explain what is, or will be, lost in (...) a post-truth era. Clearly, the deflationist answer that the role of truth is to serve as a tool of generalization and oblique endorsement will not do. My account of truth in this paper addresses this task. Truth, I argue, is first and foremost a human value. Its importance to our life/civilization lies, not exclusively, but principally, in the centrality of this value to our humanity. I investigate the ramifications of this answer to the issues discussed in the contemporary philosophy of truth, and I end with a comparison of the substantivist and deflationist approaches to truth in light of this new perspective. (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)

This book proposes a novel theory of truth and falsity. It argues that truth is a form of reference and falsity is a form of reference failure. -/- Most of the philosophical literature on truth concentrates on certain ontological and epistemic problems. This book focuses instead on language. By utilizing the Fregean idea that sentences are singular referring expressions, the author develops novel connections between the philosophical study of truth and falsity and the huge literature in (...) in the philosophy of language on the notion of reference. The first part of the book constructs the author’s theory and argues for it in length. Part II addresses the ways in which the theory relates to, and is different from, some of the basic theories of truth. Part III takes up how to account for the truth of sentences with logical operators and quantifiers. Finally, Part IV discusses the applications and implications of the theory for longstanding problems in philosophy of language, metaphysics, and epistemology. -/- A Referential Theory of Truth and Falsity will appeal to researchers and advanced students working in philosophy of language, epistemology, metaphysics, and linguistics. -/- . (shrink)

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

When talking about truth, we ordinarily take ourselves to be talking about one-and-the-same thing. Alethic monists suggest that theorizing about truth ought to begin with this default or pre-reflective stance, and, subsequently, parlay it into a set of theoretical principles that are aptly summarized by the thesis that truth is one. Foremost among them is the invariance principle.

Most discussion in population ethics has concentrated how to order populations by the relations “is better than” and “is as good as”. The topic is characterized by paradoxes which show that our considered beliefs are inconsistent in cases where the number of people and their welfare varies. The best known and most discussed example shattering our intuitions is Parfit’s Mere Addition Paradox. But why are paradoxes prevalent in population ethics? Can the analysis of Buddhist intuitions contribute to answer this question? (...) -/- The comparison of classical utilitarian and Buddhist intuitions demonstrates the close tie between intuitions and interests. The perplexing Buddhist intuition about non-existence can be explained (except for metaphysical reasons) by a radically different priority given to survival. -/- The method of measuring the quality of life is not decisive for the existence of paradoxes. The Buddhist axiology changes but doesn’t remove counter-intuitive combinations. -/- If the conflict of interest (quantity versus quality) is described within a two-parameter model, it causes conflicting intuitions. In axiologies which favour quantity (utilitarianism) or quality (perfectionism) the conflicting intuitions inevitably lead to paradoxes. -/- In order to find a compromise, one would have to find a universal interest and a corresponding universal intuition. The obvious candidate to meet this request is sympathy. But since there is no universal consensus on the desirable degree of sympathy, the normative force of such an approach is limited. -/- Breaking out of the two-parameter model and accepting the incommensurability of certain qualities threatens the normative claim of population ethics. (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)

Traditionally, the investigation of truth has been anchored in a priori reasoning. Cognitive science deviates from this tradition by adding empirical data on how people understand and use concepts. Building on psychophysics and machine learning methods, we introduce conceptual scaling, an approach to map people's understanding of abstract concepts. This approach, allows computing participant-specific conceptual maps from obtained ordinal comparison data, thereby quantifying perceived similarities among abstract concepts. Using this approach, we investigated individual's alignment with philosophical theories on (...) class='Hi'>truth and the predictive capacity of conceptual maps. The obtained results indicated that, while people's understanding of truth is multifaceted and encapsulates notions of coherence and authenticity, alignment is best for the correspondence theory of truth. Furthermore, conceptual maps allowed predicting individual outcomes with an accuracy of roughly 70%. This research demonstrates that conceptual scaling offers accurate descriptions of individual's understanding of abstract concepts, behavioral predictions, and quantification of alignment with theoretical perspectives. (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)

Two central themes of Douglas Edwards’s The Metaphysics of Truth are anti-deflationism and substantial pluralism. In Part I of this paper I discuss Edwards’s grounds for rejecting deflationism and suggest a few additional grounds. In Part II I discuss Edward's truth-pluralism and respond to his criticism of my correspondence-pluralism. While these pluralisms share significant features, their differences also raise several important questions.

Jennifer Hornsby’s 1997 paper, ‘Truth: The Identity Theory’, has been highly influential in making the identity theory of truth a viable option in contemporary philosophy. In this introduction and commentary I focus on what distinguishes her theory and its methodology from the correspondence theory and the ‘substantivist’ methodology, and on other issues that have not been widely discussed in earlier commentaries yet are central to the current debate on truth.

This paper canvasses the various dimensions along which theories of truth may disagree about the extent to which truth is minimal.

According to MODERATISM, perceptual justification requires that one independently takes for granted propositional hinges like <There is an external world>, <I am not a brain in a vat (BIV)>, and so on. This view faces the truth problem: to offer an account of truth for hinges that is not threatened by skepticism. Annalisa Coliva has tried to solve the truth problem by combining the claim that external world propositions have a substantive truth property like correspondence (...) with the claim that hinges have a deflationary truth property. I argue that the resulting view cannot offer a coherent characterization of ‘skeptical switch scenarios’ while providing an effective anti-skeptical strategy. In a more positive vein, I defend an approach that combines a correspondence conception of truth with epistemological disjunctivism. (shrink)

I want to show that truth is an important concept, and that it can be explained. However, we must deal with what are called ‘deflationist’ concepts of truth first. Deflationism is the view that there is nothing more to be said about truth once a semantic theory for the truth-predicate (such as Tarski's) has been provided.

Logical reasoning is not only a component of religious faith (cf., for instance, the "Golden rule"), but, in addition, the religious faith itself can be conceived as a logical pragmatic function applied to sentences and their meanings. Pragmatic role of religious faith is shown on the examples of the analogy of seed and spoken word (e.g., Mt 13:3-23) and on the degrees of faith described in the episode about Nicodemus (John 3). Pragmatics adds (different grades of) perseverance to the correctness (...) of reasoning and to the truth-preservation of the consequence relation. Correspondingly, religious faith is described by formally defined model and satisfaction relation, which are applied to and examined on the text of John 3. (shrink)

Truth in a correspondence sense is objective in two ways. It is objective because the relation of correspondence is objective and because the facts to which truths correspond are objective. Truth about artifacts is problematic because artifacts are intentionally designed to perform certain functions, and so are not entirely mind independent. Against this, it is argued in this paper that truth about artifacts is perfectly objective despite the role played by intention and purpose in the (...) production of artifacts. (shrink)

Monists say that the nature of truth is invariant, whichever sentence you consider; pluralists say that the nature of truth varies between different sets of sentences. The orthodoxy is that logic and logical form favour monism: there must be a single property that is preserved in any valid inference; and any truth-functional complex must be true in the same way as its components. The orthodoxy, I argue, is mistaken. Logic and logical form impose only structural constraints on (...) a metaphysics of truth. Monistic theories are not guaranteed to satisfy these constraints, and there is a pluralistic theory that does so. (shrink)

Robert Adams characterizes actualism regarding possible worlds as «the view that if there are any true statements in which there are said to be nonactual possible worlds, they must be reducible to statements in which the only things there are said to be are things which there are in the actual world, and which are not identical with nonactual possibles.» In this paper, I will briefly explain actualism about possible worlds, showing that an essential pillar of the theory is the (...) claim that truth is distinct from, and ontologically prior to, truth in a world. The rest of the paper is premised on the idea that an interesting philosophical defense of this claim calls for an analysis of truth itself, and is not intended as an objection to actualism, but rather to underscore the interest actualists should have in the question of what truth is. First, I will consider the idea, drawn from Adams and Alan McMichael, that truth differs from truth in a world in its being a matter of correspondence between a proposition and an independent object; that object being, in McMichael's words, the `concrete universe'. Then, I will show that, given such an analysis of truth, the truth conditions for propositions about non-actual possibilities violate the central tenet of actualism, as articulated by Adams. (shrink)

The present thesis focuses on counterfactuals. Specifically, we will address new questions and open problems that arise for the standard semantic accounts of counterfactual conditionals. The first four chapters deal with the Lewisian semantic account of counterfactuals. On a technical level, we contribute by providing an equivalent algebraic semantics for Lewis' variably strict conditional logics, which is notably absent in the literature. We introduce a new kind of algebra and differentiate between local and global versions of each of Lewis' variably (...) strict conditional logics. We study the algebraic properties of Lewis' logics and the structure theory of our newly introduced algebras. Additionally, we employ a new algebraic construction, based on the framework of Boolean algebras of conditionals, to provide an alternative semantics for Lewisian counterfactual conditionals. This semantic account allows us to establish new truth conditions for Lewisian counterfactuals, implying that Lewisian counterfactuals are definable conditionals, and each counterfactual can be characterized as a modality of a corresponding probabilistic conditional. We further extend these results by demonstrating that each Lewisian counterfactual can also be characterized as a modality of the corresponding Stalnaker conditional. The resulting formal semantic framework is much more expressive than the standard one and, in addition to providing new truth conditions for counterfactuals, it also allows us to define a new class of conditional logics falling into the broader framework of weak logics. On the philosophical side, we argue that our results shed new light on the understanding of Lewisian counterfactuals and prompt a conceptual shift in this field: Lewisian counterfactual dependence can be understood as a modality of probabilistic conditional dependence or Stalnakerian conditional dependence. In other words, whether a counterfactual connection occurs between A and B depends on whether it is "necessary" for a Stalnakerian/probabilistic dependence to occur between A and B. We also propose some ways to interpret the kind of necessity involved in this interpretation. The remaining two chapters deal with the probability of counterfactuals. We provide an answer to the question of how we can characterize the probability that a Lewisian counterfactual is true, which is an open problem in the literature. We show that the probability of a Lewisian counterfactual can be characterized in terms of belief functions from Dempster-Shafer theory of evidence, which are a super-additive generalization of standard probability. We define an updating procedure for belief functions based on the imaging procedure and show that the probability of a counterfactual A > B amounts to the belief function of B imaged on A. This characterization strongly relies on the logical results we proved in the previous chapters. Moreover, we also solve an open problem concerning the procedure to assign a probability to complex counterfactuals in the framework of causal modelling semantics. A limitation of causal modelling semantics is that it cannot account for the probability of counterfactuals with disjunctive antecedents. Drawing on the same previous works, we define a new procedure to assign a probability to counterfactuals with disjunctive antecedents in the framework of causal modelling semantics. We also argue that our procedure is satisfactory in that it yields meaningful results and adheres to some conceptually intuitive constraints one may want to impose when computing the probability of counterfactuals. (shrink)

This article arises indirectly out of the development of a particular approach, called ATT-Meta, to the understanding of some types of metaphorical utterance. However, the specifics of the approach are not the focus of the present article, which concentrates on some general issues that have informed, or arisen from, the development of the approach. The article connects those issues to the questions of metaphorical meaning and truth. -/- A large part of the exploration of metaphor in fields such as (...) Cognitive Linguistics and natural language Pragmatics takes metaphor to rest on complex mappings between a target subject matter and a source subject matter (see, e.g., Lakoff 1993, 2008). This is one main way in which some aspects of the source, generally including some structural aspects, can have parallels in the target. It is typical for much, and perhaps the whole, of the meaning of a metaphorical expression to be explained by means of these parallels. We will talk about “parallelism” rather than “isomorphism,” or even “analogy,” because “isomorphism” implies a strict one-to-one correspondence between items in the source scenario and items in the target scenario, and analogy theorists often hold that analogy rests on isomorphism. We wish not to prejudge the question of whether looser, messier forms of parallelism are sometimes needed. Also, we will talk about parallels rather than mappings, because our discussion will embrace the question of parallelism that may be discernible, albeit implicitly, in accounts of metaphor that are not presented as being based on mappings. Three main cases of such accounts are Relevance Theory (RT: e.g., Sperber & Wilson 2008, Wilson & Carston 2006), the categorization-based or "class-inclusion“ approach (Glucksberg 2008), and Ritchie’s (2006) CLST account (Context-Limited Simulation Theory). -/- One main issue we will address is that of substantial non-parallelism that can exist between source and target subject-matters in metaphor: more precisely, the issue that there may be source aspects that are exploited by the utterance and have a deep effect on metaphorical interpretation but that do not themselves have a natural parallel in the target subject-matter (although we will point out that artificial parallels can generally be created). This is part of a broader point that the content of metaphorical discourse should often be seen as being derived in a rather holistic way from several metaphorical bits of the discourse, which conspire to describe some source-domain scenario, rather than being derived by putting together metaphorical meanings of each metaphorical bit (even if each bit could in principle be assigned its own separate metaphorical meaning). As a result, we suggest that it is misguided to think of the propositions making up the content (or, if you like, "meaning“) about the target scenario that is being described is a matter of metaphorical meaning of specific grammatical units such as sentences, clauses or other constituents that a traditional semantic theory would assign propositional meaning to. Rather, grammatical units (that are to be taken metaphorically) have meanings in source-domain terms; content in target-domain terms is derived from the source-domain scenario depicted by those units and fleshed out through inference; and the target-domain content is only (in general) fuzzily relatable to particular grammatical units. This view is on a spectrum at whose extreme point we could place Davidson’s (1984) view that metaphors only have literal (i.e., source-domain) meanings, with other effects on the understander not being a matter of propositional content. However, on our view it is proper to take metaphorical discourse as having non-literal meaning, couched as a collection of propositions, among other things possibly; it is just that the propositions are not to be thought of (in general) as meaning of specific sentences, clauses or other grammatical units rather than of a possibly only fuzzily delineated piece of discourse. -/- A second main concern of the article is the question of how much, and what types of, inference are involved in the derivation of metaphorical meaning. While our own ATT-Meta approach accords with, amongst other accounts, Relevance Theory (RT) as to the centrality of inference in metaphor interpretation, we disagree with RT on its claim that metaphor interpretation is a matter of (a relatively high degree of) concept "broadening“ and (often) "narrowing“. We argue that almost all inference can in fact be theoretically re-described as concept broadening and/or narrowing, and what is left over should be included in the metaphor interpretation process anyway. Thus, the RT claim about broadening and narrowing really just says that inference, of unrestricted type, is involved in metaphor understanding, in accord with what ATT-Meta claims. (shrink)

The starting point of this paper concerns the apparent difference between what we might call absolute truth and truth in a model, following Donald Davidson. The notion of absolute truth is the one familiar from Tarski’s T-schema: ‘Snow is white’ is true if and only if snow is white. Instead of being a property of sentences as absolute truth appears to be, truth in a model, that is relative truth, is evaluated in terms of (...) the relation between sentences and models. I wish to examine the apparent dual nature of logical truth (without dwelling on Davidson), and suggest that we are dealing with a distinction between a metaphysical and a linguistic interpretation of truth. I take my cue from John Etchemendy, who suggests that absolute truth could be considered as being equivalent to truth in the ‘right model’, i.e., the model that corresponds with the world. However, the notion of ‘model’ is not entirely appropriate here as it is closely associated with relative truth. Instead, I propose that the metaphysical interpretation of truth may be illustrated in modal terms, by metaphysical modality in particular. One of the tasks that I will undertake in this paper is to develop this modal interpretation, partly building on my previous work on the metaphysical interpretation of the law of non-contradiction (Tahko 2009). After an explication of the metaphysical interpretation of logical truth, a brief study of how this interpretation connects with some recent important themes in philosophical logic follows. In particular, I discuss logical pluralism and propose an understanding of pluralism from the point of view of the metaphysical interpretation. (shrink)

I apply Kooi and Tamminga's (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K3). First, I characterize each possible single entry in the truth-table of a unary or a binary truth-functional operator that could be added to K3 by a basic inference scheme. Second, I define a class of natural deduction systems on the basis of these characterizing basic inference schemes and a natural deduction system for K3. Third, I show that each of (...) the resulting natural deduction systems is sound and complete with respect to its particular semantics. Among other things, I thus obtain a new proof system for Lukasiewicz's three-valued logic. (shrink)

This paper presents a history of Bertrand Russell's evolving views on the nature of truth. It begins with his brief defense of a primitivist view of truth, followed by his critical accounts of both the coherence and pragmatic theories of truth. Then the paper discusses Russell's shift to the correspondence theory, and the variations of it he defended throughout his career.

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)

I provide in this paper an examination of the influence of Immanuel Kant on the internal realist Hilary Putnam. I begin by discussing Putnam’s transition from external, or metaphysical, realism to internal realism, and argue in favor of the view that Kant is best understood as an internal realist. Where Putnam is concerned, I am interested here only in his versions of external and internal realism and not with his more recent views. Having laid out a case for internal realism, (...) I go on to discuss and defend Putnam’s interpretation of Kant’s views on the nature of truth, arguing that although Kant accepts correspondence as a nominal definition of truth, he should not be understood as endorsing the metaphysical realist conception of truth. I conclude by arguing against those, including Ian Hacking and Allen Wood, who believe that the internal realist Putnam misinterpreted Kant on the nature of truth. This criticism rests on a misunderstanding of what Kant must have meant by ‘correspondence.’ Kant does not offer a theory of truth, but had he done so, his theory would be compatible with the internal realist Putnam’s. The view that their views on the nature of truth are incompatible is founded largely on misunderstanding of Kant, Putnam or both. (shrink)

Kant is known for having said relatively little about truth in Critique of Pure Reason. Nevertheless, there are important lessons to be learned from this work about truth, lessons that apply to the contemporary debate on the nature and structure of truth and its theory. In this paper I suggest two such lessons. The first lesson concerns the structure of a substantive theory of truth as contrasted with a deflationist theory; the second concerns the structure of (...) a correspondence theory of truth. The first lesson warns us against conceiving of a substantive theory of truth in a way that led Kant to conclude that such a theory is unviable. In so doing it indirectly suggests what a viable substantive theory of truth would be like. The second lesson teaches us that a correspondence theory of truth need not be as naive and overly simplistic as it is usually thought to be, but can, and should be, far more complex. This lesson is based on a correspondence theory of truth incipient in the Critique, one whose structure reflects the complexity of the relation between mind and world in Kant’s theory. (shrink)