Theorems of the second order

Zusammenfassung

Der Titel bezieht sich auf eine zweite Art von Theoremen, auf algebraische Theoreme. Die algebraischen Theoreme explizieren die Einsicht, dass in bestimmten algebraischen Gefügen bestimmte Teilausdrücke unbegrenzt erweiterbar bzw. Variablen und Operatoren auf höchstens zwei reduzierbar sind. Das Prädikat ‚order‘ bezeichnet in den Laws of Form die Notwendigkeit einer Reihenfolge: Während die arithmetischen Theoreme erster Ordnung bestimmte Eigenschaften der Hinweisformen bzw. -zeichen explizieren, die diesen dadurch zukommen, dass sie Operanden in einem Austauschprozess sind, weisen die Theoreme zweiter Ordnung bereits reflexiv auf die Erweiterbarkeit bestimmter Austauschprozesse hin und damit auch auf die Erweiterbarkeit der Initialgleichung J2.