Gottlob Freges Grundgesetze der Arithmetik: Transkription und Beweiskontrolle

点击翻译按钮获取中文摘要

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.