Frege: Definability of Truth

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.

Frege claims that sentences of the form ‘A’ are equivalent to sentences of the form ‘it is true that A’ (The Equivalence Thesis). Frege also says that there are fictional names that fail to refer, and that sentences featuring fictional names fail to refer as a result. The thoughts such sentences express, Frege says, are also fictional, and neither true nor false. Michael Dummett argues that these claims are inconsistent. But his argument requires clarification, since there are two ways The (...) Equivalence Thesis has been formulated, according as the thesis equates the senses or the referents of the relevant sentences. -/- I have two aims in this paper. The first is to demonstrate that a sameness of sense thesis is inconsistent with Frege’s other theses. The second is to argue that a sameness of reference thesis is consistent with them. Thus, all else being equal, Frege ought to endorse a sameness of reference, rather than a sameness of sense thesis. (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)

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.

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)

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)

This book has two objectives: to be a contribution to the understanding of Frege's theory of truth – especially a defence of his notorious critique of the correspondence theory - and to be an introduction to the practice of interpreting philosophical texts.

An investigation of Frege’s various contributions to the study of language, focusing on three of his most famous doctrines: that concepts are unsaturated, that sentences refer to truth-values, and that sense must be distinguished from reference.

Gottlob Frege ist der Begründer der modernen Logik und Sprachanalyse, seine Schriften gelten "wegen ihrer vorbildlichen Klarheit und ihres Scharfsinns [als] eine außerordentlich anregende Lektüre" (Kutschera) und seine philosophische Bedeutung wird in der "Vorbildlichkeit seiner Argumentationsweise" (Patzig) gesehen. In seinem berühmten Aufsatz "Der Gedanke" kritisiert Frege im dritten Absatz die Korrespondenztheorie der Wahrheit und kommt dabei zu dem Ergebnis, dass nicht nur der "Versuch, die Wahrheit als eine Übereinstimmung zu erklären", scheitere, sondern auch "jeder andere Versuch, das Wahrsein zu definieren." (...) Angesichts der oben zitierten Wertschätzung ist es überraschend, in den heute vorherrschenden Interpretationen zu lesen, alle Argumente, die Frege in diesem Zusammenhang formuliere, seien ungültig - und zwar, wie sich für den Leser der Interpretationen herausstellt, aufgrund von Anfänger-Fehlern. In diesem Buch wird dagegen Freges gesamte Argumentation als in sich konsistent und gültig verteidigt. Das Buch wendet sich nicht nur an Frege-Spezialisten, sondern stellt zugleich eine exemplarische Einführung in die systematische Interpretation philosophischer Texte dar. (shrink)

Frege’s so-called “Regress Argument” is closely examined and it is argued that Dummett’s reconstruction of it is not satisfactory. Contra Dummett, the argument does not involve a regress, is not a reductio and not even a strictly deductive argument. Rather, what Frege tries to show is that any attempt to define truth fails to be epistemically fruitful and thus misses the very point of analytic definitions of concepts. The cause of this epistemic sterility is an inherent circularity, and it is (...) in view of this defect that Frege suggests that truth is very likely so simple that it cannot be defined at all. This circularity, in turn, is due to the fact that Frege takes the sense of “true” to be a constitutive part of the content of acts of thinking a complete thought. Finally, I trace Frege‘s belief in this omnipresence of the sense of the word “true” in thought to his conception of judgment and suggest that it may very well be false. (shrink)

La argumentación de Frege contra la definibilidad de la verdad pretende mostrar que una definición de verdad es circular o nos involucra en un regreso al infinito. En la obra de Frege cabe distinguir dos nociones de verdad: la verdad expresada mediante el termine “verdadero” y la verdad expresada mediante la aserción. La argumentación de Frege no muestra que el términe “verdadero” sea indefinible, pero, si se acepta la concepción de Frege acerca de la aserción, de su argumentación, adecuadamente reformulada, (...) cabe concluir la indefinibilidad de la verdad en su segunda acepción.Frege’s argumentation against the definability of truth aims to show that a definition of truth is circular or involves us in an infinite regress. In Frege’s work two notions of truth can be distinguished: truth expressed by the word “true” and truth conveyed by the assertion. Frege’s argumentation does not show that the word “true” is undefinable, but, if Frege’s view on assertion is accepted, then from his argumentation, suitably reformulated, the undefinability of truth in the second sense can be concluded. (shrink)

La argumentación de Frege contra la definibilidad de la verdad pretende mostrar que una definición de verdad es circular o nos involucra en un regreso al infinito. En la obra de Frege cabe distinguir dos nociones de verdad: la verdad expresada mediante el termine “verdadero” y la verdad expresada mediante la aserción. La argumentación de Frege no muestra que el términe “verdadero” sea indefinible, pero, si se acepta la concepción de Frege acerca de la aserción, de su argumentación, adecuadamente reformulada, (...) cabe concluir la indefinibilidad de la verdad en su segunda acepción.Frege’s argumentation against the definability of truth aims to show that a definition of truth is circular or involves us in an infinite regress. In Frege’s work two notions of truth can be distinguished: truth expressed by the word “true” and truth conveyed by the assertion. Frege’s argumentation does not show that the word “true” is undefinable, but, if Frege’s view on assertion is accepted, then from his argumentation, suitably reformulated, the undefinability of truth in the second sense can be concluded. (shrink)

Dieser Aufsatz befasst sich mit Freges Argumentation gegen die Definierbarkeit der Wahrheit. Ich unterscheide in Freges Argumentation zwei Einwände. Der erste Einwand zielt darauf ab zu zeigen, dass eine Wahrheitsdefinition zirkulär ist; nach dem zweiten Einwand verwickelt uns eine Wahrheitsdefinition in einen unendlichen Regress. Die meisten Autoren, die sich mit Freges Argumentation auseinandergesetzt haben, haben sich hauptsachlich mit diesem zweiten Einwand beschäftigt und ihn als unzutreffend abgelehnt. Nachdem ich Freges Argumentation und die übliche Erwiderung darauf dargestellt und systematisiert habe, untersuche (...) ich die Eigentümlichkeit des Wortes «wahr», auf der dime Argumentation beruht. Ich komme zu dem Schluss, dass, wenn man Freges Auffassung zur Behauptung und zur Erkenntnis akzeptiert, die Wahrheit als undefinierbar betrachtet werden muss, wed dann jede Wahrheitsdefinition zirkulär wird. (shrink)

Der erste Teil des Aufsatzes untersucht den Inhalt der These. Im Zentrum steht dabei die Frage, was Frege unter,,Wahrheit" versteht. Das Ergebnis der Untersuchung ist, daß Freges Undefinierbarkeitsthese (entgegen der üblichen Auffassung) sich nicht auf den „Inhalt des Wortes,wahr'" (bzw. auf das Wahrheitsprädikat) bezieht, sondern auf „die Wahrheit, deren Anerkennung in der Form des Behauptungssatzes liegt" (bzw. auf den Urteilsstrich. Das Kernstück des zweiten Teils der Arbeit ist eine Rekonstruktion der Argumente Freges für die These in drei Versionen. Für die (...) Rekonstruktion wird nicht (wie sonst üblich) Freges Redundanztheorie der Wahrheit herangezogen, sondern seine Urteilstheorie. Im dritten Teil schließlich wird die Frage behandelt, ob Freges These durch Tarskis Wahrheitsdefinitionen widerlegt ist. (shrink)

In his essay 'Thoughts',' Frege is to be found employing a regress-argument against the correspondence theory of truth. He seems to have felt that the argument is not only completely destructive of the correspondence theory, but that it could be deployed equally well against any attempt to provide a general definition of the notion of truth. In my view neither conclusion is warranted. But Frege's Regress can, nevertheless, be developed into an argument of the greatest significance.