ABSTRACT In “Die Verneinung”, Frege discusses two types of negation, a semantic one and a pragmatic one. Semantic negation consists in the application of the logical function denoted by ‘it is false that p’ to a thought, and pragmatic negation in the act of asserting or judging a thought as false. According to the standard interpretation, Frege does not acknowledge pragmatic negation, because it is logically redundant. He therefore rejects the classical dualistic view that both truth and falsity are qualities (...) of judgement and adopts instead the monistic view that to judge is always to recognize a thought as true. My aim in this paper is to show that this interpretation cannot be sustained. Though Frege does not endorse the classical view, he defends a dualistic conception that is characterized by the claim that judging is a binary operation that contains both the act of recognizing a thought as true and the act of rejecting the opposite thought as false. To make this interpretation plausible, Frege’s dualistic remarks on negation in three posthumous writings, which have received little attention so far, are analyzed in detail and their background is reconstructed. It is argued that Frege acknowledges negative judgements to account for the epistemic role of the act of judgement in the acquisition of knowledge. RESUMO Frege discute dois tipos de negação em “Die Verneinung” : uma semântica e uma pragmática. Negação semântica consiste na aplicação da função lógica denotada por ‘é falso que p’ para um pensamento, e negação pragmática no ato de afirmar ou julgar um pensamento como falso. De acordo com a interpretação padrão, Frege não reconhece a negação pragmática, porque ela é logicamente redundante. Assim, ele rejeita a visão dualística clássica de que tanto verdade quanto falsidade são qualidades de julgamento e, em vez disso, adota a visão monística de que julgar é sempre reconhecer um pensamento como verdade. Meu objetivo neste artigo é mostrar que tal interpretação não pode ser sustentada. Apesar de Frege não endossar a visão clássica, ele defende um conceito dualista que é caracterizado pela afirmação de que julgar é uma operação binária que contém tanto o ato de reconhecer um pensamento como verdade, quanto o ato de rejeitar o pensamento oposto como falso. Para tornar essa interpretação plausível, Frege faz observações dualísticas sobre a negação em três escritos póstumos, que têm recebido pouca atenção até o presente, são analisadas em detalhe e seu background é reconstruído. Argumenta-se que Frege reconhece o julgamento negativo para explicar o papel epistêmico do ato de julgar na aquisição de conhecimento. (shrink)

In the explanations of logical laws and inference rules of the mature version of Begriffsschrift in Grundgesetze, Frege uses the predicate “… is the True.” Scholars like Greimann maintain that this predicate is a metalinguistic truth-predicate for Frege. This paper examines an argument for this claim that is based on the “nominal reading” of Frege’s conception of sentences—the claim that for Frege a sentence “p” is equivalent to a nonsentential phrase like “the truth-value of the thought that p.” In particular, (...) this paper attempts to establish two points concerning this argument based on the nominal reading. First, the argument implies a claim about the nature of assertion which Frege repeatedly denies in his mature works. Secondly, the nominal reading on which the argument depends is false. A sentence “p” is not equivalent to a nonsentential phrase like “the truth-value of the thought that p” for Frege. Our discussion will lead to an important lesson about Frege’s conception of sentences and of assertion. (shrink)

This paper addresses an issue with the sign ‘⊢’ in Frege’s mature version of Begriffsschrift, i.e., the version in ‘Function and Concept’ and Grundgesetze. The sign is a performative for asserting in that writing down ‘⊢p’ is equivalent to asserting that p. Frege further says that writing ‘ p’ is also equivalent to identifying the reference of ‘p’ with the truth-value True. It looks as if he holds that asserting that p consists in identifying the True with the reference of (...) ‘p’. Frege’s commitment to it, however, seems to encounter a number of tensions. This paper aims to show that these tensions can be avoided by endorsing a non-assertive conception of identification under which making an identification is not making an identity assertion. The suggested reading leads to an entirely di erent understanding of the compositionality of the sign ‘⊢’ as well as Frege’s conception of assertion and judgment. (shrink)

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 a posthumous text written in 1915, Frege makes some puzzling remarks about the essence of logic, arguing that the essence of logic is indicated, properly speaking, not by the word ‘true’, but by the assertoric force. William Taschek has recently shown that these remarks, which have received only little attention, are very important for understanding Frege's conception of logic. On Taschek's reconstruction, Frege characterizes logic in terms of assertoric force in order to stress the normative role that the logical (...) laws play vis-à-vis judgement, assertion and inference. My aim in this paper is to develop and defend an alternative reconstruction according to which Frege stresses that logic is not only concerned with ‘how thoughts follow from other thoughts’, but also with the ‘step from thought to truth-value’. Frege considers logic as a branch of the theory of justification. To justify a conclusion by means of a logical inference, the ‘step from thought to truth-value’ must be taken, that is, the premis.. (shrink)

Why does Frege claim that logical axioms are ‘self‐evident,’ to be recognized as true ‘independently of other truths,’ and then offer arguments for those axioms? I argue that he thinks the arguments provide us with the justification that we need for accepting the axioms and that this is compatible with his remarks about self‐evidence. This compatibility depends on philosophical considerations connected with the ‘critical method’: an interesting approach to the justification of axioms endorsed by leading philosophers at the time.