Gottlob Freges Grundgesetze der Arithmetik: Transkription und Beweiskontrolle

戈特洛布·弗雷格的算术基本定律：转录和证据控制

• 批准号: 5424861
• 负责人: Professor Dr. Rainer Stuhlmann-Laeisz
• 金额: --
• 依托单位: Lehrstuhl für Logik und Grundlagenforschung
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2004
• 资助国家: 德国
• 起止时间: 2003-12-31 至 2005-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5424861?language=en
• 关键词: Gottlob; Freges; Grundgesetze; der; Arithmetik

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.

Gottlob Freges Hauptwerk Grundgesetze der Arithmetik is das Grundbuch der modernen Logik，and es enthält Freges klassiche Präsentation and Durchführung des logizistischen Programms in der Philosophie der Mathematik.一个详细的说明也仅仅是对工具的描述，这是一个研究的愿望。Ziel des Projektes is，die Voraussetzungen für einen Kommentar zu schaffen，der vom füderfüderden Antragsteller verfastst韦尔登soll.弗雷格的二维符号逻辑形式并不存在。Ihre Beibehaltung in einem am Text vorgehenden Kommentar würde Lesbarkeit auch für Kenner der Logik und der Philosophie der Mathemtik äußerst erschwener。Die erste Voraussetzung für den Erfolg des übergeordneten Kommentarprojekts ist deshalb die transskription 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 Escherbeantragte Sachbeihilfe soll deshalb eine electronische Publikation der Grundgesetze in einer heute üblichen Schreibweise der logischen Formeln und Beweise，erweitert um die Ergebnisse maschineller Beweiskontrollen，ermöglichen.