Archiv der Kategorie: Prämisse

DENKEN UND WERTE – DER TREIBSATZ FÜR ZUKÜNFTIGE WELTEN (Teil 1)

  1. In dem Beitrag Digitalisierung und die Religionen vom 9.März 2016 gibt es neben vielen anderen Motiven zwei Motive, die besonders hervortreten: einmal das Momentum (i) kombinatorischer Räume, die gefüllt werden können, und zum anderen (ii) das Momentum der Auswahl, welche Teilräume wie gefüllt werden sollen.

KOMBINATORISCHER RAUM BIOLOGISCHE ZELLE

  1. Im Rahmen der biologischen Evolution auf Zellebene z.B. eröffnet sich der kombinatorische Raum an verschiedenen Stellen. Eine ist jene, wo das Übersetzungsmolekül (das Ribosom) von den gespeicherten potentiellen Informationen (DNA mit ihren Abwandlungen) eine Transformation in andere Moleküle (Proteine) überleitet , mit denen sich neue Zellstrukturen aufbauen lassen. Die Verfügbarkeit dieser Proteine, ihre chemischen Eigenschaften und die Umgebungseigenschaften definieren einen potentiellen kombinatorischen Raum, von dem im konkreten Übersetzungsprozess dann ein bestimmter Teilraum ausgewählt wird.
  2. Aber auch schon der potentielle Informationsspeicher (realisiert mittels DNA-Molekülen) selbst, wie auch seine verschiedenen Transformationsprozesse bis zum Übersetzungsprozess in Proteine repräsentieren ebenfalls kombinatorische Räume, deren Realisierung viel Spielraum zulässt.
  3. Man könnte diese molekülbasierte Informationsspeicherung, diese Transformationen der Moleküle, als eine Urform des Denkens ansehen: Moleküle fungieren als Repräsentanten möglicher Konstruktionsprozesse, und diese Repräsentanten können verändert, rekombiniert werden zu neuen Strukturen, die dann zu neuen Konstruktionsprozessen führen. Man hat also – vereinfacht – ein Funktion der Art repr: M_inf x M_tr x MMprot —> Z, d.h. die Reproduktionsfunktion repr die mittels Molekülen, die als Informationsträger fungieren (M_inf), mittels Molekülen (M_tr), die als Übersetzer fungieren und Molekülen (MM_prot), die als Proteine fungieren können, daraus neue Zellstrukturen entstehen lassen kann.

GELIEHENE PRÄFERENZEN

  1. So wundersam diese Urform des Denkens immer neue kombinatorische Räume strukturell aufspannen und dann im Reproduktionsprozess als reales Strukturen konkretisieren kann, so hilflos und arm ist dieser Mechanismus bei der Beurteilung, Bewertung, welche der möglichen Teilräume denn bevorzugt vor anderen realisiert werden sollten. Soll das Fell weiß oder schwarz sein? Benötigt man überhaupt Zähne? Wozu so komplizierte Hand- und Fingergelenke? Warum tausende Kilometer reisen, um zu brüten? … Die Urform des Denkens ist unfähig, ihre potentielle innere Vielfalt selbständig zu bewerten. Man kann auch sagen, die Urform des Denkens kann zwar kombinieren, ist aber blind wenn es darum geht, gezielt Teilräume auszuwählen, die sich als interessante Kandidaten für das Leben anbieten.
  2. Dabei ist schon die Wortwahl ‚interessante Kandidaten für das Leben‘ problematisch, da der Begriff Leben eine Schöpfung von Lebewesen ist, die viele Milliarden Jahre später erst auftreten und die versuchen im Nachhinein, von außen, durchtränkt von neuen Bedingungen, die zunächst bedeutungsleere Wortmarke Leben mit Bedeutung zu füllen. Die Urform des Denkens verfügt über keinen externen Begriff von Leben und es gibt keine Ingenieure, die der Urform des Denkens zuflüstern können, was sie tun sollen.

MOLEKÜLE ALS INFORMATIONSSPEICHER IMPLIZITE PRÄFERENZEN

  1. Allerdings beinhaltet schon die Urform des Denkens über ein Moment, das außerordentlich ist: jene Moleküle (DNA), die als Speicher potentieller Informationen dienen. Zu einem bestimmten Zeitpunkt repräsentieren diese Informations-Moleküle einen eng umgrenzten Teilraum eines kombinatorischen Raumes und wirken für den Übersetzungsprozess wie eine Art Anweisung in Form eines Bauplans. Gemessen an dem theoretisch möglichen kombinatorischen Raum stellt der Plan des Informationsmoleküls eine Auswahl dar, eine Selektion und damit zeigt sich hier eine indirekte Präferenz für die Informationen auf dem Molekül vor allen anderen möglichen Informationen. Die Urform des Denkens kann zwar im Prinzip einen riesigen potentiellen kombinatorischen Raum repräsentieren und transformieren, die konkrete Zelle aber repräsentiert in diesem riesigen Raum einen winzigen Teilbereich, mit einem aktuellen Ausgangspunkt – gegeben durch die aktuellen Informationen auf dem Informationsmolekül M_inf – und potentiellen Veränderungsrichtungen – gegeben durch die Transformationsprozesse einschließlich der verfügbaren Materialien und Pannen im Prozess. Anders formuliert, die Informationsmoleküle repräsentieren eine komplexe Koordinate (KK) im kombinatorischen Raum und die Transformationsprozesse (einschließlich Pannen und Materialien) repräsentieren eine Menge von möglichen Veränderungsrichtungen (DD), an deren Endpunkten dann jeweils neue komplexe Koordinaten KK_neu_1, …, KK_neu_n liegen.
  2. Wichtig: eine Zelle enthält über die Informationsmoleküle zwar implizite Präferenzen/ Werte, die die Urform des Denkens steuern, diese Präferenzen werden aber nicht von der Zelle selbst generiert, sondern entstehen aus einem Wechselspiel/ aus einer Interaktion mit der Umgebung! Biologische Strukturen (bis heute nur bekannt auf dem Planeten Erde in unserem Sonnensystem in einem geschützten Bereich der Galaxie Milchstraße des uns bekannten Universums) kommen nie isoliert vor, sondern als Teil einer Umgebung, die über sogenannte freie Energie verfügt.

OHNE ENERGIE GEHT NICHTS

  1. Biologische Zellen sind Gebilde, die für ihre Konstruktion und für ihr Funktionieren solche freie Energie brauchen. Der Umfang ihrer Strukturen wie auch die Dauer ihres Funktionierens hängt direkt und ausschließlich von der Verfügbarkeit solcher freien Energie ab. Bezogen auf den kombinatorischen Raum, der durch die Kombination (Informationsmoleküle, Transformationsmolekül, Bausteine) potentiell gegeben ist, ist unter Berücksichtigung der notwendigen Fähigkeit zum Finden und Verarbeiten von freier Energie nicht neutral! Definieren wir den potentiellen kombinatorischen Raum PKK für biologische Zellen als Raum für mögliche komplexe Koordination KK (also KK in PKK), dann sind im potentiellen kombinatorischen Raum nur jene Teilräume von Interesse, in denen die biologische Zelle über hinreichende Fähigkeiten verfügt, freie Energie zu finden und zu nutzen. Nennen wir die Gesamtheit dieser interessanten Teilräume PKK+, mit PKK+ subset PKK.

GEBORGTE PRÄFERENZEN

  1. Da die individuelle biologische Zelle selbst über keinerlei explizite Informationen verfügt, wo überall im potentiell kombinatorischen Raum PKK die interessanten Teilräume PKK+ liegen, stellt sie – trotz ihrer eigenen Reproduktionstätigkeit – eher ein passives Element dar, das sich mit geborgten Präferenzen im potentiellen kombinatorischen Raum PKK bewegt, ohne explizit wissen zu können, ob es auf seinem Weg durch den potentiellen kombinatorischen Raum PKK auch tatsächlich auf solche komplexen Koordinaten KK+ stößt, die ihr eine minimale Lebensfähigkeit erlauben.
  2. Da wir vom Jahr 2016 rückwärts blickend wissen, dass diese passiven Elemente es in ca. 4 Mrd Jahren geschafft haben, komplexe Strukturen unvorstellbaren Ausmaßes zu generieren (ein Exemplar des homo sapiens soll z.B. ca. 37 Billionen Körperzellen haben (davon ca. 100 Mrd als Gehirnzellen), dazu ca. 200 Billionen Bakterien in seinem Körper plus ca. 220 Milliarden auf seiner Haut (siehe dazu Kegel-Review Doeben-Henisch), muss man konstatieren, dass die permanente Interaktion zwischen biologischer Zelle und ihrer Umgebung offensichtlich in der Lage war, all diese wichtigen Informationen PKK+ im potentiellen kombinatorischen Raum PKK zu finden und zu nutzen!
  3. Für die Frage der potentiellen Präferenzen/ Werte gilt für diesen gesamten Zeitraum, dass sich die implizit gespeicherten Präferenzen nur dadurch bilden konnten, dass bestimmte generierte Strukturen (M_inf, M_tr, MM_prot) sich immer von einer positiven komplexen Koordinate zur nächsten positiven Koordinate bewegen konnten. Dadurch konnten die gespeicherten Informationen kumulieren. Aus der Evolutionsgeschichte wissen wir, dass ein Exemplar des homo sapiens im Jahr 2016 eine Erfolgsspur von fast 4 Mrd Jahren repräsentiert, während in diesem Zeitraum eine unfassbar große Zahl von zig Mrd anderen generierte Strukturen (M_inf, M_tr, MM_prot) irgendwann auf eine negative komplexe Koordinate KK- geraten sind. Das war ihr Ende.

ERHÖHUNG DER ERFOLGSWAHRSCHEINLICHKEIT

  1. Für den Zeitraum bis zum Auftreten des homo sapiens müssen wir konstatieren, dass es Präferenzen/ Werte für ein biologisches System nur implizit geben konnte, als Erinnerung an einen erreichten Erfolg im Kampf um freie Energie. Unter Voraussetzung, dass die umgebende Erde einigermaßen konstant war, war die Wahrscheinlichkeit, von einer positiven Koordinate KK+ zu einer weiteren komplexen Koordinate KK+ zu kommen um ein Vielfaches höher als wenn das biologische System nur rein zufällig hätte suchen müssen. Die gespeicherten Informationen in den Informationsmolekülen M_inf stellen somit sowohl erste Abstraktionen von potentiellen Eigenschaften wie auch von Prozessen dar. Damit war es Anfangshaft möglich, die impliziten Gesetzmäßigkeiten der umgebenden Welt zu erkennen und zu nutzen.

URSPRUNG VON WERTEN

  1. Es fragt sich, ob man damit einen ersten Ort, einen ersten Ursprung potentieller Werte identifizieren kann.
  2. Vom Ergebnis her, von den überlebensfähigen biologischen Strukturen her, repräsentieren diese einen partiellen Erfolg von Energienutzung entgegen der Entropie, ein Erfolg, der sich in der Existenz von Populationen von solchen erfolgreichen Strukturen als eine Erfolgsspur darstellt. Aber sie alleine bilden nur die halbe Geschichte. Ohne die umgebende Erde (im Sonnensystem, in der Galaxie…), wäre dieser Erfolg nicht möglich. Andererseits, die umgebende Erde ohne die biologischen Strukturen lässt aus sich heraus nicht erkennen, dass solche biologische Strukturen möglich noch wahrscheinlich sind. Bis heute ist die Physik mehr oder weniger sprachlos, wirkt sie wie paralysiert, da sie mit ihren bisherigen (trotz aller mathematischen Komplexität weitgehend naiven) Modellen nicht einmal ansatzweise in der Lage ist, die Entstehung dieser biologischen Strukturen zu erklären. Von daher müssen wir fordern, dass die umgebende Erde — letztlich aber das gesamte bekannte Universum — die andere Hälfte des Erfolgs darstellt; nur beide zusammen geben das ganze Phänomen. In diesem Fall würde ein reduktiver Ansatz nicht vereinfachen, sondern das Phänomen selbst zerstören!

ONTOLOGISCHE GELTUNG VON BEZIEHUNGEN

  1. Dies führt zu einem bis heute ungeklärten philosophischen Problem der ontologischen Geltung von Funktionen. In der Mathematik sind Funktionen die Grundbausteine von allem, und alle Naturwissenschaften wären ohne den Funktionsbegriff aufgeschmissen. Eine Funktion beschreibt eine Beziehung zwischen unterschiedlichen Elementen. In der Mathematik gehören diese Elemente in der Regel irgendwelchen Mengen an, die einfach unterstellt werden. Wendet man das mathematische Konzept Funktion auf die empirische Wirklichkeit an, dann kann man damit wunderbar Beziehungen beschreiben, hat aber ein Problem, die in der Mathematik unterstellten Mengen in der Realität direkt erkennen zu können; man muss sie hypothetisch unterstellen. Was man direkt beobachten und messen kann sind nicht die funktionalen Beziehungen selbst, sondern nur isolierte Ereignisse in der Zeit, die der Beobachter in seinem Kopf (Gehirn, Gehirnzellen…) verknüpft zu potentiellen Beziehungen, die dann, wenn sie sich hinreichend oft wiederholen, als gegebener empirischer Zusammenhang angenommen werden. Was ist jetzt empirisch real: nur die auslösenden konkreten individuellen Ereignisse oder das in der Zeit geordnete Nacheinander dieser Ereignisse? Da wir ja die einzelnen Ereignisse protokollieren können, können wir sagen, dass auch das Auftreten in der Zeit selbst empirisch ist. Nicht empirisch ist die Zuordnung dieser protokollierten Ereignisse zu einem bestimmten gedachten Muster/ Schema/ Modell, das wir zur gedanklichen Interpretation benutzen. Die gleichen Ereignisse lassen in der Regel eine Vielzahl von unterschiedlichen Mustern zu. Einigen wir uns kurzfristig mal auf ein bestimmtes Muster, auf den Zusammenhang R(X, …, Z), d.h. zwischen den Ereignissen X, …, Z gibt es eine Beziehung R.
  2. Biologische Systeme ohne Gehirn konnten solche Relationen in ihrem Informations-Moleküle zwar speichern, aber nicht gedanklich variieren. Wenn die Beziehung R stimmen würde, dann würde sie zur nächsten positiven komplexen Koordinate KK+ führen, was R im Nachhinein bestätigen würde; wenn R aber zu einer negativen komplexen Koordinate KK- führen würde, dann war dies im Nachhinein eine Widerlegung, die nicht mehr korrigierbar ist, weil das System selbst verschwunden (ausgestorben) ist.
  3. Im Gehirn des homo sapiens können wir ein Beziehungsmuster R(X, …, Z) denken und können es praktisch ausprobieren. In vielen Fällen kann solch ein Interpretationsversuch scheitern, weil das Muster sich nicht reproduzieren lässt, und in den meisten solchen Fällen stirbt der Beobachter nicht, sondern hat die Chance, andere Muster R‘ auszuprobieren. Über Versuch und Irrtum kann er so – möglicherweise irgendwann – jene Beziehung R+ finden, die sich hinreichend bestätigt.
  4. Wenn wir solch ein positiv bestätigtes Beziehungsmuster R+ haben, was ist dann? Können wir dann sagen, dass nicht nur die beteiligten empirischen Ereignisse empirisch real sind, sondern auch das Beziehungsmuster R+ selbst? Tatsächlich ist es ja so, dass es nicht die einzelnen empirischen Ereignisse als solche sind, die wir interessant finden, sondern nur und ausschließlich die Beziehungsmuster R+, innerhalb deren sie uns erscheinen.
  5. In der Wechselwirkung zwischen umgebender Erde und den Molekülen ergab sich ein Beziehungsmuster R+_zelle, das wir biologische Zelle nennen. Die einzelnen Elemente des Musters sind nicht uninteressant, aber das wirklich frappierende ist das Beziehungsmuster selbst, die Art und Weise, wie die Elemente kooperieren. Will man dieses Beziehungsmuster nicht wegreden, dann manifestiert sich in diesem Beziehungsmuster R+_zelle ein Stück möglicher und realer empirisches Wirklichkeit, das sich nicht auf seine Bestandteile reduzieren lässt. Es ist genau umgekehrt, man versteht die Bestandteile (die vielen Milliarden Moleküle) eigentlich nur dadurch, dass man sieht, in welchen Beziehungsmustern sie auftreten können.
  6. Vor diesem Hintergrund plädiere ich hier dafür, die empirisch validierten Beziehungsmuster als eigenständige empirische Objekte zu betrachten, sozusagen Objekte einer höheren Ordnung, denen damit eine ontologische Geltung zukommt und die damit etwas über die Struktur der Welt aussagen.
  7. Zurück zur Frage der Präferenzen/ Werte bedeutet dies, dass man weder an der Welt als solcher ohne die biologischen Systeme noch an den biologischen Strukturen als solche ohne die Welt irgendwelche Präferenzen erkennen kann. In der Wechselwirkung zwischen Erde und biologischen Strukturen unter Einbeziehung einer Irreversibilität (Zeit) werden aber indirekt Präferenzen sichtbar als jener Pfad im potentiellen Möglichkeitsraum der komplexen Koordinaten KK, der die Existenz biologischer Systeme bislang gesichert hat.
  8. Dieser Sachverhalt ist für einen potentiellen Beobachter unaufdringlich. Wenn der Beobachter nicht hinschauen will, wenn er wegschaut, kann er diesen Zusammenhang nicht erkennen. Wenn der Beobachter aber hinschaut und anfängt, die einzelnen Ereignisse zu sortieren und versucht, aktiv Beziehungsmuster am Beispiel der beobachteten Ereignispunkte auszuprobieren (was z.B. die Evolutionsbiologie tut), dann kann man diese Strukturen und Prozesse erkennen, und dann kann man als Beobachter Anfangshaft begreifen, dass hier ein Beziehungsmuster R+_zelle vorliegt, das etwas ganz Außerordentliches, ja Einzigartiges im ganzen bekannten Universum darstellt.

Keine direkte, aber eine indirekte, Fortsetzung könnte man in diesem Beitrag sehen.

Einen Überblick von allen Beiträgen des Autors cagent in diese Blog nach Titeln findet sich HIER.

AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 18

(Letzte Änderung 25.Sept.2014, 09:20h)

Die ‚innere Seele‘ der Formen korrespondiert immer mit Klängen. Hier ein weiteres Klangexperiment…… der Klangraum ist unendlich groß …

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 Übersicht zu Wissen und syllogistischem Denken
Avicennas Übersicht zu Wissen und syllogistischem Denken

1. Nach den vorausgehenden Detailbetrachtungen weitet sich nun der Blick Avicennas auf das Wissen allgemein, und konzentriert sich im Wissen auf das schlussfolgernde Denken in Form von ‚beweisenden Syllogismen‘ (engl.: ‚demonstrative syllogisms‘). Laut Anmerkung des Übersetzers folgt er hier – wie auch in den meisten Teilen zuvor – weitgehend Aristoteles.

2. Avicenna definiert einen (beweisenden) Syllogismus durch die Komponenten (i) Jene Aussagen A1, …, An, die zum Zeitpunkt des Argumentierens als ‚wahr‘ angenommen werden, (ii) Folgerungsregeln, mittels deren man von gegebenen wahren Aussagen auf andere wahre Aussagen ‚mit Notwendigkeit folgern‘ kann, sowie (iii) jene Aussagen F1, …, Fk, die mittels solcher Folgerungsregeln aus den gemachten ‚Annahmen‘ ‚mit Notwendigkeit‘ gefolgert worden sind.

3. [Anmerkung: in einer modernen Schreibweise könnte man einen Syllogismus auch hinschreiben als $latex \{A1, …, An\} \vdash \{F1, …, Fk \}$ gelesen: die Aussagen F1, …, Fk folgen aus den Annahmen A1, …, An mit Hilfe des Folgerungsbegriffs $latex \vdash$ mit Notwendigkeit.]

4. Er unterscheidet dann zwei Arten von Syllogismen: (i) ‚Konjunktive‘ Syllogismen und (ii) ‚Disjunktive‘.

Avicenna - Konjunktiver Syllogismus - Bestandteile
Avicenna – Konjunktiver Syllogismus – Bestandteile

5. Mit der Vorstellung des ‚Konjunktiven Syllogismus‘ führt Avicenna dann – auch hier Aristoteles folgend – eine Reihe von technischen Begriffen ein, um ‚über‘ Syllogismen sprechen zu können.

6. (Konjuktive) Syllogismen bestehen aus drei ‚Aussagen‘, von denen die ersten beiden die ‚Annahmen‘ (‚Prämissen‘) sind, und die dritte die ‚Folgerung‘ (‚Konsequenz‘) aus den vorausgehenden Annahmen.

7. Annahmen wie Folgerungen bestehen jeweils aus drei ‚Ausdrucksteilen‘ A = (A1 A2 A3), von denen er die Ausdrucksteile ‚A2‘ und ‚A3‘ ‚Terme‘ nennt. Der Ausdrucksteil ‚A1‘, bekommt keine eigene Benennung, repräsentiert aber den ‚Quantor‘. Terme können ‚Subjekte S‘ oder ‚Prädikate P‘ sein.

8. Diejenigen Terme in den beiden Annahmen, die in beiden Annahmen gemeinsam sind, nennt er ‚Mittlere Terme‘. Entsprechend nennen wir die beiden anderen, komplementären, Terme hier ‚äußere Terme‘. Den Term in in einer Folgerung, der das Subjekt S repräsentiert und der kein mittlerer Term in einer Annahme ist, nennt er ‚Haupt-Term‘ (‚Major‘). Entsprechend nennt er den Term in einer Folgerung, der das Prädikat P repräsentiert und der kein mittlerer Term ist, den ‚kleinen Term‘ (‚Minor‘). Diejenige Annahme, in der der Haupt-Term der Folgerung vorkommt, wird ‚Neben-Annahme‘ genannt; die andere entsprechend ‚Haupt-Annahme‘.

9. Die typische Aussagestruktur in den Annahmen und in der Folgerung sieht dann so aus: Q (S P). Dabei ist zu beachten, dass Avicenna bei den Syllogismen keine Zeit- und keine Raum-Quantoren benutzt, sondern nur Anzahl-Quantoren, und diese treten nur ‚einfach‘ auf, indem sich der eine Quantor ‚Q‘ in Q(S P) auf die Elemente des Subjekt-Terms S bezieht. Ferner versteht er unter einer ’negativen‘ Aussage nicht die Verneinung der ganzen Aussage – also nicht $latex \neg Q(S\ P)$ –, sondern die Verneinung des Prädikat-Terms P – also $latex Q(S\ \neg P)$ –.

Avicenna Grundstrukturen der drei syllogistischen Schlussfiguren des konjunktiven Syllogismus
Avicenna Grundstrukturen der drei syllogistischen Schlussfiguren des konjunktiven Syllogismus

10. Avicenna stellt dann 3 Muster von Syllogismen vor (siehe Schaubild). Sie sind im wesentlich ’sortiert‘ nach der Verteilung der mittleren bzw. äußeren Terme. Zusätzlich zu den Mustern der mittleren Terme unterscheidet er noch, welche Quantoren die Aussagen haben und ob sie ‚affirmativ‘ oder ’negativ‘ sind.

Tabelle der Quantorenkombinationen relativ zu den Schlußfiguren
Tabelle der Quantorenkombinationen relativ zu den Schlußfiguren

11. Die Tabelle zeigt, welche Quantorenkombinationen Avicenna insgesamt berücksichtigt hat, wie er diese auf die einzelnen Schlußfiguren aufgeteilt hat, und wie ‚asymmetrisch‘ die Verteilung auf die einzelnen Schlußfiguren ausfiel. Auffällig ist, dass Avicenna nicht alle Quantorenkombinationen brücksichtigt, die möglich wären.

Avicennas Schlußfiguren und ein Beispiel für die Quantoren A, A-, E-
Avicennas Schlußfiguren und ein Beispiel für die Quantoren A, A-, E-

12. Am Beispiel der Quantorenkombination (A, A-)E- zeigt das vorausgehende Schaubild, wie unterschiedlich diese Kombination entsprechend den drei Figuren interpretiert wird. Auffällig ist, dass zwei der möglichen Kombinationen für die Schlussfiguren 1 und 2 von Avicenna nicht genutzt 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
  • 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 – BLITZÜBERSICHT

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