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)

Joan Weiner has recently claimed that Frege neither uses, nor has any need to use, a truth-predicate in his justification of the logical laws. She argues that because of the assimilation of sentences to proper names in his system, Frege does not need to make use of the Quinean device of semantic ascent in order to formulate the logical laws, and that the predicate ‘is the True’, which is used in Frege's justification, is not to be considered as a truth-predicate, (...) because it does not apply to true sentences or true thoughts. The present paper aims to show that Frege needs to use, and does use, a truth-predicate in this context. It is argued, first, that Frege needs to use a truthpredicate in order to show that the truth of the logical laws is evident from the senses of the sentences by means of which they are formulated, and second, that the predicate that he actually uses, ‘is the True’, must be considered as a truth-predicate in the relevant sense, because it can be used and is actually used by Frege to explain the truth-conditions of thoughts. To defend this interpretation, it is discussed whether the explanatory use of ‘is the True’ in Frege's system is compatible with his deflationary analysis of ‘true’. The paper's conclusion is that there is indeed a conflict here; but, from Frege's point of view, this conflict is due merely to the logical imperfection of natural language and does not affect the proper system but only its propaedeutic. (shrink)

This is the first single-volume edition and translation of Frege's philosophical writings to include his seminal papers as well as substantial selections from ...

It is commonly assumed that the conception of truth defended by Frege in his mature period is characterized by the view that truth is not the property denoted by the predicate 'is true', but the object named by true sentences. In the present paper, I wish to make plausible an alternative interpretation according to which Frege's conception is characterized by the view that truth is what is expressed in natural language by the "form of the assertoric sentence". So construed, truth (...) is neither an object (like the True) nor a property (like the Bedeutung of the predicate 'is true') but something of a very special kind that belongs to the same logical category as the logical relations (like subsumption). The main argument justifying this interpretation is that Frege's explication of truth does not hold of the True, but only of truth, considered as what is expressed by the form of the assertoric sentence. (shrink)

The syntax of Frege's scientific language is commonly taken to be characterized by two oddities: the representation of the intended illocutionary role of sentences by a special sign, the judgement-stroke, and the treatment of sentences as a species of singular terms. In this paper, an alternative view is defended. The main theses are: the syntax of Frege's scientific language aims at an explication of the logical form of judgements; the judgement-stroke is, therefore, a truth-operator, not a pragmatic operator; in Frege's (...) first system, '⊦ Δ' expresses that the circumstance Δ is a fact, and in his second system that the truth-value - Δ is the True; in both systems, the judgement-stroke is construed as a sign sui generis, not as a genuine predicate; its counterpart in natural language is the syntactic "form of assertoric sentences", not the truth-predicate; neither in Frege's first nor in his second system sentences are treated as singular terms. (shrink)

The aim of this paper is to give a detailed reconstruction of Frege's solution to his puzzle about the cognitive function of truth, which is this: On the one hand, the concept of truth seems to play an essential role in acquiring knowledge because the transition from the mere hypothetical assumption that p to the acknowledgement of its truth is a crucial step in acquiring the knowledge that p, while, on the other hand, this concept seems to be completely redundant (...) because the sense of the word 'true' does not make any essential contribution to the senses of the sentences in which it occurs. (shrink)

Does Frege have a metatheory for his logic? There is an obvious and uncontroversial sense in which he does. Frege introduces and discusses his new logic in natural language; he argues, in response to criticisms of Begriffsschrift, that his logic is superior to Boole's by discussing formal features of both systems. In so far as the enterprise of using natural language to introduce, discuss, and argue about features of a formal system is metatheoretic, there can be no doubt: Frege has (...) a metatheory. There is also an obvious and uncontroversial sense in which Frege does not have a metatheory for his logic. The model theoretic semantics with which we are familiar today are a post-Fregean development. The question I address in this paper is, does Frege have a metatheory in the following sense: do his justifications of his basic laws and rules of inference employ, or even require, ineliminable use of a truth predicate and metalinguistic variables? My answer is ‘no’ on both counts. I argue that Frege neither uses, nor has any need to use, a truth predicate or metalinguistic variables in his justifications of his basic laws and rules of inference. Quine's famous explanation of the need for semantic ascent simply does not apply to Frege's logic. The purpose of the discussions that are typically understood as constituting Frege's metatheory is, rather, elucidatory. And once we see what the aim of these particular elucidations is, we can explain Frege's otherwise puzzling eschewal of the truth predicate in his discussions of the justification of the laws and rules of inference. (shrink)

According to the standard characterization of logic in Frege’s writings, the word “true” indicates the essence of logic, as the word “good” indicates the essence of ethics and the word “beautiful” the essence of aesthetics. In a posthumous writing from 1915, however, Frege says that it is the assertoric force, and not the word “true”, which indicates the essence of logic properly. Prima facie, this correction is in conflict with Frege’s criticism of the psychologist conception of logic. For according to (...) this criticism, logic is not the science of the laws of “being taken as true”, but the science of the laws of “being true”, while the assertoric force expresses being taken as true. In previous writings, I tried to resolve this conflict by a reconstruction of Frege’s conception of truth that is based on his thesis that truth is expressed in natural language by the “form of the assertoric sentence”. The goal of this paper is to defend this interpretation against the objections recently made by Marco Ruffino. (shrink)