Tabea Rohr

In what follows, the difference between Frege’s and Schröder’s understanding of logical connectives will be investigated. It will be argued that Frege thought of logical connectives as concepts, whereas Schröder thought of them as operations. For Frege, logical connectives can themselves be connected. There is no substantial difference between the connectives and the concepts they connect. Frege’s distinction between concepts and objects is central to this conception, because it allows a method of concept formation which enables us to form concepts from the logical connectives alone. Schröder in contrast unifies the distinction between concepts and objects, but keeps the distinction between logical connectives and what they connect. It will be argued that Frege’s particular way of perceiving logical connectives is crucial for his foundational project.

Frege ist bekannt für seinen Versuch, die Arithmetik aus der Logik herzuleiten. Doch welcher Begriff von Logik liegt diesem Projekt zugrunde? Wenn Logik die Grundlage der Arithmetik ist und die Arithmetik über Inhalte verfestigt, so muss die Logik selbst eine Wissenschaft mit eigenen Inhalten sein. Die Autorin zeigt, wie Frege logische Zeichen zu eigenständigen Begriffen aufwertet und dadurch eine inhaltliche Logikkonzeption überhaupt erst ermöglicht. In einem weiteren Schritt wird ein Kriterium vorgestellt, mit dessen Hilfe Frege logische Inhalte von den Inhalten anderer Wissenschaften abgrenzt. Dabei wird jedoch deutlich, dass Frege bis in die 1890er Jahre braucht, um sich vollständig vom Kantischen Diktum zu lösen, die Logik sei nur ein negativer Probierstein der Wahrheit. Die Suche nach dem Grund, der Frege zu einer inhaltlichen Konzeption von Logik zwang, führt in die Geometriegeschichte des 19. Jahrhunderts. Vor ihrem Hintergrund werden schließlich die Anfangsparagraphen der Grundlagen der Arithmetik in einem neuen Licht interpretiert.