2018 | OriginalPaper | Buchkapitel
EINE ZWEITE ANNÄHERUNG
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
„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.