A Calculus taken out of the Calculus

Zusammenfassung

Ein Kalkül ist ein System von Anweisungen/Konstniktionen und Übereinkünften, das geregelte Austauschprozesse von Hinweisformen, d.h. von Ausdrücken erlaubt. Der Kalkül, aus dem in diesem Kapitel ein weiterer Kalkül ‚herausgenommen‘ wird, ist die Primäre Arithmetik. Der neue, aus dem arithmetischen Kalkül herausgenommene algebraische Kalkül meint ebenfalls ein Generierungssystem. Allerdings bezieht es sich nicht mehr auf die beiden Seiten der Form der Unterscheidung als Referenzpunkt, sondern auf die Resultate der Arithmetik. Der neue Kalkül wird ‚aus dem (alten) Kalkül herausgenommen‘, weil in ihm erstens der Austauschprozess aus der Arithmetik übernommen und als algebraisches Berechnen (um-)formuliert wird. Zweitens werden die beiden arithmetischen Gleichungen aus T8 und T9 aus ihrem Entstehungskontext herausgenommen und zu den Initialgleichungen des neuen, algebraischen Systems gemacht.