Repository | Book | Chapter

"Eine zweite Annäherung" (§§ 11-23) setzt sich ungleich verbindlicher mit philosophischen sowie technischen Details der Schrift auseinander. Wir steigen in die Detailkommentierung der Paragraphen ein und beginnen mit der Explikation der investierten Hintergrundphilosophie, die entgegen weitläufiger Meinungen kaum kantische Züge trägt. Ausgehend der fundamentalen Unterscheidungen behandeln wir schrittweise die genialen und in ihrer systematischen Harmonie großartig anmutenden Neuerungen der Schrift: die logische Form, die formale Gültigkeit, der Kalkülbegriff, die Bewertungsmethode, die Theorie der Quantifikation, die Axiomatisierung der klassisch gewordenen Aussagen- und Prädikatenlogik erster Stufe und schließlich das begriffsschriftliche Beweisen als Summe all dieser Neuerungen im Lichte eines rigoros gefassten und zugleich umfassend erfüllten modernen Beweisbegriffs.

DOI: 10.1007/978-3-662-45011-6_2

Full citation: