Archiv der Kategorie: Semiotik

AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 14

VORGESCHICHTE

Für einen Überblick zu allen vorausgehenden Beiträgen dieser rekonstruierenden Lektüre von Avicennas Beitrag zur Logik siehe AVICENNAS ABHANDLUNG ZUR LOGIK – BLITZÜBERSICHT.

1. Wenn also eine Formulierung von Konvertierungsregeln nicht ohne Bezug auf irgend eine Bedeutung M hinter den Ausdrücken möglich ist, stellt sich zum wiederholten Male die Frage, über welche mögliche Bedeutung M ‚hinter‘ den Ausdrücken gesprochen werden muss.

KONVERTIERUNG MIT BEDEUTUNG – MIT WELCHER?

2. Beginnen wir mit dem Ausgangspunkt, dass Aussagen PROP solche Ausdrücke von der Menge aller Ausdrücke E sind, die ‚wahr‘ oder ‚falsch‘ sein können. ‚Treffen sie zu‘ gelten sie als ‚wahr‘; ‚treffen sie nicht zu‘ gelten sie als ‚falsch‘.
3. Bislang hatten wir schon die generelle Annahme geäußert, dass das Denken und Wissen eines Menschen im ‚Innern‘ dieses Menschen zu verorten sei und der Mensch ‚in‘ einer umgebenden Welt W mit realen Ereignissen X vorkommt.
4. Um die Begriffe ‚wahr/ falsch‘ bzw. ‚zutreffen/ nicht zutreffen‘ zu ‚erklären‘, nehmen wir an, dass die Menge des möglichen Wissens K eines einzelnen Menschen sich zerlegen lässt in die Teilmengen ‚Vorgestellt‘ K_v, ‚Erinnert‘ K_m sowie ’sinnlich präsent‘ K_s. Es gilt also $latex K = K_{s} \cup M_{v} \cup M_{m}$.
5. Eine Bedeutung wird dann durch eine Beziehung zwischen dem Wissen K und möglichen Ausdrücken $latex PROP \subseteq E$ gebildet: $latex M \subseteq PROP \times K$.
6. Speziell gilt aber, dass man zwischen einer ’neutralen‘ Bedeutung $latex M_n \subseteq E \times (K_{v} \cup K_{m})$ unterscheiden muss, die weder ‚wahr‘ noch ‚falsch‘ ist, und der ’sinnlich fundierten‘ Bedeutung $latex M_s \subseteq E \times K_{s}$. Gibt es zwischen einer neutralen Bedeutung $latex M_{n}$ und einer sinnlich fundierten Bedeutung $latex M_{s}$ eine Beziehung des ‚Zutreffens‘ $latex M_{s} \models M_{n}$, dann kann man sagen, dass das Wissen $latex K_{n}$ in dieser Beziehung ‚wahr‘ ist, andernfalls nicht, geschrieben $latex M_{s} \not\models K_{n}$.
7. Zusätzlich kann man im Bereich des erinnerten Wissens $latex K_{m}$ noch unterscheiden zwischen einem solchen, das Bezug zu ‚vormals sinnlich fundiertem Wissen‘ aufweist als $latex K_{ms}$ und solchem, das ‚keinen Bezug zu vormals fundiertem sinnlichen Wissen‘ aufweist als $latex K_{mns}$.
8. Erinnertes Wissen mit Bezug zu vormals fundiertem Wissen $latex K_{ms}$ hat die Eigenart, dass sich in Abhängigkeit von der ‚Häufigkeit‘ der erinnerbaren Wissenselementen in $latex K_{ms}$ eine Art ‚Erwartung‘ bzgl. des neuerlichen Eintretens dieses Wissens als sinnliches Wissen $latex K_{vs}$ ausbildet: $latex \mu: K_{ms} \longrightarrow K_{vs}$ mit $latex K_{vs} \subseteq K_{v}$, d.h. im Bereich des vorgestellten Wissens $latex K_{v}$ gibt es solches mit einem speziellen Erwartungsanteil $latex K_{vs}$ hervorgerufen durch besondere Erinnerungen.

EXKLUSIVE MODALOPERATOREN

9. An dieser Stelle könnte man dann noch die Begriffe ‚möglich‘ $latex \diamond$ und ’notwendig‘ $latex \boxempty$ wie folgt einführen: ein vorgestelltes Wissen gilt als ‚möglich‘, wenn der Erwartungswert nicht gleich 1 ist, also $latex \diamond K_{v} \leftrightarrow \mu(K_{v}) \not= 1$, andernfalls als notwendig, also $latex \boxempty K_{v} \leftrightarrow \mu(K_{v}) = 1$
10. Daraus kann man ableiten, dass gelten soll $latex \boxempty K_{v} \leftrightarrow \neg\diamond K_{v}$ oder $latex \neg\boxempty K_{v} \leftrightarrow \diamond K_{v}$.
11. Diese Definition von ‚möglich‘ und ’notwendig‘ entspricht nicht ganz der ‚Intuition‘, dass etwas, was ’notwendig‘ ist, auf jeden Fall auch möglich sein sollte; allerdings folgt – intuitiv — aus der Möglichkeit keine Notwendigkeit. Die vorausgehende Definition von möglich und notwendig erinnert ein wenig an das ‚exklusive Oder‘, das auch ’schärfer‘ ist als das normale Oder. Nennen wie die hier benutzte Definition von ‚möglich‘ $latex \diamond$ und ’notwendig‘ $latex \boxempty$ daher auch die ‚exklusiven Modaloperatoren‘: Wenn etwas notwendig ist, dann ist es nicht möglich, und wenn etwas möglich ist, dann ist es nicht notwendig.
12. Anmerkung: wenn etwas ‚gedanklich notwendig‘ ist, folgt daraus in diesem Rahmen allerdings nicht, dass es auch tatsächlich sinnlich eintritt. Aus der gedanklichen Notwendigkeit folgt nur, dass es in der erinnerbaren Vergangenheit bislang immer eingetreten ist und daher die Erwartung sehr hoch ist, dass es wieder eintreten wird.

WAHR und FALSCH ABKÜRZUNGEN

13. Wenn man von einer Aussage $latex e \in E$ sagen kann, dass das zugehörige vorstellbare Wissen $latex M(e)=K_{v}$ ‚wahr‘ ist, weil es auf ein sinnliches Wissen $latex K_{s}$ ‚zutrifft oder eben ‚falsch‘, weil es ’nicht zutrifft‘, dann soll dieser Sachverhalt hier wie folgt abgekürzt werden:
14. Eine Aussage A soll genau dann mit ‚wahr‘ $latex \top$ bezeichnet werden, wenn es ein sinnliches Wissen gibt, das das zugehörige vorgestellte Wissen ‚erfüllt‘, also $latex (A)\top \leftrightarrow M(A)=K_{v}$ und es gibt ein sinnlich fundiertes Wissen $latex K_{s}$, so dass gilt $latex K_{s} \models K_{v}$.
15. Eine Aussage A soll genau dann mit ‚falsch‘ $latex \bot$ bezeichnet werden, wenn es kein sinnliches Wissen gibt, das das zugehörige vorgestellte Wissen ‚erfüllt‘, also $latex (A)\bot \leftrightarrow M(A)=K_{v}$ und $latex K_{s} \not\models K_{v}$. [Anmerkung: Es gibt nur ein einziges sinnlich fundiertes Wissen, und zwar das jeweils aktuelle!]

AUSSAGEOPERATOREN

16. Jetzt kann man folgende Operatoren über Aussagen definieren:
17. NEGATION: die Verneinung einer Aussage A ist wahr, wenn die Aussage selbst falsch ist, also $latex (\neg A)\top \leftrightarrow (A)\bot$.
18. KONJUNKTION: die Konjunktion $latex \wedge$ von zwei Aussagen A und B ist wahr, wenn beide Aussagen zugleich wahr sind; ansonsten ist die Konjunktion falsch, also $latex (A \wedge B)\top \leftrightarrow (A)\top\ und\ zugleich\ (B)\top$; ansonsten falsch.
19. DISJUNKTION: die Disjunktion $latex \vee$ von zwei Aussagen A und B ist wahr, wenn eine von beiden Aussagen wahr ist; ansonsten ist die Disjunktion falsch, also $latex (A \vee B)\top \leftrightarrow (A)\top\ oder\ (B)\top$; ansonsten falsch.
20. EXKLUSIVE DISJUNKTION: die exklusive Disjunktion $latex \sqcup$ von zwei Aussagen A und B ist wahr, wenn genau eine von beiden Aussagen wahr ist; ansonsten ist die exklusive Disjunktion falsch, also $latex (A \sqcup B)\top \leftrightarrow\ Entweder\ (A)\top\ oder\ (B)\top$; ansonsten falsch.
21. IMPLIKATION: die Implikation $latex \rightarrow$ von zwei Aussagen A und B ist wahr, wenn nicht A wahr ist und zugleich B falsch, also $latex (A \rightarrow B)\top \leftrightarrow\ nicht (A)\top\ und\ zugleich\ (B)\bot$; ansonsten falsch.

Fortsetzung folgt

QUELLEN

  • Avicenna, ‚Avicennas Treatise on Logic‘. Part One of ‚Danesh-Name Alai‘ (A Concise Philosophical Encyclopedia) and Autobiography, edited and translated by Farang Zabeeh, The Hague (Netherlands): Martinus Nijhoff, 1971. Diese Übersetzung basiert auf dem Buch ‚Treatise of Logic‘, veröffentlicht von der Gesellschaft für Nationale Monumente, Serie12, Teheran, 1952, herausgegeben von M.Moien. Diese Ausgabe wiederum geht zurück auf eine frühere Ausgabe, herausgegeben von Khurasani.
  • Digital Averroes Research Environment
  • Nicholas Rescher (1928 – ),The Development of Arabic Logic. University of Pittsburgh Press, 1964
  • Stanford Encyclopedia of Philosophy, Aristotle’s Logic
  • Whitehead, Alfred North, and Bertrand Russell, Principia Mathematica, 3 vols, Cambridge University Press, 1910, 1912, and 1913; Second edition, 1925 (Vol. 1), 1927 (Vols 2, 3). Abridged as Principia Mathematica to *56, Cambridge University Press, 1962.
  • Alfred North Whitehead; Bertrand Russell (February 2009). Principia Mathematica. Volume One. Merchant Books. ISBN 978-1-60386-182-3.
  • Alfred North Whitehead; Bertrand Russell (February 2009). Principia Mathematica. Volume Two. Merchant Books. ISBN 978-1-60386-183-0.
  • Alfred North Whitehead; Bertrand Russell (February 2009). Principia Mathematica. Volume Three. Merchant Books. ISBN 978-1-60386-184-7

Eine Übersicht über alle bisherigen Blogeinträge nach Titeln findet sich HIER.

AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 13

(Letzte Änderung 8.Sept.2014, 02:59h)

VORGESCHICHTE

Für einen Überblick zu allen vorausgehenden Beiträgen dieser rekonstruierenden Lektüre von Avicennas Beitrag zur Logik siehe AVICENNAS ABHANDLUNG ZUR LOGIK – BLITZÜBERSICHT.

AVICENNAS DISKUSSION VON UMWANDLUNG (‚Conversion‘)

1. Aus der englischen Übersetzung ist nicht klar zu entnehmen, ob der Begriff ‚Umwandlung‘ (engl.: ‚conversion‘) tatsächlich eine Form von ‚Umwandlung’/ ‚Umformung’/ ‚Konvertierung‘ meint oder spezieller eine Umformung von Aussagen, die letztlich eine ‚logische Folgerung‘ darstellen. Letztere Interpretation wird angeregt, da er dann tatsächlich an entscheidender Stelle zum ersten Mal in der ganzen Abhandlung eine Folge von Aussagen präsentiert, die man als ‚Folgerungstext‘ interpretieren kann.

2. In seiner Kerndefinition gleich zu Beginn charakterisiert er den Ausdruck ‚Umformung‘ mit Bezug auf zwei Ausdrücke A und B, die Subjekte, Prädikate, Antezedenz und Konsequenz enthalten können (implizit auch Quantoren, da er diese im folgenden Text beständig benutzt). Jede der beiden Aussagen hat eine Bedeutung M(A) bzw. M(B). Umformung hat jetzt damit zu tun, dass einzelne dieser logischen Rollen (Q, S, P, …) ‚ausgetauscht‘ werden, ohne dass dadurch die ‚Bedeutung‘ verändert wird.

3. [Anmerkung: Hier gibt es folgende Unklarheiten: (i) Sollen die Bedeutungen M(A) und M(B) von vornherein ‚gleich‘ sein, und zwar so, dass sie nach dem Austausch unverändert sind? oder (ii) sind die Bedeutungen M(A) und M(B) von vornherein ungleich, sollen aber, jede für sich, auch nach der Umformung gleich sein? In beiden Fällen – so interpretiere ich seine Aussage von Avicenna, gibt es eine Bedeutung vor der Umformung – eine gemeinsame oder eine individuelle –, die nach der Umformung ‚gleich‘ geblieben ist. Schreiben wir für die Umformung als $latex \vdash$, dann würde bedeuten ‚$latex A \vdash B$‘ A wird nach B umgeformt, so dass die Bedeutung von A und B – gemeinsam oder individuell – erhalten bleibt. Es stellt sich hier wieder das Problem – wie im gesamten vorausgehenden Text –, dass der Begriff ‚Bedeutung‘ bei Avicenna nicht scharf definiert ist. Er kann alles und nichts bedeuten. Die ‚Gleichheit‘ von zwei Bedeutungen M_vorher und M_nachher ist also ein ‚offener Begriff‘.]

4. In dem folgenden Text präsentiert Avicenna einerseits einige Beispiele von Umformungen ohne genauere Begründungen, in einem Fall präsentiert er aber das Beispiel einer ausführlicheren Begründung, die wie eine Folgerungstext (wie ein logischer Beweis) aussieht. Beginnen wir mit den Beispielen ohne Begründung.

5. Mögliche Konversion: Von ‚Kein Mensch ist unsterblich‘ ($latex \neg\exists (Mensch)(ist)(unsterblich)$) kann man bedeutungserhaltend umformen in ‚Kein Unsterblicher ist ein Mensch‘ ($latex (\neg\exists (Unsterblicher)(ist)(Mensch)$).

6. Avicenna stellt die Regel auf: Von einer affirmativen All-Aussage kann ich nicht zu einer anderen affirmativen All-Aussage konvertieren.

7. Beispiel: Von ‚Jeder Mensch ist ein Lebewesen‘ kann ich nicht umformen zu ‚Jedes Lebewesen ist ein Mensch‘ (mehr formalisiert: ($latex \forall (Mensch)(ist)(Lebwesen)$) kann nicht umgeformt werden zu ($latex \forall (Lebewesen)(ist)(Mensch)$).

8. Avicenna stellt die Regel auf: Die Umformung einer affirmativen All-Aussage ist eine affirmative Partikular-Aussage.

9. Beispiel: Die Aussage ‚Alle F sind B‘ kann umgeformt werden zu ‚Einige B sind F‘ (Formalisierter: Den Ausdruck $latex \forall (F)(sind)(B)$) kann man umformen zu ($latex \exists(B)(ist)(F)$))

10. Avicenna stellt die Regel auf: Eine affirmative Partikular-Aussage kann umgeformt werden in eine affirmative Partikular-Aussage.

11. Beispiel: Der Ausdruck ‚Einige F sind B‘ kann umgeformt werden zu ‚Einige B sind F‘ (Formalisierter: ($latex \exists (F)(sind)(B)$) $latex \vdash$ ($latex \exists (B)(sind)(F)$)).

12. Avicenna stellt die Regel auf: Eine negative Partikular-Aussage kann nicht konvertiert werden.

13. Beispiel: Die Aussage ‚Kein Lebewesen ist ein Mensch‘ kann nicht konvertiert werden zu ‚Kein Mensch ist ein Lebewesen‘. (mehr formalisiert: ($latex \neg\exists (Lebewesen)(ist)(Mensch)$) $latex \not\vdash$ ($latex \neg\exists (Mensch)(ist)(Lebewesen)$))

14. [Anmerkung: Hier gibt es einigen Diskussionsbedarf. Bevor die Diskussion eröffnet wird, hier aber noch das Konvertierungsbeispiel, das wie ein Folgerungstext aussieht.]

15. Ausgangspunkt ist die Regel: Eine negative All-Aussage kann in eine negative All-Aussage konvertiert werden mit dem Beispiel: Von ($latex \neg\exists (Mensch)(ist)(Unsterblicher)$) $latex \vdash$ ($latex \neg\exists (Unsterblicher)(ist)(Mensch)$).

16. Avicenna nennt die nun folgende ‚Folge von Aussagen‘ explizit einen ‚Beweis‘ (engl.: ‚proof‘).

17. Wenn es ‚wahr‘ ist, dass gilt (Kein F ist B), dann ist es auch wahr, dass (Kein B ist F). Andernfalls [wäre der Wenn-Dann-Zusammenhang nicht wahr] würde der Widerspruch (engl.: ‚contradictory‘) folgen (Einige B sind F).

18. [Anmerkung: Zur Erinnerung, die Negation einer Implikation (Wenn A dann B) ist nur wahr, wenn A wahr wäre und zugleich B falsch, also ’nicht B‘, d.h. ’nicht(Kein B ist F)‘ d.h. (einige B sind F). Insofern bildet die Aussage (Einige B sind F) einen logischen Widerspruch zu (Kein B ist F). ]

19. Der Beweis beginnt damit, dass Avicenna eine Abkürzung einführt: Er definiert ‚H := ‚Einige B‘. [ein sehr gefährliches Unterfangen…]

20. Dann folgert er ‚H ist gleichbedeutend mit F‘

21. Er folgert weiter: ‚H ist sowohl F als auch B [Damit unterschlägt er, dass H eigentlich nur ‚einige‘ B meinen sollte]

22. Er folgert weiter: Dann gibt es ein F, das auch B ist ($latex \exists (F)(ist)(B)$

23. Er folgert weiter: Nehme ich die Aussage (Einige B sind F) als wahr an, dann komme ich zu der Aussage (Einige F sind B); dies steht aber im Widerspruch zu der Ausgangsbehauptung, das ‚Kein F ist B‘.

24. Er folgert weiter: Deshalb ist es nicht möglich, von der Ausgangsbehauptung ‚Wenn es ‚wahr‘ ist, dass gilt (Kein F ist B), dann ist es auch wahr, dass (Kein B ist F)‘ auf den Widerspruch ‚Einige F sind B‘ zu schließen.

25. Avicenna folgert weiter: Von daher, wenn es gilt, dass ‚Kein F ist B‘, dann gilt auch die Konvertierung ‚Kein B ist F‘.

DISKUSSION

KONVERTIERBARKEIT DER FORMEN (Q (A B)) zu (Q (B A)) – BEDEUTUNGSABHÄNGIG

26. In den Beispielen, die Avicenna präsentiert, gibt es zwei Beispiele, die verwirrend sind. Im einen Fall will er über ’negative All-Aussagen‘ ($latex \neg\forall$) sprechen und im anderen Fall über ’negative Partikular-Aussagen‘ ($latex \neg\exists$). Das Beispiel für negative All-Aussagen lautet ‚Kein Mensch ist unsterblich‘. Der Quantor ‚kein‘ ist aber definiert als ’nicht einige‘ bzw. ‚$latex \neg\exists$‘. Dies aber ist gleichbedeutend mit einer negativen Partikular-Aussage. Später präsentiert er als Beispiel für negative Partikular-Aussagen den Ausdruck ‚Kein Lebewesen ist ein Mensch‘ ($latex \neg\exists (Lebewesen)(ist)(Mensch)$).

27. Damit haben wir es mit folgenden Widersprüchlichkeiten zu tun: (i) Avicenna interpretiert seinen Begriff der negativen Allaussagen mit einem Beispiel, das eine negative Partikular-Aussage repräsentiert; (ii) Mit einem Beispiel, das eine negative Partikular-Aussage repräsentiert, argumentiert er, dass man bedeutungserhaltend negative All-Aussagen konvertieren kann; (iii) Mit einem anderen Beispiel einer negativen Partikularaussage argumentiert er, man könne dieses nicht konvertieren.

28. Da das Beispiel zu (ii) zeigt, dass man sehr wohl eine negative Partikular-Aussage konvertieren kann, fragt man sich, warum es in einem anderen Fall nicht gehen soll. Dazu kommt, dass das konkrete Beispiel, das Avicenna präsentiert, aus sich heraus fragwürdig erscheint: ‚Kein Lebewesen ist ein Mensch‘ soll nicht konvertierbar sein zu ‚Kein Mensch ist ein Lebewesen‘. (mehr formalisiert: ($latex \neg\exists (Lebewesen)(ist)(Mensch)$) $latex \not\vdash$ ($latex \neg\exists (Mensch)(ist)(Lebewesen)$))

29. Bekannt ist – zumindest bezogen auf diese Begriffe –, dass sehr wohl einige Lebewesen Menschen sind, also eher gilt $latex \neg\neg\exists (Lebewesen)(ist)(Mensch)$, d.h. $latex \exists (Lebewesen)(ist)(Mensch)$. Von einer Aussage wie $latex \neg\exists (Mensch)(ist)\neg(Lebewesen)$) könnte man allerdings nicht konvertieren zu $latex \neg\exists (Lebewesen)(ist)\neg(Mensch)$).

30. Trotzdem gibt es eine mögliche Konvertierung von ($latex \neg\exists (Mensch)(ist)(Unsterblich)$)) zu ($latex \neg\exists (Unsterblich)(ist)(Mensch)$)).

31. Diese Beispiele legen die Vermutung nahe, dass die bisherigen ‚Konvertierungsregeln‘ von Avicenna nicht unabhängig sind von der jeweils unterstellten Bedeutung der beteiligten Subjekte und Prädikate.

32. Bezogen auf die Struktur (Q (A B)) $latex \vdash (Q (B A))$ hängt die Möglichkeit oder Unmöglichkeit einer Konvertierung in den Beispielen davon ab, wie sich die Bedeutungen von A und B, also M(A) und M(B), zueinander verhalten.

33. Zwei Hauptfälle kann man unterscheiden: (i) die Bedeutung von beiden Ausdrücken ist ‚gleich‘, d.h. M(A) = M(B), oder (ii) die Bedeutungen sind ungleich in dem Sinne, dass zwar alle Elemente, die zu M(B) gehören auch in M(A) sind, aber nicht umgekehrt, also $latex M(B) \subseteq M(A)$.

34. Wenn wir Fall (i) M(A) = M(B) unterstellen können, dann kann man von $latex \forall A sind B$ auf $latex \forall B sind A$ schließen, oder $latex \exists A sind B$ und umgekehrt. Die Aussage $latex \neg\forall A sind B$ wäre formal zwar möglich, wäre aber ’semantisch‘ (aufgrund der angenommenen Bedeutung) aber nicht möglich. Genau sowenig wie $latex \neg\exists A sind B$ semantisch möglich wäre, wohl aber syntaktisch.

35. Unterstellen wir hingegen den Fall (ii) $latex M(B) \subseteq M(A)$, dann würde die Konvertierung von $latex \forall A sind B$ auf $latex \forall B sind A$ nicht gelten. Entsprechend kann man die wahre Aussage $latex \forall B sind A$ nicht konvertieren zu $latex \forall A sind B$. Die Konvertierung $latex \exists A sind B$ würde gehen wie auch umgekehrt. Die Aussage $latex \neg\forall A sind B$ ist wahr, die Konvertierung zu $latex \neg\forall B sind A$ wäre falsch. Usw.

36. Diese Beispiele verdeutlichen, dass die Konvertierbarkeit von Ausdrücken der Form (Q (A B)) zu (Q (B A)) eindeutig von der angenommenen Bedeutungsstruktur abhängig ist (zumindest in dem Kontext, den Avicenna diskutiert). Betrachten wir seine anderen Konvertierungsregeln.

37. (i) Von einer affirmativen All-Aussage kann ich nicht zu einer anderen affirmativen All-Aussage konvertieren.

38. (ii) Die Umformung einer affirmativen All-Aussage ist eine affirmative Partikular-Aussage.

39. (iii) Eine affirmative Partikular-Aussage kann umgeformt werden in eine affirmative Partikular-Aussage.

40. (iv) Eine negative Partikular-Aussage kann nicht konvertiert werden.

41. Zu (i): Nehmen wir an, dass gilt ($latex M(A) = M(B)$), dann trifft diese Regel zu. Nehmen wir aber an, dass gilt ($latex M(B) \subseteq M(A)$), dann gilt diese Regel nicht.

42. Zu (ii) und (iii): Nehmen wir an, dass gilt ($latex M(A) = M(B)$), dann trifft diese Regel zu. Nehmen wir aber an, dass gilt ($latex M(B) \subseteq M(A)$), dann gilt diese Regel auch.

43. Zu (iv): Dieser Fall ist von der Form her (rein syntaktisch) möglich, von der Bedeutung her (rein semantisch) aber ausgeschlossen.

44. Bei allen bisherigen Konvertierungsbeispiele von Avicenna ist zu beachten, dass sich die Bedeutung des Subjekts S und des Prädikats P in einer Aussage (S P) in der Art $latex M(A) = M(B)$ oder $latex M(B) \subseteq M(A)$ beschreiben lässt. Dies setzt voraus, dass sich ein Prädikat P auch als eine Menge von Objekten auffassen lässt, denen eine bestimmte Eigenschaft E zukommt, also etwa P := ‚eine Menge von Elementen, die die Eigenschaft P haben‘. Zu sagen ‚S ist P‘ würde dann sagen, dass die Elemente die S sind auch die Elemente sind, die P sind.

45. Man muss hier die Frage stellen, ob Prädikate immer diese Form haben.

KONVERTIERUNG OHNE BEDEUTUNG?

46. Macht man die Konvertierbarkeit von Ausdrücken der Form (Q (A B)) und (Q (B A)) von der Bedeutung M der Ausdrücke A und B abhängig, dann hängt die Formulierung der Konvertierungsregeln ab von einer brauchbaren Definition des zugrundeliegenden Bedeutungsraumes samt seiner Interaktion mit den Ausdrucksformen. Im weiteren Verlauf soll dies explizit untersucht werden. Es stellt sich aber auch die Frage, ob man Konvertierungsregeln nicht auch ohne Rückgriff auf die Bedeutung der Teilausdrücke formulieren kann.

47. Hat man nur die Ausdrücke (Q (S P)) mit der Verallgemeinerung, dass S und P ‚gleichwertig‘ sein können im Sinne von (Q (A B)) $latex \vdash$ (Q (B A)), dann stellt sich die Frage welche Kriterien man hätte, gäbe es keinen Bedeutungsbezug?

48. Man muss feststellen, dass ohne irgendeinen Bedeutungsbezug die Ausdrücke als solche keinerlei Ansatzpunkt bieten, eine Konvertierung zuzulassen oder sie zu verbieten.

49. Wenn aber Konvertierungsregeln ohne Bedeutung keinen Sinn machen, dann muss man sich fragen, welche Bedeutungsstrukturen man benötigt, dass man solche Konvertierungsregeln sinnvoll einführen kann.

KONVERTIERUNG MIT BEDEUTUNG – MIT WELCHER?

50. Wenn es also ohne Bezug auf eine Bedeutung nicht geht, stellt sich die Frage, wie eine solche Bedeutungsstruktur aussehen muss, damit solche – oder auch andere – Konvertierungsregeln formuliert werden können.

51. Die weitere Diskussion wird in einem neuen Blogeintrag fortgeführt werden.

Fortsetzung folgt

QUELLEN

  • Avicenna, ‚Avicennas Treatise on Logic‘. Part One of ‚Danesh-Name Alai‘ (A Concise Philosophical Encyclopedia) and Autobiography, edited and translated by Farang Zabeeh, The Hague (Netherlands): Martinus Nijhoff, 1971. Diese Übersetzung basiert auf dem Buch ‚Treatise of Logic‘, veröffentlicht von der Gesellschaft für Nationale Monumente, Serie12, Teheran, 1952, herausgegeben von M.Moien. Diese Ausgabe wiederum geht zurück auf eine frühere Ausgabe, herausgegeben von Khurasani.
  • Digital Averroes Research Environment
  • Nicholas Rescher (1928 – ),The Development of Arabic Logic. University of Pittsburgh Press, 1964
  • Stanford Encyclopedia of Philosophy, Aristotle’s Logic
  • Whitehead, Alfred North, and Bertrand Russell, Principia Mathematica, 3 vols, Cambridge University Press, 1910, 1912, and 1913; Second edition, 1925 (Vol. 1), 1927 (Vols 2, 3). Abridged as Principia Mathematica to *56, Cambridge University Press, 1962.
  • Alfred North Whitehead; Bertrand Russell (February 2009). Principia Mathematica. Volume One. Merchant Books. ISBN 978-1-60386-182-3.
  • Alfred North Whitehead; Bertrand Russell (February 2009). Principia Mathematica. Volume Two. Merchant Books. ISBN 978-1-60386-183-0.
  • Alfred North Whitehead; Bertrand Russell (February 2009). Principia Mathematica. Volume Three. Merchant Books. ISBN 978-1-60386-184-7

Eine Übersicht über alle bisherigen Blogeinträge nach Titeln findet sich HIER.

AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 7

VORGESCHICHTE

1. In einem ersten Beitrag AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 1 hatte ich geschildert, wie ich zur Lektüre des Textes von Avicenna gekommen bin und wie der Text grob einzuordnen ist. In einem zweiten Beitrag AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 2 ging es um die Frage, warum überhaupt Logik? Avicenna führt erste Unterscheidungen zu verschiedenen Wissensformen ein, lässt aber alle Detailfragen noch weitgehend im Dunkeln. Im Teil AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 3 ging es um einfache und zusammengesetzte Begriffe, und bei den einfachen Begriffen um ‚individuelle‘ und ‚universelle‘. Schon hier zeigt sich der fundamentale Unterschied zwischen der antiken und der modernen-formalen Logik. In der antiken Logik wird die Ausdrucksebene E – und einer sich daran manifestierenden Folgerungslogik – immer in Verbindung mit einer zugehörigen Bedeutungsstruktur gesehen, die sich an einer Objektstruktur O festmacht. Die moderne formale Logik kennt zwar auch ‚Semantiken‘ und ‚Ontologien‘, diese sind aber ’sekundär‘, d.h. es werden nur solche ‚formalen Semantiken‘ betrachtet, die zum vorausgesetzten syntaktischen Folgerungsbegriff ‚passen‘. Dies sollte dann später an konkreten Beispielen diskutiert werden. Hier liegt der Fokus auf der antiken Logik im Sinne Avicennas. Im Abschnitt AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 4 knüpft Avicenna an den zuvor eingeführten Begriff des ‚universellen‘ Begriffs an und betrachtet jetzt solche als ‚universell‘ bezeichneten Ausdrücke in einem Ausdruckskontext von aufeinanderfolgenden Ausdrücken. Alle diese Ausdrücke könnte man im Sinne der antiken Logik auch als ‚Urteile‘ bezeichnen, durch die einem bestimmten Ausdruck durch andere Ausdrücke bestimmte Bedeutungen (Eigenschaften) zu- oder abgesprochen werden. Hier unterscheidet er die Fälle eines ‚wesentlichen‘ Zusammenhanges zwischen zwei Begriffen und eines ’nicht wesentlichen‘ – sprich ‚akzidentellen‘ – Zusammenhangs. Im Abschnitt AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 5 führt Avicenna eine Reihe von neuen technischen Begriffen ein, die sich nicht alle in ihrer Bedeutung widerspruchsfrei auflösen lassen. Es handelt sich um die Begriffe ‚Genus‘, ‚Spezies‘, Differenz, allgemeine und spezielle Akzidens, den Begriff ‚Kategorie(n)‘ mit den Kategorien ‚Substanz‘, ‚Qualität‘ und ‚Quantität‘. Die Rekonstruktion führt dennoch zu spannenden Themen, z.B. zu einem möglichen Einstieg in das weltverändernde Phänomen der kognitiven Evolution. Im Abschnitt AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 6 geht es um die Begriffe ‚Definition‘ und ‚Beschreibung‘. Im Verhältnis zwischen beiden Begriffen geht die Beschreibung der Definition voraus. In der ‚Definition‘, die Avicenna vorstellt, wird ein neuer Ausdruck e mittels anderer Ausdrücke <e1, …, ek>, die sich auf schon bekannte Sachverhalte beziehen, ‚erklärt‘. Die von Avicenna dann vorgenommene Erklärung, was eine ‚Definition‘ sei, hängt u.a. stark ab von dem Begriff der ‚Bekanntheit‘ und dem Begriff des ‚wahren Wesens‘. Für die Tatsache, dass ein Mensch A bestimmte Ausdrücke <e1, …, ek> einer Sprache L ‚kennt‘ oder ’nicht kennt‘, dafür gibt es keine allgemeinen Regeln oder Kriterien. Von daher macht die Verwendung der Ausdrücke ‚bekannt’/ ’nicht bekannt‘ eigentlich nur Sinn in solch einem lokalen Kontexten W* (z.B. einem Artikel, ein Buch, ein Vortrag, …), in dem entscheidbar ist, ob ein bestimmter Ausdruck e einer Sprache L schon mal vorkam oder nicht. Schwierig wird es mit dem Begriff des ‚wahren Wesens‘. In meiner Interpretation mit der dynamischen Objekthierarchie gibt es ‚das wahre Wesen‘ in Form von Objekten auf einer Stufe j, die Instanzen auf Stufen kleiner als j haben. Dazu gab es weitere Überlegungen.

NAMEN, VERBEN/TERME, PRÄPOSITIONEN

2. Nach all den Vorüberlegungen nähert sich Avicenna nun dem eigentlichen Gegenstand der (antiken, auf das Alltagsdenken bezogenen) Logik, nämlich jenen ‚Ausdrücken‘, durch die entscheidende Bedeutungen kommuniziert werden.
3. Er beginnt mit ‚einfachen‘ Ausdrücken.

4. Er nimmt an, dass sich einfache Ausdrücke e aus drei Teilausdrücken zusammen setzen, die er als ‚Name‘, ‚Verb‘ und ‚Präposition‘ klassifiziert.

5. Terminologisch merkt er an, dass der grammatische Begriff ‚Verb‘ von Logikern ‚Term‘ genannt wird.

6. Sowohl der Name als auch das Verb sollen eine ‚vollständige Bedeutung‘ haben, Präpositionen dagegen nicht.

7. Namen unterscheiden sich von Termen dadurch, dass sie sich nicht auf eine ‚zeitliche Abfolge‘ (engl.: ‚temporal sequence‘) beziehen.

8. Verben hingegen – im Unterschied zu Namen – haben sowohl eine ‚Bedeutung‘ wie auch einen ‚zeitlichen Bezug‘ (engl.: ‚temporal significance‘).

9. Grenzfälle sind Namen wie ‚Heute‘ (engl.: ‚day‘) und ‚Gestern‘ (engl.: ‚yesterday). Obwohl sie einen ‚Teil der Zeit‘ (engl.: ‚part of time‘) bezeichnen (engl.: ’signify‘), sind sie doch keine Verben, da bei diesen Namen ihre ‚Bedeutung‘ mit dem ‚zeitlichen Bezug‘ zusammenfällt; bei einem Term wie ‚geschlagen‘ (engl.: ’struck‘) ist die Bedeutung (Vorgang des Schlagens) klar zu unterscheiden von dem Zeitbezug (der Vorgang war in der Vergangenheit).

10. Beispiele: e = <e1,e2,e3,e4,e5> = N:(Ich)Va:(habe)N:(den Zid)Vb:(gesehen); Der einfache Ausdruck e zerfällt in mehrere Ausdrucksteile <e1,e2,e3,e4,e5>, denen sich Bedeutungen zuordnen lassen. e1 = (Ich), bezieht sich auf den aktuellen Sprecher, und wird von daher als Name [N] für ein Objekt gewertet, das dem Namen eine Bedeutung verleiht. <e3, e4> = (den Zid) bezieht sich auf eine Person Zid, und wird auch als Name für ein Objekt gewertet, das dem Namen eine Bedeutung verleiht. e2 und e5 = (habe) … (gesehen) bezieht sich auf einen Vorgang des Sehens, bei der ein Beobachter etwas sieht (Bedeutungsanteil); zusätzlich wird ein zeitlicher Aspekt angedeutet, dass es sich um einen Vorgang in der Vergangenheit handelt. Ausdruck e1 füllt die ‚Rolle‘ des Beobachters und Ausdruck <e3, e4> spielt die Rolle des beobachteten Objekts.

11. Beispiel: e = <e1,e2,e3,e4> = N:(Zid) V:(ist) PRÄP:(im) N:(Haus). Der einfache Ausdruck e zerfällt in mehrere Ausdrucksteile <e1,e2,e3,e4>, denen sich Bedeutungen zuordnen lassen. e1 = N:(Zid) ist ein Ausdruck, der sich auf eine Person Zid bezieht, die dem Ausdruck als Objekt eine Bedeutung verleiht. e2 = V:(ist) ist ein Ausdruck, der sich auf einen Sachverhalt ‚etwas ist an einem Ort‘ bezieht, der dem Ausdruck sowohl eine Bedeutung verleiht wie auch eine davon unabhängige zeitliche Bestimmung, dass es in der Gegenwart ist. e3 = PRÄP:(im) ist ein Ausdruck, der sich auf einen räumlichen Sachverhalt bezieht ‚etwas ist in einem Raumgebiet‘, der dem Ausdruck eine Bedeutung verleiht, ohne expliziten Zeitbezug. e4 = N:(Haus) ist ein Ausdruck, der sich auf einen Ort Haus bezieht, der dem Ausdruck als Objekt eine Bedeutung verleiht. Die Kombination aus <e2, e3> ergibt einen Sachverhalt, der einerseits ein Objekt verlangt, von dem gesagt wird, dass es sich irgendwo befindet, und ein Objekt, das den Ort markiert. Beides ist mit e1 und e4 gegeben.

DISKUSSION

TERMINOLOGIE

12. Zur Terminologie: dass die (antiken) Logiker ‚Verben‘ als ‚Terme‘ bezeichnen sollen ist eine Sache. In diesem Kontext der Ausdrucksanalyse erscheint es mir eher verwirrend, zwei verschiedene Terminologien zu vermischen. Ich behalte im Folgenden die ‚grammatischen‘ Begriffe bei. Später kann man dann alle grammatischen Begriffe in einem mehr formalisierten logischen Kontext ‚übersetzen‘, falls notwendig.

13. Von ‚einfachen‘ Ausdrücken e zu sprechen, wenn die Ausdrücke sich alle aus mehreren Teilausdrücken e = <e1, e2, e3, …> zusammen setzen, kann verwirrend wirken, zumal er in vorausgehenden Abschnitten mit ‚einfachen‘ Ausdrücken tatsächlich solche meinte, die eben nicht zusammen gesetzt sind. Avicenna gibt keine direkte Erklärung für diese geänderte Verwendungsweise seines Begriffs eines ‚einfachen Ausdrucks‘, aber der Kontext legt folgende Interpretation nahe:

SYNTAX UND SEMANTIK

14. Es gibt eine ’syntaktische‘ Einfachheit (im Sinne von ’nicht zusammen gesetzt‘) und es gibt eine ’semantische‘ Einfachheit. Einfache Aussagen in diesem Abschnitt scheinen zu den ’semantisch einfachen‘ Ausdrücken zu gehören, denn syntaktisch sind sie eindeutig nicht einfach, sondern zusammengesetzt.

DER SEMANTISCHE RAUM

15. Damit stellt sich die Frage, wie man den ’semantischen Raum‘ ( den ‚Bedeutungsraum) eines Ausdrucks e (sowohl syntaktisch einfach als auch syntaktisch zusammengesetzt) so charakterisieren kann, dass man eine ‚einfache‘ Bedeutung von einer ’nicht einfachen = komplexen‘ Bedeutung unterscheiden kann.

16. Avicenna selbst hat ja in den vorausgehenden Abschnitten den ‚Bedeutungsraum‘ nicht ausdrücklich als eigenständigen Gegenstand thematisiert, immer nur indirekt, anhand von einzelnen Beispielen. Von diesen seinen indirekten, fragmentarischen Andeutungen aus lässt sich die Frage nach einer klaren Unterscheidung einer ‚einfachen‘ und einer ’nicht einfachen‘ Bedeutung im Kontext eines Ausdrucks e kaum einfach beantworten.

17. Als ‚Abfallprodukt‘ der bisherigen Rekonstruktion wurde das Konzept einer ‚dynamischen Objekthierarchie‘ O angedeutet, für die allgemeine Metaklassifikationen (entspricht in etwa dem klassischen Kategorienbegriff) wie z.B. ‚echtes Objekt‘ (etwa die Kategorie ‚Substanz‘), ‚unechte Objekte (etwa die Kategorie ‚Qualität‘), ‚Zeit‘, ‚Raum‘ und ‚Zahl‘ (etwa die Kategorie ‚Quantität‘) postuliert werden konnten.

18. Wenn man nun also von einem ‚Bedeutungsraum‘ (semantischen Raum) M sprechen will, dann müsste man entweder diese – bislang nur angedeuteten – Objektstrukturen mit den zusätzlichen Metaklassifikationen zugrunde legen oder eine Alternative formulieren. Ohne irgendwelche Annahmen dieser Art wäre der Begriff des semantischen Raumes vollständig leer und damit jegliche Art von Rekonstruktion von Ausdrücken e mit Bezug auf die zugehörigen ‚Bedeutungen‘ beliebig: alles wäre richtig und zugleich falsch.

19. Bis auf weiteres wird hier die bisherige Skizze zum dynamischen Objektraum mit den Metaklassifikationen als Arbeitshypothese für die weitere Interpretationen benutzt.

20. Von einem Ausdruck e mit Teilausdrücken <e1, e2, e3, …> zu sagen, dass bestimmte Ausdrucksteile $latex e_{i}$ bestimmte, voneinander abgrenzbare Bedeutungen haben, ihnen also unterschiedliche ’semantische Funktionen‘ zukommen, ist einerseits gewagt, da die Ausrücke als solche keinerlei syntaktische Hinweise haben müssen, aus denen man dies erkennen könnte, zugleich aber auch interessant, da damit die Denkaufgabe gestellt wird, wie es möglich sein soll, beliebige Ausdrucksteile $latex e_{i}$ in einem Ausdruck e durch Bezugnahme auf ‚etwas anderes‘, nämlich auf die ‚Bedeutung‘ indirekt charakterisieren zu können.

SIMULTANE DEFINITONEN

21. In gewissem Sinne könnte man hier auch von einem Definitionsvorgang sprechen: das Neue, das Unbekannte, das sind die Ausdruckselemente <e1, e2, e3, …> in einem Ausdruck e, das Bekannte das ist ein vorausgesetztes Bedeutungsgefüge, und die definitorische Erklärung ist die Verbindung von neuem Ausdruckselement und bekanntem Bedeutungsobjekt. Abweichend vom einfache Fall der expliziten syntaktischen Definition von einem Element e durch eine Folge von anderen Ausdrücken <e1, e2, e3, …> haben wir es hier im Falle der Definition von syntaktischen Ausdrücken durch Bezugnahme auf semantische Objekte mit zwei zusätzlichen Aspekten zu tun: (i) die Erklärung findet nicht in ein und demselben syntaktischen Raum statt sondern es werden zwei ansonsten getrennte Räume miteinander verknüpft: der syntaktische Raum mit dem semantischen Raum, und umgekehrt. Ferner (ii) wird nicht nur ein einziges syntaktisches Element ‚erklärt‘, sondern es werden mehrere syntaktische Elemente ‚parallel’/ ’simultan‘ erklärt.

22. Einen vergleichbaren Fall von ’simultaner‘ Erklärung haben wir im Falle von mathematischen Strukturtheorien, wie sie auch bei modernen empirischen Theorien auftreten. Ein typischer Fall wäre eine Struktur wie $latex < M, f1, …, fk >$. Hier werden mehrere Ausruckselemente eingeführt, deren Bedeutung sich erst im (syntaktischen) Gesamtkontext ergibt, der zusätzlich mit semantischen Elementen aufgeladen werden kann.

23. Ein anderes Beispiel sind formale Semantiktheorien, in denen zusammengesetzte Ausdrücke der Art e = <e1, e2, …> durch eine komplexe Abbildungsvorschrift so auf eine formale Struktur (auch ‚Domäne‘ oder ‚Modell‘ genannt) bezogen werden, dass für jeden syntaktisch zusammengesetzten Ausdruck e gesagt werden kann, wann das ‚Modell‘ M diese syntaktischen Ausdrücke ‚erfüllt‘, oft geschrieben $latex M \models e$ mit ‚e‘ als dem Ausdruck, der durch das Modell ‚erfüllt‘ wird.

24. Eine Besonderheit bei diesen Charakterisierungen von Ausdruckselementen e über den ‚Umweg‘ einer Bedeutungsstruktur M liegt darin, dass es nicht ausreicht, jedem einzelnen Teilausdruck $latex e_{i}$ eine – quasi isolierte – Bedeutung zuzuordnen, sondern die einzelnen bedeutungsfundierenden Objekte O der Bedeutungsstruktur M kommen in bedeutungsspezifischen Anordnungen (in Raum, Zeit, …) vor. Diese spezifischen Sachverhalte müssen in den Ausdruckselementen mitkodiert werden. Es reicht also nicht, nur zu sagen, dass das Ausdruckselement ‚e1‘ ein Objekt o1 bezeichnet, das für eine konkrete Person steht, sondern man muss zusätzlich auch – meistens – einen möglichen ‚Vorgang‘ benennen, in den das Objekt o1 eingebettet ist, und – meistens – zusätzlich mit einem zeitlichen Aspekt. Das wären dann schon mindestens drei verschiedene Kodierungsdimensionen, die im Bereich der Ausdruckselemente repräsentiert werden müssten.

25. Aufgrund der Beispiele von Avicenna gäbe es die zusätzlichen Arbeitshypothesen, dass (i) Vorgänge durch ‚Verben‘ [V] kodiert werden, (ii) zeitliche Aspekte sowohl durch Verben wie auch durch ‚Namen‘ [N], und (iii) räumliche Aspekte durch ‚Präpositionen‘ [PRÄP].

26. Die interessante Frage wäre natürlich, wie genau diese verschiedenen Objektstrukturen und -eigenschaften und -Relationen in der dynamischen Objekthierarchie O als dem Bedeutungsraum M repräsentiert sind. Sie müssten ja so vorliegen, dass man sie einfach ‚ablesen‘ könnte und dann durch einen entsprechenden ‚Übersetzungsprozeß‘ von M nach E zugeordnet werden könnten, also $latex \lambda: M \longrightarrow E$ (mit $latex \lambda $ als Übersetzungsvorschrift).

27. Nehmen wir das Beispiel e = <e1,e2,e3,e4> = N:(Zid) V:(ist) PRÄP:(im) N:(Haus). Es gibt hier (woher wissen wir dies überhaupt!) zwei Ausdruckselemente e1 und e4, die sich auf ‚echte Objekte‘ beziehen; e1 bezieht sich auf eine konkrete Personen, e4 auf ein Objekt, in dem Menschen sich aufhalten können. Der Ausdruck ist kein echtes Objekt, da es nur eine bestimmte Form von Beziehung zwischen zwei Objekten repräsentiert, nämlich dass ein Objekt A ‚räumlich in‘ einem anderen Objekt B vorkommt. Das Ausdruckselement e2 repräsentiert einen Zusammenhang zwischen zwei Objekten (echt oder unecht), der zudem aktuell ist, genauer: von einem Zielobjekt A wird gesagt, dass es in einer ist-Beziehung zu einem anderen Objekt steht. Da aber nach dem ‚Sprachgefühl‘ (was ist das?) die Kombination <e1, e2, e4> nicht geht, muss also <e3,e4> zusammen auftreten, damit e1 mittels e2 mit e4 kombiniert werden kann. Eine Arbeitshypothese könnte sein, dass echte Objekte, die mögliche ‚Orte des Vorkommens‘ bezeichnen, eine zusätzliche Präposition benötigen, um als Gegenpart in einer ist-Relation auf zu treten. Das ist natürlich hier alles sehr ad hoc und unsystematisch. Es kann aber verdeutlichen, dass die große Arbeitshypothese mit der bereichsübergreifenden Zuordnung $latex \lambda $ von Elementen einer Bedeutungsstruktur M (mit der dynamischen Objekthierarchie O als Teilstruktur) zu einer Menge E von möglichen Ausdrücken eine sehr detaillierte Beschreibung verlangt, die nicht ad hoc entscheidet, sondern systematisch.

Eine Fortsetzung zu diesem Beitrag findet sich HIER.

QUELLEN

  • Avicenna, ‚Avicennas Treatise on Logic‘. Part One of ‚Danesh-Name Alai‘ (A Concise Philosophical Encyclopedia) and Autobiography, edited and translated by Farang Zabeeh, The Hague (Netherlands): Martinus Nijhoff, 1971. Diese Übersetzung basiert auf dem Buch ‚Treatise of Logic‘, veröffentlicht von der Gesellschaft für Nationale Monumente, Serie12, Teheran, 1952, herausgegeben von M.Moien. Diese Ausgabe wiederum geht zurück auf eine frühere Ausgabe, herausgegeben von Khurasani.
  • Digital Averroes Research Environment
  • Stanford Encyclopedia of Philosophy, Aristotle’s Logic
  • Whitehead, Alfred North, and Bertrand Russell, Principia Mathematica, 3 vols, Cambridge University Press, 1910, 1912, and 1913; Second edition, 1925 (Vol. 1), 1927 (Vols 2, 3). Abridged as Principia Mathematica to *56, Cambridge University Press, 1962.
  • Alfred North Whitehead; Bertrand Russell (February 2009). Principia Mathematica. Volume One. Merchant Books. ISBN 978-1-60386-182-3.
  • Alfred North Whitehead; Bertrand Russell (February 2009). Principia Mathematica. Volume Two. Merchant Books. ISBN 978-1-60386-183-0.
  • Alfred North Whitehead; Bertrand Russell (February 2009). Principia Mathematica. Volume Three. Merchant Books. ISBN 978-1-60386-184-7

Eine Übersicht über alle bisherigen Blogeinträge nach Titeln findet sich HIER.

PHILOSOPHIE – ÜBER SICH NACHDENKEN – PROGRAMMIEREN – DIE KALTE MASCHINE – DER GEIST IM STROMKREIS

Letzte Änderung: 29.Mai 2014, 19:20h (Musikstück hinzugefügt)

SOUNDEREIGNIS

Zur Einstimmung der folgenden Reflexionen über das Programmieren aus philosophischer Sicht hier eine Sound-Komposition vollständig erstellt mit mathematischen Algorithmen: Sinfonia made completely by MAX Demos. Das Stück besteht aus 6 Klangspuren, wobei jede Spur einen Klang repräsentiert, der durch Softwareinstrumente erzeugt worden ist. Für alle die, die nur ‚Mainstream-Musik‘ kennen (Klassik gehört auch zum ‚Mainstream :-)) ist vom Hören abzuraten. Dies ist ein Sound für jene, die sich vom Mainstream gelöst haben und einfach Spass haben, unbekannte Klangräume zu durchwandern. Konkret habe ich mit Demoinstrumenten aus den Tutorials der Software MAX 6.1.7 sowie ableton live 9.1 und Max4Live herumgespielt.

ZWEI JUNGE MÄNNER TRETEN AUF

1. Am 22.Mai 2014 abends, nach einem sehr anstrengenden Tag, war ich Zeuge eines besonderen Schauspiels. Zwei junge Männer, beide langjährige Programmierer im Kontext innovativer multimedialer Anwendungen, Erfinder einer dafür eigens geschaffenen Programmiersprache – nennen wir sie Lx – dachten in zwei aufeinanderfolgenden Vorträgen laut nach, über das, was sie tun, wenn sie programmieren.

2. Dies ist ungewöhnlich, da diejenigen, die programmieren, es normalerweise einfach tun; sie schreiben ‚Kode‘, wie es so schön heißt. Verschachteln if’s und ‚while’s‘ und zahllose Schlüsselwörter der vielen ‚Bibliotheken‘ der fertigen Softwaremodulen, die heutzutage Programmiersprachen begleiten.

3. In der ‚reinen Lehre‘ ist s zwar anders, da gibt es Entwurfsmodelle, abstrakte Spezifikationen, seitenlange Anforderungen, die einem Programmierer sagen sollen, was er ‚eigentlich‘ zu tun hat; doch aus der Sicht eines Programmierers verschwimmen diese ganzen Texte und Diagramme sehr schnell zu einem Nezwerk von Kodierungsanweisungen, zu Seiten voller kryptischer Befehlsausdrücken, zu einem Programmtext seiner Sprache Lx. Was immer abstrakt vorher gedacht worden ist, er, der Programmierer verwandelt sich in einen ‚Kodierer‘.

4. Nicht so an diesem Abend. Die beiden Programmierer versuchten über ihr Kodieren nachzudenken.

ZUR GESCHICHTE DER KODIERUNG

5. Im ersten Vortrag ging es mehr um die historische Dimension, wie es von ersten rechnenden Maschinen (mit schönen Videoausschnitten über Konrad Zuse und seinen pionierhaften Experimenten mit seinen ersten Rechnern) mit direkter bitweiser Kodierung zu immer abstrakteren Programmiersprachen (Bits, Hexcode, mnemonischer Assemblercode, einfache Programmiersprachen wie Fortran und C, höhere objektorientierte Sprachen, und dann visuelle Kodierung). Da endete der historische Aufriss, da die Sprache Lx der beiden Programmierer solch eine visuelle Sprache war.

6. An dieser Stelle ruckelte es schon ein bisschen. Erstens gibt es ja heute schon viele verschiedene visuelle Programmiersprachen, und zum anderen war der Überblick unvollständig. Die Programmiersprachen selbst sind nur ein Teil der Geschichte; parallel mit den Programmiersprachen hat sich unter dem Oberthema ‚Softwareengineering‘ ein Denkmuster entwickelte, das die Programmiersprache nur noch als ein – wenngleich ein wichtiges – Moment sieht im Kontext von – stark vereinfachend – Problemstellung P, Anforderungsanalyse A, logisches Entwurfsmodell M und implementiertes System S. Kodierung ist Teil des implementierten Systems S bzw. steht in gewisser Beziehung zum logischen Entwurfsmodell. Der ‚Denkraum‘ des Softwareeinsatzes hat sich also erheblich ausgeweitet, und eine Geschichte der Programmierung, die diesen Denkkontext des Programmierens nicht berücksichtigt, wirkt mindestens unvollständig.

DIAGRAMMATISCHE REFLEXE ZTUM EIGENEN KODIEREN

7. Der zweite Vortrag wurde in gewisser Weise ‚persönliches‘ bis ’sehr persönlich‘. Hier sprach der Programmierende – nennen wir ihn B – in der Tat über seine Gedanken, wenn er programmiert bzw. über seine Gedankenwelt, vorher, während und nachher, und er sprach als jemand, der eine Programmiersprache entwickelt hat, sie benutzt, sie ‚warten‘ muss und sie weiter entwickelt.

8. Er benutze dazu Folien die angefüllt waren mit Handzeichnungen, Wortskizzen, Wort und Bildskizzen – fantastisch anzuschauen, eher Kunstwerken gleich, anregend, faszinierend. Seine begleitende Rede war auch keine normale Rede, keine geschliffenen Sätze, kein zusammenhängender Text; nein, es war eine Mischung aus Stammeln, Brummeln, meist mit dem Rücken zu den Zuhörer, eine Art Zwiegespräch mit den kunstvollen Linien in dem projizierten Bild; meist kryptisch, die Zuhörer/ Zuschauer meist in Lauerstellung in Erwartung, was denn jetzt kommen würde.

9. Es klingt komisch, aber ich habe es genossen, das war Denken unplugged, das war Kreativität des sich selbst reflektierenden Kodierens ‚live‘. Es dürfte nicht allzu viele ‚Programmierer‘ geben, die dies so tun würden. Als ich den Vortragenden anschließend darauf hin ansprach, wie oft er das so schon gemacht habe, sagte er auch, dass er dies so zum ersten Mal gemacht habe. Also eine Uraufführung; wunderbar.

PHILOSOPHISCHE REFLEXION

10. Schaltet man jetzt die philosophische Reflexion ein, dann ist als erstes zu bemerken, dass es offensichtlich nicht ganz selbstverständlich, keinesfalls einfach ist, etwas, was man tut, – hier das Programmieren, das Kodieren in einer Sprache Lx – in einer anderen Sprache Lxx auszudrücken. So beeindruckend und faszinierend die bildhaften und textuellen Fragmente waren, die B in seinen Folien präsentierte (für mich wahre ‚Kunstwerke‘), so wenig ließen diese vielen Fragmente einen größeren Zusammenhang klar erkennen. Dieser Eindruck verstärkte sich auch in dem anschließenden Gespräch mit den Zuhörern. Während die meisten ‚Anwender‘ waren, die die Sprache Lx (bzw. der Vorläuferversion) selbst zum Kodieren benutzten, und der Vortragende B aber gedanklich im Netzwerk seiner Konzepte ?herumirrte?, gab es auch Fragen zum ‚Denkraum‘, innerhalb dessen man Programmiersprachen entwickelt. Fragen und Antworten fanden nicht wo wirklich zueinander.

11. Während im ersten Vortrag noch ein wenig die Idee anklang, dass das Aufkommen von visuellen Sprachen eine ‚Verbesserung‘ für den programmierenden Menschen darstellt, blieb dieser reformerische, am Menschen orientierte, Ansatz immer mehr im Dunkeln. Im Zweikampf mit seinen eigenen Gedanken wurde nicht klar, ob und wie denn eine visuelle Programmiersprache Lx (zu der es, wie gesagt, viele Parallelen gibt) dem ‚menschlichen Denken‘ besonders entgegen kommt.

12. Während die Missionare des objektorientierten Programmierens zumindest versucht haben, Formen des alltäglichen Denkens mit einer ojektorientierten Sprache Lo in Verbindung zu bringen (was beim späteren sogenannten ‚modellbasierten‘ Programmieren schon nicht mehr so gelang), wurden solche Gedanken an diesem Abend nicht vorgetragen. Der Mensch in seinem Denken – hier der programmierende Mensch – blieb weitgehend außen vor. Schade. In diesem den Menschen und vorhandenen Programmieralternativen ausklammernden Denken blieben die Gedanken des suchenden Programmierers weitgehend ‚alleine mit sich selbst‘.

SOFTWAREENGINEERING IST NICHT GANZ NEU

13. Bemerkenswert an diesem Schauspiel ist die Tatsache, dass Software engineering (nicht ganz so gut: Softwaretechnik) nun ja keine wirklich ganz neue Disziplin mehr ist. An allen Universitäten/ Hochschulen, in denen Informatik gelehrt wird, gibt es seit mindestens 20 Jahren auch Softwareengineering. Und dennoch ist diese Art eines ‚zusammenhängenden Denkens‘ in den Köpfen der ‚aktiven Programmierenden‘ offensichtlich nicht präsent (als Vergleich: die Ideen eines Galilei haben ca. 100 Jahre gebraucht, bis sie zum Allgemeingut geworden sind).

14. Dennoch kamen man auch bei jenen, die Softwareengineering im größeren Zusammenhang denken, wissenschaftstheoretische bzw. philosophische Ansätze kaum bis gar nicht vorkommen, obgleich ein solches Denken hier eine Menge zu tun hätte.

15. Halten wir kurz fest: der Aspekt des menschlichen Denkens – nennen wir es hier das ‚kognitive Interface‘, die ‚Schnittstelle zum Denken‘; andere sprechen auch von ‚mentalen Modellen‘ – kam bei den beiden Vortragenden des Abends so gut wie nicht vor.

16. Der Einsatz einer Programmiersprache hat aber noch eine weitere Dimension, die nicht minder bedeutsam ist. Egal welche Programmiersprache Lx man benutzt, ein Programm in solch einer Sprache Lx – nennen wir es P(Lx) – muss irgendwann von einem realen Computer C ‚ausgeführt‘ werden. Dies bedeutet, was immer sich ein menschlicher Programmierer im Rahmen seines kognitiven Interfaces ‚gedacht‘ haben mag, als er P(Lx) erstellt hat, das, was ‚tatsächlich passiert‘, das entscheidet sich bei der realen Ausführung auf einem Computer C. Dies bedeutet, dass die Menge dieser Ausführungen von P(Lx) auf dem Computer C – nennen wir sie C(P(Lx)) – die ‚finale Bedeutung‘ von Lx darstellt. Man spricht auch von der ‚Semantik‘ (Bedeutung) der Sprache Lx mit Bezug auf C. Beispiel: mit den Ausdrücken von Lx will Programmierer B zwei ‚parallele Prozesse‘ a und b darstellen, gefolgt von Prozess c. Damit dieser Gedanke Sinn macht, muss sichergestellt sein, dass bei der Ausführung von a,b und dann c diese logische Struktur auch real umgesetzt wird, erst recht, wenn möglicherweise das Ergebnis von c z.B. dann wieder dem Prozess b als ein Teil seiner Eingangswerte zur Verfügung gestellt werden soll. Solche ‚Korrespondenzen‘ zwischen ‚intendierter‘ Bedeutung und ‚realisierter‘ Bedeutung herzustellen und zu ‚gewährleisten‘ ist generell nicht einfach und in genügend vielen Fällen unmöglich. Über diese ’semantischen Aspekte‘ der Programmiersprache Lx wurde gar nicht gesprochen. Auf Nachfrage kam eine Aussage, die so klang, also ob man darüber ’noch nicht nachgedacht habe‘.

17. Mir kommt es so vor, als ob das Thema ‚Semantik einer Programmiersprache‘ für viele Programmierenden das ist, was Tiefenpsychologen das ‚individuelle Unbewusste‘ nennen. Irgendwo wissen sie zwar, dass ihr Kode letztlich von einer Maschine abgearbeitet wird mit den daraus resultierenden Einschränkungen, aber tatsächlich berauschen sie sich lieber an ihren aktuellen Ideen und Fantasien und tun so, als ob das alles ja genau so auch umgesetzt wird. Wird es nicht. Hier gibt es viele zu klärende Fragen, also philosophisches Potential.

WITTGENSTEIN LÄSST GRÜSSEN

18. Vielen Programmierenden – den meisten? – ist nicht bewusst, dass der Denkweg von Ludwig Wittgenstein von seinem ‚Tractatus Logico Philosophicus‘ hin zu seinen ‚Philosophischen Untersuchungen‘ ein wunderbares Muster abgibt, innerhalb dessen man auch die Thematik der Bedeutung von Programmiersprachen reflektieren kann. Natürlich müsste man die Diktionen von Wittgenstein dem heutigen Sprach- und Denkgebrauch des Softwareengineerings etwas anpassen, aber die Grundideen (und die sich darin verbergenden kritischen Potentiale) sind weiterhin anwendbar.

19. Eine zentrale Idee Wittgensteins ist die Aufdeckung der Tatsache, dass die Ausdrücke einer Sprache L – und das gilt dann auch für Lx – ihre ‚Bedeutung‘ nur im Kontext sogenannter ‚Sprachspiele‘ haben. Im Fall der visuellen Programmiersprache Lx wäre ein solcher Kontext gegeben durch (i) die Programmierer, (ii) die Ausdrücke von Lx, (iii) die ausführenden Computer C (meistens mindestens mit Hardware und Betriebssystem) sowie (iv) die ‚Aktionen‘, die der programmierte Computer – z.B. als Roboter oder als Smartphone – beobachtbar ‚ausführt‘, sehr oft in ‚Interaktion mit einem (v) Benutzer‘, der ’seine‘ ‚Vorstellungen‘ (:= mentale Modelle) des Geschehens hat.

20. Das Softwareengineering versucht – im idealen Fall – die potentiellen Sprachspiele ‚vorweg‘ zu analysieren, zu modellieren, und entsprechend zu implementieren. Die Grenzen liegen bei der ‚Vorwegnahme‘ des potentiellen Benutzers.

Eine Übersicht über alle bisherigen Blogeinträge nach Titeln findet sich HIER.

NACHÜBERLEGUNGEN ZUM VORTRAG „NOTION OF GOD“ von GIUSEPPE TANZELLA-NITTI, Prof. für Dogmatische Theologie der Theologischen Fakultät der Päpstlichen Universität vom Heiligen Kreuz (Rom); Vortrag gehaltem am 17.Aug.2013 an der Universität UNICAMP (Campinas, Brasilien)

Letzte Änderung: Einfügung zweier Musikstücke am 24.August 2013

Als Begleitmusik (Variante 1)

PERSÖNLICHER NACHHALL

1) Die folgenden Überlegungen beabsichtigen nicht, den Vortrag als solchen wieder zu geben (als Hintergrundlektüre für den Vortrag war angegeben worden God, Notion of), sondern Gedanken, die sich für mich aus dem Vortrag ergeben haben, auch in Verbindung mit einem der anschließenden Gesprächskreise (der zum Glück auf Englisch war, da sich mein Portugiesisch bislang nur auf wenige Worte beschränkt).
2) Aufgrund meiner Biographie vermeide ich es eher, mich mit kirchlichen Themen zu beschäftigen, da das offiziell-kirchliche Denken — ich muss es so sagen — in meiner Erfahrung aufklärendes Denken eher verhindert als befördert. Aber da ich nun mal hier war und mein Freund den Vortrag besuchen wollte, bin ich mal mitgegangen.

EINSCHRÄNKUNG AUF GRENZEN DER WISSENSCHAFTEN

3) Eine kleine Überraschung war, dass der Vortrag selbst sich nur auf Aussagen der Wissenschaft beschränkte, und hier besonders auf die großen Diskussionen in der Physik bis ca. Ende des 20.Jahrhunderts. Alle anderen Wissenschaften wie die Geologie und Biologie mit dem evolutionären Veränderungsgeschehen auf der Erde, die Molekularbiologie und Neurowissenschaften mit den neuen Erkenntnissen zu den Grundlagen des Menschseins samt den Auswirkungen auf die moderne Philosophie, dies alles fehlte in dem Vortrag. Erst recht fehlte die Position der Kirche, die Theologie, wie diese sich zu dem Ganzen verhält (die in dem oben genannten Artikel ‚Notion of God‘ sehr wohl vorkommt).

GRENZEN UND IHRE ÜBERWINDUNG

4) Der Vortrag artikulierte im Munde des Vortragenden besonders drei Leitthemen: (i) Die Wissenschaft leistet aus Sicht der Kirche sehr wohl einen Beitrag zur Erkenntnis der Welt, wie sie ist; (ii) aufgrund der verwendeten empirischen Methoden in Kombination mit der Mathematik hat die Wissenschaft aber eingebaute Erkenntnisgrenzen, die verhindern, dass man das ‚große Ganze‘ sehen kann; (iii) die Lücken, die die Wissenschaft lässt, verlangen dennoch nach einer ‚Füllung‘, die mittels philosophischem und theologischen Denken geschlossen werden können.
5) Akzeptiert man die Annahmen, die der Vortragenden in seinem Vortrag stillschweigend macht (Anmerkung: Er hat nirgends seine eigenen Voraussetzungen offengelegt (und dies geschieht auch nicht in dem angegebenen Hintergrundartikel)), dann ist dies ein recht plausibler, schlüssiger Gedankengang.
6) Er brachte dann eine Fülle von Originalzitaten aus Briefen und Büchern berühmter Forscher, die alle mit je eigenen Worten ihre persönliche Position bezüglich der Grenzen der wissenschaftlichen Erkenntnis zum Ausdruck brachten; diese mündeten in den einen Tenor, dass sie ‚hinter allem‘ letztlich eine alles übergreifende Ordnung vermuten oder gar direkt von ‚Gott‘ sprechen. Abgerundet wurde der Zitatenstrauss durch eine Episode während einer wissenschaftlichen Konferenz im Vatikan, bei der Stephen Hawking, bekennender Atheist und aus Sicht der Kirche illegal ein zweites Mal verheiratet eine Begegnung mit Papst Paul II. hatte und der Papst Hawking entgegen Hawkings Erwartungen nicht kritisierte (in der Vergangenheit hatte Hawking von einem Papst sogar eine hohe kirchliche Auszeichnung bekommen, die der Papst (Foto war da) ‚kniend‘ überreicht hatte).

EINE FALSCHE ‚HEILE WELT‘?

7) So nett dies alles klingt, es führt letztlich an der Sache vorbei und gaukelt eine ‚heile Welt‘ vor, die so nicht existiert.

KOMMENTAR: HISTORISCHE EINORDNUNG DER WISSENSCHAFT FRAGWÜRDIG

8) In meinem ersten Kommentar in der Vortragsrunde habe ich versucht deutlich zu machen, dass die Fokussierung auf die ‚Grenzen‘ wissenschaftlichen Erkennens — so lehrreich sie in gewissen Details sind — letztlich aber die Sicht auf den tatsächlichen Gang der historischen Entwicklung verstellt. Das, was aus einer vom Vortragenden bewusst gewählten Sicht als ‚Begrenzung‘ des Wissens durch die moderne Wissenschaften erscheint, erweist sich im realen historischen Kontext als gewaltige Befreiung! Vor dem systematischen Betrieb von empirischer Wissenschaft — wobei man Galileo Galilei (1564– 1642) als einen Bezugspunkt für den historischen Beginn setzen kann (natürlich gab es auch vor Galileo andere, die schon empirische Untersuchungen angestellt haben, die Mathematik zur Beschreibung benutzt haben, aber mit seiner Person, seinen Werken und seinem Schicksal verbindet sich die Geschichte der modernen Wissenschaften in besonderer Weise) — gab es ein Sammelsurium von Wissen, stark dominiert von einem philosophischen Denken, das trotz der Klarheit eines Aristoteles (384-322BC) stark in den Fallstricken der natürlichen Denkens verhaftet war und mittels einer sogenannten Meta-Physik alle die Fragen löste, die das übrige Wissen zu dieser Zeit noch nicht lösen konnte. Dies vermittelte zwar den Eindruck von ‚Klarheit‘ und ‚Sicherheit‘, da man ja alles meinte ‚erklären‘ zu können. Der große Nachteil dieses Wissens war, dass es nicht ‚falsch‘ werden konnte. Unter der Flagge der Meta-Physik konnten also auch größte Unsinnigkeit geäußert werden und man konnte sie nicht widerlegen. So schlimm dies in sich schon ist, so schlimm wird dies dann, wenn eine politische oder kirchliche Macht (oder beide zusammen, was geschehen ist), ihre eigenen Wahrheits- und Machtansprüche mit solch einer Denkform, die nicht falsch werden kann, verknüpft. Eine kirchliche Macht formal verknüpft mit einem ‚abgeleiteten‘ Aristoteles konnte jedes ’neue‘ und ‚andersartige‘ Denken im Ansatz unterbinden. Vor diesem Hintergrund war das Aufkommen der empirischen Wissenschaften eine wirkliche Befreiung, eine Revolution und das harte unerbittliche Vorgehen der Kirche gegen die ersten Wissenschaftler (bis hin zum Tod auf dem Scheiterhaufen) belegt, dass die Inhaber der Macht sehr wohl gespürt haben, dass ein empirisch wissenschaftliches Denken trotz seiner eingebauten Grenzen mächtig genug ist, die metaphysischen Kartengebäude der Vergangenheit zum Einsturz zu bringen. Und die weitere Entwicklung zeigt überdeutlich, dass es genau dieses empirische-wissenschaftliche Denken war, das im Laufe der letzten 400 Jahre schrittweise immer mehr unser gesamtes Denken über das Universum, die Erde, das Leben und den Menschen ‚umgegraben‘ hat; wir haben atemberaubende Einblicke erlangt in ein universelles Geschehen und in einen Mikrokosmos, der alles übersteigt, was frühere Zeiten nicht einmal ahnen konnten. Wenn ein Aristoteles heute leben könnte, er wäre sicher besinnungslos vor Glück angesichts all dieser aufregenden Erkenntnisse (und natürlich würde er seine Meta-Physik komplett neu schreiben; er würde es sicher tun, nicht so die vielen philologischen Philosophen, die immer nur neue Ausgaben editieren (so wertvoll dies für sich auch sein mag)).
9) Von all dem hat der Vortragende nichts gesagt! Er hat es tunlichst vermieden, hätte er doch unweigerlich die hochproblematische Rolle der realen Kirche in diesem historischen Prozess zur Sprache bringen müssen, noch mehr, er hätte sich unangenehmen Fragen danach stellen müssen, wie es denn die Kirche heute mit der wissenschaftlichen Erkenntnis hält. Dies war mein zweiter Punkt, den ich im Plenum angemerkt habe.

KOMMENTAR: AUSLASSUNG DER NEUEREN WISSENSCHAFTSENTWICKLUNG; SCHWEIGEN ÜBER WISSENSCHAFTLICHE ERKENNTNISSE IN ANWENDUNG AUF DIE BIBEL

10) In dem zitierten Dokument God, Notion of) werden einige kirchliche Dokumente aufgelistet, die auf die eine oder andere Weise — zumindest in Worten — eine grundlegende Wertschätzung von allgemeinen wissenschaftlichen und philosophischen Erkenntnissen zum Ausdruck bringen. Allerdings, wie oben schon angemerkt, werden viele neue wissenschaftliche Disziplinen, speziell jene im Umfeld der chemisch-biologischen Evolution, Neurowissenschaften, künstliche Intelligenzforschung, ausgeklammert. Und — dies fällt vielen Nicht-Theologen vermutlich gar nicht auf — die Anwendung wissenschaftlicher Methoden auf die sogenannten ‚Offenbarungsschriften‘ des alten und Neuen Testaments (kurz ‚Bibel‘ von Griechisch ‚biblos‘ = Buch) und die theologische Lehre insgesamt wird nahezu vollständig ausgeblendet. In allen offiziellen kirchlichen Texten spielen die gut 100 Jahre andauernden wissenschaftlichen Untersuchungen zur Überlieferungsgeschichte der biblischen Dokumente, ihre historischen Kontexte, ihre literarische Formen, ihre redaktionellen Be- und Überarbeitungen, ihre Übernahme vorgegebener Themen aus dem Umfeld, usw. keine ernsthafte Rolle (Anmerkung: Diese Feststellung bezieht sich wohlgemerkt auf die offiziellen kirchlichen Verlautbarungen. In den meisten theologischen Hochschulen — zumindest im deutschsprachigen Bereich –werden diese Methoden im Rahmen der Wissenschaften von der Bibel (Exegese) sehr wohl gelehrt und angewendet, allerdings, wie man sieht, im offiziell kirchlichen Denken ohne Konsequenzen). Das gleiche zieht sich fort in den theologischen Disziplinen, die zum dogmatischen Denken gehören. Hier wird Wissenschaft und moderne Philosophie — wenn überhaupt — nur sehr selektiv einbezogen. Diese gelebten Realitäten einer Kirche sprechen eine andere Sprache als die schönen Worte der offiziell kirchlichen Verlautbarungen. Würde man die hier in den letzten 100 Jahren gewonnenen Erkenntnisse ernst nehmen, dazu die übrigen neuen wissenschaftlichen Erkenntnisse, dann würde man viele gewohnte kirchliche Positionen ziemlich sicher korrigieren müssen. Während die einen dies als ‚Verlust‘ empfinden mögen, als ‚Bedrohung‘, werden andere daran einen möglichen Weg sehen, die ursprüngliche Sprengkraft eines christlichen Glaubens auch unter veränderten Erkenntnisbedingungen wieder besser denken und dann vielleicht auch besser leben zu können. Auf diesen ganzen Komplex von Wissenschaftsverachtung durch die reale Kirche heute ist der Vortragende mit keinem Wort eingegangen (in dem von ihm angegebenen Text lässt der abschließende Abschnitt über die Sicht der Theologie den Eindruck entstehen, als ob er selbst als Autor diese 100 Jahre umfangreichster wissenschaftlicher Arbeiten zur Bibel auch völlig ausklammert und stattdessen nur klassische metaphysische Muster wiederholt, deren Gültigkeit heute mehr als fragwürdig ist).

KOMMENTAR: SCHLIESSEN DER LÜCKEN MIT UNGEEIGNETEN MITTELN

11) Damit kommen wir zum dritten Themenkreis, dem Schließen der ‚Lücken‘, die das wissenschaftliche Denken angeblich lässt. Nu muss man an dieser Stelle selbstkritisch einräumen, dass die vielen empirisch-wissenschaftlichen Disziplinen bis heute keinen einheitlichen, überall anerkannten ‚meta-wissenchaftlichen‘ Überbau in Form einer allgemein verbreiteten ‚Wissenschaftstheorie‘ oder ‚Philosophy of Science‘ haben; sofern es solche Professuren gibt, sind diese oft vereinzelt, isoliert, eher der Philosophie zugeschlagen und abgetrennt von den Wissenschaften, die dieses Denken eigentlich brauchen. Die ohne Zweifel in jedes wissenschaftliche Erkennen einfließenden philosophischen Anteile sind oft wenig thematisiert oder gar nicht thematisiert. Andererseits ist es aber so, dass de reale Gang der empirischen Wissenschaften beständig begleitet war von allerlei methodologischen Diskussionen. Die große Mannigfaltigkeit der Disziplinen und der hohe Veränderungsgrad machen es allerdings schwierig, hier mit einer Reflexion Schritt zu halten (zumal diese von den Universitäten zum Leidwesen der Wissenschaften kaum honoriert oder unterstützt wird). Aus dieser, sich aus der Sache heraus ergebenden, Schwierigkeit dann abzuleiten, dass es so etwas wie eine Philosophie der realen Wissenschaften nicht geben kann und dass man stattdessen doch lieber Vorlieb nimmt mit den ‚Philosophen der Vergangenheit‘ (die können sich ja nicht mehr wehren), ist verständlich, wenngleich für den Wissenschaftsbetrieb unglücklich. Statt die Kluft zwischen ‚Denken in der Vergangenheit und Denken heute‘ zu schließen, wird diese Kluft dann eher zementiert. Aus dieser unbefriedigenden Situation heraus entstehen dann solche Lösungsvorschläge, die ‚Erkenntnislücken‘ der heutigen Wissenschaften mit den Konzepten der alten klassischen Metaphysik zu ‚überbrücken‘ (zu ‚transzendieren‘), da man ja letztlich (so die stillschweigende Annahme) aus dem vorausgesetzten allgemeinen ‚Logos‘ (ein Begriff aus der griechischen Philosophie, zusätzlich aufgeladen durch die biblischen Schriften, u.a. vom Johannesevangelium her, das im griechischen Text auch vom ‚logos‘ spricht) existentiell und logisch meint allgemeine Zusammenhänge herleiten zu können, um die Erkenntnislücken empirischer Wissenschaften zu schließen.
12) Wie gesagt, die empirischen Wissenschaften bieten leider kein ideales Bild, aber die Einbeziehung von klassischen philosophischen Positionen ohne weitere Begründung ist nicht sehr rational. Da werden mindestens 400 Jahre kritische methodische Reflexionen komplett unterschlagen. Hier nur ein paar Anmerkungen (eine korrekte Darstellung könnte ganze Bücher füllen):

EINWÄNDE GEGEN NAIVE INANSPRUCHNAHME VON ‚LOGOS‘ UND METAPHYSIK
– ERKENNTNISTHEORIE

13) (i) ein Einspruch kommt von der modernen Erkenntnistheorie (etwa ab Descartes, über Hume, Kant, Locke und vielen anderen bis hin zur evolutionären Erkenntnistheorie). Hier hat man erkannt, dass unsere subjektive Erlebnis- und Denkwelt ganz konkrete Voraussetzungen hat, die in der Struktur und der Funktion des Gehirns begründet sind, das wiederum zusammen mit dem umgebenden Körper eine Entwicklung von vielen Millionen Jahren hinter sich hat. Die Art und Weise unseres Denkens ist ein Produkt, und die heutigen Erlebnis- und Denkformen bilden keinen endgültigen Schlusspunkt, sondern repräsentieren eine Übergangsform, die in einigen Zehntausend Jahren (falls die Gentechnik nicht schon früher Änderungen hervorbringt) anders aussehen werden als heute. Beispielsweise sehen wir (durch die Kodierung des Gehirns) beständig ‚Objekte‘, aber in der physikalischen Welt gibt es keine Objekte, nur Eigenschaftsmengen, Energiefelder. Eine klassische Metaphysik konnte unter Voraussetzung des subjektiven Denkens mit Objekten in Form einer ‚Ontologie‘ operieren, eine moderne Philosophie muss erst einmal erklären, wie sie damit klar kommt, dass unser Gehirn subjektiv überall Objekte konstruiert, obwohl es physikalisch eigentlich keine Objekte gibt (und eine moderne Philosophie muss natürlich noch erheblich mehr erklären als dieses).

– SPRACHPHILOSOPHIE

14) (ii) Ein zweiter Einspruch kommt von der Sprachphilosophie. Der Vortragende erwähnte zwar auch den frühen Wittgenstein (1889-1951) als Kronzeugen für die Einsicht in die Grenzen dessen, was man mit Sprache sagen kann, um damit einmal mehr die Grenzen der empirisch-wissenschaftlichen Methode zu thematisieren, er versäumte es dann aber, auch den späten Wittgenstein zu erwähnen, der nachhaltig aufzeigen konnte, wie die Grenzen des Sagbaren alle Sprachspiele durchziehen, auch die Alltagssprache, auch — und nicht zuletzt! — die Sprache der Philosophen. Konnte man in früheren Zeiten als Philosoph einfach einen Satz hinschreiben mit der trügerischen Annahme, das könne wohl jeder verstehen, der verstehen will, kann nach Wittgenstein jeder, der es wissen will, wissen, dass dies eine wenig haltbare Position ist. Nicht nur jeder Satz, sondern sogar jedes einzelne Wort unterliegen dem Problem, dass ein Sprecher A das, was er mit bestimmten Lauten oder Zeichen verbunden wissen will (die Bedeutung), in keinem einzigen Fall als selbstverständlich gegeben bei einem anderen Sprecher B voraussetzen kann. Dies liegt daran, dass die Zuordnung von sprachlichem Ausdruck und das mit dem Ausdruck Gemeintem nicht zwangsweise mit dem Ausdruck selbst verknüpft ist, sondern in jedem einzelnen Fall mühsam gelernt werden muss (was jeder, der mühsam eine neue Sprache lernen will auf Schritt und Tritt erfährt). Mag dies bei Bezugnahme auf empirische Sachverhalte noch einigermaßen gehen, wird es bei nicht-empirischen Sachverhalten zu einem Rate- und Glücksspiel, das umso abenteuerlicher ist, je weniger Bezugspunkte zu etwas anderem, was schon bekannt ist, vorliegen. Wer schon einmal klassische philosophische Texte gelesen hat, der weiß, dass philosophische Texte in der Regel NICHT von empirischen Sachverhalten sprechen, sondern von Erlebnis- und Denkstrukturen, die als solche nicht wie Objekte aufzeigbar sind. Die Vielzahl unterschiedlicher Interpretationen ein und desselben klassischen philosophischen Textes ist von daher kein Zufall sondern resultiert aus dieser schwierigen Bedeutungslage. Klassische philosophische Texte sind ’schön‘, solange man sie nicht ernsthaft analysiert; tut man dies, verliert man sich unweigerlich in immer mehr Aporien.
15) [Anmerkung: Ich selbst war Teilnehmer des folgenden Experimentes an derjenigen deutschen Universität, die als einzige unter den ersten 50 Plätzen internationalen Universitätsrankings vorkommt. Teilnehmer waren zwei bekannte Philosophieprofessoren, zwei habilitierte Assistenten und mindestens drei Doktoranden der Philosophie. Es ging um die Frage, ob man die Einleitung in Kants Kritik der reinen Vernunft so interpretieren könne, dass alle ausnahmslos zustimmen müssten. Das Experiment lief zwei Semester lang. An Methoden war alles erlaubt, was bekannt war und dienlich erschien. Natürlich wurden u.a. auch alle bisher verfügbaren Kommentare berücksichtigt. Nach zwei Semestern gab es nicht einmal ansatzweise eine gemeinsame Sicht der Dinge. Beweisen tut dies im strengen Sinne nichts. Ich fand es damals sehr ernüchternd.]
16) Fasst man die Erkenntnisse der modernen Erkenntnistheorie und die der modernen Sprachphilosophie zusammen, dann erscheint es nicht nachvollziehbar und geradezu gewagt, anzunehmen, man könne die bislang erkannten Grenzen der modernen empirisch-wissenschaftlichen Erkenntnis durch einen unreflektierten Rekurs auf einen alles übergreifenden ‚Logos‘ einfach so überbrücken. Diese Art von ’naiver‘ (sprich ‚unreflektierter‘) Meta-Physik (und Ontologie) ist vorbei.
17) Bedenkt man die Bedeutungs-Probleme, die die Alltagssprache besitzt, ist die Situation in den empirisch-wissenschaftlichen Disziplinen ja geradezu noch ‚idyllisch‘. Bis zu einem gewissen Grad gibt es hier noch aufzeigbare und kontrollierbare ‚Bedeutung‘, wenn auch nicht vollständig.

VERZICHT AUF ‚LOGOS‘ ODER METAPHYSIK BEDEUTET NICHT GOTTLOSIGKEIT

18) Akzeptiert man die kritischen Argumente, dann folgt daraus NICHT — wie der Vortragende zu unterstellen scheint –, dass sich damit die Frage nach einem letzten ‚Sinn‘ oder gar die Frage nach etwas, das wir ‚Gott‘ nennen, grundsätzlich erledigt hat. Was sich allerdings weitgehend erledigt hat, ist, dass man tiefgreifende Fragen, die sich durch das Fortschreiten der Wissenschaften dem Wahrheitssuchenden öffnen weder durch Rekurs auf eine vor-kritische naive Metaphysik ‚überspielen‘ kann, noch dass man theologische Positionen als Antworten benutzen kann, die sowohl die wissenschaftliche kritische Analyse der religiösen Überlieferungsgeschichte wie auch der sich aus den Wissenschaften ergebenden neuen Erkenntnisse zur Struktur des Menschen, seiner Erkenntnisfähigkeit, seinen Erlebnisstrukturen usw. unberücksichtigt lassen. Das, was der Vortragende in dem zitierten Artikel tut, ist aber genau dies: er benutzt die alte naive Metaphysik, als ob es die letzten 400 Jahre nicht gab, und er benutzt eine theologische Interpretation, die genau jene Wissenschaft, die zuvor als so wichtig gepriesen wird, vollständig ausklammert. Das ist in meinen Augen nicht seriös, das ist nicht rational, das ist unwissenschaftlich, das hilft all den Menschen nicht, die ernsthaft nach Wahrheit suchen und nicht nur eine ‚psychologische Beruhigung‘ mit ‚einlullenden Bildern‘ (obwohl das Erzählen von Märchen sehr wohl der Wahrheitsfindung dienen kann; man muss sie nur richtig erzählen. Viele der Gleichnisse (einfache Form von Märchen?), die der Gestalt Jesus von Nazareth zugeschrieben werden, sind z.B. von dieser Natur: sie machen Punkte im Verhalten von Menschen deutlich, denen man eine gewisse Lebensweisheit nicht absprechen kann (eine Weisheit, die nicht jeder mögen muss)).

DIE GRENZEN DER SPRACHE IMPLIZIEREN NICHT EINE BEGRENZTHEIT DER WELT

19) Der Gesprächskreis im Anschluss an den Vortrag war sehr heterogen. Ich selbst habe aus den vielen Aussagen folgenden Gedanken mitgenommen: Die Grenzen der Sprache (Für die Mathematik aufgezeigt durch Gödel (und auch Turing)), für die allgemeine Sprache durch Wittgenstein) bedeuten nicht das Ende der Erkenntnis, sie machen uns nur deutlich, dass die grundsätzlichen Möglichkeiten des Erkennens für uns Menschen (bisher, unter Voraussetzung des aktuellen Erkenntnisapparates) nicht beliebig sind und dass wir, wenn wir ‚wahre‘ Erkenntnis wollen, jene, die uns aus den Wirrungen des alltäglichen naiven Weltbildes tatsächlich herausführen kann, dass wir dann diese Grenzen beherzigen und berücksichtigen sollten. Dass die scheinbare Begrenzung des wahren Erkennens auf die empirisch-wissenschaftliche Vorgehensweise uns gegenüber dem Vorgehen mit der nur scheinbar alles umfassenden naiven metaphysischen Denkweise in geradezu explosionsartiger Weise in Denkräume hinein katapultiert hat, von denen keiner der alten Philosophen auch nur träumen konnte, dies sollte uns Ermutigung und Anstoß sein, diesen Weg beherzt weiter zu gehen. Darüber hinaus zeigt sich aber ein fundamentaler Tatbestand: explizites, sprachlich vermitteltes Denken kann letztlich nur jener Wirklichkeit folgen, in der wir uns vorfinden und die allem Denken voraus ist. Was wir nicht aufzeigen können, ist letztlich nicht greifbar. Mehr noch, nur im Erfahren des ‚wirklich Anderen‘ — dem Empirisch-widerständigen — erfahren wir uns selbst als das ‚Andere zum anderen‘, als ‚Selbst‘ und das, ‚was‘ wir sind bzw. sein können, wissen wir erst dann, wenn wir selbst in unserem konkreten Dasein uns selbst sichtbar werden. Dies aber bedeutet, nur wenn wir ‚aus uns heraus‘ gehen, nur wenn wir ‚uns aufs Spiel setzen‘, nur wenn wir etwas ‚Probieren‘, nur dann kann sichtbar werden, ‚was‘ bzw. ‚wer‘ wir ‚tatsächlich sind‘. Nur weil das ‚biologische Leben‘ beständig weiter ‚aus sich heraus‘ gewachsen ist, immer mehr ‚Varianten probiert‘ und ‚Komplexitäten geschaffen‘ hat sind Formen des Lebens entstanden, von denen wir ein kleiner Teil sind. Dass das DNA-Molekül und der zugehörige Übersetzungsmechanismus ‚begrenzt‘ ist (verglichen mit den klassischen metaphysischen Konzepten geradezu lächerlich primitiv) war — und ist — kein Hindernis dafür, dass immer komplexere Lebensformen entstanden sind, so komplex, dass unser heutiges Denkvermögen sie nicht vollständig beschreiben kann. Die Grenzen der Sprache sind NICHT die Grenzen des Lebens und der Wahrheit. Die Wahrheit geht jeder Sprache — und erst recht jeder Metaphysik — um Lichtjahre voraus.

JEDER KANN SEIN ‚GOTTESEXPERIMENT‘ MACHEN

20) Sollte es so etwas wie einen ‚Gott‘ geben, so brauchen wir uns mit Sicherheit keine Sorgen darum machen, ob er ‚ist‘, was er ‚tut‘ oder ob wir ihn ‚richtig erkennen‘. Wenn es einen ‚Gott‘ als das letztlich Unbegreiflich alles Umfassende geben sollte, dann kann man davon ausgehen, dass er schon immer handelt (auch ohne uns zu fragen), er ist schon immer bei und in uns, ohne dass wir darum bitten müssen, und er lässt die ‚Wahrheit‘ auch in Lebensformen aufscheinen und sich entwickeln, die wir uns nicht ausgedacht haben und über die wir keine Verfügungsgewalt haben. Mit Sicherheit ist dieser Gott nicht an eine spezielle ethnische Gruppe gebunden, mit Sicherheit interessiert diesen Gott nicht, was wir essen und trinken, mit Sicherheit spielt Jungfrauengeburt und ähnliche Folklore keine Rolle. Für diesen Gott, so es ihn gibt, geht es um wirklich Grundlegendes. Aus meiner beschränkten Wahrnehmung sehe ich nicht, dass irgendeiner der heute lebenden Religionen (Judentum, Christentum, Islam…) wirklich ernsthaft an Gott interessiert ist. Dazu ist viel zu viel Hass unterwegs, zu viel Menschenverachtung, zu viele gruppenspezifische Egoismen, zu viele Herrschaftsstrukturen, die nur denen dienen, die herrschen, zu viel Folklore, zu viel Geldmacherei, zu wenig echtes Wissen.
21) Alles in allem — das habe ich in einem andren Blogeintrag auch schon mal ausgeführt — kann man den Eindruck gewinnen, dass es heute weniger die alten Religionen sind, die uns etwas Interessantes über den Sinn dieser Welt und über Gott zu sagen haben, als vielmehr die modernen Wissenschaften, die trotz ihrer Unvollkommenheiten ein Fenster der Erkenntnis aufgestoßen haben, dass alle Räume sehr weit aufmacht, so weit, dass wir noch gar nicht alles fassen können, was wir da sehen, zugleich werden die Grundrisse einer neuen Spiritualität sichtbar, die zu erkunden und auszuprobieren noch viel zu tun bleibt.
22) Das wäre mein letzter Punkt (zu dem es auch schon frühere Blogeinträge gibt). Wenn das alles stimmt, was uns die empirischen Wissenschaften sagen, dann ist die Annahme einer direkten Kommunikation ‚Gottes‘ — was immer man alles über ihn im Detail noch sagen kann — mit jedem Punkt des Universums — und damit natürlich auch mit jedem Lebewesen, auch mit uns Menschen — grundsätzlich möglich, und zwar jederzeit und überall. Niemand braucht eine vermittelnde Instanz dazu, da wir durch unsere Körper (die ja alle aus Zellen bestehen, diese aus Molekülen, diese aus Atomen, diese aus subatomaren Teilchen) jederzeit mit jedem Punkt im Universum kommunizieren können. Die grundlegenden Regeln der — zumindest christlichen — Mystik sind mit diesem empirischen Befund deckungsgleich. Es macht ja auch keinen Sinn, ‚Gott‘ als alles umfassenden und ermöglichenden Grund allen Seins zu postulieren und ihm dann zu verbieten, sich mit jedem Punkt des Universums verbinden zu können. Von der Quantenphysik her gibt es jedenfalls keine grundlegenden Einwände (was nicht bedeutet, dass wir in der Quantenphysik soweit wären, eine solche Kommunikation vollständig beschreiben zu können). Das gute daran ist, man muss dies nicht ‚glauben‘, sondern man kann es ‚tun‘, d.h. jeder kann sein privates ‚Gottesexperiment‘ machen und mit Gott in Kontakt treten. Man muss dafür kein Geld bezahlen, man braucht dazu keine ‚Genehmigung‘, man muss dazu keinen Universitätsabschluss gemacht haben, man muss dazu keiner bestimmten politischen Partei angehören, man muss dazu kein Millionär sein; das ‚einfache Menschsein‘ genügt. Die einzige Bedingung, man muss es einfach ‚tun‘, womit wir wieder bei dem zentralen Sachverhalt sind: Leben gibt es nur dort, wo es sich ‚ereignet‘, indem man seine Möglichkeiten ausübt…

Eine Übersicht über alle bishergen Blogeinträge nach Titeln gibt es HIER

Variante Nr.2

M.DONALD: EVOLUTION DES MENSCHLICHEN BEWUSSTSEINS – Kurzbesprechung, Teil 2

Diesem Beitrag ging voraus Teil 1.

1) Das siebte Kapitel ist überschrieben ‚The First Hybrid Minds on Earth‘ (etwa: ‚Die ersten hybriden Geister auf der Erde‘). (S.252)
2) [Anmerkung: Das Problem ist, dass es für den Plural des englischen Begriffs ‚minds‘ in diesem Kontext keine direkte Übersetzung gibt. Die Übersetzung ‚Geister‘ ist eher irreführend, da mit ‚Geister‘ im Deutschen etwas anderes assoziiert wird als mit dem Plural von ‚minds‘. Das liegt daran, dass der deutsche Singular ‚Geist‘ einmal die ‚geistige Kapazität‘ im allgemeinen meinen kann, aber auch ein ontologisch schillerndes Wesen, das als ‚Geist‘ zwar ‚irgendwie‘ da ist, aber nicht so, wie ein reales Wesen. Von der ‚geistigen Kapazität‘ im Singular gibt es im Deutschen aber keinen wirklichen Plural, also die ‚geistige Kapazität‘ in vielfachen Ausprägungen, viele ‚reale‘ Wesen mit einem ‚realen‘ Geist. Die Übersetzung von ‚mind‘ als ‚Verstand‘ oder ‚Vernunft‘ ist nicht ganz falsch, aber auch nicht ganz richtig. Aber auch von ‚Verstand‘ und ‚Vernunft‘ gibt es im Deutschen keinen Plural! Das ist eigentlich interessant. Warum kann man im Deutschen von ‚Geist‘, ‚Verstand‘ und ‚Vernunft‘ nicht im Plural sprechen bzw. denken? Faktisch sind diese Eigenschaften an individuelle Körper gebunden, von denen es viele gibt. Warum kann man im Deutschen dann nicht von ‚den Geistern‘, den ‚Verständen‘, ‚den Vernünften‘ sprechen? Ich denke, hier zeigt sich in der Sprache etwas, das man nicht so einfach hinnehmen sollte.]
3) Das Kapitel startet mit der These, dass die Entwicklung ’symbolischer Fähigkeiten‘ (’symbolic skills‘) nicht durch Beschränkung auf ein isoliertes Gehirn alleine erklärt werden können, da es sich um Phänomene handelt, die ‚inhärent vernetzte Phänomene‘ (‚inherent network phenomena‘) sind.(vgl. S.252)
4) [Anmerkung: Wenn ich einen Körper als Ansammlung von vielen Zellen (ca. 14 Billionen, 14 * 10^12) verstehe, die in ihrer Ausformung von einem genetischen Bauplan und seiner ‚Umsetzung‘ in Form von ‚Wachstum‘ abhängig sind, dann kann ich die genetische und die ontogenetische Maschinerie natürlich bis zu einem gewissen Grad beschreiben, ohne explizit Bezug auf externe Faktoren zu nehmen. Eine solche Beschreibung ist auch nicht ‚falsch‘, da das, was ich beschreibe, ja empirisch aufweisbar ist. Dennoch kann diese empirische nicht falsche Beschreibung in ihrem Verzicht auf korrelierende Kontext-Faktoren möglicherweise entscheidende Faktoren ‚unterschlagen‘ (‚verdrängen‘,…). Dies wäre dann der Fall, wenn sich die ‚körperinternen‘ Faktoren in ihren Veränderungen nur ‚verstehen lassen würden‘, wenn man die korrelierenden Faktoren einbeziehen würde. Verstehen ist aber relativ, kriterienabhängig: welche Eigenschaften erscheinen einem ‚wichtig‘, so dass man sie in eine Erklärung einbeziehen möchte? ]
5) [Anmerkung: In einer empirischen Erklärung gelten nur Phänomene, die notwendig sind, um das Auftreten eines bestimmten Phänomens auch in Form einer Voraussage ‚erklären‘ zu können, etwa: Wenn X gegeben ist, dann wird Y mit einer Wahrscheinlichkeit von p auftreten. Wenn ich mehrere biologische Arten A1, …, Ak habe, die eine Eigenschaft P0 gemeinsam haben, sich aber jeweils in mindestens einer Eigenschaft P1, …, Pk voneinander unterscheiden, dann würde eine Beschränkung auf P0 zwar nicht falsch sein, aber eben nicht alles erklären. Um die Art Ai in ihrer Besonderheit erklären zu können, müsste ich die Eigenschaften P0 + Pi erklären, nicht nur P0 alleine.]
6) [Anmerkung: Wie im Falle biologischer Systeme bekannt, entwickeln sich besondere Arten Ai mit einer Spezialeigenschaft Pi in der Regel immer in Abhängigkeit von einer besonderen Umgebungseigenschaften Ei. Dies bedeutet, man kann das Auftreten der Eigenschaft Pi bei der Art Ai nicht ‚verstehen‘, wenn man die korrelierende Eigenschaft Ei nicht berücksichtigt. Aus diesem Grund betrachtet die moderne Biologie biologische Systeme Ai niemals isoliert, sondern immer nur im Kontext von jeweiligen umgebenden Lebensräumen Ei und die ‚Wechselwirkungen‘ zwischen Umgebung und der Population der Art Ai. Diese Wechselwirkungen setzen sich zusammen aus individuellen Eigenschaften des jeweiligen individuellen biologischen Systems (z.B. spezifische Wahrnehmungsfähigkeit, Verdauungsfähigkeit, Bewegungsform, usw.) und verbunden damit mit der Zahl der Nachkommen während der Lebenszeit. Die individuellen Fähigkeiten erweisen ihre Bedeutung in der Fähigkeit, dass die Population als Ganze in jeder Generation über hinreichend viele und fähige Nachkommen verfügt. Diese Sicht der Dinge war in der Biologie nicht immer schon da; sie musste Schritt für Schritt erarbeitet werden.]
7) [Anmerkung: Die These von Donald , dass man den Kontext einbeziehen muss, ist von daher einerseits nichts grundlegend Neues. Andererseits legt er den Finger auf Kontexteigenschaften, die als solche qualitativ verschieden sind von den vorausgehenden. ‚Symbole‘ sind vieldeutige Werkzeuge, die der Mensch so in der Natur nicht vorgefunden, sondern die er selber geschaffen hat. In dem Maße, wie er sie geschaffen hat, können sie zu einem Teil seiner Umgebung werden, die wie die ’natürliche‘ Umgebung auf ihn ‚einwirken‘ kann. Und hier kommt die nächste Besonderheit: Symbole als Umgebung wirken nicht nur physisch auf den Menschen ein wie die natürliche Natur, sondern sie beeinflussen die gedanklichen Prozesse des Menschen, sie bilden ‚Formen‘, ‚Muster‘, ‚Regeln‘, Strukturen‘, ‚Inhalte‘ usw. der gedanklichen Prozesse, mit Hilfe deren sich der Mensch in seiner Welt ‚orientiert‘. Die Orientierung besteht darin, dass der Mensch ‚im Medium seiner Gedanken‘ seine Wahrnehmungen von der Welt (und sich selbst) ‚interpretiert‘. Anders gesagt: mit den Symbolen als Werkzeug schafft der Mensch eine Umgebung, die auf ihn zurückwirken kann, und mit Hilfe von der er die Welt interpretiert; eine bizarre ‚Rückkopplung‘. Dies ist keine genetisch-ontogenetisch vermittelte Koevolution sondern eine symbolisch vermittelte Koevolution ‚mit sich selbst‘; das ist eine neue Qualität. Der Mensch schafft sich in symbolischen Räumen ein Medium, das als dieses Medium auf sein Denken zurückwirkt und darin permanent sein Medium verändert.]
8) [Anmerkung: Verglichen mit der genetischen basierten Evolution ist diese Art von symbolischer Koevolution um Dimensionen schneller. Durch die ‚Ungleichzeitigkeit‘ von genetischer und symbolischer Koevolution ist ein massiver Konflikt vorprogrammiert: wird die schnellere symbolische Evolution die langsamere genetische Evolution letztlich strukturell verändern können (durch ‚Gentechnik‘) oder wird die symbolische Evolution durch Schaffung eines ‚künstlichen Geistes‘ die genetische Evolution überflüssig machen? ]
9) Diese These bedeutet im Fall der Sprache, dass es – nach Donald — nicht die Fähigkeit zum Sprechen als solche war, die zum Phänomen der Sprache in ihrem vollem Umfang geführt hat, sondern in der Bildung von ‚gedanklichen Gemeinschaften‘ (‚cognitive communities‘). Dies bedeutet, das Zusammensein und das Zusammenwirken von mehreren Menschen als solchen muss gegeben gewesen sein, damit sich aus einem elementaren ‚Sprechen‘ ein ‚Sprache‘ entwickeln konnte. (vgl. SS.252-254)
10) [Anmerkung: So suggestiv diese Formulierungen von Donald klingen mögen, so erscheint mir doch Vorsicht geboten. Wie schon das einfache Beispiel mit den beiden Nervenzellen A und B andeutete, die ein UND oder OR-Gatter realisieren: der einzelnen Zelle kann man dies Eigenschaft nicht ansehen. Noch kann man sagen, dass A sich nur so entwickeln konnte, weil es B gab (oder umgekehrt); in dem Falle reicht es aus, dass sowohl A als auch B bestimmte Grundeigenschaften besitzen, die in Kombination unterschiedliche Funktionen ‚zeigen‘. Das gleiche gilt für Atome; auch wenn man nicht sagt, dass Wasserstoff ‚H‘ sich bilden musste, weil es Sauerstoff ‚O‘ gab (oder umgekehrt), gilt, dass eine Kombination von ‚H‘ und ‚O‘ zu ‚H2O‘ möglich ist und dann in dieser Kombination ’neue‘ Eigenschaften zeigt. M.a.W. das Vorkommen von einzelnen Gehirnen im Rahmen einer Population bedeutet, dass die Gehirne ‚ihre eigene Umgebung‘ sind. Das Besondere wäre nicht die Umgebung als solche, sondern die Tatsache, dass Gehirne spezielle Eigenschaften besitzen, die, wenn sie auf ein anderes Gehirn treffen, ’sichtbar‘ werden. Im Falle der Sprache als einem vernetzten Beziehungssystem von ‚Sprachmaterial‘ (‚token‘) ‚Z‘, möglichem ‚intentionalem Gegenstand‘ ‚O'(‚real‘ oder ‚gedacht‘), ‚gewusster Bedeutungsbeziehung‘ ‚B: Z <---> O‘ und einem ’semiotischen System‘ ‚S‘ als Träger und Realisator dieser Bedeutungsbeziehungen, sind Gehirne in einem Körper – soweit wir sie kennen – die idealen Mediatoren für Sprache: Gehirne können intentionale Gegenstände O ‚repräsentieren‘, sie können Zeichenmaterial Z ‚produzieren‘, sie können beliebige Bedeutungsbeziehungen B realisieren, und sie können diese Fähigkeiten als dynamische Systeme kontinuierlich einsetzen. Dies bedeutet, die Präsenz von mindestens zwei Gehirnen bietet alle Voraussetzungen dafür, dass sich Sprache bilden kann. ]
11) [Anmerkung: Vor diesem Hintergrund erscheint es bemerkenswert, dass die Wissenschaft sich bislang so schwer tut, Sprachbildungsprozesse mit dem Computer nach zu vollziehen. Seit den pionierhaften Talking-Heads Experimenten eines Luc Steels sind wir nicht viel weiter gekommen (siehe Quellen unten) (vergleicht man die Forschungsmittel, die generell ausgegeben werden mit jenen, die für Forschungen zur künstlichen Intelligenz ausgegeben werden, so ist der Betrag für künstliche Intelligenz so niedrig, dass man ihn kaum in Prozenten ausdrücken kann. Aber ich bezweifle, ob es nur am Geld liegt.]
12) Das erste, was Kinder in solchen gedanklichen Gemeinschaften lernen müssen, das ist ein Satz von ‚reziproken Verhaltensmustern‘, in denen man sich wechselseitig der Aufmerksamkeit versichern kann. Dies wiederum geht nur, sofern die Gedächtnisstrukturen hinreichend differenziert sind. Objekte, Relationen, Strukturen, Rollen, Abläufe usw. müssen erinnert werden können; Selbstmodelle und Fremdmodelle, die Metareflexionen voraussetzen. Dies alles impliziert komplexe Lernprozesse, die wiederum Zeit brauchen und entsprechende soziale Umgebungen, die dazu beitragen, dass bestimmte Muster ’sozial einprogrammiert‘ werden. (vgl.SS.254-257)
13) [Anmerkung: Aufgrund des nachweisbaren Zusammenhangs zwischen bestimmten Umgebungseigenschaften Ei und bestimmten Eigenschaften Pi einer bestimmten Art Ai ist die Versuchung groß, diesen Zusammenhang ‚kausal‘ zu interpretieren, also im Sinne ‚weil‘ es Ei gibt, daher bildete sich Pi heraus. Mir scheint, dies ist – wenn überhaupt – höchstens die ‚halbe Wahrheit‘. Bedenkt man die Funktionsweise der genetischen basierten Evolution, so ist die primäre Quelle von möglichen Strukturen das Wechselspiel von Selbstreproduktion des genetischen Codes und der molekularen Übersetzung des Codes in Proteinstrukturen als Ontogenese. Dies bedeutet, dass – egal welche Umgebungseigenschaften jeweils gegeben sind – primär der verfügbare genetische Code und dessen molekulare Übersetzung darüber entscheidet, was sich überhaupt an Strukturen bilden kann. So könnte es grundsätzlich auch so sein, dass die Menge der genetisch bedingten Strukturen grundsätzlich nicht zu den umgebungsmäßig gegebenen Eigenschaften Ei passen würde. In diesem Fall könnten die Umgebungseigenschaften niemals ‚bewirken‘, dass sich ‚geeignete‘ Strukturen bilden. Der Eindruck von möglichen kausalen Zusammenhängen ist ‚beobachterabhängig‘ und eher ein ‚Artefakt des Denkens‘. Dass es zu scheinbaren ‚Anpassungen‘ kommen kann ist zwar ein ‚Auswahlprozesse‘ (Selektion‘), aber nicht in dem Sinne, dass die gegebenen Umgebungseigenschaften Ei aller erst die speziellen genetischen Eigenschaften Gi schaffen, die zu den phänotypischen Eigenschaften Pi führen, sondern weil der genetische und ontogenetische Prozess ‚von sich aus‘ die Eigenschaften Gi bereitstellen kann bzw. sie bereitgestellt hatte können diese dann ’selektiert‘ werden, weil jene Phänotypen, die aus diesen Gi hervorgegangen sind, mehr Nachkommen haben, als jene Phänotypen, die aus einem anderen Genotyp Gj hervorgegangen sind. Die Dramaturgie von geologischem Erdprozess und genetisch basierter Evolution ist damit in keiner Weise aufgeklärt; hier gibt es mehr Fragen als Antworten.‘]
14) Donald ergänzt seine Bemerkungen zum Gedächtnis dahingehend, dass er für das menschliche Gedächtnis postuliert, dass es die beobachtbaren Verhaltensleistungen nur unterstützen kann, wenn es in viele funktional differenzierte Bereich aufgegliedert ist, die parallel arbeiten können. So müssten wir grundsätzlich unterscheiden können zwischen ‚Selbst‘ und ‚Anderer‘, ‚Gegenwart‘, ‚Vergangenheit‘ und ‚Zukunft‘. (vgl. SS.257-259)
15) [Anmerkung: Es ist interessant, wie vage und allgemein die Aussagen zum Gedächtnis sind, obgleich doch gerade das Gedächtnis so zentral sein soll für die symbolisch vermittelte Kultur (ein ähnliches Phänomen war bei Norman zu beobachten. Auch bei ihm waren die Aussagen zum Gedächtnis sehr vage, plakativ, nicht durch harte empirische Modellbildung abgesicherten. Andererseits, wenn man sieht, wie schwer sich selbst die neuesten neurowissenschaftlichen Forschungen zum Raumgedächtnis und episodischen Gedächtnis tun, dann darf man Donald hier nicht zu hart kritisieren. Aber zumindest sollte er dann darauf hinweisen, dass es ziemlich spekulativ ist, was er da sagt…]

LITERATURHINWEISE

Steels, L.; Cooperation between distributed agents through self-organisation, Intelligent Robots and Systems ’90. ‚Towards a New Frontier of Applications‘, Proceedings. IROS ’90. IEEE International Workshop on, pp. 8 – 14 supl, 1990
Steels, Luc (1990) „Components of Expertise“ , AI Magazine Volume 11 Number 2 (1990), pp. 28-49.
Steels, L.; Mathematical analysis of behavior systems, From Perception to Action Conference, 1994., Proceedings, pp. 88 – 95, 1994
Steels, L.; A self-organizing spatial vocabulary, Artificial Life Journal, 2(3), pp. 319-332, 1995
Steels, L.; Language Games for Autonomous Robots, IEEE Intelligent Systems , Volume 16 Issue 5, pp.16 – 22, 2001
Steels, Luc; (2001) Grounding Symbols through Evolutionary Language Games. In: Cangelosi A. and Parisi D. (Eds.) Simulating the Evolution of Language Springer.
Steels, L.; Evolving grounded communication for robots, Trends in Cognitive Science 7(7), July 2003, pp.308 – 312
Steels, L.; Semiotic Dynamics for Embodied Agents, Intelligent Systems, IEEE, Volume: 21 , Issue: 3, pp. 32 – 38, 2006
Steels, L.; The Symbol Grounding Problem has been solved. So What’s Next?, In Glenberg, A.; Graesser, A.; Vega, M. de; (Eds.), Symbols, Embodiment, and Meaning, Oxford University Press, pp. 506-557, 2008
Steels, L.; Work on Symbol Grounding now needs concrete Experimentation, Intern. J. of Signs and Semiotic Systems, 1(1), pp. 57-58, 2011
Steels, Luc (2011) „Design Patterns in Fluid Construction Grammar“ , Amsterdam: John Benjamins Pub.
Steels, Luc (2011) „Modeling the cultural evolution of language.“ Physics of Life Reviews, 8(4) pp. 339-356.

Fortsetzung folgt in Teil 3.

Einen Überblick über alle bisherige Blogeinträge nach Titeln findet sich HIER.

KULTURELLE AUTOIMMUNREAKTIONEN? oder: KONTROLLWAHN UND DIE ANGST UM SICH SELBST


(Unter twitter bei ‚cagentartist‘))

1) Treffen die Überlegungen im Blogeintrag ‚EMERGING MIND – Mögliche Konsequenzen‘ zu, dann befinden wir uns im Jahr 2013 an einem Punkt der Entwicklung des Geistes auf der Erde, der einen sich andeutenden umfassenden kulturellen Umbruch markiert.
2) In der Geschichte des Lebens auf der Erde gab es viele solcher Umbruchzonen, wobei der Begriff ‚Umbruchzone‘ nicht unproblematisch ist; schließlich ist jeder Abschnitt in der bisherigen Entwicklung letztlich eine Umbruchphase. Es scheint aber so zu sein, dass man Phasen unterscheiden kann, in denen aus Sicht der Beteiligten anscheinend ‚Weniger‘ oder gar ‚Nichts‘ geschieht gegenüber solchen, wo die Umbrüche durch real stattfindenden Veränderungen offensichtlicher zu sein scheinen.
3) Beispiele für global sichtbar werdende Strukturumbrüche waren die zuvor genannten ’neuen Strukturen S‘, die sich zum Vorausgehenden deutlich abhoben (Von der Anfangs-Energie zu den Quanten, von den Quanten zu den Atomen, …., von den einzelnen Zellen zu organisierten Zellverbänden, … die Sesshaftwerdung mit Ackerbau und Stadtbildung, ….. Motorisierung des Verkehrs, …. Gemeinsame Datenräume durch das Internet….).
4) Neben diesen Änderungen, die sich in realen Strukturänderungen widerspiegeln, gab es aber auch Änderungen, die sich in den semiotischen Räumen, in den deutenden ‚Weltbildern‘ abspielten, die nicht minder ‚real‘ und ‚wirksam‘ waren. So führte das Aufkommen experimenteller und formaler Methoden in der Renaissance nicht nur zu neuen Detailansichten, nein, es entstanden neue Zusammenhänge, neue Deutungsmuster, die sich zu einem kognitiven, wissensmäßigen Gegensatz zu den bisherigen Deutungsmustern aufbauten, weltanschauliche Konflikte hervorriefen, die die damals Mächtigen (die katholische Kirche) meinten, mit ‚Gewalt‘ kontrollieren und unterdrücken zu müssen. Galilei als ein Repräsentant dieser neuen Gedankenwelt sollte sich verleugnen, sollte abschwören, doch ca. 100 Jahre später waren diese neuen, gefährlich erscheinenden Gedanken in vielfältiger Weise in die Öffentlichkeit vorgedrungen. Die Erde bewegt sich um die Sonne und das Weltall ist erheblich größer, als sich jeder zuvor vorstellen konnte.
5) Weitere Umbrüche in der Deutung der Welt folgten (geologisch die Erde als Teil eines größeren Veränderungsprozesses, die biologische Evolution, das Gehirn als Organ des Fühlens und Denkens abhängig von physikalisch-chemischen Prozessen, die alltägliche Wirklichkeit als Artefakt unseres Denkens verglichen mit den zugrunde liegenden molekularen, atomaren, quantenhaften Strukturen, usw.). Allerdings scheint es so zu sein, dass die Ausbildungsprozesse mit der Explosion dieses Wissens über die Welt und uns selbst immer weniger Schritt halten können. In der Alltagswelt heute durchdringen zwar immer mehr technische Produkte als Konsequenz des erweiterten Denkens unseren Lebensraum, aber man hat nicht den Eindruck, dass im gemeinsamen öffentlichen Denken dieses Wissen tatsächlich ‚angekommen‘ ist.
6) Während digital gespeichertes Wissen sich – zumindest im Prinzip – beliebig schnell in beliebigen Mengen überall hin kopieren lässt, sich rasant schnell nahezu beliebigen formalen Operationen unterziehen lässt, haben die menschlichen biologischen Gehirne eine ihnen eingeborene eigene Langsamkeit, Trägheit, Begrenztheit, die dem Entstehen und dem Verwandeln von Wissen im einzelnen einen natürlichen Widerstand entgegen setzen. Was immer ein Individuum A in einer Generation G(t) schon alles erkannt und gedacht haben mag, ein Individuum B aus Generation G(t’>t) weiß dies alles nicht, es sei denn, er durchläuft ähnliche mühsame Lernprozesse. Solche Lernprozesse sind aber nicht notwendig, nicht zwingend, verlaufen nicht automatisch, und sind in ihren möglichen Inhalten nicht wirklich voraussagbar: keine Lernumgebung kann sicher stellen, dass die Inhalte, die die Lernorganisatoren intendieren, auch tatsächlich so in einem lernenden Individuum ‚entstehen‘.
7) Es ist von daher nicht erstaunlich, dass in einer Gesellschaft mit immer ‚mehr‘ und immer ‚komplexeren‘ Wissen immer weniger Menschen in der Lage sind, das bereits schon zuvor errungene Wissen für sich selbst erneut ‚wieder zu entdecken‘ und ‚für sich nutzbar‘ zu machen. Historisch bekannt ist der Untergang der griechischen Denkwelt samt ihren Schriften, der in Europa dann gut 1000 Jahre zu einer ‚Verdunklung‘ des Wissens geführt hatte. Erst über den Umweg vom Griechischen zum Arabischen (das damals das Wissen der Welt in sich aufsog) und dann wieder ins Lateinischen kam das ‚Licht der Erkenntnis‘ wieder nach Mitteleuropa. Ein langwieriger Übersetzungs- und Lernprozess, der nur durch den Aufbau eines neuen Ausbildungssystems (Schulen, erste Universitäten, Abschreiben, Kopieren und Übersetzen vieler Schriften…) über viele Jahrhunderte den Wissensstand von vorher ‚rekonstruierte‘ und durch diese aktive Rekonstruktion dann auch weiter entwickelte.
8) Wir leben heute in einer Welt von bizarren Wissensgegensätzen: während wir einerseits über einen Wissensschatz verfügen, der differenzierter und größer ist als jemals zuvor, erleben wir zugleich, dass viele Menschen, die meisten (?), sich in ihrem Wissen fragmentiert erleben, unvollständig oder, noch schlimmer, dass sie heute Weltbilder pflegen und für wahr halten, die 1000, 2000 Jahre alt sind, die mehrfach widerlegt wurden, aber die sie benutzen, als ob es die aktuellen Wahrheiten sind. Dies betrifft nicht nur solche Menschen, die aufgrund ihrer Lebensumstände keine oder fast keine Ausbildung genießen konnten, sondern sogar solche die Abitur haben, die studiert haben, ja sogar solche, die einen Doktortitel erworben haben. Unsere Wissenslandschaft ist mittlerweile so komplex und zerklüftet, dass Menschen mit Doktortiteln auftreten können und den letzten ‚Unsinn‘ erzählen, ohne dass ihnen bewusst ist, dass dem so ist.
9) In dieser Situation macht es keinen Sinn, die einzelnen dafür haftbar zu machen (obgleich natürlich schon jeder bis zu einem gewissen Grad Verantwortung für sein eigenes Denken trägt), sondern man muss den Kontext berücksichtigen, innerhalb dessen jemand heute Denken kann bzw. muss. Aus Sicht einer modernen Lerntheorie scheint es so zu sein, dass die Rahmenbedingungen für ein individuelles Lernen schwieriger denn je sind. Die Vielfalt der Methoden und die ungeheure Fülle an Fakten sind von einem einzelnen biologischen Gehirn nicht mehr bewältigbar. Eine Situation, die ich vor vielen Jahren schon mal als ’negative Komplexität‘ bezeichnet hatte: Komplexität, die da ist, die aber von uns nicht mehr hinreichend verarbeitet werden kann.
10) In einer solchen Situation wird es für alle Entscheidungsträger – insbesondere auch politisch Verantwortliche – immer schwieriger, das ‚Richtige‘ zu tun. Die Angst, dass alles aus dem Ruder läuft, außer Kontrolle gerät, ist real. Die Versuchung, durch immer mehr ‚Kontrollen‘ dieser ‚Unübersichtlichkeit‘ Herr zu werden ist real gegeben, wird immer stärker. Bedenkt man nun, dass diejenigen Menschen, die in höhere Verwaltungs- und Entscheidungspositionen drängen, tendenziell eher egozentriert sind, machthungrig, ’nicht zimperlich‘, es mit der Wahrheit eher nicht so genau nehmen, usw., dann erstaunt es nicht, zu sehen, wie heute weltweit in immer mehr Staaten die führenden Politiker autokratische Züge entwickeln, Meinungsfreiheit mehr und mehr unterdrücken, Technik dazu benutzen, immer mehr Datenströme und Lebenszuckungen der Menschen zu kontrollieren, einfache (in der Regel falsche) Weltbilder favorisieren, sich auch in sogenannten demokratischen Gesellschaften die Mächtigen von ‚den anderen‘ durch immer mehr Pseudoprivilegien abzusondern trachten, sich die alten absolutistischen Klassen von ‚früher‘ neu bilden.
11) Diese Phänomene stehen in seltsamem Kontrast zur tatsächlichen globalen Entwicklung des Lebens. Sie repräsentieren ‚Rückfälle‘, eine Art von ‚Verweigerung der Zukunft‘, sind ‚Reflexe‘ des ‚alten‘ Menschen vor der anrückenden Zukunft, die von jedem einzelnen Menschen und dann von den Gemeinschaften mehr verlangt als jeder einzelne bislang gewohnt ist, zu geben. Ob diese Reflexe stärker sind als das Neue, ob der Prozess des Lebens auf der Erde durch diese Anti-Reflexe zum Scheitern kommt, ist offen. Die ungeheure Wucht des bisherigen Lebens-Prozesses im Universum und auf der Erde kann den Verdacht nähren, dass die immanenten Faktoren dieses Prozesses stärker sind als die Abwehrreflexe eines Stadiums von Leben, das zu überschreiten ist. Wirklich wissen tut es vermutlich niemand, wie auch.
12) Vom individuellen biologischen Körper kennen wir nicht nur das Immunsystem, das auf geradezu fantastische Weise praktisch in jeder Sekunde gewaltige Abwehrschlachten gegen Millionen und Milliarden von Mikroorganismen führt. Wir haben gelernt, dass dieses Immunsystem sich auch irren kann; dann fängt es an, körpereigene Zellen zu bekämpfen, eine sogenannte Autoimmunreaktion. Wenn man sich den Lebensprozess auf der Erde anschaut, wie sich tatsächlich weltweit momentan in fast allen Ländern die politisch Verantwortlichen gegen den Trend stellen, dann drängt sich unwillkürlich das Bild einer globalen kulturellen Autoimmunreaktion auf: die Verantwortlichen, die für das Wohl ihrer jeweiligen Gesellschaften verantwortlich sind, wenden sich gegen ihre eigenen Gesellschaften, indem sie sich selbst zu ernst nehmen und das kreative Potential der jüngeren Generation mehr oder weniger mit Füssen treten (was nicht heißt, dass es auch viele Jüngere gibt, die sich totalitären Weltbildern zugewandt haben, die nicht besser sind; woher sollen sie es auch wissen?).
13) In diesem Kontext spielen die sogenannten ‚Offenbarungsreligionen‘ (die bekanntesten sind das Judentum, das Christentum, und der Islam) eine zwielichtige Rolle. Insofern sie alle einen ‚heißen Kern‘ haben der auf einen allumfassenden Schöpfergott ausgerichtet ist, haben sie prinzipiell einen ‚Anschluss‘ an den Lebensprozess im Universum; insofern sie aber diesen heißen Kern mit allzu viel historischen Zufälligkeiten, allzu zeitgebundenem Menschlichen aus ihren Entstehungszeiten um diesen Kern herum gesponnen haben, ist die immanente Sprengkraft eines universalen Gottesbildes weitgehend ‚abgedunkelt‘ worden durch Dinge, die irreführend oder falsch sind und die in der Vergangenheit allzu oft für persönliche Machtspielchen missbraucht wurden. Die Unwissenheit von Menschen für persönliche Machtinteressen zu instrumentalisieren ist eines der größten Verbrechen, das ein Mensch begehen kann (ein Gedanke, der sich u.a. im Neuen Testament der Christen findet; dort wird es Jesus von Nazareth als Aussage zugeschrieben (viele der heutigen Zeitungen, Radiostationen und Fernsehsender mit ihren Verantwortlichen haben in dieser Hinsicht möglicherweise schlechte Karten….)).

Eine Übersicht über alle bisherigen Blogbeiträge nach titeln findet sich HIER.

EMERGING MIND – Mögliche Konsequenzen

Letzte Änderung: 9.April 2015, 12:10h – Minimale Korrekturen; Lesbarkeit verbessert durch Abstände; Zwischenüberschriften

1) Die ganzen Überlegungen zum ‚Emerging Mind‘ sind noch sehr anfangshaft, spekulativ. Andererseits, angesichts der vielen ungelösten Fragen, ohne diese Arbeitshypothese und die interessanten Zusammenhänge mit dieser Arbeitshypothese ist es eigentlich unmöglich, diese Arbeitshypothese nicht weiter zu denken. Fehler zeigten sich ja im allgemeinen am ehesten dann, wenn man versucht, eine Hypothese konsequent anzuwenden und sie auf diese Weise immer mehr ‚Überprüfungen‘ unterzieht.

EMPIRISCHES UNIVERSUM ALS FOLGE VON STRUKTUREN

2) Bisheriger Ausgangspunkt ist ja die Annahme einer Prozesskette S*(t+n) = f(S(t)) mit ‚t‘ als einem Zeitpunkt, ‚S‘ als einer identifizierbaren Struktur zu diesem Zeitpunkt und ‚f‘ als eines funktionalen Zusammenhanges, der die Struktur ‚S‘ in die Struktur ‚S*‘ überführt.

3) In vorausgehenden Einträgen hatte ich exemplarisch mögliche Strukturen identifiziert beginnend mit dem Energieausbruch E des BigBang, der dann in der nachfolgenden Abkühlung immer mehr Strukturen ‚hervorgebracht‘ (=f?) hat: Quanten [Q], Atome [At], Moleküle [Mol], usw. Man bekommt dann eine Prozesskette der Art EMPIRISCHER-KOSMOS = S_Q(t+n1) = f(S_E(0)), S_At(t+n1+n2) = f(S_Q(t+n1) ), usw. wobei die Energie eine Art ‚Nullstruktur‘ ist verglichen mit den folgenden Strukturausprägungen.

4) Bedenkt man ferner, dass jede Funktion ‚f‘ in der ‚Realität‘ eine ‚reale Abbildung‘ sein muss, d.h. eine ‚Operation‘, die ‚real etwas bewirkt‘, dann bedeutet dies, dass man parallel zu den Strukturen S_i(), die man zu verschiedenen Zeitpunkten unterscheiden kann, für die Veränderungsoperation ‚f‘ (von der noch unklar ist, ob es immer die ‚gleiche‘ ist), einen ‚Träger‘ annehmen muss, ein ‚Medium‘, das diese Ausführung ermöglicht. In der klassischen Makrophysik gibt es neben den unterscheidbaren Makrostrukturen ’nichts Konkretes‘, was als Träger in Frage kommt ausser den ‚beobachtbaren Kräften‘, die wir durch ihre spezifischen ‚Manifestationen‘ ‚indirekt‘ erkennen und die wir hypothetisch in Form von ‚Gesetzen‘ benennen und damit ‚dingfest‘ machen. Im Licht der Quantenphysik (was sich bislang vielleicht eher noch als ein ‚Halbdunkel‘ darstellt, das wir noch kaum verstehen…) muss man annehmen, dass die Wahrscheinlichkeitsfelder ihre Kohärenz immer wieder durch ‚Kräfte‘ verlieren, die dann zu den tatsächlich beobachtbaren Makroereignissen führen. Diese in der Quantenfeld lokalisierten hypothetischen Kräfte bieten sich als Kandidaten für den Operator ‚f‘ an, der die unterschiedlichen Strukturbildungen E → S_Q → S_At → … ermöglicht.

ENERGIE: EINMAL UND IMMER WIEDER

5) Neben vielen interessanten Aspekten ist bemerkenswert, dass diese Prozesskette EMPIRISCHER-KOSMOS bis zur Strukturform der Moleküle durch eine einmalige Energiezufuhr (’statisch‘) diese Strukturen erhält; jenseits der Moleküle S_Mol, ab der Strukturform ‚Zelle‘ S_Cell, benötigen diese komplexe Strukturen kontinuierlich eine beständige Zufuhr von Energie (‚dynamisch‘) in Form von chemisch gebundener Energie, die dann mittels Metabolismus ‚freigesetzt‘ und für verschiedene energieintensive Prozesse genutzt wird. Mit fortschreitender Komplexität der Strukturformen (Pflanzen, Tiere, Hominiden, …) wird der Aufwand immer grösser und die Formen von Energiegewinnung, -transport, -speicherung, -verwertung immer komplexer.

ENTSTEHUNG VON ZEICHEN INNERHALB DER MATERIE

6) Ferner ist bemerkenswert, dass bei fortschreitender Komplexität der Strukturformen sich solche molekular basierte Strukturen bilden können, die dann Repräsentationen auf einer höheren Ebene realisieren können, chemische Ereignisse, die als Zeichen funktionieren, die Bedeutungsbeziehungen realisieren können (= semiotischer Raum, Semiose, Zeichenprozesse). Damit ist es möglich, sich von der Konkretheit molekularer Strukturen in gewisser Weise zu befreien und im semiotischen Raum abstrakte Strukturen aufzubauen, die für beliebige Strukturen stehen können. Nicht nur lassen sich damit die vorfindlichen molekularen Strukturen ‚abbilden‘, ‚modellieren‘, sondern man kann mit ihnen ‚herumspielen‘, sie beliebig ‚variieren‘, ‚kombinieren‘, und damit den realen Augenblick ‚transzendieren‘. Im semiotischen Raum kann die reale Gegenwart durch eine erinnerbare Vergangenheit und eine potentielle Zukunft erweitert werden. Dieser Prozess ist schleichend und gewinnt in den höheren Säugetieren, bei den Hominiden und speziell beim homo sapiens sapiens einen vorläufigen Höhepunkt.

BESCHLEUNIGUNG DER KOMMUNIKATION

7) Seit der Verfügbarkeit des semiotischen Raumes innerhalb eines Systems kann man eine dramatische Beschleunigung in der Kommunikation und Koordinierung zwischen den Teilnehmern beobachten, Explosion an Werkzeug, Verfahren, Regeln, Organisation usw.

FLEXIBILISIERUNG DER ENERGIEZUFUHR

8) Die nächste grosse Revolution findet statt, als es gelingt, die molekül-basierten semiotischen Räume mit Hilfe von atomar-basierten Technologien in den wesentlichen Signal- und Zeicheneigenschaften zu kopieren (= Computer), so dass nun die Bildung von ‚künstlichen (technischen) semiotischen Räumen‘ möglich wurde, in Kombination mit einer globalen Vernetzung (= Computernetzwerke, Internet, WWW). Während molekül-basierte semiotische Räume chemisch gebundene Energie zu ihrem ‚Betrieb‘ benötigen, benötigen die atomar-basierten semiotischen Räume Energie in Form von technisch manipulierbaren Potentialunterschieden (= Elektrizität). Diese Form ist universeller und flexibler.

STEIGERUNG DER KOMPLEXITÄT

9) Seit der Verfügbarkeit von künstlichen — auf elektrischer Energie basierenden — semiotischen Räumen konnte die Komplexitätsentwicklung sowohl in ihrer inhärenten Komplexität wie auch in der Geschwindigkeit ihrer Entwicklungen weiter gesteigert werden.

MODIFIKATIONEN DES VERÄNDERUNGSOPERATORS

10) Interessant ist, dass der Veränderungsoperator ‚f‘ nun deutlich unterschieden werden kann. Während der Übergang von der Struktur ‚vor dem HS (‚homo sapiens‘)‘ – also etwa S_PreHs(t) – zur Struktur S_Hs(t+n) noch mit dem Operator ‚f‘ geschrieben werden kann S_Hs(t+n) = f(S_PreHs(t)) ist der Übergang von der Struktur S_Hs zu der neuen Struktur S_NetComp(t) von S_Hs vorgenommen worden, also S_NetComp(t+n) = f_hs(S_Hs(t+n)). Dies ist möglich, weil die impliziten semiotischen Räume von Hs die Definition von Operatoren ermöglichen, die dann ‚umgesetzt‘ werden können. Allerdings wird man wohl annehmen müssen, dass in diese Umsetzung f_hs wohl auch das allgemeine ‚f‘ mit eingeht, also genauer S_NetComp(t+n) = f_hs u f(S_Hs(t+n)).

11) Aktuell sind die künstlichen technischen Strukturen S_NetComp noch nicht in der Lage, sich selber zu vervielfältigen. Grundsätzlich ist nicht zu sehen, warum dies nicht eines Tages möglich sein sollte.

12) Klar ist allerdings, dass der Veränderungsoperator ‚f‘ nun als zusätzliche Teilkomponente f_NetComp enthält, also S_Future(t+n) = f u f_NetComp(S_Past(t)).

PROJEKTION IN DIE ZUKUNFT

13) So mächtig die Kombination ‚f u f_NetComp‘ wirkt, so fragil ist das Ganze. Würde aus irgendwelchen Gründen mal kein Strom verfügbar sein, dann würde S_NetComp vollständig ausfallen und damit würden schon heute weite Bereiche der ‚Zivilisation‘ weitgehend zusammenbrechen.

14) Ein weiterer Aspekt deutet sich an: aufgrund der heute verfügbaren Daten wissen wir, dass der aktuelle Körper des Menschen nur ein ‚Durchgangsstadium‘ markiert. Viele Millionen Jahre vorher sah dieser Körper anders aus und gehen wir weiter zurück, dann verlieren sich die heute bekannten Strukturen in immer fremdartigeren Formen, die kaum noch etwas mit der heutigen Gestalt zu tun haben. Umgekehrt müssen wir also davon ausgehen, dass sich – auch ohne unser Zutun – die aktuelle Körperform weiter verändern wird.

15) Dazu kommt der Aspekt, dass wir mittels des impliziten semiotischen Raumes wie auch durch die heute extern verfügbaren künstlichen semiotischen Räume samt hochentwickelter Werkzeuge den Umbau der aktuellen Körperformen aktiv betreiben könnten (und möglicherweise auch sollten?).

16a) Andererseits stellt sich aber die Grundsatzfrage, ob die Linie der molekülbasierten Körper überhaupt weiterverfolgt werden sollte. Die künstlichen semiotischen Räume mit der Energieversorgung durch flexiblen Strom bieten u.U. auf Dauer bessere Chancen, sich im Universum zu behaupten. Dies rührt dann aber an der Grundsatzfrage, ob die materielle Hülle einer Struktur (im Falle des HS sein molekülbasierter Körper) tatsächlich wichtig ist.

VERORTUNG DES GEISTES

16b) Wenn die Arbeitshypothese stimmt, dass die entscheidenden Operatoren ‚f‘ letztlich von den realisierten Strukturen unabhängig sind, sondern sich nur unter Verfügbarkeit solcher materieller Strukturen ‚zeigen‘, dann würde es für diese(n) Operator ‚f‘ egal sein, ob das ‚Medium‘ chemische Moleküle sind oder atombasierte Strukturen. Nicht das Medium repräsentiert den Geist, sondern der Geist wird anlässlich verfügbarer Strukturen ’sichtbar‘. Die Annahme wäre also etwa die, dass ‚Geist‘ subset E und ‚f‘ in ‚Geist‘ als dem vorab gegebenem ‚Medium‘ gründet; innerhalb von diesem Geist können Veränderungsoperatoren angewendet werden.

17) Der ‚Geist‘ wäre in diesem Sinne das (für uns) vorweg schon immer Gegebene, das quasi ‚Untötbare‘, und nur in dem Maße, wie es hinreichend geeignete Strukturen (welcher Art auch immer) gibt, kann sich dieser Geist durch seine ‚Wirkungen‘ (= Manifestationen, Ereignisse, Wirkungen, Phänomene) zeigen (für uns, die wir aktuell eine spezifische Struktur haben und mit dieser spezifischen Struktur nur ganz bestimmte Dinge erkennen können!!!).

18) Damit wäre jede bekannte Lebensform eine Form von ‚Geistesmanifestation‘, nur unterschiedlich differenziert. Niemand hätte einem anderen irgendetwas voraus.

19) Bizarre Ethiken, die aus dem darwinischen Evolutionsbegriff irgendwelche ‚Vorteile‘ herauszurechnen versuchten, würden sich – falls diese neue Arbeitshypothese stimmen würde – als sehr kurzsichtig erweisen. In der Evolution geht es nicht um das ‚Recht des Stärkeren‘, sondern um den Aufbau solcher komplexer Strukturen, die immer mehr von dem ‚Geist‘ sichtbar machen, der schon immer da ist und von dem jede partielle individuelle Struktur immer nur ein kleines Zipfelchen sichtbar machen kann. Klar ist in diesem Szenario auch, dass der einzelne als solcher keine grundlegende Bedeutung besitzt, höchstens in dem Sinne, dass er dazu beiträgt, das gemeinsame Ganze voran zu bringen. Der Kult um persönlichen Besitz, persönliche Macht, individuelle Schönheit und ‚Ruhm‘ hat hier keinen Platz. Er wirkt seltsam bizarr, fremdartig, lächerlich. Die Zukunft wird den symbiotischen Gemeinschaften gehören, wo die Fähigkeiten von jedem maximal entwickelt und in ein gemeinsames Ziel eingebunden werden können. Insofern bleibt Individualität wichtig, aber nur als Teil eines gemeinsamen Ganzen.

Siehe auch die neue Emerging Mind Webseite!

Einen Überblick über alle bisherigen Beiträge nach Titeln findet sich HIER.

DONALD A.NORMAN, THINGS THAT MAKE US SMART – Teil 4

Diesem Beitrag ging voraus Teil 3.

BISHER

In den vorausgehenden Teilen wurden bislang zwei Aspekte sichtbar: einmal die ‚Menschenvergessenheit‘ in der Entwicklung und Nutzung von Technologie sowie die Einbeziehung von ‚wissensunterstützenden Dingen‘ sowohl außerhalb des Körpers (physisch) wie auch im Denken selber (kognitiv). Ferner hatte Norman die Vielfalt des Denkens auf zwei ‚Arbeitsweisen‘ reduziert: die ‚erfahrungsorientierte‘ Vorgehensweise, ohne explizite Reflexion (die aber über ‚Training‘ implizit in die Erfahrung eingegangen sein kann), und die ‚reflektierende‘ Vorgehensweise. Er unterschied ferner grob zwischen dem Sammeln (‚accretion‘) von Fakten, einer ‚Abstimmung‘ (‚tuning‘) der verschiedenen Parameter für ein reibungsloses Laufen, Schreiben, Sprechen, usw., und einer Restrukturierung (‚restructuring‘) vorhandener begrifflicher Konzepte. Ferner sieht er in der ‚Motivation‘ einen wichtigen Faktor.

WEITER

1) Im folgenden Kapitel macht er nochmals deutlich, dass der menschliche Geist ohne externe Hilfsmittel sehr beschränkt, sehr hilflos ist. (vgl. S.43) Die primären erweiternden Technologien sieht er im Lesen (was Texte voraussetzt) und Schreiben (was Schreibmöglichkeiten voraussetzt, Zeichensysteme).(vgl. S.44). In diesem Sinne wiederholt Norman die These, dass es ‚Dinge‘ sind, die uns ‚intelligent machen‘ („It is things that make us smart“ (S.44)).
2) Mit Bezug auf Susan Noakes nimmt Norman an, dass es im Mittelalter unter den ‚Intellektuellen‘ üblich war, Geschriebenes (ergänzt um Gemaltes, Kommentiertes) nicht einfach ‚runter zu lesen‘, sondern mit dem Geschriebenen in einen Dialog zu treten, zu hinterfragen, zu befragen, zu kommentieren. (vgl. S.46)

REPRÄSENTATION

3) Norman wird dann konkreter. Ausgehend von der Kommunikation mittels Zeichen (’symbols‘) führt er die Unterscheidung ein zwischen dem Zeichenmaterial (Klang, Geste, Schriftzeichen,….) und dem, worauf es sich bezieht (‚refers to‘). In einer solchen Zeichenbeziehung kann man sagen, dass das Zeichenmaterial das Bezeichnete ‚repräsentiert‘ (‚represents‘). (vgl. S.47)
4) Zusätzlich zum repräsentierenden Zeichenmaterial und dem Bezeichneten führt Norman noch ein Drittes ein, die ‚Abstraktion‘ (‚abstraction‘). Unser Denken ‚abstrahiert‘ aus dem Wahrgenommenen einen Bündel von Eigenschaften, das dann kognitiv das auslösende Objekt repräsentiert, und auf dieses Abstraktum bezieht sich dann das Zeichenmaterial, also OBJ_real —> ABSTR_cogn —> ZCHN_real.(vgl. S.47) Allerdings können auch reale Objekte genutzt werden, um bestimmte Eigenschaften von anderen realen Objektven zu repräsentieren, also OBJ_real —> ABSTR_real —> ZCHN_real. (vgl. S.48) Wichtig ist, dass die Abstraktionen verschieden sind von den Objekten, die sie repräsentieren und dass sie Vereinfachungen darstellen, Hervorhebung von interessierenden Eigenschaften, die in gewissen Sinne Manipulationen zulassen, um mögliche potentielle Kombinationen dieser Eigenschaften rein gedanklich zu untersuchen.(vgl. S.49)
5) Norman differenziert dann nochmals weiter: er unterscheidet (i) zwischen der Welt, die repräsentiert werden soll (Objekte, Konzepte), (ii) einer Welt von Symbolen (= Zeichenmaterial), und (iii) einem Interpreten (I), der die Beziehung (‚relationships‘) zwischen dem Bezeichneten (O) und dem Bezeichnendem (S) verwaltet. Man müsste also minimal schreiben I: O —> S der Interpreter I bildet Objekte auf Symbole ab und umgekehrt I: S —> O. Wobei das gleiche Objekt o in O verschiedene s_i in S meinen kann und umgekehrt.(vgl. S.49f, S.259f).
6) [Anmerkung: Norman zitiert ja generell fast gar nicht die Quellen, die er benutzt. Hier ist es aber besonders ärgerlich, da er mit dieser Begrifflichkeit den Bereich der Semiotik (Semiotics) betritt, in dem es viele Publikation zum Thema gibt. Die von ihm benutzte Terminologie I,O,S findet sich ziemlich genau bei Peirce wieder, aber auch bei vielen anderen Semiotikern, z.B. Saussure oder Morris.]
7) [Anmerkung: Letztlich bleiben diese Begriffe aber alle etwas vage und unscharf. Das zeigt sich an vielen konkreten Beispielen. Wenn er z.B. eine Skizze als Repräsentation einer realen Szene (=O) als eine Art Modell (Mod(O)) benutzt, die auch in Abwesenheit der realen Szene benutzt werden kann (dann als S), um über die reale Szene zu sprechen. Andererseits kann die Skizze selbst ein Objekt (=O) sein, auf das andere Symbole (S) Bezug nehmen. Nur der jeweilige Interpreter (=I) kann entscheiden, welche Beziehung gerade vorliegt. Ebenso können wir uns von realen Szenen (=O) (oder auch von Skizzen von realen Szenen!) rein abstrakte Konzepte bilden, die diese Objekte repräsentieren (=Abstr(O)). Diese abstrakten Konzepte sind keine Symbole (S). Sie können aber in Abwesenheit von den realen Objekten als Quasi-Objekte für Symbole benutzt werden (z.B. verschiedene reale Objekte, die wir als ‚Stühle‘ bezeichnen erlauben die Bildung eines abstrakten Konzepts von ‚Stuhl_abstr‘. Die Bedeutung des Wortes (= Symbols) ‚Stuhl‘ ist dann kodiert in der Abstraktion ‚Stuhl_abstr‘ mit Bezug auf die auslösenden realen Stuhl-Objekte. Dies alles würde folgende Verallgemeinerung nahelegen: (i) es gibt ‚auslösende Objekte (O)‘, um Abstraktionen auszulösen, die entweder als reale Strukturen realisiert werden Abstr_real(O) oder als rein gedankliche, kognitive Abstraktionen Abstr_cog(O). Bei realen Abstraktionen Abstr_real(O) spricht man oft auch von ‚Modellen‘. Symbole (S) im Sinne von Zeichenmaterial kann sowohl auf reale Objekte direkt Bezug nehmen als I: S —> O oder – was im Falle der Sprache üblicher ist – indirekt durch Bezugnahme auf Abstraktionen I: O —> Abstr_x(O) und I: Abstr_x(O) —> S. In Grenzfällen kann eine reale Abstraktion Abstr_real(O), also ein Modell Abstr-real(O) = Mod(O), auch als Symbol für ein reales Objekt dienen, also I: Abstr_real(O) = S —> O. Hier eröffnen sich sehr viele weitere Fragen, auf die später noch eingegangen werden soll.]
8) [Anmerkung: Warum Norman ein Modell Mod(O) eines realen Objektes (O) nicht nur als ‚Repräsentation‘ des realen Objektes bezeichnet, sondern zugleich auch als ‚Metarepräsentation‘ (‚representation of a representation‘) erschließt sich mir nicht.(vgl. 51) ]
9) Andererseits gibt es natürlich die Möglichkeit, mit Hilfe von realen Abstraktionen (Skizzen, Diagrammen, Formeln,…) Zusammenhänge sichtbar zu machen und zu ’speichern‘, die ohne solche realen Abstraktionen nur schwer oder gar nicht ‚gedacht‘ werden könnten, und diese Abstraktionen können durch Bezugnahmen untereinander immer ‚höhere Ordnungen‘ (‚higher order‘) von Abstraktionen bilden.(vgl. S.51)
10) [Anmerkung: Diese Fähigkeit der Bildung von ‚Abstraktionen höherer Ordnung‘ setzt voraus, dass jede Abstraktion Abstr_x() zu einem ’neuen Objekt‘ wird, also zu einem ‚Objekt höherer Ordnung‘. Also O —> Abstr_x(O) = O1 —> Abstr_x(O1) = O2 … . In der Tat zeigt die Erfahrung, dass solche Abstraktionsketten ohne Hilfsmittel, ohne Artefakte, vom normalen Gehirn nicht bewältigt werden können.]
11) Auf den SS.53-75 beschreibt Norman dann anhand einer Reihe von Beispielen (game of 15, ticktacktoe, airline schedules, medical prescriptions, numbers, diagrams) weitere Aspekte von realen Abstraktionen, die gedacht sind, wichtige Eigenschaften von Objekten (O) als Abstr_real(O) zu repräsentieren. Reale Abstraktionen Abstr_real(O), die die Eigenschaften unserer sensorischen Wahrnehmung gut ausnutzen, können leichter verarbeitet werden, als wenn sie diesen entgegen stehen. Dies gilt aber nur dann, wenn die reale Abstraktion mit ihren konkreten Eigenschaften mit den wichtigen Eigenschaften des abzubildenden Objektes (O) gut übereinstimmen.

Fortsetzung folgt mit Teil 5.

LITERATURVERWEISE

Susan Noakes, Timely Reading: Between Exegesis and Interpretation. Ithaca, N.Y., and London: Cornell University Press, 1988. Pp. xv,

Eine Übersicht über alle bisherigen Blogeinträge nach Titeln findet sich HIER.

REDUKTIONISMUS, EMERGENZ, KREATIVITÄT, GOTT – S.A.Kauffman – Teil 5

Vorheriger Beitrag Teil 4

Letzte Änderung (mit Erweiterungen): 12.April 2013, 06:26h

ALLGEMEINE EINSCHÄTZUNGEN ZU SEELE, GEIST UND WISSENSCHAFTEN

1. Im nächsten Kapitel ‚Mind‘ (etwa ‚Geist‘ (es gibt keine eindeutigen begrifflichen Zuordnungen in diesem Fall)) (SS.177-196) handelt Kauffman vom ‚Geist‘ des Menschen einschließlich dem besonderen Aspekt ‚(Selbst-)Bewusstsein‘ (‚consciousness‘) mit jenen Beschreibungsversuchen, die er für nicht zutreffend hält. Es folgt dann ein Kapitel ‚The Quantum Brain‘ (etwa ‚Das Quantengehirn‘) (SS.197-229), in dem er seine mögliche Interpretation vorstellt. Seine eigene Grundüberzeugung stellt er gleich an den Anfang, indem er sagt, dass der menschliche Geist (i) nicht ‚algorithmisch‘ sei im Sinne eines berechenbaren Ereignisses, sondern (ii) der Geist sei ‚Bedeutung und tue Organisches‘ (‚is a meaning and doing organic system‘). (iii) Wie der Geist Bedeutung erzeuge und sein Verhalten hervorbringe, das sei jenseits der aktuellen wissenschaftlichen Erklärungsmöglichkeiten.(vgl. S.177)
2. [Anmk: Seiner grundsätzlichen Einschätzung, dass eine vollständige wissenschaftliche Erklärung bislang nicht möglich sei (iii), kann ich nur zustimmen; wir haben mehr Fragen als Antworten. Die andere Aussage (ii), dass Geist ‚is a meaning and doing organic system‘, ist schwierig zu verstehen. Was soll es heißen, dass der Geist (‚mind‘) ‚doing organic system‘? Hier kann man nur raten. Ein sehr radikaler Interpretationsversuch wäre, zu sagen, dass der ‚Geist‘ etwas ist, was die Entstehung von organischen Systemen ermöglicht. Damit würde Geist fast schon zu einem ‚inneren Prinzip der Materie‘. Aus den bisherigen Ausführungen von Kauffmann gäbe es wenig Anhaltspunkte, das zu verstehen. Die andere Aussage (i), dass ‚Geist‘ (‚mind‘) ‚Bedeutung‘ sei, ist ebenfalls nicht so klar. Die Standardinterpretation von ‚Bedeutung‘ wird von der Semiotik geliefert. Innerhalb der Semiotik ist aber speziell der Begriff der Bedeutung, wie man sehr schnell sehen kann keinesfalls einfach oder klar. Ohne eine eigene Theorie verliert man sich in den historisch gewachsenen Verästelungen. Es gibt eine Vielzahl von Denkversuchen, die sich nicht auf einen gemeinsamen Denkrahmen zurückführen lassen. Die Geschichte der Ideen ist generell ein faszinierendes Phänomen ohne eine zwingende Logik. Die muss man sich selbst erarbeiten.]

ALGORITHMISIERUG VON GEIST

3. Auf den Seiten 178-182 zählt er einige wichtige Personen und Konzepte auf, die der Begriff ‚algorithmisch‘ in seiner historischen Entwicklung konnotiert. Da ist einmal Turing, der ein mathematisches Konzept von ‚Berechenbarkeit‘ gefunden hat, das bis heute die Grundlage für alle wichtigen Beweise bildet. Daneben von Neumann, der ’nebenher‘ eine Architektur für reale Computer erfunden hat, die als Von-Neumann-Architektur zum Ausgangspunkt der modernen programmierbaren Computers geworden ist. Ferner stellt er McCulloch vor und Pitts. McCulloch und Pitts gelten als jene, die als erstes eine erfolgreiche Formalisierung biologischer Nervenzellen durchgeführt haben und mit ihren McCulloch-Pitts Neuronen das Gebiet der künstlichen neuronalen Zellen begründeten. Das Besondere am frühen Konzept von McCulloch-Pitts war, dass sie nicht nur ein formales Modell von vernetzten künstlichen Neuronen definierten, sondern dass sie zusätzlich eine Abbildung dieser Neuronen in eine Menge formaler Aussagen in dem Sinne vornahmen, dass ein Neuron nicht nur eine Prozesseinheit war mit dem Zustand ‚1‘ oder ‚0‘, sondern man ein Neuron zugleich auch als eine Aussage interpretieren konnte, die ‚wahr‘ (‚1‘) sein konnte oder ‚falsch‘ (‚0‘). Damit entstand parallel zu den ‚rechnenden‘ Neuronen – in einer ’symbolischen‘ Dimension – eine Menge von interpretierten logischen Aussagen, die man mit logischen Mitteln bearbeiten konnte. Kauffman diskutiert den Zusammenhang zwischen diesen drei Konzepten nicht, stellt dann aber einen Zusammenhang her zwischen dem Formalisierungsansatz von McCulloch-Pitts und seinem eigenen Konzept eines ‚Boolschen Network Modells‘ (‚Boolean network model‘) aus Kapitel 8 her [hatte ich im Detail nicht beschrieben][Anmerkung: Vor einigen Jahren hatte ich mal versucht, die Formalisierungsansätze von McCulloch und Pitts zu rekonstruieren. Sie benutzen die Logik, die damals Carnap entwickelt hatte, erweitert um den Faktor Zeit. Mir ist keine konsistente Rekonstruktion gelungen, was nicht viel besagen muss. Möglicherweise war ich zu dumm, zu verstehen, was Sie genau wollen.]
4. Sowohl am Beispiel des ‚rechnenden Neurons‘ (was Kauffman und viele andere als ’subsymbolisch‘ bezeichnen) wie auch am Beispiel der interpretierten Aussagen (die von Kauffman als ’symbolisch‘ bezeichnete Variante) illustriert Kauffman, wie diese Modelle dazu benutzt werden können, um sie zusätzlich in einer dritten Version zu interpretieren, nämlich als ein Prozessmodell, das nicht nur ‚Energie‘ (‚1‘, ‚0‘) bzw. ‚wahr’/ ‚falsch‘ verarbeitet, sondern diese Zustände lassen sich abbilden auf ‚Eigenschaften des Bewusstseins‘, auf spezielle ‚Erlebnisse‘, die sich sowohl als ‚elementar’/ ‚atomar‘ interpretieren lassen wie auch als ‚komplex’/ ‚abstrahiert‘ auf der Basis elementarer Erlebnisse. (vgl. S.180f)
5. [Anmerkung: Diese von Kauffman eingeführten theoretischen Konzepte tangieren sehr viele methodische Probleme, von denen er kein einziges erwähnt. So muss man sehr klar unterscheiden zwischen dem mathematischen Konzept der Berechenbarkeit von Turing und dem Architekturkonzept von von Neumann. Während Turing ein allgemeines mathematisches (und letztlich sogar philosophisches!) Konzept von ‚endlich entscheidbaren Prozessen‘ vorstellt, das unabhängig ist von irgend einer konkreten Maschine, beschreibt von Neumann ein konkrete Architektur für eine ganze Klasse von konkreten Maschinen. Dass die Nachwelt Turings mathematisches Konzept ‚Turing Maschine‘ genannt hat erweckt den Eindruck, als ob die ‚Turing Maschine‘ eine ‚Maschine sei. Das aber ist sie gerade nicht. Das mathematische Konzept ‚Turing Maschine‘ enthält Elemente (wie z.B. ein beidseitig unendliches Band), was niemals eine konkrete Maschine sein kann. Demgegenüber ist die Von-Neumann-Architektur zu konkret, um als Konzept für die allgemeine Berechenbarkeit dienen zu können. Ferner, während ein Computer mit einer Von-Neumann-Architektur per Definition kein neuronales Netz ist, kann man aber ein neuronales Netz auf einem Von-Neumann-Computer simulieren. Außerdem kann man mit Hilfe des Turing-Maschinen Konzeptes untersuchen und feststellen, ob ein neuronales Netz effektiv entscheidbare Berechnungen durchführen kann oder nicht. Schließlich, was die unterschiedlichen ‚Interpretationen‘ von neuronalen Netzen angeht, sollte man sich klar machen, dass ein künstliches neuronales Netz zunächst mal eine formale Struktur KNN=[N,V,dyn] ist mit Mengen von Elementen N, die man Neuronen nennt, eine Menge von Verbindungen V zwischen diesen Elementen, und einer Übergangsfunktion dyn, die sagt, wie man von einem aktuellen Zustand des Netzes zum nächsten kommt. Diese Menge von Elementen ist als solche völlig ’neutral‘. Mit Hilfe von zusätzlichen ‚Abbildungen‘ (‚Interpretationen‘) kann man diesen Elementen und ihren Verbindungen und Veränderungen nun beliebige andere Werte zuweisen (Energie, Wahr/Falsch, Erlebnisse, usw.). Ob solche Interpretationen ’sinnvoll‘ sind, hängt vom jeweiligen Anwendungskontext ab. Wenn Kauffman solche möglichen Interpretationen aufzählt (ohne auf die methodischen Probleme hinzuweisen), dann sagt dies zunächst mal gar nichts.]

GEHIRN ALS PHYSIKALISCHER PROZESS

6. Es folgt dann ein kurzer Abschnitt (SS.182-184) in dem er einige Resultate der modernen Gehirnforschung zitiert und feststellt, dass nicht wenige Gehirnforscher dahin tendieren, das Gehirn als einen Prozess im Sinne der klassischen Physik zu sehen: Bestimmte neuronale Muster stehen entweder für Vorgänge in der Außenwelt oder stehen in Beziehung zu bewussten Erlebnissen. Das Bewusstsein hat in diesem Modell keinen ‚kausalen‘ Einfluss auf diese Maschinerie, wohl aber umgekehrt (z.B. ‚freier Wille‘ als Einbildung, nicht real).
7. [Anmk: Das Aufzählen dieser Positionen ohne kritische methodische Reflexion ihrer methodischen Voraussetzungen und Probleme erscheint mir wenig hilfreich. Die meisten Aussagen von Neurowissenschaftlern, die über die Beschreibung von neuronalen Prozessen im engeren Sinne hinausgehen sind – vorsichtig ausgedrückt – mindestens problematisch, bei näherer Betrachtung in der Regel unhaltbar. Eine tiefergreifende Diskussion mit Neurowissenschaftlern ist nach meiner Erfahrung allerdings in der Regel schwierig, da ihnen die methodischen Probleme fremd sind; es scheint hier ein starkes Reflexions- und Theoriedefizit zu geben. Dass Kauffman hier nicht konkreter auf eine kritische Lesart einsteigt, liegt möglicherweise auch daran, dass er in den späteren Abschnitten einen quantenphysikalischen Standpunkt einführt, der diese schlichten klassischen Modellvorstellungen von spezifischen Voraussetzungen überflüssig zu machen scheint.]

KOGNITIONSWISSENSCHAFTEN; GRENZEN DES ALGORITHMISCHEN

8. Es folgt dann ein Abschnitt (SS.184-191) über die kognitiven Wissenschaften (‚cognitive science‘). Er betrachtet jene Phase und jene Strömungen der kognitiven Wissenschaften, die mit der Modellvorstellung gearbeitet haben, dass man den menschlichen Geist wie einen Computer verstehen kann, der die unterschiedlichsten Probleme ‚algorithmisch‘, d.h. durch Abarbeitung eines bestimmten ‚Programms‘, löst. Dem stellt Kauffman nochmals die Unentscheidbarkeits- und Unvollständigkeitsergebnisse von Gödel gegenüber, die aufzeigen, dass alle interessanten Gebiete der Mathematik eben nicht algorithmisch entscheidbar sind. Anhand der beiden berühmten Mathematiker Riemann und Euler illustriert er, wie deren wichtigsten Neuerungen sich nicht aus dem bis dahin Bekanntem algorithmisch ableiten ließen, sondern auf ‚kreative Weise‘ etwas Neues gefunden haben. Er zitiert dann auch die Forschungen von Douglas Medin, der bei seinen Untersuchungen zur ‚Kategorienbildung‘ im menschlichen Denken auf sehr viele ungelöste Fragen gestoßen ist. Wahrscheinlichkeitstheoretische Ansätze zur Bildung von Clustern leiden an dem Problem, dass sie nicht beantworten können, was letztlich das Gruppierungskriterium (‚Ähnlichkeit‘, welche?) ist. Aufgrund dieser grundsätzlichen Schwierigkeit, ‚Neues‘, ‚Innovatives‘ vorweg zu spezifizieren, sieht Kauffman ein grundsätzliches Problem darin, den menschlichen Geist ausschließlich algorithmisch zu definieren, da Algorithmen – nach seiner Auffassung – klare Rahmenbedingungen voraussetzen. Aufgrund der zuvor geschilderten Schwierigkeiten, solche zu bestimmten, sieht er diese nicht gegeben und folgert daraus, dass die Annahme eines ‚algorithmischen Geistes‘ unzulänglich ist.
9. [Anmk: Die Argumente am Beispiel von Goedel, Riemann, Euler, und Medin – er erwähnte auch noch Wittgenstein mit den Sprachspielen – würde ich auch benutzen. Die Frage ist aber, ob die Argumente tatsächlich ausreichen, um einen ‚algorithmischen Geist‘ völlig auszuschliessen. Zunächst einmal muss man sich klar machen, dass es ja bislang überhaupt keine ‚Theorie des Geistes an sich‘ gibt, da ein Begriff wie ‚Geist‘ zwar seit mehr als 2500 Jahren — betrachtet man nur mal den europäischen Kulturkreis; es gibt ja noch viel mehr! — benutzt wird, aber eben bis heute außer einer Unzahl von unterschiedlichen Verwendungskontexten keine einheitlich akzeptierte Bedeutung hervorgebracht hat. Dies hat u.a. damit zu tun, dass ‚Geist‘ ja nicht als ‚direktes Objekt‘ vorkommt sondern nur vermittelt in den ‚Handlungen‘ und den ‚Erlebnissen‘ der Menschen in unzähligen Situationen. Was ‚wirklich‘ mit ‚Geist‘ gemeint ist weiß insofern niemand, und falls doch, würde es allen anderen nichts nützen. Es gibt also immer nur partielle ‚Deutungsprojekte‘ von denen die kognitive Psychologie mit dem Paradigma vom ‚Geist‘ als ‚Computerprogramm‘ eines unter vielen ist. Hier müsste man dann nochmals klar unterscheiden, ob die psychologischen Modelle explizit einen Zusammenhang mit einer zugrunde liegenden neuronalen Maschinerie herstellen oder nicht. Versteht man die wissenschaftliche Psychologie als ein ‚empirisches‘ Deutungsprojekt, dann muss man annehmen, dass sie solch einen Zusammenhang explizit annimmt. Damit wäre ein algorithmisches Verhalten aus der zugrunde liegenden neuronalen Maschinerie herzuleiten. Da man nachweisen kann, dass ein neuronales Netz mindestens so rechenstark wie eine Turingmaschine ist, folgt daraus, dass ein neuronales Netzwerk nicht in allen Fällen algorithmisch entscheidbar ist (Turing, 1936, Halteproblem). Dies bedeutet, dass selbst dann, wenn der menschliche Geist ‚algorithmisch‘ wäre, daraus nicht folgt, dass er alles und jedes berechnen könnte. Andererseits, wie wir später sehen werden, muss man die Frage des Gehirns und des ‚Geistes‘ vermutlich sowieso in einem ganz anderen Rahmen bedenken als dies in den Neurowissenschaften und den Kognitionswissenschaften bislang getan wird.]

GEIST OPERIERT MIT ‚BEDEUTUNG‘

10. Es folgen (SS.192-196) Überlegungen zur Tatsache, dass der ‚Geist‘ (‚mind‘) mit ‚Bedeutung‘ (‚meaning‘) arbeitet. Welche Zeichen und formale Strukturen wir auch immer benutzen, wir benutzen sie normalerweise nicht einfach ’nur als Zeichenmaterial‘, nicht nur rein ’syntaktisch‘, sondern in der Regel im Kontext ‚mit Bezug auf etwas anderes‘, das dann die ‚Bedeutung‘ für das benutzte Zeichenmaterial ausmacht. Kauffman bemerkt ausdrücklich, dass Shannon in seiner Informationstheorie explizit den Aspekt der Bedeutung ausgeschlossen hatte. Er betrachtete nur statistische Eigenschaften des Zeichenmaterials. Ob ein Zeichenereignis eine Bedeutung hat bzw. welche, das muss der jeweilige ‚Empfänger‘ klären. Damit aber Zeichenmaterial mit einer möglichen Bedeutung ‚verknüpft‘ werden kann, bedarf es eines ‚Mechanismus‘, der beides zusammenbringt. Für Kauffman ist dies die Eigenschaft der ‚Agentenschaft‘ (‚agency‘). Wie der menschliche Geist letztlich beständig solche neuen Bedeutungen erschafft, ist nach Kauffman bislang unklar.
11. Es folgen noch zwei Seiten Überlegungen zur Schwierigkeit, die nichtlineare Relativitätstheorie und die lineare Quantentheorie in einer einzigen Theorie zu vereinen. Es ist aber nicht ganz klar, in welchem Zusammenhang diese Überlegungen zur vorausgehenden Diskussion zum Phänomen der Bedeutung stehen.

Fortsezung mit Teil 6.

Ein Überblick über alle bisherigen Blogeinträge nach Titeln findet sich HIER