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 ...

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)

Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens / von Dr. Gottlob Frege,...Date de l'edition originale : 1879Ce livre est la reproduction fidele d'une oeuvre publiee avant 1920 et fait partie d'une collection de livres reimprimes a la demande editee par Hachette Livre, dans le cadre d'un partenariat avec la Bibliotheque nationale de France, offrant l'opportunite d'acceder a des ouvrages anciens et souvent rares issus des fonds patrimoniaux de la BnF.Les oeuvres faisant partie de cette collection ont ete numerisees (...) par la BnF et sont presentes sur Gallica, sa bibliotheque numerique.En entreprenant de redonner vie a ces ouvrages au travers d'une collection de livres reimprimes a la demande, nous leur donnons la possibilite de rencontrer un public elargi et participons a la transmission de connaissances et de savoirs parfois difficilement accessibles.Nous avons cherche a concilier la reproduction fidele d'un livre ancien a partir de sa version numerisee avec le souci d'un confort de lecture optimal. Nous esperons que les ouvrages de cette nouvelle collection vous apporteront entiere satisfaction.Pour plus d'informations, rendez-vous sur www.hachettebnf.frhttp://gallica.bnf.fr/ark:/12148/bpt6k65658c. (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)

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)