Detailseite
Projekt Druckansicht

Gottlob Freges Grundgesetze der Arithmetik: Transkription und Beweiskontrolle

Fachliche Zuordnung Theoretische Philosophie
Förderung Förderung von 2004 bis 2006
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5424861
 
Gottlob Freges Hauptwerk Grundgesetze der Arithmetik ist das Grundbuch der modernen Logik, und es enthält Freges klassische Präsentation und Durchführung des logizistischen Programms in der Philosophie der Mathematik. Ein detaillierter Kommentar auch nur von Teilen des Werkes ist ein Desiderat der Forschung. Ziel des hier beantragten Projektes ist es, die Voraussetzungen für einen solchen Kommentar zu schaffen, der vom federführenden Antragsteller verfasst werden soll. Die von Frege eingeführte zweidimensionale Notation logischer Formeln hat sich nicht durchgesetzt. Ihre Beibehaltung in einem am Text vorgehenden Kommentar würde dessen Lesbarkeit auch für Kenner der Logik und der Philosophie der Mathemtik äußerst erschweren. Die erste Voraussetzung für den Erfolg des übergeordneten Kommentarprojekts ist deshalb die Transkription der Fregeschen in eine heute geläufige Notation. Sie dient dann auch der Realisierung der zweiten Voraussetzung: maschinelle Kontrolle der Beweisführungen Freges im Rahmen seiner Herleitung der Arithmetik aus der Logik. - Die hier beantragte Sachbeihilfe soll deshalb eine elektronische Publikation der Grundgesetze in einer heute üblichen Schreibweise der logischen Formeln und Beweise, erweitert um die Ergebnisse maschineller Beweiskontrollen, ermöglichen.
DFG-Verfahren Sachbeihilfen
 
 

Zusatzinformationen

Textvergrößerung und Kontrastanpassung