I offer in this paper a contextual analysis of Frege's Grundlagen, section 64. It is surprising that with so much ink spilled on that section, the sources of Frege's discussion of definitions by abstraction have remained elusive. I hope to have filled this gap by providing textual evidence coming from, among other sources, Grassmann, Schlömilch, and the tradition of textbooks in geometry for secondary schools . In addition, I put Frege's considerations in the context of a widespread debate in Germany (...) on ‘directions’ as a central notion in the theory of parallels. (shrink)

This paper has a two-fold objective: to provide a balanced, multi-faceted account of the origins of logicism; to rehabilitate Richard Dedekind as a main logicist. Logicism should be seen as more deeply rooted in the development of modern mathematics than typically assumed, and this becomes evident by reconsidering Dedekind's writings in relation to Frege's. Especially in its Dedekindian and Fregean versions, logicism constitutes the culmination of the rise of ?pure mathematics? in the nineteenth century; and this rise brought with it (...) an inter-weaving of methodological and epistemological considerations. The latter aspect illustrates how philosophical concerns can grow out of mathematical practice, as opposed to being imposed on it from outside. It also sheds new light on the legacy and the lasting significance of logicism today. (shrink)

The impartial reader notices that Frege, in Die Verneinung, treats an opposing conception of negation, but without specifically naming its proponent. In this paper, it is proven for the first time that the view in question is that of his colleague in Jena, Bruno Bauch. Besides their different views, concerning above all the status of false thoughts, there are nonetheless broader points of agreement between the ideas of Bauch and Frege. These points of agreement cast light on both thinkers as (...) representatives of a current of Neo-Kantianism, having its source in Lotze, in which Kantian and Platonic elements are fused to form a ?transcendental Platonism? (shrink)

It has been noted before in the history of logic that some of Frege's logical and semantic views were anticipated in Stoicism. In particular, there seems to be a parallel between Frege's Gedanke (thought) and Stoic lekton; and the distinction between complete and incomplete lekta has an equivalent in Frege's logic. However, nobody has so far claimed that Frege was actually influenced by Stoic logic; and there has until now been no indication of such a causal connection. In this essay, (...) we attempt, for the first time, to provide detailed evidence for the existence of this connection. In the course of our argumentation, further analogies between the positions of Frege and the Stoics will be revealed. The classical philologist Rudolf Hirzel will be brought into play as the one who links Frege with Stoicism. The renowned expert on Stoic philosophy was Frege's tenant and lived in the same house as the logician for many years. In der Geschichte der Logik ist häufig bemerkt worden, dass einige der logischen und semantischen Auffassungen Freges in der Stoa antizipiert worden sind. Genannt wurden insbesondere die Parallelen zwischen dem Fregeschen Gedanken und dem stoischen Lekton sowie die Unterscheidung zwischen vollständigen und unvollständigen Lekta, die bei Frege ihre Entsprechung hat. Ein Wirkungszusammenhang ist allerdings nicht behauptet worden. Dazu gab es bislang auch keinen Anlass. Der vorliegende Beitrag versucht erstmalig, einen detaillierten Indizienbeweis für das Bestehen eines solchen Zusammenhangs vorzulegen. Dabei werden weitere charakteristische Übereinstimmungen zwischen Frege und der Stoa aufgewiesen. Als Mittelsmann wird der Altphilologe Rudolf Hirzel vorgestellt. Er wohnte lange Jahre als Mieter zusammen mit Frege im selben Haus und war ein anerkannter Experte der stoischen Philosophie. (shrink)

Well over a century after its introduction, Frege's two-dimensional Begriffsschrift notation is still considered mainly a curiosity that stands out more for its clumsiness than anything else. This paper focuses mainly on the propositional fragment of the Begriffsschrift, because it embodies the characteristic features that distinguish it from other expressively equivalent notations. In the first part, I argue for the perspicuity and readability of the Begriffsschrift by discussing several idiosyncrasies of the notation, which allow an easy conversion of logically equivalent (...) formulas, and presenting the notation's close connection to syntax trees. In the second part, Frege's considerations regarding the design principles underlying the Begriffsschrift are presented. Frege was quite explicit about these in his replies to early criticisms and unfavorable comparisons with Boole's notation for propositional logic. This discussion reveals that the Begriffsschrift is in fact a well thought-out and carefully crafted notation that intentionally exploits the possibilities afforded by the two-dimensional medium of writing like none other. (shrink)