6533b7d2fe1ef96bd125df96

RESEARCH PRODUCT

Der Beweisbegriff als Mathematische Modalität. die Extensionsgleichheit von Formaler Logik und Mathematik auf dem Hintergrund der Beweistheorie

subject

description

Dem letzten nun zu vollziehenden Schritt dieser Untersuchungen kommt zunachst die Aufgabe zu, die Ergebnisse der bisherigen Kapitel zusammenzubringen. Dieser Schritt wird darin bestehen, einige Gesichtspunkte der Modalisierung auf der Stufe formalisierender Abstraktion zu betrachten und damit zugleich die drei Schichten der Konstitution von Modalkategorien, die im zweiten Teil dieser Untersuchungen vorgestellt wurden, um eine vierte zu erganzen. Somit kann die Analyse der Modalisierung — obgleich noch unvollstandig1 — zu einem vorlaufigen Abschlus gebracht werden.