I argued that Frege does not have a metatheory in the following sense: the justifications he offers for his basic laws and rules of inference neither employ nor require a truth-predicate or metalinguistic variables. In ‘Does Frege Use a Truth-predicate in his "Justification" of the Laws of Logic?’, Dirk Greimann disputes this. As Greimann interprets Frege, (i) Frege's remarks commit him to giving a metatheoretic justification of the basic laws and rules of his logic, and (ii) Frege actually gives such (...) a justification in the early sections of Grundgesetze—although the truth-predicate that Frege employs is a non-standard one: it is neither a predicate that holds of all and only true sentences nor a predicate that holds of all and only true thoughts. I argue that Greimann's interpretation is not, in the end, true to the text, and that his non-standard view of what is required of a Tarskian truth-predicate is ultimately not viable. (shrink)

In the opening to his late essay, Der Gedanke, Frege asserts without qualification that the word "true" points the way for logic. But in a short piece from his Nachlass entitled "My Basic Logical Insights", Frege writes that the word true makes an unsuccessful attempt to point to the essence of logic, asserting instead that "what really pertains to logic lies not in the word "true" but in the assertoric force with which the sentence is uttered". Properly understanding what Frege (...) takes to be at issue here is crucial for understanding his conception of logic and, in particular, what he takes to be its normative status vis-à-vis judgement, assertion, and inference. In this paper, I focus my attention on clarifying the latter claim and Frege's motivations for making it, exposing what I take to be a fundamental tension in Frege's conception of logic. Finally, I discuss whether Frege's deployment of the horizontal in his mature Begriffsschrift helps to resolve this tension. (shrink)

W latach 1893 i 1903 ukazały się dwa tomy najważniejszego dzieła Fregego Grundegezte der Arithmetik. Ten okres można nazwać „szczytem logicyzmu” Fregego. Chociaż temat prawdy w logiczno-filozoficznej twórczości Fregego był podejmowany wielokrotnie, to brakuje pozycji skupiającej się na badaniu poglądów w tym okresie. Dotyczy to w szczególności literatury polskiej. Moim zadaniem jest zebranie i uporządkowanie wszystkich wypowiedzi Fregego na temat prawdy w okresie wydawania wspomnianych tomów. Realizując to zadanie, badam użycie tego pojęcia w pierwszym tomie Grundegezte der Arithmetik oraz w (...) niepublikowanym tekście Logik. Podejmuję zagadnienie funkcjonowania tego terminu w szczególnych kontekstach: antynomii, geometrii i wyrażania ogólności. Na koniec zasygnalizuję kwestię sposobu rozumienia późniejszych wypowiedzi Fregego na temat prawdy. (shrink)

In 1893 and 1903, two volumes of the most important of Frege’s works Grundegezte der Arithmetik were published. This period can be called the peak of Frege’s logicism. Although the subject of truth in Frege’s logical and philosophical works has been repeatedly investigated, there is a lack of studies on his view in this period, especially in Polish literature. In this article, therefore, I carry out the following research task: to collect and order Frege’s statements about truth during the period (...) of publishing the two volumes of Grundegezte der Arithmetik. I refer to the texts published during Frege’s life, published posthumously and his correspondence. Particularly noteworthy are: Grundegezte der Arithmetik and the unpublished Logik. That is why there are two separate sections dedicated to these two texts, whereas the discussions of truth from other texts are grouped thematically: the problem of antinomy, geometry, expression of generality, and others. The subject of truth appears there in relation to logic, philosophy of language, philosophy of logic, philosophy of mathematics and ontology. (shrink)

I defend the correspondence theory of truth, according to which a statement’s truth consists in a relation of correspondence with extralinguistic fact. There are well-known objections to this view, which I consider and rebut, and also important rival accounts, principal among which are so-called deflationist theories and epistemic theories. Epistemic theories relate the concept of truth to our state of knowledge, but fail, I argue, to respect the crucial distinction between a criterion of truth and the meaning of truth: the (...) view that one cannot do semantics, or metaphysics, without addressing epistemic issues is rejected by this work. Against epistemic theories, I illustrate how truth is independent of epistemic considerations. Deflationism is the more popular of the rival accounts and has gained considerable momentum over the past two decades. It is therefore dealt with in greater detail by this work. Deflationist theories exploit the paradigmatic ‘“Snow is white” is true iff snow is white’ biconditional to argue for an insubstantialist account, according to which truth is conservative with respect to non-semantical facts. On this view, truth’s raison d’être is merely to perform the useful expressive function of generalising over possibly infinite sets of assertions. Against deflationist theories, I claim that the work done by Jeffrey Ketland and Stewart Shapiro conclusively demonstrates how truth is informationally additive over non-semantic facts, while deflationism itself is also an excessively impoverishing theory, inadequate to the tasks it purports to accomplish. This work also defends the thesis that Alfred Tarski’s well-known theory of truth is an authentic correspondence theory. To say this is to say that the clauses of a Tarskian truth-definition can be interpreted in terms of a relation of correspondence that holds between true sentences and the states of affairs they describe. I provide a precise account of what the correspondence in question consists in, claiming that true sentences are homomorphic images of facts, i.e. a true sentence represents, in a form-preserving manner, the truth-making facts in it. This gives precise expression to Wittgenstein’s thesis that true sentences picture the world. (shrink)