Linguistique de l’écrit

Revue internationale en libre accès

Collections | Livre | Chapitre

148479

Der Beweisbegriff als mathematische Modalität

die Extensionsgleichheit von formaler Logik und Mathematik auf dem Hintergrund der Beweistheorie

Olav K. Wiegand

pp. 170-194

Résumé

Dem letzten nun zu vollziehenden Schritt dieser Untersuchungen kommt zunächst 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 ergänzen. Somit kann die Analyse der Modalisierung — obgleich noch unvollständig1 — zu einem vorläufigen Abschluß gebracht werden.

Détails de la publication

Publié dans:

Wiegand Olav K (1998) Interpretationen der Modallogik: ein Beitrag zur phänomenologischen Wissenschaftstheorie. Dordrecht, Springer.

Pages: 170-194

DOI: 10.1007/978-94-011-5177-1_11

Citation complète:

Wiegand Olav K, 1998, Der Beweisbegriff als mathematische Modalität: die Extensionsgleichheit von formaler Logik und Mathematik auf dem Hintergrund der Beweistheorie. In O.K. Wiegand Interpretationen der Modallogik (170-194). Dordrecht, Springer.