http://de.wikipedia.org/wiki/Gesetze_der_Form
Inhaltsverzeichnis
1 Allgemeines 1.1 Verffentlichung 2 Grundkonzepte der Laws of Form 2.1 Unterscheidung durch Kreuzen 2.2 Unterscheidung durch Nennen 2.3 Symbolische Darstellung Primre Arithmetik Primre Algebra Gleichungen 2. Grades Bedeutung und Rezeption
3 4 5 6
Allgemeines
Der Ausgangspunkt von Spencer-Brown ist die logische Form der Unterscheidung. Der als Triff eine Unterscheidung! (draw a distinction) umschriebene basale Akt wird im Weiteren mit sich selbst kombiniert und erzeugt auf diesem Wege eine Vielfalt neuer Formen, die als Grundbegriffe (Wahr und Falsch, Symbol, Signale, Namen, Prozesse, sich selbst verndernde Formen, Operator usw.) angesehen werden knnen. Mit diesen Begriffen lassen sich formale Kalkle der Logik und der Mathematik darstellen. Spencer-Brown stellt im Gange seiner Untersuchung die klassische Logik als Grundlage der Mathematik in Frage und interpretiert sie neu. Bedeutend sind die erkenntnistheoretischen Konzepte der Laws of Form. berhaupt nichts kann durch Erzhlen gewusst werden[2] ist eine der Kernaussagen der LoF. Wissen
1 von 9
09.05.2012 16:12
http://de.wikipedia.org/wiki/Gesetze_der_Form
erlangt man demzufolge nur in der Erfahrung aus den Ergebnissen praktischen Handelns. Im Unterschied zu klassischen Kalklen der Logik, die die logische Struktur von Sachverhalten und Aussagen abbilden sollen, versteht George Spencer-Brown die logische Form als etwas, das der Erkenntnis als Prozess und Handlung entspricht. Whrend es fr eine formale Sprache beliebig ist, was ihre nicht-logischen Konstanten bezeichnen, wird in den Laws of Form das Unterscheiden und Bezeichnen selbst - als simultaner Akt - zum Ausgangspunkt fr formale Operationen. Spencer-Browns Kalkl liefert also nicht nur eine formale Syntax und Semantik, sondern auch eine formale Semiotik. Darber hinaus bietet das Konzept der Re-entry of the form (into the form) die Mglichkeit, eine formale Vorstellung von Zustandswechsel und Gedchtnis zu formulieren. Die Laws of Form werden von ihren Anhngern als Minimalkalkl fr mathematische Wahrheiten betrachtet. Mehrere Wissenschaftszweige berufen sich daher explizit auf die Laws of Form, etwa Niklas Luhmann in seiner soziologischen Systemtheorie oder Humberto Maturana in der Theorie des radikalen Konstruktivismus.
Verffentlichung
Spencer-Browns formaler Kalkl wurde 1969 erstmals unter dem Titel Laws of Form verffentlicht. Das Buch wurde seitdem mehrmals neu aufgelegt und in verschiedene Sprachen bersetzt. Die Idee zum Buch entwickelte Spencer-Brown bereits whrend seiner Ttigkeit als Ingenieur bei British Railways, in der er Ende der 50er Jahre damit beauftragt war, elektrische Schaltungen fr das Zhlen von Waggons in Tunneln zu entwickeln. Dabei bestand das damals fundamentale technische Problem, die Zhler vorwrts und rckwrts zhlen zu lassen und bereits gezhlte Waggons zu speichern. Spencer-Brown lste das Problem durch die Verwendung bis dato unbekannter imaginrer Boolescher Werte und es entstand zugleich ein neues Problem: Seine Idee funktionierte, aber es gab keine mathematische Theorie, die diese Vorgehensweise rechtfertigen konnte[3]. Die Ausarbeitung des Kalkls, der diese neuen imaginren Booleschen Werte zulie, war der Auslser fr die Laws of Form.[4] Das Buch umfasst 141 Seiten, von denen 55 den mathematischen Kalkl umfassen, und gilt als fr Laien nur schwer verstndlich. Es existieren eine Reihe von Erluterungsbchern zu den LoF.[5]
2 von 9
09.05.2012 16:12
http://de.wikipedia.org/wiki/Gesetze_der_Form
Kreis trennt eindeutig auen von innen in dem Sinn, dass man von auen nach innen oder umgekehrt nur gelangen kann, wenn man die Kreislinie berschreitet (cross). Die vollstndig eingeschlossene Kreisflche ist als Innenseite (angezeigte Seite) eindeutig vom umgebenden Raum unterschieden (der unmarkierte Raum).
Eine Unterscheidung durch Kreuzen fhrt The value of crossing made nicht in den selben Zustand zurck. Axiom 2 again is NOT the value of Im Beispiel: Erste Unterscheidung fhrt zu Kreis, die the crossing. zweite Unterscheidung fhrt zu Nicht-Kreis.
Symbolische Darstellung
Die Laws of Form fhren dann ein Symbol fr die Grenzziehung einer Unterscheidung ein, dargestellt durch das cross: . Dabei wird das, was links unten unter dem Winkel steht, von allem anderen abgegrenzt (man kann sich das cross als geschlossenes Rechteck vorstellen). cross und blank page (eine leere Seite ohne Zeichen) sind die grundlegenden Ausdrcke fr das Bestehen oder Nichtbestehen einer Spencer-
3 von 9
09.05.2012 16:12
http://de.wikipedia.org/wiki/Gesetze_der_Form
Brown-Form. In Textdarstellungen wird die geschlossene Grenzziehung auch durch Klammern wiedergegeben: etwa durch [ ] oder < >, die leere Seite durch einen Punkt . oder durch {}. Die allgemeine durch das cross angezeigte Form entspricht einer Grenzziehung, die einen Bereich von einem anderen trennt. Sie besagt so viel wie Hier-So! und dort jenseits der Grenze auf jeden Fall Nicht-So!. Neben dem Winkel sind daher auch andere Symbole mglich, etwa eine Einkreisung. In dieser Symbolsprache lassen sich die obigen beiden Grundaxiome wie folgt formalisieren: Aus The value of a call made again is the die Form der Axiom 1: value of the call: Kondensation: Aus The value of crossing made again is die Form der Axiom 2: NOT the value of the crossing: Aufhebung: Danach fhrt Spencer-Brown das Konzept der Tiefe des Raumes ein, das ineinander verschachtelte Symbole erlaubt, und daher zu strukturell reichen Formen fhrt. Des Weiteren werden vier fundamentale Kanons vorgestellt, die Regeln fr die Behandlung solcher Formen behandeln. Die Formen knnen nach obigen beiden Grundaxiomen stufenweise substituiert (gekrzt) werden (vgl. insbesondere den 3. Kanon der Substitution: In any expression, let any arrangement be changed for an equivalent arrangement[16]); wie in folgendem Beispiel:
Zum Ende des 3. Kapitels der Laws of Form stellt GSB klar, was er unter dem vorangegangenen sog. Indikationenkalkl versteht - nmlich den Kalkl, der dadurch bestimmt wird, die beiden obigen GrundFormen als Ausgangspunkt zu nehmen (Call the calculus determined by taking the two primitive equations as initials the calculus of indication) - und er leitet ber zur primren Arithmetik, die alle Aussagen umfassen und auf alle Aussagen beschrnkt sein soll, die sich aus dem Indikationenkalkl ergeben (Call the calculus limited to the forms generated from direct consequences of these initials the primary arithmetic[17]).
Primre Arithmetik
In Kapitel 4 der LoF fhrt GSB den o. a. Indikationenkalkl in eine sog. primre Arithmetik ber. Ausgangspunkt sind die aus der Form der Kondensation und der Form des Kreuzens gewonnenen Handlungsanweisungen (Initiale). Initial 1 (Zahl): Initial 2 (Ordnung): (erlaubt nderungen in der Zahl der Markierungen) (erlaubt Streichung oder Hinzufgung von Markierungen)
und entwickelt aus diesen beiden Initialen neun Theoreme zur primren Algebra: Theorem Die Form jeder endlichen Zahl von Kreuzen kann 1 als Form eines Ausdrucks aufgefasst werden. Erluterung Theorem des Krzens, siehe oben.
Besteht ein arithmetischer Ausdruck (c) aus Wenn ein beliebiger Raum ein leeres Kreuz einem beliebigen Teilausdruck (hier:b) und steht 2 durchdringt, dann ist der Wert, der in diesem Raum daneben ein einzelnes Kreuz, dann ist der Wert des bezeichnet wird, der markierte Zustand. Ausdruckes der markierte Zustand.
4 von 9
09.05.2012 16:12
http://de.wikipedia.org/wiki/Gesetze_der_Form
c=
b=
Wenn ein Ausdruck gem Theorem 1 auf verschiedenen Wegen vereinfacht werden kann, so wird auf allen mglichen Wegen das Ergebnis eindeutig der markierte oder der unmarkierte Zustand sein. Umkehrung von Theorem 3: Ausdrcke knnen durch Erweiterung geschachtelt werden. Unterschiedliche Ausgangs-Ausdrcke haben unterschiedliche Ergebnisse.
Der Wert jedes Ausdrucks, der konstruiert wird, indem Schritte von einem gegebenen einfachen Ausdruck aus getan werden, ist verschieden von 4 dem Wert jedes Ausdrucks, der konstruiert wird, indem Schritte von einem unterschiedlichen einfachen Ausdruck aus getan werden.
5 Identische Ausdrcke drcken denselben Wert aus. N.A. 6 7 Ausdrcke desselben Wertes knnen miteinander identifiziert werden. N.A.
Ausdrcke, die mit demselben Ausdruck quivalent N.A. sind, sind auch miteinander quivalent. An dieser Stelle werden variable Teilausdrcke in die LoF eingefhrt. Die Beweisfhrung erfolgt, indem fr p sowohl der markierte als auch der unmarkierte Zustand eingesetzt wird und beide Flle zum gleichen Ergebnis (dem unmarkierten Zustand) fhren. Auch Varianz-Bedingung genannt. Ist r der markierte Zustand, so sind die Gleichungen sofort identisch. Ist r der unmarkierte Zustand, so sind die inneren Teilstcke der linken Seite markiert und nach Initial 2 heben sich die inneren crosses auf, sodass nur der markierte Zustand auf der linken Seite brig bleibt. Die rechte Seite der Gleichung ist in diesem Fall aus Theorem 2 der markierte Zustand.
Die Theoreme 8 und 9 dienen gleichzeitig als Initiale der Brownschen primren Algebra.
Primre Algebra
In Kapitel 6 der LoF definiert GSB die Theoreme 8 und 9 der Primren Arithmetik ihrerseits als Initiale der primren Algebra. Auf Basis dieser Initiale demonstriert GSB neun sog. Konsequenzen (Entwicklung von Formen durch folgerichtige Anwendung der erlaubten Rechenschritte): We shall proceed to distinguish particular patterns, called consequences, which can be found in sequential manipulations of these initials.[18] In Kapitel 8 der LoF sucht GSB zu zeigen, dass jede Konsequenz in der Algebra auf ein beweisbares Theorem ber die Arithmetik hinweisen muss. Darauf folgend steht der Beweis, dass auch tatschlich jedes Theorem ber die Arithmetik in der Algebra demonstriert werden kann (Kapitel 9) sowie die Unabhngigkeit der beiden algebraischen Initialgleichungen (Kapitel 10).[19]
5 von 9
09.05.2012 16:12
http://de.wikipedia.org/wiki/Gesetze_der_Form
Im Hinblick auf die Gdelschen Unvollstndigkeitsstze haben insbesondere die postulierte gleichzeitige Vollstndigkeit und Widerspruchsfreiheit der Primren Algebra fr Diskussion in der Literatur gesorgt. Eine naheliegende Vermutung ist, dass die Stze von Kurt Gdel hier keine Anwendung finden, weil die Laws of Form das Imaginre zu reprsentieren erlauben [...] Wenn das Imaginre einem formalen System inhrent ist, lassen sich die Stze von Gdel nicht mehr auf dieses System applizieren.[20]
Gleichungen 2. Grades
Gleichungen 2. Grades in der Bedeutung der LoF erhlt man, indem unendliche algebraische Ausdrcke durch Selbstbezglichkeit als endliche Gleichungen dargestellt werden. Es wird der Begriff imaginrer Wert eingefhrt, der die Oszillation zwischen markiertem und unmarkiertem Zustand ausdrcken soll, und der in spterer Folge zur Anwendung komplexer Werte in der Algebra verwendet wird, die ihrerseits als Analogien zu den komplexen Zahlen in der gewhnlichen (numerischen) Algebra[21] verwendet werden knnen. Fr die mathematische Form der Darstellung des imaginren Wertes prgt GSB den Begriff der re-entry (Wiedereintritt) der Form in die Form. Ausgangspunkt ist die Demonstration, dass die u. a. mathematische Form sich durch folgerichtige Umformung gem den Regeln der LoF in einen unendlichen Term der gleichen Wiederkehr transformieren lsst. Diese unendliche Wiederholung lsst sich in einen endlichen Formalismus (hier ausgedrckt durch das f) berfhren, der in jeder ganzzahligen Tiefe identisch mit dem ganzen Ausdruck ist. Da die Form in ihrem eigenen Raum wieder auftritt, erhielt sie den Namen re-entry.
Auf dieser Basis entwickelt GSB zwei derartige rekursive Funktionen: Die Funktion G (Gedchtnisfunktion), die sowohl fr als auch fr den leeren Raum {} erfllt ist, sowie O (Oszillationsfunktion), deren Lsung kein feststehender Ausdruck ist, sondern sich infinit verlngert.
O wird im Formalismus der LoF verwendet, um eine mathematische Form der Zeit auszudrcken. O: f=(f) ist nur lsbar, wenn sie mit unendlich ineinander geschachtelten f: ...(())... gleichgesetzt wird, und wenn f die Gleichung lsen soll, muss f infinit verlngert werden. Diese Gleichung fhrt - obwohl im Raum (sprich mit den Mitteln der Primren Arithmetik) nicht lsbar - dadurch zu einer Vorstellung von Zeit, indem man das Nacheinander der Zustnde auflst und nur den imaginren Zustand der Form betrachtet.[22]
6 von 9
09.05.2012 16:12
http://de.wikipedia.org/wiki/Gesetze_der_Form
Selbstbezglichkeit beruhen. Dabei kann durch einen Reentry eine bestimmte Form innerhalb ihrer selbst wieder aufgerufen werden. Die oszillierenden Werte (<> oder .) werden nicht als Widerspruch oder Syntaxfehler gedeutet, den es etwa durch eine Typentheorie zu verbieten glte. Spencer-Brown deutet die Oszillation zwischen zwei Werten vielmehr als mathematische Zeit. In der Anmerkung zu Kapitel 11 wird auf die Parallele zur Wurzel aus -1 verwiesen, die sich als imaginre Zahl auch als Oszillation zwischen 1 und -1 darstellen lsst (vgl. dazu Louis H. Kauffman[24]). Legt man die traditionelle Darstellung der imaginren Zahlen als die Punkte der y-Achse in der komplexen Ebene zugrunde, wird die y-Achse damit zum gedanklichen Platzhalter fr die Oszillation. Dieser Ansatz ist fr die Physik bedeutsam, insofern diese auf komplexe Zahlen zur Beschreibung von Naturprozessen zurckgreift. Der chilenische Biologe und Systemwissenschaftler Francisco Varela hat 1975 eine Erweiterung des Brownschen Indikationenkalkls zu einem dreiwertigen Kalkl vorgelegt.[25] GSB selbst hat im Nachgang zu den LoF neun mathematische und philosophische Anwendungen vorgeschlagen, u. a. fr das Vier-Farben-Problem und die Riemannsche Vermutung.[26]
Systemtheorie
Insbesondere in der Systemtheorie fanden die LoF eine ber die Mathematik hinausgehende Beachtung. Insbesondere wurden immer wieder Parallelen der LoF zu grundlegenden Konzepten der Systemtheorie (z. B. Unterscheidung, Beobachtung als Trennung von Objekt und Umwelt, Erkenntnis als Konstruktion und Rekursion, etc.) gezogen. Niklas Luhmann hat darauf hingewiesen, dass er seinen grundlegenden differenztheoretischen Ansatz den LoF entnommen hat.[27]. Ebenso wurden Parallelen zu Konzepten des radikalen Konstruktivismus und der Soziologie hergestellt. Der deutsche Soziologe Dirk Baecker hat in zwei Aufsatzsammlungen Anwendungen und Interpretationen der LoF fr die Soziologie zusammengestellt.
Siehe auch
Louis H. Kauffman Distinktion Differenz (Luhmann) Reentry (Erkenntnistheorie)
Literatur
Primrtext George Spencer-Brown: Laws of Form, Allen & Unwin, London 1969. (Erstausgabe) George Spencer-Brown: Laws of Form 1994. Portland OR: Cognizer Company, ISBN 0-9639899-0-1 (jngste Ausgabe) deutsche bersetzung: Gesetze der Form, Bohmeier Verlag, Leipzig 2008, ISBN 978-3-89094-580-4 Sekundrliteratur Dirk Baecker (Hrsg.), Kalkl der Form, Suhrkamp, Frankfurt/Main 1993, ISBN 3-518-28668-4 Dirk Baecker (Hrsg.), Problems of Form, 1988, ISBN 0-8047-3424-0. Louis H. Kauffman: The Mathematics of C.S. Peirce (http://www2.math.uic.edu/~kauffman/CHK.pdf) , in: Cybernetics and Human Knowing 8 (2001), S. 79-110. Holm von Egidy, Beobachtung der Wirklichkeit [Elektronische Ressource] : Differenztheorie und die zwei Wahrheiten in der buddhistischen Madhyamika-Philosophie, ISBN 3-89670-328-5
7 von 9
09.05.2012 16:12
http://de.wikipedia.org/wiki/Gesetze_der_Form
Felix Lau: Die Form der Paradoxie - Eine Einfhrung in die Mathematik und Philosophie der Laws of Form von George Spencer Brown, Verlag fr Systemische Forschung im Carl-Auer-Verlag, Heidelberg 2005/2008, ISBN 3-89670-352-8. Niklas Luhmann: Die Wissenschaft der Gesellschaft, Suhrkamp, Frankfurt/Main, 1994, ISBN 978-3518286012 Tatjana Schnwalder-Kuntze, Katrin Wille, Thomas Hlscher: George Spencer Brown - Eine Einfhrung in die Laws of Form, VS Verlag fr Sozialwissenschaften, Wiesbaden 2004, ISBN 3-531-14082-5. Francisco Varela: A calculus for self-reference, in: International Journal of General Systems 2, S. 5-24. Matthias Varga von Kibd, Achim Ferrari, George Spencer Brown: Die Unterscheidungstheorie Spencer Browns und die Unterscheidungsformaufstellung Aachen, 2008, ISBN 978-3-942131-04-9
Weblinks
Laws of Form - Website von Richard Shoup (http://www.lawsofform.org/) Transkription der AUM-Konferenz ber die LoF vom 19.-20.03.1973 (http://www.lawsofform.org /aum/index.html) (Mit George Spencer-Brown, Gregory Bateson, Heinz von Frster u. a.) Eintrag Spencer-Brown Form bei mathworld.wolfram.com (http://mathworld.wolfram.com/SpencerBrownForm.html) (englisch, mit Literaturangaben)
Einzelnachweise
1. A principal intention of this essay is to separate what are known as algebras of logic from the subject of logic, and to re-align them with mathematics, LoF 1969, S. 11 der Einleitung 2. Laws of Form, S. 12 der Einleitung 3. Vgl. Lau, 2008: S. 9 4. Lau, 2008: S. 9 5. Siehe die unten stehende Liste! 6. Schnwlder-Kuntze/Wille/Hlscher, S. 64 f. 7. Vgl. Dirk Baecker, George Spencer Brown, online-Verffenflichung (http://www.dirkbaecker.com /SpencerBrown.pdf) (pdf), S. 3. 8. Laws of Form, 1969, a. a. O.: S. 1 9. Vgl. Lau, S. 40 ff. 10. Laws of Form, S. 1 11. Laws of Form, S. 1 12. Zur Markierung beider Seiten mit Symbolen siehe Axiom 1 13. Vgl. Lau, 2008: S. 46 ff. 14. Laws of Form, S. 1 15. Laws of Form, S. 1 16. Laws of Form, S. 7 17. Laws of Form, S. 11 18. LoF, S. 28 19. Vgl. Schnwlder-Kuntze/Wille/Hlscher, S. 140 ff. 20. Vgl. Lau, S. 83 21. Vgl. LoF, S. 11 der Einleitung 22. Nevertheless [...] it is real in relation with time and can, in relation with itself, become determinate in space, and thus real in the form, LoF, S. 61 23. vgl. Lau, S. 119 ff. 24. Louis H. Kauffman: Time, Imaginary Value, Paradox, Sign and Space (http://www2.math.uic.edu /~kauffman/TimeParadox.pdf)
8 von 9
09.05.2012 16:12
http://de.wikipedia.org/wiki/Gesetze_der_Form
25. Vgl. Varela, 1975 26. Appendices 1 bis 9 der englischen Ausgabe der LoF, Bohmeier Verlag, Heidelberg, 2008 27. Vgl. Lau: S. 21, Vgl. Luhmann, 1994 Von http://de.wikipedia.org/w/index.php?title=Gesetze_der_Form&oldid=101393257 Kategorie: Logik Diese Seite wurde zuletzt am 28. Mrz 2012 um 14:24 Uhr gendert. Der Text ist unter der Lizenz Creative Commons Attribution/Share Alike verfgbar; zustzliche Bedingungen knnen anwendbar sein. Einzelheiten sind in den Nutzungsbedingungen beschrieben. Wikipedia ist eine eingetragene Marke der Wikimedia Foundation Inc.
9 von 9
09.05.2012 16:12