Archiv der Kategorie: Bedeutungsbeziehung

AVICENNAS ABHANDLUNG ZUR LOGIK – BLITZÜBERSICHT

Allgemein, Allquantor, Alltagssprache, Analytisch, Annahme, Art (Spezies), Ausdruck, Ausdruck - einfacher, Ausdruck - sprachlicher, Ausdruck - zusammengesetzter, Aussage, Aussagetypen, Außenraum zum Körper, Außenwelt, Avicenna, Bedeutung, Bedeutung - akzidentell, Bedeutung - empirisch, Bedeutung - kontingent, Bedeutung - wesentliche, Bedeutung eines Wortes, Bedeutungsbeziehung, Bedeutungskorrelat, Bedeutungsraum, Begriffe, Definiendum, Definiens, Definition, Definition - explitite, Definition - rekursive, Definition - simultane, Denken, Eigenschaft, Erinnerung, Evolution - biologische, Evolution - kognitive, Externe Welt, Folgern - logisches, Folgerung, Logik, Logik - Alltag, Logik - Antike, Logik - formale, Prädikat, Prämisse, Subjekt, Subjekt - logisches, Syllogismus, Syllogismus - Konjunktiver, Term

(Letzte Änderung 14.Okt.2014, 06:11h )

Da die rekonstruierende Lektüre zu Avicennas Abhandlung zur Logik ein immer größeres Ausmaß annimmt, erweist sich die Methode, jeden einzelnen Beitrag mit einem Überblick über die vorausgehenden Beiträge einzuleiten, als immer weniger praktikabel. Deswegen wird jetzt ein eigener Blogeintrag als Referenzpunkt für diesen Überblick gewählt. Dies bedeutet, dass künftig alle nachfolgenden Beiträge einleitend (für die ‚Vorgeschichte‘), auf diesen Blogeintrag verweisen werden. Es ist zu beachten, dass diese Übersicht nur eine Übersicht über die wichtigsten Begriffe und Themen ist ohne alle Details und normalerweise auch ohne die ausführliche Diskussion von Avicennas Gedanken. Diese finden sich nur in den Blogeinträgen selbst, auf die verwiesen wird.

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.

2. 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.

3. 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.

4. 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.

5. 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.

6. 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.

7. Im folgenden Abschnitt AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 7 beschreibt Avicenna syntaktisch zusammengesetzte, aber semantisch einfache Ausdrücke. Innerhalb der Ausdrücke unterscheidet er die Teileausdrücke ‚Name‘, ‚Verb‘ und ‚Präposition‘. Die unterschiedliche Charakterisierung erfolgt nicht aufgrund der syntaktischen Form, sondern aufgrund der semantischen Eigenschaften, die mit diesen Ausdrücken verbunden werden. Neben dem Objektbezug, der die eigentliche Bedeutung fundiert, gibt es im Bedeutungsraum auch noch den zeitlichen und den räumlichen Aspekt. Das Zusammenspiel von Bedeutung und Ausdruck wird angerissen.

8. Im Abschnitt AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 8 geht es um solche Ausdrücke E, die ‚Aussagen‘ P sind, von denen man sagt, dass sie ‚wahr‘ oder ‚falsch‘ seien. Aussagen sind eine echte Teilmenge aller Ausdrücke, $latex P \subset E$. Avicenna unterscheidet drei Arten von Aussagen: ‚kategorische‘ Aussagen, ‚Disjunktiv-konditionelle‘ und ‚Konjunktiv-konditionelle‘. Es wird ausführlich eine mögliche Wahrheitstheorie für die Zuschreibung ‚wahr’/ ‚falsch‘ diskutiert. Dann werden nochmals die Aussagetypen näher untersucht. Ein Zusammenhang mit der modernen Aussagenlogik wird hergestellt. Disjunktion, Konjunktion (und ergänzend) Implikation) sind Aussagetypen, die aus zwei Teilausdrücken A und B bestehen, die selbst wieder Aussagen sind, die wahr oder falsch sein können. Die beiden Teilausdrücke A und B werden dann durch die Teilausdrücke (oder), (und) sowie (wenn)-(dann)- verknüpft. Sie unterscheiden sich dadurch, wie der Wahrheitswert des Gesamtausdrucks von der Verteilung der Wahrheitswerte auf die Teilausdrücke festgelegt ist. Die Teilausdrücke (oder), (und) sowie (wenn)-(dann)- nennt man später dann auch ‚aussagenlogische Operatoren‘. Der Aussagetyp ‚kategorisierend‘ passt nicht in dieses Schema. Der Aussagetyp ‚kategorisierend‘ ist eine Aussage A, die wahr oder falsch sein kann unabhängig von irgendeinem aussagenlogischen Operator. Auch wird die Verneinung/ Negation diskutiert. Ausdrücke wie (Etwas)(ist nicht)(dies)(oder)(jenes) wurden rekonstruiert als $latex \neg(A)(oder)(B)$ mit dem Zeichen $latex \neg$ für ’nicht‘ oder ‚es ist nicht der Fall, dass‘.

9. Im Abschnitt AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 9 kommt Avicenna auf mehrere Begriffspaare zu sprechen, die sich z.T. mit Themen berühren, die er schon vorher besprochen hat, z.T. neue Aspekte thematisieren, die nicht so ohne weiteres mit dem bisher Gesagten harmonieren. Es handelt sich z.B. um die Begriffe ‚Kategorisch‘, ‚Negation‘, ‚Universal‘, ‚Partikulär‘, die aber jetzt mit neuen Randbedingungen nochmals diskutiert werden. So stellt er die Frage, wann ‚kategorischen‘ (‚kategorisierenden‘) Aussagen ‚affirmativ‘ und wann sie ’negativ‘ sind. Ferner führt er neben den bisherigen die semantisch motivierten Begriffe ‚Name‘, ‚Verb‘ (auch ‚Term‘ genannt), sowie ‚Präposition‘ nun auch das Begriffspaar ‚Subjekt‘ und ‚Prädikat‘. Auch diese sind ’semantisch‘ motiviert, d.h. nur durch Rückgriff auf die Bedeutung kann man zur Klassifikation ‚Subjekt‘ bzw. ‚Prädikat‘ kommen. In den soeben erwähnten Kontexten wie auch in nachfolgenden Beispielen diskutiert Avicenna auch die Begriffe ‚affirmativ‘ und ’negativ‘. Zwischendrin bemerkt er auch mal, dass das Treffen einer Feststellung, eigentlich nur Sinne mache, wenn dasjenige, von dem etwas ausgesagt wird, auch existiere. Doch wird dieser Punkt nicht weiter diskutiert. Vom Subjekt einer Aussage sagt Avicenna, dass es partikulär‘ oder ‚universell‘ sein kann. Falls universell, dann kann man unterscheiden, ob sie ‚unbestimmt‘ (engl.: ‚indeterminate‘) ist – wie viele genau involviert sind — oder eben ‚bestimmt‘ (engl.: ‚determinate‘). Ferner illustriert er am Beispiel der kategorisierenden Aussagen auch die Begriffe ’notwendig‘ und ‚kontingent‘. Diese Verwendung der Begriffe stimmt überein mit den zuvor eingeführten Begriffe ‚wesentlich‘ und ‚akzidentell‘. Auch erwähnt Avicenna den Begriff ‚möglich‘. Er sieht mindestens zwei Verwendungsweisen von ‚möglich‘: In der Diskussion dieses Abschnitts werden einerseits einige Widersprüchlichkeiten in den Ausführungen Avicennas sichtbar gemacht, andererseits wird die Rekonstruktion einer möglichen systematischen Theorie zur Logik Avicennas fortgesetzt. Die wichtigsten Kritikpunkte kreisen um das Begriffspaar ‚affirmativ – negativ‘ mit der Kritik, dass beide Begriffe auf unterschiedlichen semantischen Ebenen liegen. Ferner widerspricht die Handhabung der Quantoren durch Avicenna der allgemeinen Verwendung.

10. Im Abschnitt AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 10 diskutiert Avicenna seine Begriffe ‚Konjunktives‘ und ‚Disjunktives Konditional‘ unter verschiedensten Aspekten. Einige davon sind die Quantoren (wobei er auch Quantoren über die Zeit benutzt!), das Begriffspaar ‚Antezedenz – Konsequenz‘, der Begriff der ‚Harmonie‘, und wiederholt die Aspekte ‚Existenz‘, ‚Affirmation‘ sowie ‚Bestimmt/ Unbestimmt‘. Alle diese Aspekte werden in diesem Blogeintrag schon ein wenig ‚vorsortiert‘, um dann im nachfolgenden Blogeintrag weiter rekonstruierend diskutiert zu werden.

11. Im Abschnitt AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 11 erfolgt eine ‚rekonstruierende Diskussion‘ von Avicennas Überlegungen aus Blogeintrag 10. Seine Überlegungen werden aufgegriffen und in einen theoretischen Rahmen eingeordnet, der es erlaubt, die Begriffe schärfer zu fassen und sie dadurch besser voneinander abzugrenzen. Nach einer Übersicht über die Struktur der Aussagen erfolgt dann eine Rekonstruktion von Bedeutungszuordnungen und eine Erklärung von Begriffen wie ‚wahr’/ ‚falsch‘, ‚Existenz‘, und ‚möglich‘.

12. Im Abschnitt AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 12 diskutiert Avicenna den Fall widersprüchlicher Aussagen. Gemessen an dem bisher Gesagten bringt er in diesem Abschnitt keine neuen Aspekte ins Spiel. Wohl aber bietet dieser Abschnitt weitere Beispiele für sein Auffassung des Sachverhalts. Sie belegen, wie schwer er sich durchgängig damit tut, in dem unscharfen Wechselspiel von Ausdrucksseite und Bedeutungsseite eine konstante Verwendungsweise seiner Begriffe durchzuhalten. In diesem Blogeintrag erfolgt die Diskussion seines Textes immer unmittelbar hinter jedem Punkt in Form einer Anmerkung.

13. Im Abschnitt AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 13 diskutiert Avicenna die Möglichkeit der Konvertierung von Aussagen mit Quantoren in solche, deren Bedeutung trotz Veränderung von Ausdruckselementen ‚erhalten‘ bleibt. In einigen Beispielen widerspricht er sich selbst; manche Stellen sind unklar. Es zeigt sich allgemein: (i) die Formulierung von Konvertierungsregeln greift beständig auf bestimmte unterstellte Bedeutungen zurück und (ii) genau diese unterstellten Bedeutungen werden nicht hinreichend klar definiert. Daraus entsteht die Forderung, diese unterstellte Bedeutung klar zu definieren und auf dieser Basis alle logischen Ausdruckselemente eindeutig zu definieren (was im nachfolgenden Abschnitt dann unternommen wird).

14/14b. In den Blogeinträgen AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 14 sowie AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 14b geht es darum, erstmalig einen theoretischen Rahmen für eine Semantik zu formulieren, mit der man die Logik Avicennas konsistent entwickeln kann. Abschnitt 14b stellt eine Überarbeitung des Eingangsteils von Abschnitt 14 dar. Es hat sich gezeigt, dass die in 14b gewählte Begrifflichkeit für das weitere Vorgehen ‚günstiger‘ wirkt. Aber wir befinden uns noch in der Phase der ‚Annäherung‘ an das ‚Neue‘.

15. In dem Blogeintrag AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 15 geht es um die Feinstruktur von Aussagen. Avicenna unterteilt ja Ausdrücke anhand inhaltlicher Kriterien nach Subjekt S, Prädikat P und ergänzend nach Quantoren Q. Es fragt sich, wie man diesen Ausdrucksteilen eine ‚Bedeutung‘ im Objektraum O zuordnen kann. Wichtig ist hier die schon früher getroffene Unterscheidung zwischen ‚echten‘ und ‚unechten‘ Objekten. ‚Unechte‘ Objekte wurden als ‚Eigenschaften‘ bezeichnet. Mit dieser Terminologie kann man sagen, dass die Objekthierarchie O primär von echten Objekten gebildet wird; unechte Objekte als Eigenschaften treten nur im Kontext eines echten Objekts auf. Damit kann man die begriffe ‚Gattung‘ und ‚Art‘ einführen. Gattungen, die keine Gattungen mehr ‚über sich‘ haben können, sollen hier ‚Kategorien‘ genannt werden. Setz man Definitionen von Worten voraus, dann kann man ach erklären, warum eine Aussage wie ‚a ist eine Tasse‘ ‚rein definitorisch‘ (bzw. ‚rein analytisch‘) ‚wahr ist, unabhängig davon, ob diesem gedanklichen Sachverhalt etwas Sinnliches entspricht. Im Gegensatz zu solch einer rein definitorischen (analytischen) Wahrheit eines Objekts a soll hier die ursprünglich vereinbarte ‚Wahrheit‘ durch Bezug auf eine ’sinnliche Gegebenheit‘ $latex s \subseteq Os$ ‚ontologische‘ Wahrheit genannt werden. Solange wir uns in unseren Aussagen auf das Enthaltensein eines Objektes a in einem Gattungsobjekts X beschränken ‚a ist ein X‘ oder das Feststellen von Eigenschaften der Art ‚a hat b‘ kann man sagen, dass eine Aussagestruktur wie (S P) wie folgt interpretiert werden kann: Es gibt einen Ausdruck A=(AsAp), bei dem ein Ausdrucksteil As sich auf ein echtes Objekt M(As) = $latex a \in Oa$ bezieht und der andere Ausdrucksteil Ap bezieht sich auf die Beziehung zwischen dem Objekt a und entweder einem Gattungsobjekt X (Ap = ‚ist ein X‘) oder auf eine Eigenschaft Y (Ap = ‚hat Y‘). Hierbei ist eine gewisse ‚Asymmetrie‘ zu beachten. Die Bedeutung vom Ausdrucksteil As – M(As) – bezieht sich auf eine ‚konkrete‘ Eigenschaftsstruktur innerhalb der Objekthierarchie. Die Bedeutung vom Ausdrucksteil Ap – M(Ap) – bezieht sich auf eine ‚Beziehung‘ / ‚Relation’/ ein ‚Verhältnis‘ [R] zwischen dem bezeichneten Bedeutungsobjekt M(As) = a und einem anderen bezeichneten Bedeutungsobjekt M(Ap), also R(M(As), M(Ap)). Die Beziehung R ist selbst kein ‚Objekt‘ so wie das Objekt a oder das implizit angenommene ‚Bezugsobjekt‘ X bzw. Y von a. Eine solche Beziehung R setzt – um prozessural ‚hantierbar‘ zu sein – eine zusätzliche ‚Objektebene‘ voraus, auf der es ein R-Objekt gibt, das die Beziehung zwischen dem a-Objekt und dem X-Y-Objekt ‚repräsentiert.

16. In dem Blogeintrag AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 16 wird die Analyse der vorausgesetzten Objekthierarchie O und der damit interagierenden Ausdrucksstruktur E weiter analysiert. Nach der Analyse der Feinstruktur von (S P) werden die Aspekte Anzahl, Raum und Zeit betrachtet. Es wird gezeigt, wie man für diese Aspekte sowohl ‚globale Quantoren‘ wie auch ‚lokale Relationen‘ einführen kann; zudem ist die Wechselwirkung zwischen diesen Aspekten konfliktfrei, da sie voneinander unabhängig sind.

17. In dem Blogeintrag AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 17 geht es um die Frage, wie man Aussagen über Veränderungen in der hypothetisch angenmmenen Bedeutungsstruktur nachzeichnen kann. Es lässt sich erkennen, dass die Kodierung von Veränderungen mittels Ausdruckselementen innerhalb eines Prädikates P mittels ‚Veränderungsausdrücken‘ V (‚Verben‘) oft nicht nur die beteiligten Objekte Y benennt, sondern zusätzlich zahlreiche weitere Ausdruckselemente aktiviert, die räumliche Gegebenheiten R_r bezeichnen, zeitliche Relationen R_t, zusätzliche Eigenschaften At an den Veränderungen; dazu ferner spezielle kulturelle Relationen R_x einbeziehen können sowie mit zusätzlichen Subjektrepräsentationen operieren. Auch kann man beobachten, wie die Aneinanderreihung von unterschiedlichen Sachverhalten (S P) mit logischen Operatoren (S P) UND (S2 P2) auch zu speziellen Verkürzungen führen kann wie (S P1 UND P2). Dies lässt erahnen, dass eine vollständige Analyse auch nur einer einzigen Alltagssprache von ihrer logisch relevanten Semantik her eine schier unendliche Aufgabe ist. Diese wird weder ein einzelner Mensch alleine noch viele Menschen über viele Genrationen hinweg jemals vollständig erfüllen können. Was aber möglich erscheint, das ist die Analyse des grundlegenden Mechanismus, der sich mit Hilfe von evolvierenden Computermodellen experimentell untersuchen und mit realen semiotischen Systemen überprüfen lässt.

18. In dem Blogeintrag AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 18 weitet sich nun der Blick Avicennas auf das Wissen allgemein, und konzentriert sich im Wissen auf das schlussfolgernde Denken in Form von ‚beweisenden Syllogismen‘. Nach einer Definition von ‚Syllogismus‘ unterscheidet er dann zwei Arten von Syllogismen ‚Konjunktiver‘ Syllogismen und ‚Disjunktiver‘ Syllogismus. Am Beispiel des ‚Konjunktiven Syllogismus‘ führt Avicenna dann eine Reihe von technischen Begriffen ein. Dann stellt Avicenna zusätzliche Beschränkungen vor, um die 256 möglichen Figuren/ Muster auf nur 27 mögliche Muster einzuschränken. Alle seine Festlegungen geschehen ohne eigentliche Begründung.

19. In dem Blogeintrag AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 19 beginnt die Diskussion um die Interpretation der syllogistischen Schlussfiguren am Beispiel der ersten Figur (A F B), (A B H) und (A F H) mit der Quantorenbelegung ‚AAA‘. In einzelnen Schritten wird dann eine erste Skizze zu einer Logik auf der Basis einer dynamischen Objektstruktur erarbeitet. Zentrale Begriffe sind hier OBJEKTIFIZIERUNG, ENTHALTENSEIN, ZUSCHREIBUNG und VERERBUNG. In dieser Skizze werden auch ‚Aktivitäten‘ berücksichtigt, die in dem Muster zur ersten Figur nicht vorkommen, zusätzlich werden neben den Anzahlquantoren auch Raum- und Zeitquantoren berücksichtigt.

20. In dem Blogeintrag AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 20 geht es um die Interpretation des zweiten Musters der ersten syllogistischen Schlussfigur ‚A F ist B‘, ‚A B ist nicht H‘ (als ‚Kein A ist B‘), ‚A F ist nicht H‘ (als ‚Kein F ist H‘), dazu die Beispiele ‚Jeder ausgedehnte Körper ist farbig‘, ‚Kein farbiger Körper ist unerschaffen‘, ‚Kein ausgedehnter Körper ist unerschaffen‘. Wir treffen in diesem Muster wieder auf den Prozess der Objektifizierung, tatsächlich sogar in impliziten Formen mit der expliziten Angabe von Eigenschaften und der stillschweigenden Annahme einer daraus sich ergebenden Mengenbildung. Zusätzlich finden sich wieder Enthaltensbeziehungen einerseits anhand von Eigenschaftszuschreibungen, andererseits durch Benutzung von Anzahlquantoren. Die Zuschreibung von Eigenschaften wird explizit vorgenommen. Eine Vererbung von Eigenschaften von einer Menge zur anderen tritt nur implizit über eine Enthaltensbeziehung auf. Es tritt nur eine Sorte von Quantoren auf. Auch sei angemerkt, dass außer der Negation kein weiterer aussagenlogischer Operator auftritt.

21. In dem Blogeintrag AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 21 geht es um die Interpretation der Muster 3-4 der Schlussfigur 1. Dabei entsteht die Vermutung, dass viele der Unterscheidungen von Avicenna (die weitgehend auf Aristoteles zurückgehen!) möglicherweise ‚redundant‘ sind, d.h. mit anderen Formulierungen letztlich doch ‚das Gleiche‘ sagen. Der Ansatzpunkt für diese Vermutung liegt darin begründet, dass die Unterscheidung von einem Term als ‚Subjekt‘ (S) und als ‚Prädikat‘ (P) auf Seiten der abstrakten Bedeutungsstruktur als Bedeutungsrepräsentation jeweils ein ‚echtes‘ oder ein ‚unechtes‘ Objekt haben können, und zwar so, dass diese Strukturen ‚fließend‘ sind: jedes ‚echte‘ Objekt kann als ‚unechtes‘ interpretiert werden und umgekehrt. Weitere Vereinfachungen deuten sich an. Diese sollen im Folgenden überprüft 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
  • Immanuel Kant, Critik der reinen Vernunft‘, Riga, 1781
  • Konrad Lorenz, 1973, ‚Die Rückseite des Spiegels. Versuch einer Naturgeschichte des menschlichen Erkennens‘, München, Zürich: Piper
  • Günther Patzig, ‚Die Aristotelische Syllogistik‘, 3,verb.Aufl., Göttingen: Vandenhoeck & Rupprecht, 1969
  • Nicholas Rescher (1928 – ),The Development of Arabic Logic. University of Pittsburgh Press, 1964
  • Hans-Jörg Sandkühler (Hg.) unter Mitwirkung von Dagmar Borchers, Arnim Regenbogen, Volker Schürmann und Pirmin Stekeler-Weithofer, ‚Enzyklopädie Philosophie‘, 3 Bd., Hamburg: FELIX MEINER VERLAG, 2010 (mit CD-ROM)
  • 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

Ausdruck, Ausdruck - einfacher, Ausdruck - sprachlicher, Ausdruck - zusammengesetzter, Avicenna, Bedeutung, Bedeutung eines Wortes, Bedeutungsbeziehung, Bedeutungsraum, Definition, Definition - explitite, Definition - rekursive, Definition - simultane, Logik, Logik - Alltag, Logik - Antike, Logik - formale, Modell, Objekt, Objekt - als Eigenschaft, Objekt - echtes, Objekthierarchie, Semantik, Struktur, Syntax

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.

AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 4

Avicenna, Bedeutung, Bedeutung - abstraktes Konstrukt, Bedeutung - akzidentell, Bedeutung - kontingent, Bedeutung - wesentliche, Bedeutung eines Wortes, Bedeutungsbeziehung, Bedeutungsmaterial, Logik, Logik - Alltag, Logik - Antike, Logik - formale, Metaphysik, Objekt, Objekt - als Eigenschaft, Objekt - echtes, Objekt - kontingent, Objekt - universell, Objekttyp, Ontologie

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.
2. 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.
3. 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.

WESENTLICHE UND NICHT-WESENTLICH (AKZIDENTIELL, KONTINGENT…)

4. Im nächsten Abschnitt knüpft Avicenna an den zuvor eingeführten Begriff des ‚universellen‘ Begriffs an, das sind jene, die zwar eine Bedeutung haben, diese Bedeutung kann aber verschiedene konkreten ‚Instanzen‘, ‚Realisierungen‘, ‚Beispiele‘ umfassen (also: der Ausdruck ‚Tasse‘ kann sich auf viele verschiedene konkrete Tassenobjekte beziehen).
5. Er betrachtet jetzt solche als ‚universell‘ bezeichneten Ausdrücke in einem Ausdruckskontext von aufeinanderfolgenden Ausdrücken mit den folgende Kombinationen von Ausdrücken (hier in deutscher Übersetzung): (i) ‚Der Mensch ist ein Lebewesen‘, (ii) ‚Vier ist eine Zahl‘, (iii) ‚Der Mensch existiert‘, (iv) ‚Zahlen existieren‘, (v) ‚Der Mensch ist weiß‘, (vi) ‚Der Mensch ist nicht weiß‘, (vii) ‚Der Mensch lacht‘, (viii) ‚Zid sitzt‘, (ix) ‚Zid schläft‘, (x) ‚Zid ist alt‘, (xi) ‚Zid ist jung‘.
6. 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 (z.B. wird in (v) dem Objekt (der Mensch) die Eigenschaft (weiß) zugesprochen).
7. Er nimmt folgende interessante Unterscheidung vor: (i) er betrachtet sowohl ‚universelle‘ Ausdrücke wie ‚Mensch‘, ‚Zahl‘, ‚Lebewesen‘, Vier‘ und einen ‚individuellen‘ Ausdruck wie ‚Zid‘ als Bezeichnung eines konkreten Objektes, das als Instanz eines ‚Menschen‘ genommen wird, und (ii) sagt dann, dass die Bedeutung (‚meaning‘) dieser Ausdrücke sich aus dem ‚Wesen‘ des Objektes ergibt. D.h. dasjenige, was wir aufgrund unserer sinnlichen Wahrnehmung in Verbindung mit unseren Denkprinzipien als Objekt ‚Mensch‘ oder ‚Vier‘ oder ‚Zahl‘ oder ‚Zid‘ abstrahierend erkennen können, das ergibt sich nicht einfach so, nicht zufällig, nicht kontingent, nicht akzidentiell, sondern dies ergibt sich aus dem ‚Wesen‘ des Objektes, und zwar notwendig, zwingend, eben ‚essentiell‘, ‚wesenhaft‘.
8. In der Ausdrucksfolge (Der Mensch) (ist) (weiß) wird eine Beziehung zwischen der Bedeutung des Ausdrucks (der Mensch) und (weiß) durch Verwendung des Ausdrucks (ist) hergestellt. In der ’normalen Verwendung‘ bedeutet dies, dass die Bedeutung von (weiß) der Bedeutung von (der Mensch) zugesprochen wird.
9. Doch aus der Kenntnis der Bedeutung des Ausdrucks (der Mensch) folgt nach Avicenna nicht notwendigerweise die Kenntnis der Bedeutung des Ausdrucks (weiß) als Teil von (der Mensch). Die Begründung von Avicenna: zum ‚Wesen‘ des Menschen gehört es nicht, dass er ‚weiß‘ ist; er kann ‚weiß‘ sein, aber er muss nicht.
10. Das ist die entscheidende Argumentationsfigur: charakteristisch für ‚wesentliche‘ Ausdrücke ist es, dass deren Bedeutung sich auf Objekte bezieht, denen aufgrund ihres ‚Wesens‘ bestimmte Eigenschaften notwendig zukommen, andere aber nicht.
11. Doch lassen die Sätze von Avicenna noch eine weitere Deutung zu. Im Fall von ‚universellen‘ Ausdrücken unterscheidet er ja die universelle (eine) Bedeutung von den möglichen ‚Instanzen‘ (in der englischen Übersetzung wird ‚Instanz‘ als ein ‚particular‘ bezeichnet). Die Frage ist, ob und inwieweit sich die Eigenschaften der universellen Bedeutung auf die Instanzen überträgt.
12. Hier benutzt Avicenna zwei Gedanken: (i) Er sagt, dass die ‚Existenz‘ der universellen Bedeutung die Voraussetzung (‚prerequisite‘) für die ‚Existenz‘ der besonderen Bedeutung ist und (ii) dass die besondere Bedeutung aus der universellen Bedeutung folgt.
13. Also, wenn der Ausdruck (der Mensch) (ist) (ein Lebewesen) Sinn machen soll, dann muss die allgemeine Bedeutung von ‚Lebewesen‘ gegeben sein und es muss klar sein, dass ‚Mensch‘ eine Instanz (in der englischen Übersetzung ein ‚particular‘) von der allgemeinen (wesentlichen) Bedeutung ‚Lebewesen‘ ist; entsprechend setzt der Name ‚Zid‘ die Existenz der allgemeinen Bedeutung von ‚Mensch‘ voraus.
14. Interessant ist noch das Detail, dass Avicenna die ‚Seele‘ als wesentlich zur Bedeutung von ‚Mensch‘ gehörig ansieht. Bedenkt man, wie schwierig (bis unmöglich?) es ist, die Bedeutung von ‚Seele‘ zu klären, kann es zumindest verwundern, wie apodiktisch er behaupten kann, dass die ‚Seele‘ eine wesentliche Eigenschaft der Bedeutung (und damit des Objektes) ‚Mensch‘ sei.

DISKUSSION

15. Mit diesem Abschnitt über ‚wesentliche‘ und ’nicht wesentliche‘ gleich ‚akzidentiellen‘ / ‚kontingenten‘ / ‚arbiträren‘ Eigenschaften eines Bedeutungsobjektes O sind wir schon in den tiefsten Abgründen einer Ontologie bzw. einer Metaphysik gelandet.
16. Dazu muss man sich nochmals bewusst machen, dass die Ausdrücke E (die selbst sinnliche Muster der Wahrnehmung sind und die auch Abstraktionsprozessen unterliegen; man denke nur an die ‚type’/ ‚token‘ Unterscheidung der Linguisten) in Beziehung gesetzt werden zu Bedeutungselementen, die gegeben sind als aus der sinnlichen Wahrnehmung $latex K_{s}$ abstrahierte Objekte O, die in verschiedenen Abstraktionsstufen organisiert sind. Alle (!) diese Objekte setzen Wahrnehmungsprozesse voraus, die mit einer elementaren Form von Lernen verknüpft sind.
17. Wenn also ein Mensch A zu einem bestimmten Zeitpunkt t durch seine individuellen Lernprozesse in einer bestimmten Sprachgemeinschaft mit Sprache L ‚gelernt‘ hat, dass ein Ausdruck e sich mit bestimmten – aus der Wahrnehmung gewonnenen – Objekten O verbindet – als m(o,e) –, dann kann man folgende Unterscheidung treffen: (i) sofern sich diese Wahrnehmungsobjekte O auf Eigenschaften der umgebenden Welt W beziehen, die im Zeitraum des Lernens von Mensch A mehr oder weniger ‚konstant‘ / ‚unveränderlich‘ waren, dann ‚existiert‘ die ‚erlernte Bedeutung‘ O für den Menschen A und die gelernten Bestandteile von O sind für diesen Menschen A ‚wesentlich‘; ebenso für alle anderen Menschen, die mit diesem Aspekt der umgebenden Welt W in Berührung gekommen sind. Wenn (ii) die gelernten Eigenschaften O der umgebenden Welt aber ‚variabel‘ sind, mal so und mal so, also akzidentiell/ kontingent/ arbiträr, dann ‚kennt‘ der lernende Mensch A zwar diese möglichen Bedeutungen O‘, sie aber mit einem anderen Objekt O in Verbindung zu bringen, ist nicht notwendig, ist nicht zwingend, sondern muss sich aus der aktuellen kontingenten Situation ‚ergeben‘. Wenn üblicherweise ein Mensch nicht weiß ist (weil alle anderen in der Umgebung schwarz sind), dann wäre das Ereignis, dass ein Mensch auftritt, der weiß ist, ein ‚interessantes‘ Ereignis, das zu berichten lohnen würde.
18. Ein Mensch B mit einer anderen Sprache L‘ wird die Ausdrücke der Sprache L von Mensch A zunächst nicht verstehen (z.B. sei L= Arabisch und L’=Hebräisch). Wenn aber der Mensch A sich auf einen Aspekt X der umgebenden Welt W bezieht, den auch der Mensch B wahrnehmen kann, dann haben A und B die leise Chance, aufgrund der gemeinsamen Kenntnisnahme von X die hinreichend ‚gleichen Wahrnehmungen O(X)‘ zu haben, und dann kann B eventuell ‚begreifen‘, dass der arabische Ausdruck von A sich auf dieses gemeinsam wahrnehmbare O(X) bezieht, und er dann aufgrund seiner Kenntnis des L’=Hebräischen weiß, wie er den L= arabischen Ausdruck für O(X) im Hebräischen wiedergeben würde.
19. Wichtig ist hier, dass die ‚Existenz‘ einer Bedeutung O(X) generell von ‚existierenden Eigenschaften X in der umgebenden Welt W‘ abhängt UND (!!!) von den daran anknüpfenden Wahrnehmungsprozessen, die – stimuliert von X – zu den entsprechenden Bedeutungsobjekten O(X) führen. Existieren in diesem Sinne Bedeutungen O(X), dann kann man von ihren Eigenschaften sagen, dass sie ‚wesentlich‘ sind, wenn sie ’normalerweise immer‘ so vorkommen.
20. Solange man sich der sinnlichen Herkunft aller Bedeutungen bewusst ist, solange hat man auch keine Probleme damit, dass ‚Menschen‘ aufgrund ihrer genetischen Basis im Laufe der Zeiten zu ganz unterschiedlichen Erscheinungsweisen kommen können: verschiedene Hautfarben, verschiedene Körperformen, verschiedene Deformationen (keine Arme, verkrüppelte Beine, anders geformte Köpfe, …), unterschiedliche Intelligenzen, usw. Heute zusätzlich erweitert durch medizinische Operationen, Schönheitsoperationen, allerlei Prothesen und Implantate. Dass der Begriff ‚Mensch‘ vor diesem Hintergrund unterschiedliche Bedeutungen O aufgrund unterschiedlicher Gegebenheiten X in der Welt annehmen kann, sollte dann kein Problem sein.
21. Schwieriger wird es, wenn man – was in der Vergangenheit ständig geschah – glaubte, aus den empirisch gewonnenen Bedeutungen O(X) auf ‚allgemeine Strukturen‘ schließen zu können, die ‚hinter‘ den empirischen Eigenschaften in dem Sinne liegen, dass sie den empirischen Ereignissen ‚zeitlich und logisch vorausgehen‘. In diesen Zusammenhang gehört der populäre Geist-Materie-Dualismus, nach dem die materiellen Erscheinungen ‚Ausfluss‘ geistiger Strukturen sind, die als solche die ‚wesentlichen‘ Eigenschaften repräsentieren.
22. Psychologisch sind solche Denkfiguren verständlich, da sich die Antike auch die Frage gestellt hat, wie die vielfältigen empirischen Formen der umgebenden Welt trotz allem nicht ganz arbiträr sind, sondern offensichtlich gewissen ‚Regeln‘ / ‚Gesetzen‘ folgen. In Unkenntnis der modernen Physik und Biologie konnte man nur sehr allgemeine Annahmen machen, meist sehr statische. Heute beginnen wir zu verstehen, dass die Vielfalt der Formen auf spezifische Erzeugungsprozesse zurückgehen, die wiederum allgemeinen Gesetzen folgen. Diese Gesetze erlauben in der Umsetzung viel Variabilität, so dass Vielfalt und Regelhaftigkeit keinen Widerspruch darstellen.
23. Die Kernaussagen von Avicenna zu der Begriffslogik bis zu dieser Stelle kann man aber wohl aufrecht erhalten. Erst wenn man aufgrund von Erfahrungen anlässlich X Bedeutungen O(X) ausbilden konnte kann man mit diesen Bedeutungen Urteile der Art bilden ‚Etwas X existiert‘ oder ‚Ein Etwas X ist ein Etwas Y‘.
24. Wichtig ist hier aber, zu sehen, dass das ‚Denknotwendige‘ der Alltagslogik sich nicht aus den Ausdrücken E als solchen ergibt, sondern aus den Eigenschaften der mit den Ausdrücken verknüpften Bedeutungen O(X).
25. Bislang wurde hier nur angenommen, dass die Bedeutungsobjekte O ‚Hierarchien‘ bilden können. Dies erklärt, wieso eine Bedeutung ‚universell‘ sein kann im Sinne von Allgemeinbegriff – Instanzen. Im Fall von (Zid) (ist) (ein Mensch) wäre ‚Zid‘ eine Instanz von Mensch; oder im Fall von (Der Mensch) (ist) (ein Lebewesen) wäre (der Mensch) eine Instanz von (Lebewesen). Entsprechend wäre (Zid) (schläft) ein Urteil, in dem von Zid (als Instanz von Mensch) gesagt würde, er habe die Eigenschaft zu schlafen. Sofern man ’schlafen‘ als ‚typisch‘ für Menschen ansehen würde, wäre dies eine ‚wesentliche‘ Aussage, da es normalerweise so ist. Würde man sagen, der Mensch schläft nur gelegentlich, dann wäre es eine akzidentelle/ kontingente Eigenschaft, eben nicht wesentlich.
26. Diese Beispiele mit (ist)(weiß), (schläft), (sitzt) legen den Schluss nahe, dass die Bedeutung O(X) nicht nur ein gleichförmiges Etwas ist, sondern aus einer Menge von ‚unterscheidbaren Eigenschaften‘ [PROP] bestehen kann.
27. Daraus würde folgen, das z.B. die Instanz ‚Zid‘ und die Instanz ‚Hans‘ von der Bedeutung ‚Mensch‘ jeweils bestimmte Eigenschaften PROP_Hans und PROP_Zid aufweisen, die so sind, dass der Oberbegriff ‚Mensch‘ solche Eigenschaften PRP_Mensch aufweist, die sowohl Zid und Hans gemeinsamen haben; Zid und Hans können aber auch Eigenschaften aufweisen, die sie voneinander unterscheiden und die nicht in im universellen Begriff ‚Mensch‘ vorkommen.
28. Also $latex PROP_{Mensch} = PROP_{Zid} \cap PROP_{Hans}$ würde sowohl die Menge der gemeinsamen Eigenschaften der beiden Instanzen ‚Zid‘ und ‚Hans‘ bezeichnen als auch die Verbindung zwischen dem universellem Begriff und seinen Instanzen herstellen.
29. Stellt sich noch die Frage, was denn dann die ‚Eigenschaften‘ sind? Setzen wir den bisherigen Zusammenhang voraus, dann haben wir die Annahme einer umgebenden Welt W mit ‚Welteigenschaften‘ X und einen Menschen als ein System, das mittels seiner Sinnesorgane eine Wahrnehmung (‚perception‘) als Abbildung von bestimmten dieser Welteigenschaften X auf innere sensorische Muster $latex K_{s}$ realisieren kann ($latex perc: X \longrightarrow K_{s}$). Aus diesen Mustern $latex K_{s}$ lassen sich dann mittels Abstraktion unterschiedlichste Objekte O generieren ($latex \alpha: K_{s} \cup K_{p} \longrightarrow O$) (unterstellt, dass dabei implizite Denkprinzipien $latex K_{p}$ nach Avicenna mitwirken können (was nahezu alle Philosophen ähnlich angenommen haben)). Aus diesen Annahmen ergibt sich, dass jedwede Eigenschaft auch solch ein abstrahiertes Objekt aufgrund von Sinneseindrücken sein muss.
30. Fragt sich dann, ob sich Objekte und Eigenschaften von Objekten unterscheiden, und wie?
31. Intuitiv würde man sagen: Ja. Aber wie genau?
32. Hier könnte man Avicennas Begriffe ‚universell‘ und ‚wesentlich‘ bemühen: ein ‚echtes‘ Objekt umfasst andere Objekte (als Eigenschaften), die ihm ‚wesentlich‘ zukommen, d.h. ’normalerweise‘, ‚regelhaft‘; ein ‚unechtes‘ Objekt ist ein solches, das zwar als ‚Teil von einem echten Objekt‘ auftreten kann, normalerweise aber nicht alleine vorkommt. So wäre eine ‚Rose‘ tendenziell ein ‚echtes Objekt‘, da es mit bestimmten Eigenschaften ’normalerweise‘ auftritt, ‚Rot‘ wäre aber ein ‚unechtes‘ Objekt, da ‚Rot‘ normalerweise nicht isoliert auftritt sondern nur in Verbindung mit anderen Objekten; z.B. kann das Objekt ‚Rose‘ das Objekt ‚Rot‘ als Eigenschaft – also als unechtes Objekt – enthalten.
33. Die Unterscheidung von (echtem) Objekt und (unechtem) Objekt (als Eigenschaft) hängt damit von der ‚gelernten‘ Bedeutung ab: was tritt wann wie oft und welcher Konstellation auf.
34. ‚Wesentlich‘ wird hier interpretiert als ‚regelmäßige Erscheinung‘ (normal), und ’nicht wesentlich‘ bzw. kontingent bzw. akzidentell wird hier interpretiert als ’nicht regelmäßig‘, ’nicht normal‘, ‚gelegentlich‘, ‚zufällig‘ auftretend.

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
  • 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 3

Ausdruck, Ausdruck - einfacher, Ausdruck - sprachlicher, Ausdruck - zusammengesetzter, Avicenna, Bedeutung, Bedeutung - abstraktes Konstrukt, Bedeutung eines Wortes, Bedeutungsbeziehung, Bedeutungskorrelat, individuell, Logik, Logik - Antike, Objekt, universell

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.
2. 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.
In diesem Teil geht es jetzt um einfache und zusammengesetzte Begriffe.

AUSDRÜCKE: EINFACH UND ZUSAMMENGESETZT

3. In Weiterführung seiner Redeweise von sprachlich vermitteltem Wissen $latex K_{m}$ verstanden als ein Paar bestehend aus einem Bündel von sinnlichen Eindrücken $latex k \subseteq K_{s}$ einerseits und einem Ausdruck $latex e \in E, E \subseteq K_{s}$ andererseits, also m(k,e), führt er jetzt die Unterscheidung von ‚einfachen‘ und ‚zusammengesetzten‘ Ausdrücken ein. Der Ausdruck ‚einfach‘ bezieht sich dabei auf die Menge der ‚Bedeutungsbeziehungen‘, in denen ein Ausdruck e vorkommt. Kommt der Ausdruck e nur in einer Bedeutungsbeziehung vor, also m(k,e), dann ist er einfach. Kann man aber einen Ausdruck e zerlegen, so dass einzelnen Teilen $latex e_{i}$ jeweils eine eigene Bedeutungsbeziehung zugewiesen werden kann, dann ist er ‚zusammengesetzt‘, also etwa $latex e = \langle e_{1}, …, e_{n} \rangle$ mit $latex m_{1}(k_{1}, e_{1}), … m_{n}(k_{n}, e_{n})$.

EINFACHE AUSDRÜCKE: INDIVIDUELL ODER UNIVERSELL

4. Avicenna führt dann noch die weitere Unterscheidung ein, dass ‚einfache Ausdrücke‘ entweder ‚individuell‘ sein können oder ‚universell‘.

5. Er motiviert diese neuen Begriffe so, dass er sagt, dass ein einfacher Ausdruck e mit m(k,e) nur eine einzige Entität (‚entity‘) bezeichne, wohingegen ein einfacher Ausdruck m(k*,e), der als ‚universell‘ gilt, mit seiner Bedeutungskomponente ‚k*‘ viele Entitäten (‚many entities‘) bezeichne.

DISKUSSION

6. So einfach diese neuen Begriffe ‚einfach/ zusammengesetzt‘ sowie bei ‚einfach zusätzlich ‚individuell/ universell‘ klingen, so stehen sie für ein Geflecht von Problemen, das dies heute nicht als gelöst gelten kann.

7. Wie schon in der Diskussion von Teil 2 deutlich wurde, setzt die Diskussion der Unterscheidung der verschiedenen Wissensformen einen begrifflichen Rahmen voraus, der letztlich auf generelle Annahmen zum erkennen Subjekt hinausläuft, wie es etwa im Rahmen einer Erkenntnistheorie geleistet werden könnte, also ein abstraktes Modell eines erkennenden Subjektes, das den formalen Rahmen liefert, innerhalb dessen dann über spezielle Sachverhalte wie ’sprachliches‘ oder ‚logisches‘ Wissen gesprochen werden kann.

8. Schon die Einführung der Unterscheidung von sprachlichen Ausdrücken $latex E \subseteq K_{s}$, die in einer ‚Bedeutungsbeziehung‘ M zu anderen sinnlichen Ereignissen $latex K_{s} \subseteq K$ stehen, können als $latex M \subseteq K_{s} \times E$, wirft eigentlich zusätzliche Fragen auf, die bislang von Avicenna nicht geklärt wurden.

9. Nun zu sagen, dass ein einfacher Ausdruck e in genau einer Bedeutungsbeziehung m stehe, und die darin vorkommenden sinnlichen Ereignisse k genau ‚eine Entität‘ bezeichnen, legt die Vorstellung nahe, dass bestimmten Mustern sinnlicher Ereignisse k etwas ‚Abstrakteres‘ korrespondiert, nämlich ein ‚Objekt‘ o mit $latex o \in O$. Daraus würde folgen, dass die Bedeutungsbeziehung möglicherweise nicht direkt auf Muster k von sinnlichen Ereignissen abzielt, sondern auf abstrakte Objekte O, die aus den sinnlichen Mustern k durch einen Abstraktionsprozess $latex \alpha$ erzeugt werden; also $latex \alpha: KS \longrightarrow O$ und $latex M \subseteq O \times E$.

10. Nimmt man diese Interpretation an, dann ließe sich der Fall von ‚einfachen‘ Ausdrücken, die bedeutungsmäßig ‚universell‘ sind, so rekonstruieren, dass sich im Bereich der abstrakten Objekte O mehr als eine ‚Abstraktionsebene‘ denken lässt. Analog der Whitehead-Russelschen Typentheorie aus den Principia Mathematica gibt es dann Abstraktionsebenen von 1 bis n, und ein Objekt auf der Ebene j könnte alle Objekte von Abstraktionsebenen ‚kleiner als j‘ als ‚Instanzen‘ haben.

11. Dazu müsste man die Abstraktionsfunktion ein wenig verallgemeinern zu $latex \alpha: KS \cup O \longrightarrow O$, und man müsste sich noch die Hierarchie der Ebenen ‚dazudenken‘.

12. Beispiel: auf dem Tisch stehen verschiedene konkrete, einzelne Tassen $latex \{ t_{1}, …, t_{r} \}$; diese repräsentieren einzelne Entitäten (Ebene 1). Dazu gibt es den abstrakteren Begriff ‚Tasse‘ auf einer Ebenen 2. Auf dem Tisch befinden sich aber auch noch andere Gegenstände, z.B. ‚Teller‘, ‚Bestecke‘ usw. Die Begriffe ‚Teller‘ und ‚Besteck‘ bezeichnen Objekte der Ebene 2. Man könnte jetzt von diesen unterschiedlichen Objektarten weiter ‚abstrahieren‘ und z.B. den Begriff ‚Frühstücksgegenstände‘ auf Ebene 3 einführen. Die konkreten Tassen sind Instanzen des Begriffs ‚Tasse‘; die Begriffe ‚Tasse‘, ‚Teller‘, ‚Besteck‘ sind Instanzen von ‚Frühstücksgegenstände‘; es könnten aber auch natürlich die konkreten Tassen, konkreten Bestecke usw. als Instanzen des Begriffs ‚Frühstücksgegenstände‘ bezeichnet werden.

13. Dies würde bedeuten, dass man einem Ausdruck e zwar genau ‚eine Bedeutung‘ o zuordnen kann, diese Bedeutung o gehört aber zu einer Hierarchie von ‚Objekten‘ O, die, je nach Stellung in der Hierarchie der Bedeutungsobjekte, unterschiedliche andere Objekte von einer ’niedrigeren‘ Stufe/ Ebene‘ als ‚Instanzen‘ beinhalten kann. Dies führt dazu, dass man neben den bisherigen Unterscheidungen von Wissensformen noch eine weitere einführen müsste, nämlich das ‚Objektwissen‘ $latex K_{o}$, das eine Objekthierarchie umfasst, die aus dem sinnlichen Wissen $latex K_{s}$ mittels eines Abstraktionsprozesses $latex \alpha$ erzeugt wird.

Eine Fortsetzung findet sich HIER

QUELLEN

  • Avicenny, ‚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
  • 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.

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

Anderer, Bedeutung, Bedeutungsbeziehung, empirisch, empirische Phänomene, Empirische Theorie, empirische Wissenschaft, Erklärung, Erklärung - empirische, Gedächtnis, Gedächtnis - episodisch, Gedächtnis - räumlich, Gedächtnisstruktur, Gedankengemeinschaft, Gedankliche Gemeinschaft, Gegenstand - intentionaler, Gegenstand natürlich, Gehirn, Geist, Genetik, Genetische Evolution, Genetischer Bauplan, Genom, Genotyp, Lernen, Mind - Geist - Verstand - Vernunft, Ontogenese, Phänotyp, Selbst, Semiotik, Semiotische Maschine, Semiotisches System, Sprache, Sprachmaterial, Sprecher, Steels - Luc, Symbolische Evolution, Symbolische Fähigkeit, Symbolische Ko-Evolution, System, System - semiotisches, Verhalten, Verhaltensmuster, Verhaltensmuster - reziprok

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.