"Axiome als Definitionen"

Das Charakteristikum der Mathesis Universalis

pp. 55-68

in: Olav K. Wiegand, Interpretationen der Modallogik, Berlin, Springer, 1998

Abstract

In §7 wurden drei Aufgaben genannt, die sich einer Logik stellen, die formale Apophantik und formale Ontologie umgreift. In FTL werden — anders als in den Prolegomena¹ — die in §7 erwähnten Punkte (i) und (ii) nur berührt. Die Entwicklung einer Mannigfaltigkeitslehre, deren formallogisches Korrelat eine "Theorie möglicher Theorieformen " ist, wird in FTL hingegen als "höchste Aufgabe" der Logik bezeichnet und ist dort Gegenstand detaillierter Analysen.