Primitivism about Truth

It is argued that we should distinguish ontic truth––the True––that Frege claimed is sui generis and indefinable, from the semantic concept, for which Tarski provided a definition. Frege’s argument that truth is not definable is clarified and Wittgenstein’s introduction of the distinction between saying and showing is interpreted as an attempted response to Frege’s rejection of the correspondence theory. It is argued that conflicts between realism and Dummettian anti-realism result from their proponents not thoroughly distinguishing between the two closely connected (...) ways of thinking about truth. Last, the distinction is used to clarify and endorse the Fregean claim that all true sentences indicate the True, identified as ontic truth. (shrink)

A general survey of Frege's views on truth, the paper explores the problems in response to which Frege's distinctive view that sentences refer to truth-values develops. It also discusses his view that truth-values are objects and the so-called regress argument for the indefinability of truth. Finally, we consider, very briefly, the question whether Frege was a deflationist.

We introduce and analyze a new axiomatic theory $\mathsf {CD}$ of truth. The primitive truth predicate can be applied to sentences containing the truth predicate. The theory is thoroughly classical in the sense that $\mathsf {CD}$ is not only formulated in classical logic, but that the axiomatized notion of truth itself is classical: The truth predicate commutes with all quantifiers and connectives, and thus the theory proves that there are no truth value gaps or gluts. To avoid inconsistency, the instances (...) of the T-schema are restricted to determinate sentences. Determinateness is introduced as a further primitive predicate and axiomatized. The semantics and proof theory of $\mathsf {CD}$ are analyzed. (shrink)

This paper focuses on the categoricity of arithmetic and determinacy of arithmetical truth. Several ‘internal’ categoricity results have been discussed in the recent literature. Against the background of the philosophical position called internalism, we propose and investigate truth-theoretic versions of internal categoricity based on a primitive truth predicate. We argue for the compatibility of a primitive truth predicate with internalism and provide a novel argument for (and proof of) a truth-theoretic version of internal categoricity and internal determinacy with some positive (...) properties. (shrink)

"Truth-conditional semantics is by far the best-known philosophical contribution of Donald Davidson. The main idea of this approach is to explain the concept of meaning by appeal to the concept of truth. Accordingly, we understand a sentence s of a natural language L, if and only if, we know its truth-conditions. Challenging in its nature, this proposal immediately caught the attention of the philosophical community, being equally appreciated and criticized. The aim of this paper is to argue that Davidson’s approach (...) is too optimistic in its goals. In my view, truth-conditional semantics is unlikely to be the best way to shed light on the concept of meaning. By appealing to Tarski’s semantic conception of truth and assuming a primitive concept of truth, this perspective leaves too many questions unanswered and thus proves its limits. Keywords: Donald Davidson, meaning, truth, Truth-Conditional Semantics. ". (shrink)

The primitivist theory of truth, i.e., the view that truth cannot be analysed in more fundamental terms, has been cleverly revamped by Jamin Asay, who has combined a primitivist approach to the concept of truth with a deflationary approach to the (metaphysical) property of being true. This paper aims to adjust Asay’s primitivist theory to consistently include the primitiveness of the (pre-theoretical) correspondence relation, grasped by our correspondence intuition, alongside the primitiveness of truth. In the process, I apply a thesis (...) by Rögnvaldur Ingthorsson, according to which the correspondence of beliefs to facts (broadly construed) can occur with no commitment to a correspondence theory of truth. Then I argue why Asay’s theory might not be able to account for the primitiveness of the pre-theoretical correspondence relation. Finally, I use a suggestion by André Kukla concerning the possible entailment between an ineffable insight and its effable consequences, to build a revised primitivist theory of truth. (shrink)

In contemporary philosophy, it is tempting to apply the metaphysics of properties to the specific case of truth, in the hope of making progress on the investigation of the latter. In this paper, I argue that a different approach, mostly independent from the metaphysics of properties and based on the naturalness, in Lewis’ sense, of semantic nations, is often a better alternative, both in general and in some specific cases. In particular, adopting the new perspective, I present a new problem (...) of combining logical validity and strong truth pluralism, and offer a way to sharply distinguish deflationism and primitivism about truth. The main original upshot of the paper is offering a perspective on philosophy of truth that sheds new light on the general problem of truth and on some particular issues. (shrink)

There is a growing body of empirical evidence which shows that infants and non-human primates have the ability to represent the mental states of other agents, i.e. that they possess a Theory of Mind. We will argue that this evidence also suggests that infants and non-human primates possess the concept of truth, which, as we will explain, is good news for primitivists about truth. First, we will offer a brief overview of alethic primitivism, focusing on Jamin Asay’s conceptual version of (...) the view. Next, we will survey relevant work on Theory of Mind which indicates that children younger than two and non-human primates are able to attribute false beliefs. Then, we will bring these false-belief data to bear on Asay’s form of primitivism, arguing that the data support two of the four distinctive theses of this view and offering some remarks about the empirical evaluability of the two remaining theses. We hope that our discussion will help to bridge the gap between psychological and philosophical inquiry and that it will encourage further empirical research on the cognitive significance of the concept of truth for humans and other thinking creatures. (shrink)

In this paper, I discuss the interpretation of the method of deconstruction in David J. Gunkel’s Deconstruction (MIT Press 2021). I focus on the relationship between deconstruction and truth. I hold that the concept of truth is indispensable for deconstruction since truth introduces correctness conditions for the deconstructive method. However, I claim that truth, being essential and primitive for deconstruction, is fundamentally inaccessible for being analyzed by the latter. ------------------------- Received: 19/10/2022. Reviewed: 13/12/2022. Accepted: 20/12/2022.

Primitivist theories of truth have been defended by some of the luminaries of analytic philosophy, including the early Moore and Russell, Frege, Davidson, and Sosa. In this paper, I take up a contemporary primitivist theory that has been systematically developed throughout a sizeable body of work but has yet to receive sustained critical attention—Jamin Asay's primitivist deflationism. Asay's major ambitions are to defend a novel primitivist account of the concept truth and to harmonise that account with a deflationary theory of (...) the property truth. I will elaborate a thoroughgoing critique of primitivist deflationism, arguing that we have reason to doubt all of the five theses that constitute the view. Along the way, I will also highlight a number of possible escape routes for the primitivist deflationist, explaining how they can make the view more resilient even as they compel us to rework some of its central commitments. (shrink)

Primitivists about truth maintain that truth cannot be analysed in more fundamental terms. Defences of primitivism date back to the early years of analytic philosophy, being offered by G.E. Moore, Bertrand Russell, and Gottlob Frege. In more recent years, a number of contemporary philosophers—including Donald Davidson, Ernest Sosa, Trenton Merricks, Douglas Patterson, and Jamin Asay—have followed suit, defending their own versions of primitivism. I'll begin by offering a brief history of primitivism, situating each of these views within the landscape of (...) primitivist truth theories and detailing some of their core motivations and apparent shortcomings. To close the discussion, I'll offer a diagnosis of the prospects of primitivism, focusing on the mystery challenge, which has loomed large throughout the history of primitivist truth theories, and the methodology that should be used in evaluating primitivist (and other) truth theories going forward. (shrink)

This essay offers an account and defense of conceptual primitivism about truth: the view that the concept of truth is a fundamental concept that cannot be analyzed or defined in terms of concepts that are more fundamental. It considers three arguments in defense of primitivism, and meets a familiar objection that fundamental concepts are by their nature obscure and mysterious. It concludes by considering the ways in which primitivism is similar to and different from other theories of truth, both substantive (...) and deflationary. (shrink)

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

ABSTRACT Frege characterizes judgement as the acknowledgement of the truth of a thought, appearing thereby to rule out false judgement. First in this paper I explain Frege’s characterization so that it does not have this consequence. Frege is not saying that for a subject S to judge that p is for S to acknowledge the truth of the thought that p. Rather, he is articulating judgement’s nature within self-consciousness. From within, to judge means to acknowledge a truth. Second, I suggest (...) that this articulation is centrally operative in Frege’s argument for the indefinability of truth. As Frege argues, it follows from judgement’s self-consciousness that truth is indefinable. (shrink)

I develop a new reading of Frege’s argument for the indefinability of truth. I concentrate on what Frege literally says in the passage that contains the argument. This literal reading of the passage establishes that the indefinability argument is an arguably sound argument to the following conclusion: provided that the Fregean conception of judgment—which has recently been countered by Hanks—is correct and that truth is a property of truth-bearers, a vicious infinite regress is produced. Given this vicious regress, Frege chooses (...) to reject that truth is a property of truth-bearers. Frege’s choice leads to a unique version of the Fregean conception of judgment. His unique conception of judgment can cope with Hanks’s recent criticisms against the Fregean conception. (shrink)

Truth-theoretic deflationism holds that truth is simple, and yet that it can fulfil many useful logico-linguistic roles. Deflationism focuses on axioms for truth: there is no reduction of the notion of truth to more fundamental ones such as sets or higher-order quantifiers. In this paper I argue that the fundamental properties of reasonable, primitive truth predicates are at odds with the core tenets of classical truth-theoretic deflationism that I call fix, express, and quantify. Truth may be regarded as a broadly (...) logical, sui generis notion. However, this has little to do with the original aims of the deflationary theory of truth. (shrink)

In this dissertation I explore Frege’s conception of truth. In particular I defend the thesis that Frege in his mature career takes truth to be an object, i.e., the True qua the reference of true sentences. In the literature on truth Frege has been usually taken to be a truth deflationist or a truth primitivist. Indeed Frege leaves a number of comments that sound like typical deflationist claims and his famous indefinability argument is the most discussed argument for primitivism. However, (...) Frege is neither a deflationist nor a primitivist. His deflationist remarks and the indefinability argument are rather his arguments that truth is an object. -/- For Frege judging—and its verbal counterpart asserting—is always acknowledging the truth of a truth-bearer. Thus, if truth is an object for him, his conception of judgment ought to also be adjusted accordingly. Indeed Frege shows how we can understand judgment qua acknowledgment of truth if truth is an object. Specifically, judging that p is identifying the True with the reference of ‘p’ non-judgmentally, i.e., without judging that p is identical with the reference of ‘p’. Frege’s conception of judgment impacts his conception of knowledge because the act of judging is that of producing knowledge. In a nutshell our act of judging and the knowledge we produce by it are epistemically grounded in our objectual knowledge of the True. If we take this point into account, we can develop a new reading of Frege’s claim that logic is the science of truth. -/- The suggested reading of Frege’s conception of truth and related notions can make a contribution to contemporary philosophical problems. First, Frege’s conception of judgment can cope with Peter Hanks’s recent criticisms of the Fregean picture of judgment in general. Secondly, his conception of assertion can explain the connection between truth and assertion in a novel way. Lastly, Frege’s conception of knowledge can be developed into a new theory of knowledge where objectual knowledge is more fundamental than propositional knowledge. (shrink)

This paper criticizes the circularity reading of Frege's argument for the indefinability of truth. According to this reading, Frege is appealing to a sort of circularity in the argument. I argue that the circularity reading is interpretatively incorrect, or makes Frege's argument a non‐starter.

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

Pluralism about truth is the view that there are many properties, not just one, in virtue of which things are true. Pluralists hope to dodge the objections that face traditional monistic substantive views of truth, as well as those facing deflationary theories of truth. More specifically, pluralists hope to advance an explanatorily potent understanding of truth that can capture the subtleties of various realist and anti-realist domains of discourse, all while avoiding the scope problem. I offer a new objection to (...) pluralism that challenges its fundamental commitment to there being a set of alethic properties in virtue of which claims are true. In its place I offer an alternative view that merges standard truthmaker theory with a primitivist conception of truth. This combination of views satisfies the theoretical desires that pluralists claim for themselves, but without taking on pluralism's host of challenges and problems. (shrink)

Tarski's indefinability theorem shows us that truth is not definable in arithmetic. The requirement to define truth for a language in a stronger language (if contradiction is to be avoided) lapses for particularly weak languages. A weaker language, however, is not necessary for that lapse. It also lapses for an adequately weak theory. It turns out that the set of G{\"o}del numbers of sentences true in arithmetic modulo $n$ is definable in arithmetic modulo $n$.

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)

In (2011) McLeod suggested that the first century Chinese philosopher Wang Chong 王充 may have been a pluralist about truth. In this reply I contest McLeod's interpretation of Wang Chong, and suggest "quasi-pluralism" (albeit more as an alternative to pluralism than as an interpretation of Wang Chong), which combines primitivism about the concept of truth with pluralism about justification.

In this dissertation I defend the claim, long held by Donald Davidson, that truth is a primitive concept that cannot be correctly or informatively defined in terms of more basic concepts. To this end I articulate the history of the primitive thesis in the 20th century, working through early Moore, Russell, and Frege, and provide improved interpretations of their reasons for advancing and eventually abandoning the primitive thesis. I show the importance of slingshot-style arguments in the work of Frege, Church, (...) Davidson, and Gödel for resisting certain versions of the correspondence theory of truth. I argue that most slingshots fail to convincingly establish a collapsing conclusion, but that a Gödelian version of the slingshot is terminal to certain varieties of the correspondence theory of truth. I then provide a Davidsonian theory of truth and interpretation that is consistent with and makes use of the primitive thesis. Finally, I provide an account of predication, properties, and universals that I argue is both serviceable and consistent with Davidson’s overall program. (shrink)

Minimalists, such as Paul Horwich, claim that the notions of truth, reference and satisfaction are exhausted by some very simple schemes. Unfortunately, there are subtle difficulties with treating these as schemes, in the ordinary sense. So instead, minimalists regard them as illustrating one-place functions, into which we can input propositions (when considering truth) or propositional constituents (when considering reference and satisfaction). However, Bertrand Russell's Gray's Elegy argument teaches us some important lessons about propositions and propositional constituents. When applied to minimalism, (...) these lessons show us why we should abandon it. (shrink)

Trenton Merricks argues for and defends a novel version of primitivism about truth : being true is a primitive monadic but non-intrinsic property. This examination consists of the following triad: a critical discussion of Merricks’ argument for his view, a rejection of his objection against Paul Horwich’s minimalist theory of truth, and a direct objection against his view on the grounds that it entails being true is a mysterious and suspicious property. The conclusion is that Merricks’ primitivism should be rejected.

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)

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

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)

This paper has as main objective present and discuss Gottlob Frege critic to the attempt to define the concept of truth, especially, the attempt to define of truth as correspondence. The correspondence theories of truth sustain that truth can be defined in terms of correspondence between sentences, propositions or true thoughts and facts. However, in his posthumous writing Logic (1897) and, after, in The Thought (1918), Frege presents a severe critic to this kind of approach. He holds that truth is (...) a basic, simple and sui generis concept, which cannot be defined. My paper will be divided in three parts: in the first part, I will present the doctrine that sustains the correspondence theories of truth and his main theses. In the second part, I will expose the arguments used by Frege in his critic; and in the third, and lastly part, I will discuss the Fregean thesis of the indefinability of truth. (shrink)

In Sect. 1 of this chapter, Matthew McGrath examines Sosa's work on the nature of truth. Sosa's chief purpose is to determine what sort of theory of truth is appropriate for truth-centered epistemology -- an epistemology that takes truth to be the goal of inquiry and which explains key epistemic notions in terms of truth. While Sosa refutes arguments from Putnam and Davidson against the correspondence theory, he is hesitant to endorse it because he doubts we have a clear enough (...) grasp of what correspondence amounts to and what the correspondents are. A truth-centered epistemologist, however, is free to work with minimalism about truth and Moorean primitivism. Part of Sosa's case for primitivism, and against minimalism, involves a comparison with Moore's account of goodness. Here McGrath notes an important dissimilarity between the two (i.e., susceptibility to open-question arguments) and suggests that this may be reason to prefer minimalism to primitivism. -/- In Sect. 2, Jeremy Fantl discusses Sosa's work on the role of truth in epistemology. Sosa seems to be motivated by a dilemma facing any account of that role on which true belief is the sole fundamental epistemic value. On the one hand, we want an account of the role of truth in epistemology to explain why we epistemically evaluate beliefs and guide our intellectual lives in the way we do. On the other hand, it should not come out that we have any sort of epistemic obligation to form beliefs about completely boring or trivial matters (e.g., about the first phone number listed on page 356 of the phone book). Sosa's attempt to resolve the dilemma is to, first of all, adopt something like a pluralism about epistemic value and, second of all, move the primary locus of epistemic evaluation from beliefs to faculties. The second part of this chapter investigates the intricacies of these maneuvers. (shrink)

[ES] El presente trabajo muestra la continuidad, a través de la obra de Frege y en el contexto de su caracterización del hacer científico, de una noción de verdad que no es constructiva ni instrumental y ni siquiera puede entenderse como relación de correspondencia o adecuación. Se trata de un concepto primitivo y no definible, que se intenta llevar a sus últimas consecuencias —algo que no llegó a hacer Frege. El autor defiende, finalmente, una noción alternativa de verdad que podría (...) verse como condición de posibilidad de toda actitud epistémica. [EN] The present paper shows the continuity, through the work of Frege and the context of his characterization of scientific doing, of a notion of truth that is neither constructive nor instrumental, and can’t even be understood as a relation of correspondence or adaptation. It is a primitive and undefined concept, which is intended to be taken through its ultimate consequences –something that Frege did not come to do. The author supports, finally, an alternative notion of truth that could be seen as a condition of possibility of any epistemic attitude. (shrink)

La noción de verdad juega un papel fundamental dentro del marco lógico- semántico expuesto por Gottlob Frege en sus ensayos “Función y concepto” y “Sentido y referencia”. En su artículo El pensamiento. Una investigación lógica, el filósofo alemán nos dice que la lógica es la ciencia que estudia lo verdadero y las leyes que en cuanto verdadero le competen, pero, ¿qué debemos entender por “verdad”? Esta interrogante será uno de los puntos centrales que Frege expondrá en su artículo. ¿La verdad (...) es una relación? ¿La verdad es una propiedad? Y, en caso de que sea una propiedad , ¿qué nos ofrece la verdad como predicado?, ¿qué nuevo conocimiento sobre aquello que predica nos aporta?Ahora bien, tras explicar y responder las preguntas con respecto a la verdad, nuestro autor termina afirmando en El pensamiento…, que la verdad es un concepto sui generis e indefinible, y es entonces cuando la noción de verdad expuesta en El pensamiento…, parece generar una tensión con la noción de verdad que sustenta todo el aparato lógico-semántico de la filosofía de Frege. El trabajo que expondré busca responder a las preguntas anteriores con respecto a la naturaleza de la verdad, rigiéndome por las respuestas de Frege y siguiendo la guía de autores como Joseph Salerno y Anthony Kenny y, además, busco examinar las interpretaciones existentes que pueden darse al “conflicto” que se genera debido a las dos diferentes nociones del concepto de verdad que aparecen a lo largo de la obra de Frege.The notion of truth plays a key role within the semantic logical framework outlined by Gottlob Frege in his essays “Function and concept” and “On Sense and Reference”. In his article “The Thought: a logical investigation”, the German philosopher tells us that logic is the science of truth and the laws, as true, which are of its competence, but what we must understand by “truth”? This question will be one of the central points that Frege shall exhibit in his article.”Is truth a relationship? Is truth a property?”. And, if it is a property , what86 episteme ns, vol. 31, nº 1, 2011, pp. 85-90gives us the truth as predicate? what new knowledge about what he predicates brings us?Now, after explaining and answering questions about the truth, our author ends by stating, in “The thought…”, that truth is a concept sui generis and indefinable, and that’s when the notion of truth presented in “Thought ...”, seems to generate tension with the notion of truth which underlies all the semantic-logical apparatus of the philosophy of Frege. These essay looks to answer the above questions regarding the nature of truth, guided by the responses of Frege and following the direction of authors like Joseph Salerno and Anthony Kenny. It also seeks to examine existing interpretations that may occur to the “conflict” that is generated due to the two different notions of the concept of truth that appear throughout the work of Frege. (shrink)

Wolfgang Künne's Conceptions of Truth (2003) is a magnificent achievement. Wonderfully clear, erudite, compendious, honest and insightful on some very tricky issues – these are some of its many virtues. I have benefited a great deal from studying it. In this short note, I will concentrate on Künne's own positive proposal about the concept of truth, his modestly named ‘Modest Account’. I will raise some questions about its ultimate viability.

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)

What is truth? Philosophers are interested in a range of issues involving the concept of truth beginning with what sorts of things can be true. This is a collection of eighteen new and original research papers on truth and other alethic phenomena by twenty of the most promising young scholars working on truth today.

In Bertrand Russell’s The Principles of Mathematics and related works, the notion of a proposition plays an important role; it is by analyzing propositions, showing what kinds of constituents they have, that Russell arrives at his core logical concepts. At this time, his conception of proposition contains both a conventional and an unconventional part. The former is the view that propositions are the ultimate truth-bearers; the latter is the view that the constituents of propositions are “worldly” entities. In the latter (...) respect, Russellian propositions are akin to states-of-affairs on some robust understanding of these entities. The idea of Russellian propositions is well known, at least in outline. Not so well known is his treatment of truth, which nevertheless grows directly out of this notion of proposition. For the early Russell, the import of truth is primarily metaphysical, rather than semantic; reversing the usual direction of explanation, he holds that truth is explanatory of what is the case rather than vice versa. That is, what properties a thing has and what relations it bears to other things is determined, metaphysically speaking, by there being a suitable array of true and false propositions. In the present paper, this doctrine is examined for its content and motivation. To show that it plays a genuine role in Russell’s early metaphysics and logic, I examine its consequences for the possibility of truth-definitions and the problem of the unity of the proposition. I shall draw a few somewhat tentative conclusions about where Russell stood vis-à-vis his metaphysics of propositions, suggesting a possible source of dissatisfaction that may have played a role in his eventual rejection of his early notion of proposition. (shrink)

In Bertrand Russell’s "The Principles of Mathematics" and related works, the notion of a proposition plays an important role; it is by analyzing propositions,showing what kinds of constituents they have, that Russell arrives at his core logical concepts. At this time, his conception of proposition contains both a conventional and an unconventional part. The former is the view that propositions are the ultimate truth-bearers; the latter is the view that the constituents of propositions are “worldly” entities. In the latter respect, (...) Russellian propositions are akin to states-of-affairs on some robust understanding of these entities. The idea of Russellian propositions is well known, at least in outline. Not so well known is his treatment of truth, which nevertheless grows directly out of this notion of proposition. For the early Russell, the import of truth is primarily metaphysical, rather than semantic; reversing the usual direction of explanation, he holds that truth is explanatory of what is the case rather than vice versa. That is, what properties a thing has and what relations it bears to other things is determined, metaphysically speaking, by there being a suitable array of true and false propositions. In the present paper, this doctrine is examined for its content and motivation. To show that it plays a genuine role in Russell’s early metaphysics and logic, I examine its consequences for (1) the possibility of truth-definitions and (2) the problem of the unity of the proposition. I shall draw a few somewhat tentative conclusions about where Russell stood vis-à-vis his metaphysics of propositions, suggesting a possible source of dissatisfaction that may have played a role in his eventual rejection of his early notion of proposition. (shrink)

Heidegger famously diminishes the significance of everyday theories of truth like the correspondence theory, disparaging these as a matter of ‘mere’ correctness.They are among the starting points that lead to ‘the true’ but are not themselves genuine or authentic. Donald Davidson develops a theory of interpretation that suggests some reasons why the ordinary senses of truth should not be so mistreated: responsible theories of interpretation should treat the everyday senses of truth more seriously. This paper argues that the necessity of (...) convention T as a condition of interpretation means that correctness is essential both in philosophy and elsewhere. (shrink)

The founder of modern logic and grandfather of analytic philosophy was 70 years old when he published his paper 'Der Gedanke' (The Thought ) in 1918. This essay contains some of Gottlob Frege's deepest and most provocative reflections on the concept of truth, and it will play a prominent role in my lectures. The plan for my lectures is as follows. What is it that is (primarily) true or false? 'Thoughts', is Frege's answer. In §1, I shall explain and defend (...) this answer. In §2, I shall briefly consider his enthymematic argument for the conclusion that the word 'true' resists any attempt at defining it. In §3, I shall discuss his thesis that the thought that things are thus and so is identical with the thought that it is true that things are thus and so. The reasons we are offered for this thesis will be found wanting. In §4, I shall comment extensively on Frege's claim that, in a non-formal language like the one I am currently trying to speak, we can say whatever we want to say without ever using the word 'true' or any of its synonyms. I will reject the propositional-redundancy claim, endorse the assertive-redundancy claim and deny the connection Frege ascribes to them. In his classic 1892 paper 'Über Sinn und Bedeutung' (On Sense and Signification) Frege argues that truth-values are objects. In §5, I shall scrutinize his argument. In §6, I will show that in Frege's ideography (Begriffsschrift) truth, far from being redundant, is omnipresent. The final §7 is again on truth-bearers, this time as a topic in the theory of intentionality and in metaphysics. In the course of discussing Frege's views on the objecthood, the objectivity of thoughts and the timelessness of truth(s), I will plead for a somewhat mitigated Platonism. (shrink)

In his writings on the foundations of logic, Gottlob Frege, the father of modern logic, sketched a conception of truth that focuses on the following questions: What is the sense of the word "true"? Is truth a definable concept or a primitive one? What are the kinds of things of which truth is predicated? What is the role of the concept of truth in judgment, assertion and recognition? What is the logical category of truth? What is the significance of the (...) concept of truth for science in general and for logic in particular? The present volume is dedicated to the interpretation, reconstruction and critical assessment of Frege's conception of truth. It is of interest to all those working on Frege, the history of logic and semantics, or theories of truth. The volume brings together nine original papers whose authors are all widely known to Frege scholars. The main topics are: the role of the concept of truth in Frege's system, the nature of the truth-values, the logical category of truth, the relationship between truth and judgment, and the conception of the truth-bearers. (shrink)

Truth and Ontology concludes that some truths do not depend on being in any substantive way at all.

The contemporary debate about truth is polarized between deflationists and those who offer robust accounts of truth. I present a theory of truth called ‘Primitive Disclosive Alethism’ that occupies the middle ground between these two extremes. Contrary to deflationist claims, truth has a nature beyond its merely linguistic, expressive function. Truth is objective and non-epistemic, yet cannot be characterized in terms of correspondence. Primitive Disclosive Alethism offers a metaphysically satisfying explanation of our correspondence intuitions, while explaining why the concept of (...) truth is an undefined primitive. The theory also explains why the T-schema offers the clearest expression of what makes a sentence true. I distinguish this theory from the Identity Theory of Truth which equates true propositions with facts. (shrink)

Davidson, truth, and triangulation -- Davidson applied -- Half truths -- Heidegger's analytic of Dasein -- Dasein and truth -- Truthful intersections -- Primitive disclosive alethism.

Tarski's argumentative use of the liar paradox is well-known, but officially it is the Grelling paradox that has final pride of place in Tarski's argument, not the Liar at all. Tarski explicitly gives argumentation that adverts to the liar argument, but it is an alternative argument—one he only hints at and which adverts to the Grelling—which he says has the advantage of removing any empirical element. In this paper, we will examine how the Grelling might be used in place of (...) the Liar in Tarski's argument for his exact indefinability thesis, and assess in what way the difference might be significant. If successful, Tarski's use of the Grelling puts pressure on how Convention T can be justified. (shrink)