Archiv der Kategorie: Logik – formale

EPISTEMISCHE SCHOCKWELLEN. Die letzten 3500 Jahre

Journal: Philosophie Jetzt – Menschenbild, ISSN 2365-5062, 20.Sept. 2018
URL: cognitiveagent.org
Email: info@cognitiveagent.org

Autor: Gerd Doeben-Henisch
Email: gerd@doeben-henisch.de

KONTEXT

Die Diskussion im Kontext des letzten Textes von Freud zur Psychoanalyse lässt erkennen, wie sich das Bild von uns Menschen über uns selbst dadurch in gewisser Weise ändern kann und letztlich dann ändert, wenn wir uns auf diese Gedanken einlassen. Die Einbeziehung des ‚Unbewussten‘ in das Gesamtbild des Systems homo sapiens verschiebt so manche Beziehungen im Gefüge des menschlichen Selbstbildes, und nicht nur das, es wirkt sich auch aus auf das Gesamtbild der empirischen Wissenschaften, auf ihr Gesamtgefüge. Dies hatte sich ja auch schon angedeutet in der vorausgehenden Diskussion des Buches von Edelman, die noch nicht abgeschlossen ist.

Dies hat mich angeregt, über Freud und Edelman hinausgehenden einige der epistemischen Schockwellen zusammen zu stellen, denen das menschliche Selbstverständnis in den letzten ca. 3500 Jahren ausgesetzt war. Dabei muss man sich darüber im Klaren sein, dass es natürlich immer nur eine Minderheit war, die überhaupt an den übergreifenden Erkenntnissen teilhaben konnte, und selbst diese Minderheit zerfällt in unterschiedliche Subgruppen ohne ein kohärentes Gesamtbild.

EPISTEMISCHE SCHOCKWELLEN

Unter ‚Schockwellen‘ werden hier energetische Ereignisse verstanden, die nur gelegentlich auftreten, und die geeignet sind, bestehende Strukturen zumindest zum Schwingen, zum Erbeben zu bringen, wenn nicht gar zu ihrer Zerstörung führen. ‚Epistemisch‘ bezieht sich auf die Dimension des Erkennens, des Verstehens, zu dem Exemplare des Homo sapiens fähig sind. ‚Epistemische Schockwellen‘ sind also Ereignisse, durch die das Selbstverständnis, die Weltbilder der Menschen in Schwingungen versetzt wurden bzw. sich neu aufbauen mussten.

Die folgende Zusammenschau solcher epistemischer Schockwellen ist in keiner Weise vollständig, weitgehend nicht differenziert genug, rechtfertigt sich aber dadurch, dass es darum geht in einer überschaubaren Weise einen Grundeindruck von der Dynamik des Geistes zu vermitteln, die dem Geschehen des biologisch fundierten Lebens innewohnt.

CLUSTER RELIGION

 

Stichworte zu 'Epistemische Schockwellen', Teil 1. ca. -1500 bis ca. 1500
Stichworte zu ‚Epistemische Schockwellen‘, Teil 1. ca. -1500 bis ca. 1500

Zwischen ca. -1500 bis etwa 650 gab mindestens 8 große das Weltverstehen prägende Ereignisse – daneben viele andere, weitere –, die wir im Nachgang als ‚Religionen‘ bezeichnen. Religionen zeichnen sich aus durch ‚Gründer‘, durch ‚Botschaften‘, durch ‚Erfahrungen‘ und dann meistens nachfolgend durch ‚Regeln‘ und Bildung von ‚Organisationsformen‘. Sie erheben einen Anspruch auf ‚Deutung der Welt‘ mit ‚Sinn‘, ‚Werten‘ und ‚Spielregeln‘. Sie versprechen auch den Kontakt zu eine Letzten, Größten, Umfassenden, Endgültigen, dem alles andere unter zu ordnen ist. Vielfach gehen diese Versprechungen auch einher mit speziellen ‚außergewöhnlichen Erlebnissen‘, die im einzelnen stattfinden.

In Vorderasien und Europa waren dies vor allem das Duo Judentum-Christentum und der Islam. Während diese sich explizit auf einen ‚Schöpfer‘ bezogen, kam der indische Subkontinent neben der vielfältigen Götterwelt des Hinduismus in seinem Grundtenor — realisiert im Buddhismus — ohne einen expliziten Schöpfer aus, allerdings nicht ohne eine tiefgreifende Existenzerfahrung des einzelnen Menschen, der sich durch einen geeigneten Lebensstil und Meditation möglichst weitgehend von einem normalen Alltag und seinen vielfältigen Spannungen isolierte.

So verschieden Jugentum-Christentum, Islam auf der einen Seite und Indischer Existentialismus auf der anderen Seite auf den ersten Blick wirken können, kann man aber dennoch auffällige strukturelle Parallelen erkennen.

Die sprachliche Seite der genannten Religionen tendiert dazu, nicht die Weite und Vielfalt der Welt zu kommunizieren, keine weiterreichende Erkenntnisse, sondern die Sprache hat einzig den Zweck, eine bestimmte, abgegrenzte Idee zu kommunizieren, diese abzugrenzen von allem anderen, bis dahin, dass alle Abweichungen diskreditiert werden. Jene Menschen, die sich sprachlich von der ‚Norm‘ entfernen sind Abweichler, Dissidenten, Ungläubige, Verräter, Feinde. Die Sprache wird also nicht gesehen als ein offener, lebendiger, dynamischer Raum von ‚Wahrheit‘, die sich weiter entwickeln kann, sondern als eine symbolische Fessel, eine symbolische Mauer, die einige wenige Ideen abgrenzen sollen. Auch der Buddhismus, der eigentlich sein Fundament in einer schwer beschreibbaren individuellen Existenzerfahrung sieht, praktiziert Sprache überwiegend als Gefängnis.

Betrachtet man sich die Geschichte dieser Religionen bis heute, dann ist diese Starrheit unübersehbar. Alle modernen Erkenntnisse und Entwicklungen prallen an der Sprache dieser Religionen ab.

Neben der sprachlichen Dimension haben alle diese Religionen auch eine ‚Erlebnisdimension‘, oft auch ‚Spiritualität‘ oder ‚Mystik‘ genannt. Einzelne, Gruppierungen, Bewegungen erzähltem davon, schrieben es auf, dass sie ‚besondere, tiefgreifende Erlebnisse‘ hatten, die ihnen ‚klar gemacht haben‘, was wirklich ‚wichtig‘ ist, ‚worin der Sinn des Lebens‘ liegt, Erlebnisse, die ihnen ‚Frieden‘ geschenkt haben, ‚Erfüllung‘, ‚Wahrheit‘. Und diese Erlebnisse waren immer so stark, dass sie diese Menschen aus allen Schichten dazu bewegt haben, ihr Lebens radikal zu ändern und von da an eben ‚erleuchtet‘ zu leben. Diese Menschen gab es nicht nur im Umfeld des Buddhismus, sondern auch zu Tausenden, Zehntausenden im Umfeld des Judentum-Christentums.

Solange diese religiösen Bewegungen sich im Umfeld der etablierten religiösen Überzeugungen und Praktiken bewegen wollten, mussten sie sich – wie immer auch ihre individuellen Erlebnisse waren – diesem Umfeld anpassen. In vielen Fällen führte dies auch zu Absetzbewegungen, zur Entwicklung neuer religiöser Bewegungen. Das Problem dieser erlebnisbasierten Bewegungen war, dass sie entweder nicht die Sprache benutzen durften, die sie zur Beschreibung ihrer Erlebnisse brauchten (da nicht erlaubt), oder aber, sie benutzten eine neue Sprache, und dies führte zum Konflikt mit den etablierten Sprachspielen.

Unter den vielen hunderten Bewegungen allein im Bereich Judentum-Christentum, die z.T. viele tausend, ja zehntausend  Mitglieder hatten und dabei oft auch materiell sehr wohlhabend bis reich wurden, möchte ich zwei kurz erwähnen: die Reformation angefeuert von Martin Luther und den Jesuitenorden, angefeuert von Ignatius von Loyola. Im historischen Klischee werden beide Bewegungen oft als direkte Gegner skizziert, da der Jesuitenorden kurz nach Beginn der Reformationsbewegung gegründet wurde und der katholische Papst gerade diesen Orden auch zur ‚Bekämpfung der Reformation‘ einsetzte. Dieses Bild verdeckt aber die wirklich interessanten Sachverhalte.

Der Jesuitenorden entstand aus den spirituellen Erfahrungen eines baskischen Adligen, deren innere Logik, Beschreibung und Praxis, im Lichte der Erkenntnisse der modernen Psychologie (und Psychoanalyse) stand halten würde. Außerdem war der Orden aufgrund dieser Spiritualität extrem weltoffen, wissenschaftsaffin, und revolutionierte die damals beginnende christliche Missionierung der Welt, indem jeweils die Kultur der verschiedenen Erdteile studiert und übernommen und sogar gegen zerstörerische Praktiken der europäischen Kolonisatoren geschützt wurden. Genau dieses wahre Gesicht des Ordens mit einer radikal individuell-erlebnisbasierten Spiritualität und daraus resultierenden Weltoffenheit und Menschlichkeit führte dann zum Verbot und Aufhebung des Ordens weltweit, verbunden mit Einkerkerungen, Folter und Tod ohne Vorankündigung. Das korrupte Papsttum ließ sich damals von dem portugiesischen und spanischen Hof erpressen, die ihre menschenverachtende Geschäfte in den Kolonien, speziell Südamerika, bedroht sahen. Dies war nicht die einzige Aufhebung und Misshandlung, die der Orden seitens des Papstums erfuhr. Während Luther sich gegen das Papsttum erhob und es auf einen Konflikt ankommen ließ, blieben die Jesuiten dem Papst treu und wurden vernichtet.

Diese Minigeschichte ließe sich aber zu einem großen Thema erweitern, da eben die sprachlich fixierten Religionen generell ein Problem mit Wahrheit und damit mit jeglicher Art von Erfahrung haben. Die Akzeptanz individueller Erfahrung als möglicher Quell von ‚Wahrheit‘, möglicherweise einer weiter reichenden alternativen Wahrheit zu der sprachlich fixierten (und damit eingesperrten) Wahrheit der Religionen, eine solche Akzeptanz würde das Wahrheitsmonopol dieser Religionen aufheben. Bislang hat keine der genannten Religionen es geschafft, von sich aus ihr problematisches Wahrheitsmonopol in Frage zu stellen.

JUDENTUM – CHRISTENTUM – PHILOSOPHIE

In der Zeit vor den modernen empirischen Wissenschaften existierte wissenschaftliches Denken entweder gar nicht oder in enger Verbindung mit dem philosophischen Denken bzw. der Medizin.

In der alten und klassischen Griechischen Philosopie (ca. -800 bis -200) wurde das Weltverstehen in vielen Bereichen erstmalig sehr grundlegend reflektiert, unabhängig von bestimmten religiösen Überzeugungen, obgleich natürlich auch diese Denker nicht im luftleeren Raum lebten sondern in konkreten Kulturen mit einer damals üblichen Moral, Ethik, Spielregeln, Sprachspielen.

Unter den vielen bedeutenden Konzepten war das größte systematische Konzept wohl jenes von Aristoteles, Schüler Platons, und den an ihn anschließenden Schulen. Während dieses griechische Denken nach der Eroberung Griechenlands durch die Römer in Mittel- und Westeuropa bis zum Jahr 1000 mehr oder weniger unbekannt war (Kriege, radikal anti-wissenschaftliche Einstellung der katholischen Kirche) war der damalige Islam sehr offen für Wissen. Das griechische Denken war im Islam weitgehend bekannt, lag entsprechend in arabischen Übersetzungen vor, und durch eine Vielzahl von Schulen, Bildungsstätten und großen Bibliotheken (z.T. mehrere hundert Tausend Bücher!) wurde dieses Wissen gepflegt und weiter entwickelt (welcher Kontrast zum heutigen Islam!). Und nur über diese Umweg über den hochgebildeten Islam mit Übersetzungsschulen in Spanien kam das Wissen der Griechen ab ca. 1000 wieder in das christliche Mittel- und West-Europa.

Mit dem Entstehen eines aufgeschlosseneren Bildungssystem in Europa wanderten die griechischen Gedanken über Bücher und Gelehrte wieder in europäische Bildungsstätten ein. Es gab eine Zeit der intensiven Auseinandersetzung zwischen bisheriger christlicher Theologie und Aristoteles. Auf dem Höhepunkt der begrifflichen Integration von christlichem Glauben und Aristotelischer Weltsicht gab es aber ‚Abspaltungstendenzen‘ in mehreren Bereichen.

POLITIK – WISSENSCHAFT – SPIRITUALITÄT

Das zunehmend freie und kritische Denken begann mit der Infragestellung der bis dahin waltenden absolutistischen Machtstrukturen.

Das methodisch geschulte universitäre Denken begann, über die aristotelischen Konzepte hinaus zu denken. Anknüpfungspunkte gab es genügend.

Das individuelle Erleben der Menschen, ihre Frömmigkeit, ihre Spiritualität suchte nach neuen Wegen, benutzte eine neue Sprache, um sich besser ausdrücken zu können.

Das neue politische Denken führte später zur französischen Revolution und vielen ähnlichen politischen Erneuerungsbewegungen.

Das neue philosophische Denken führt alsbald zum Bildung der neuen empirischen Wissenschaften mit neuer Logik und Mathematik.

Die neue Spiritualität lies viele neue religiöse Bewegungen entstehen, die quer zu allen etablierten Glaubensformen lagen, u.a. auch zur Reformation.

PHILOSOPHIE – WISSENSCHAFT

Stichworte zu 'Epistemische Schockwellen', Teil2. ca. ca. 1550 bis ca.2018
Stichworte zu ‚Epistemische Schockwellen‘, Teil2. ca. ca. 1550 bis ca.2018

Aus der Vielzahl der philosophischen Denker bieten sich vier besonders an: Descartes, Kant, Wittgenstein und Carnap.

Von heute aus betrachtet markieren diese Vier entscheidende Umbrüche des philosophischen Denkens, das von den Entwicklungen in der Logik, Mathematik,Physik, Geowissenschaften, Biologie und Psychologie zusätzlich profitiert hat und noch immer profitiert.

Descartes versuchte zu klären, inwieweit sich die Wahrheitsfrage nur durch Rekurs auf das eigene Denken lösen ließe. Sein Fixpunkt in der Gewissheit des eigenen Denkens (cogito ergo sum) wurde aber erkauft durch einen fortbestehenden Dualismus zwischen Körper (res extensa) und Denken/ Geist (res cogitans), den er mit einem irrationalen Gedanken zu einer Zirbeldrüse zu kitten versuchte.

Kant führte dieses Forschungsprogramm von Descartes letztlich weiter. Sein Vermittlungsversuch zwischen fehlbarer konkreter empirischer Erfahrung und den allgemeinen Prinzipien der Mathematik und des Denkens (des Geistes) ging über Descartes insoweit hinaus, dass er auf eine Zirbeldrüsen-ähnliche Lösung verzichtete und stattdessen davon ausging, dass der Mensch in seinem Denken von vornherein in abstrakten Kategorien wahrnimmt und denkt. Unsere menschliche Konstitution ist so, dass wir so wahrnehmen und Denken. Er konstatierte damit ein Faktum, das wir heute mit all unseren Erkenntnissen nur bestätigen können. Es blieb bei ihm offen, warum dies so ist. Es zeichnet seine intellektuelle Redlichkeit aus, dass er die offenen Enden seiner erkenntnistheoretischen (epistemischen) Analysen nicht krampfhaft mit irgendwelchen Pseudo-Lösungen versucht hat zu vertuschen.

Wittgenstein war der erste, der sich mit dem Funktionieren der Sprache und ihrer Wechselwirkung mit unserem Denken ernsthaft, ja radikal beschäftigte. Während er in seinem Frühwerk noch der Statik der damaligen modernen Logik huldigte, begann er dann später alle diese statischen formalen Konstruktionen in der Luft zu zerreißen, durchlief weh-tuende detaillierte Analysen der Alltagssprache, machte vor nichts Halt, und hinterließ mit seinem frechen und angstfreien Denken einen Trümmerhaufen, dessen Verdienst es ist, den Raum frei gemacht zu haben für einen echten Neuanfang.

Carnap wirkt in diesem Zusammenhang auf den ersten Blick wie ein Antipode zu Wittgenstein, und in der Tat hat er ja das vor-wittgensteinsche Sprachverständnis in seinen Studien zu den formalen Sprachen, zur Logik, zur logischen Semantik weiter angewendet. Allerdings hat er dies dann auch im Kontext der empirischen Wissenschaften getan. Und in diesem Kontext hat sein formal-scholastisches Denken immerhin dazu beigetragen, die Grundstrukturen moderner empirische Theorien mit einem formalen Kern frei zu legen und ihre Eigenschaften zu untersuchen.

Alle diese genannten Ansätze (Kant, Wittgenstein, Carnap) wurden später mehrfach kritisiert, abgewandelt, weiter entwickelt, aber es waren diese Ansätze, die die nachfolgenden Richtungen entscheidend beeinflusst haben.

Ein interessanter Grenzfall ist Freud (s.u.). Irgendwie könnte man ihn auch zur Philosophie rechnen.

LOGIK – MATHEMATIK

Aus heutiger Sicht kann man sich gar nicht mehr vorstellen, dass es eine Zeit gegeben hat, in der die moderne Logik und Mathematik nicht verfügbar war. Nahezu alles, was unseren Alltag ausmacht setzt sehr viel Mathematik als beschreibende Sprache, als Berechnung, als Simulation voraus. Dass mathematisches Denken in den Schulen so wenig – und immer weniger – behandelt wird, ist sehr irritierend.

Logik und Mathematik sind einen weiten Weg gegangen.

Ein Meilenstein ist der Übergang von der klassischen aristotelischen Logik (eng an der Alltagssprache, Einbeziehung inhaltlichen Alltagsdenkens) zur modernen formalen Logik seit Frege (formale Sprache, formaler Folgerungsbegriff).

Eng verknüpft mit der Entwicklung der neuen formalen Logik ist auch die Entwicklung der modernen Mathematik, die entscheidend mit der Erfindung der Mengenlehre durch Cantor ihren Durchbruch fand, und dann mit Russel-Whitehead und Hilbert die Neuzeit erreichte. Keine der modernen Arbeiten in Gebieten wie z.B. Algebra, Topologie, Geometrie sind ohne diese Arbeiten denkbar, ganz zu schweigen von der modernen theoretischen Physik.

EMPIRISCHE WISSENSCHAFTEN

Erste Ausläufer empirischer Wissenschaft gab es schon vor Galilei (man denke z.B. nur an die bahnbrechenden Forschungen zur Medizin von dem islamischen Gelehrten (und Philosophen, Logiker, Theologen!) Avicenna). Doch an der Person Galileis kristallisiert sich der Konflikt zwischen neuem, offenen wissenschaftlichen Denken und dem alten, geschlossenen christlichen Denken. Zudem hat Galilei eben konsequent sowohl eine experimentelle Messmethode angewendet wie auch eine beginnende mathematische Beschreibung. Mit Newton gelang dann eine Fassung von Experiment und Theorie, die atemberaubend war: die Bewegung der Himmelskörper ließ sich nicht nur mit einfachen mathematischen Formeln beschreiben, sondern auch noch mit bis dahin unbekannter Präzision voraus sagen. Es sollte dann zwar noch fast 300 Jahre dauern, bis die moderne Physik eine erste Theorie zur Entstehung des ganzen Weltalls formulieren konnte samt ersten experimentellen Bestätigungen, aber die Befreiung des Denkens von dogmatischen Sprachbarrieren war geschafft. Die Wissenschaft insgesamt hatte sich freigeschwommen.

Schon im 17.Jahrhundert hatte Niels Stensen entdeckt, dass die unterschiedlichen Ablagerungsschichten der Erde in zeitlicher Abfolge zu interpretieren sind und man daher auf geologische Prozesse schließen kann, die die Erde durchlaufen haben muss.

Zwei Jahrhunderte später, schon im 19.Jahrhundert, wurde diese historische Sicht der Erde ergänzt durch Charles Darwin, der am Beispiel der Pflanzen- und Tierwelt auch Hinweise auf eine Entwicklung der Lebensformen fand. Sowohl die Erde als auch die biologischen Lebensformen haben eine Entwicklung durchlaufen, zudem in enger Wechselwirkung.

Fast parallel zu Darwin machte Freud darauf aufmerksam, dass unser ‚Bewusstsein‘ nicht die volle Geschichte ist. Der viel größere Anteil unseres menschlichen Systems ist ’nicht bewusst‘, also ‚unbewusst‘. Das Bewusstsein ‚erzählt‘ uns nur ‚Bruchstücke‘ jener Geschichten, die weitgehend im ‚Nicht-Bewusstein‘ oder ‚Unbewussten‘ ablaufen.

Die weitere Entwicklung der Biologie lieferte viele Argumente, die das Bild von Freud stützen.

Der Versuch von Watson, 1913, die Psychologie als empirische Verhaltenswissenschaft zu begründen, wurde und wird oft als Gegensatz zu Psychoanalyse gesehen. Das muss aber nicht der Fall sein. Mit der Verhaltensorientierung gelang der Psychologie seither viele beeindruckende theoretische Modelle und Erklärungsleistungen.

Von heute aus gesehen, müsste man ein Biologie – Psychologie – Psychoanalyse Cluster befürworten, das sich gegenseitig die Bälle zuspielt.

Durch die Einbeziehung der Mikro- und Molekularbiologie in die Evolutionsbiologie konnten die molekularen Mechanismen der Evolution entschlüsselt werden.Mittlerweile steht ein fast komplettes Modell der biologischen Entwicklung zur Verfügung. Dies erlaubt es sowohl, Kants (als auch Descartes) Überlegungen von den biologischen Voraussetzungen her aufzuklären (z.B. Edelman!), wie auch die Psychologie samt der Psychoanalyse.

COMPUTER

Als Gödel 1931 die Unentscheidbarkeit anspruchsvoller mathematischer Theorien (das fängt bei der Arithmetik an!) beweisen konnte, wirkte dies auf den ersten Blick negativ. Um seinen Beweis führen zu können, benötigte Gödel aber sogenannte ‚endliche Mittel‘. Die moderne Logik hatte dazu ein eigenes Forschungsprogramm entwickelt, was denn ‚endliche Beweismethoden‘ sein könnten. Als Turing 1936/7 den Beweis von Gödel mit dem mathematischen Konzept eines Büroangestellten wiederholte, entpuppte sich dieses mathematische Konzept später als ein Standardfall für ‚endliche Mittel‘. Turings ‚mathematisches Konzept eines Büroangestellten‘ begründete dann die spätere moderne Automatentheorie samt Theorie der formalen Sprachen, die das Rückgrat der modernen Informatik bildet. Das ‚mathematische Konzept eines Büroangestellten‘ von Turing wurde ihm zu Ehren später ‚Turingmaschine‘ genannt und bildet bis heute den Standardfall für das, was mathematisch ein möglicher Computer berechnen kann bzw. nicht kann.

Im weiteren Verlauf zeigte sich, dass gerade das Konzept des Computers ein extrem hilfreiches Werkzeug für das menschliche Denken sein kann, um die Grenzen des menschlichen Wahrnehmens, Erinnerns und Denkens auszugleichen, auszuweiten.

Schon heute 2018 ist der Computer zu einem unverzichtbaren Bestandteil der Gesellschaft geworden. Das Wort von der ‚Digitalen Gesellschaft‘ ist keine Fiktion mehr.

ZEITGEIST

Der extrem kurze Rückblick in die Geschichte zeigt, wie schwer sich die Ausbildung und Verbreitung von Ideen immer getan hat. Und wenn wir uns die gesellschaftliche Realität heute anschauen, dann müssen wir konstatieren, dass selbst in den hochtechnisierten Ländern die gesamte Ausbildung stark schwächelt. Dazu kommt das eigentümliche Phänomen, dass das Alltagsdenken trotz Wissenschaft wieder vermehrt irrationale, gar abergläubische Züge annimmt, selbst bei sogenannten ‚Akademikern‘. Die Herrschaft von Dogmatismen ist wieder auf dem Vormarsch. Die jungen Generationen in vielen Ländern werden über mobile Endgeräte mit Bildern der Welt ‚programmiert‘, die wenig bis gar nicht zu wirklichen Erkenntnissen führen. Wissen als solches, ist ‚wehrlos‘; wenn es nicht Menschen gibt, die mit viel Motivation, Interesse und Ausdauer und entsprechenden Umgebungen zum Wissen befähigt werden, dann entstehen immer mehr ‚Wissens-Zombies‘, die nichts verstehen und von daher leicht ‚lenkbar‘ sind…

Einen Überblick über alle Blogeinträge von Autor cagent nach Titeln findet sich HIER.

Einen Überblick über alle Themenbereiche des Blogs findet sich HIER.

Das aktuelle Publikationsinteresse des Blogs findet sich HIER.

 

KOSMOLOGIE UND DER GLAUBE AN GOTT. Anmerkungen zu einem Artikel von A.Fink

PDF

Zusammenfassung

Ausgehend von einem Artikel von A.Fink werden hier einige Gedanken geäußert, die sich auf die Art und Weise beziehen, wie der Begriff Gott in diesem Artikel benutzt wird. Dies reicht bis hin zu den Grundannahmen unseres menschlichen Erkennens.

I. Kontext

Durch einen Hinweis wurde ich aufmerksam auf den Artikel von Alexander Fink (2017) [Fink:2017] zur Themenstellung Kosmologie und der Glaube an Gott. Diese Themenstellung, geschrieben aus einer christlichen Perspektive, erscheint mir interessant, da im Kontext dieses Blogs das Verhältnis von Philosophie und Wissenschaft zur Debatte steht, hierin speziell fokussiert auf die Frage der möglichen Symbiose von Menschen und intelligenten Maschinen in der Zukunft. Während das Konzept intelligente Maschine vergleichsweise einfach erscheint, bietet das Konzept Mensch unfassbar viele komplexe Fragestellungen. Unter anderem auch deswegen, da wir heute immer mehr zu erkennen meinen, dass der heutige Mensch das Ergebnis einer komplexen Entstehungsgeschichte ist, sowohl des Universums als ganzem wie auch der komplexen Evolution des Lebens innerhalb der Entwicklung des Universums. Seit dem Auftreten des Menschen als homo sapiens hat der Mensch immer komplexere Umgebungen geschaffen, zu denen neben Weltbildern zur Weltdeutung neuerdings auch intelligente Maschinen gehören, die seine selbst geschaffene Umwelt weiter anreichern.

Im Bereich der Weltbilder wird heute im Bereich der Wissenschaften gewöhnlich unterschieden zwischen sogenannten wissenschaftlichen Bildern der Welt — wissenschaftliche Theorie genannt — und solchen Überzeugungen, die Menschen in ihrem Alltag zwar auch benutzen, die aber nach den methodischen Prinzipien der empirischen Wissenschaften nicht als überprüfbar gelten. Daraus muss allerdings nicht denknotwendig folgen, dass diese Überzeugungen im nicht-wissenschaftlichen Format von vornherein falsch sind.

Ein prominenter Bereich solcher im Alltag verhafteter Überzeugungen ohne eine direkte wissenschaftliche Unterstützung ist der Bereich der religiösen Überzeugungen und der religiösen Erfahrungen, hier speziell die Auffassung, dass die bekannte Wirklichkeit auf ein — letztlich nicht genau beschreibbares — höheres Wesen zurückgeht, das mit unterschiedlichsten Namen Gott genannt wird. [Anmerkung: An dieser Stelle die Wortmarke ‚Gott‘ zu benutzen ist ein eher hilfloses Unterfangen, da in den verschiedensten Religionen und Kulturen ganz verschiedene Wortmarken benutzt werden, von denen nicht ohne weiteres klar ist, was sie meinen und ob sie von daher miteinander überhaupt vergleichbar sind. Die großen religionswissenschaftlichen Untersuchungen legen allerdings die Hypothese nahe, dass zumindest die großen Religionen wie Hinduismus, Buddhismus, Judentum, Christentum und Islam (mit jeweils vielen Spielarten) letztlich einen gemeinsamen Gottesbegriff haben, sofern es darum geht, wie in diesen Religionen Gott von den einzelnen Menschen erfahren wird. Im Glauben versuchen jene Menschen, die sich ‚Gläubige‘ nennen, diesem höchsten Wesen ‚Gott‘ Rechnung zu tragen, im Alltag und speziell im Lichte wissenschaftlicher Überzeugungen ist dann oft wenig oder gar nicht klar, wie sich denn die bekannte Wirklichkeit (einschließlich des Menschen selbst) zu dem höchsten Wesen des Glaubens verhält.]

An dieser Stelle versucht der Artikel von Fink einen Antwort zu geben für den speziellen Bereich physikalische Sicht des Universums auf der einen Seite und christlicher Glaube an einen Schöpfergott andererseits.

II. Fink – Denkrahmen

Der Artikel ist gut lesbar geschrieben und stellt ziemlich umfassend die Fakten zusammen, die die heutige Physik zur Beschaffenheit, Entstehung und Dynamik des physikalischen Universum zusammengetragen hat, ohne dabei in technische Details abzugleiten. Von daher ist es sicher ein Gewinn, wenn jemand diesen Artikel liest.

Im Artikel zeigen sich dabei grob zwei Argumentationslinien: (i) Die physikalischen Fakten, die das heutige Bild des physikalischen Universums konstituieren, und (ii) die Ansatzpunkte für eine Deutung der physikalischen Fakten im Lichte eines vorausgesetzten christlichen Glaubens an ein bestimmtes Bild eines Schöpfergottes.

A. Physikalische Fakten

Als physikalische Fakten werden z.B. genannt die räumliche Ausdehnung des Universums; eine Größe, die die alltägliche Vorstellung von räumlichen Verhältnissen jenseits alles Vorstellbaren sprengen. Dazu die zeitliche Dauer der ganzen Prozesse, die auch sowohl im ganz Großen von Milliarden Jahren sich der Vorstellung entzieht wie auch im ganz Kleinen, zu Beginn der Entstehung des bekannten Universums; hier gerät man in Größenordnungen von 10^-44 Sekunden. Die Präzision der Feinabstimmung der bekannten physikalischen Parameter, damit das Universum genau die heute bekannte Struktur und Eigenschaften angenommen hat, und nicht nirgend eine der unendlich vielen anderen Möglichkeiten.[Anmerkung: So nennt Fink z.B. für die Abstimmung der dunklen Energiedichte zur gravitativen Energiedichte eine Größenordnung von 1:10^60, für das Verhältnis von Gravitation zur elektromagnetischen Kraft eine Genauigkeit von 1:10^40]. Dazu kommen Erkenntnisse zu den Besonderheiten der Erdchemie, wie z.B. die außergewöhnlichen Fähigkeiten von Kohlenstoff im Vergleich zu anderen chemischen Verbindungen (wie z.B. Silizium), sowie die vielseitigen Eigenschaften des Wassermoleküls. Er verweist ferner auf die das Leben begünstigende Konstellation des Erd-Sonnensystems, auf die geschützte Position des Erd-Sonnensystems innerhalb der Milchstraße, sowie auf die Funktion des Magnetfeldes, und einiges mehr.

Obgleich Fink das Phänomen des biologischen Lebens mit seiner komplexen Evolutionsgeschichte weitgehend ausblendet, bieten schon die genannten physikalischen Fakten im engeren Sinne viele Ansatzpunkte, um Deutungen vornehmen zu können.

B. Physik und Gott

Während Fink im Falle der Physik ansatzweise die historische Entstehung der physikalischen Bilder anspricht, vermisst man diese im Fall der Auffassung von Gott als Schöpfer. Ohne historische Herleitung aus der Geschichte des christlichen Glaubens stellt Fink einfach fest, dass das mit der Wortmarke ‚Gott‘ Gemeinte einen freien Willen habe, rational denke und sich zuverlässig verhalte. Dies sei die tiefere Ursache dafür, dass das Universum für die menschlichen Forscher gesetzmäßig erscheine, d.h. man kann es mit rationalen Mitteln erforschen. Die hier zur Verwendung kommenden Begriffe (freier Wille, rational, zuverlässig) sind Begriffe, die im Kontext der menschlichen Welterfahrung eine gewisse — wenngleich vage — Bedeutung haben. Wendet man sie aber ohne weitere Erläuterungen direkt auf ein unbekanntes Etwas an, das irgendwie hinter und in dem ganzen Universum stehen soll, ist es nicht direkt nachvollziehbar, was diese Begriffe in diesem umfassenden Kontext bedeuten können.

Zusätzlich zu der allgemeinen Verstehbarkeit des physikalischen Universums verweist Fink auch auf jene Momente hoher Unwahrscheinlichkeit, die bei der Wahl der Parameter am Werk zu sein scheinen und die er als Argument für eine mögliche Zielgerichtetheit der ganzen Entwicklung des Universums sieht, die er wiederum als Argument für den als rationalen zuverlässigen Schöpfer mit freiem Willen angenommen hatte. Dieser Schöpfergott hat also zusätzlich noch einen Plan.

III. Kritische Anmerkungen

A. Gottesbilder

In diesem Blog gibt es mehrere Beiträge, die sich mit dem Problem beschäftigt haben, die Bedeutung der Wortmarke ‚Gott‘ in ihrer historischen Vielfalt klären zu können.

Schränkt man die Frage ein auf die christliche Tradition, so hat man es immerhin mit mittlerweile fast 2000 Jahren Interpretationsgeschichte zu tun, dazu die jüdische Vorgeschichte und die vielfältigen Wechselwirkungen mit den umgebenden Gesellschaften und Kulturen im Laufe der Jahrhunderte. Dazu kommen die diversen Aufspaltungen der christlichen Tradition in Traditionen mit unterschiedlichen Schwerpunkten (West zu Ost, Katholisch und Protestantisch, dazu viele Unterarten). In dieser gewaltigen und vielschichtigen Tradition zu sagen, was die christliche Meinung zum Schema Schöpfergott sei, erscheint fast unmöglich. Natürlich kann man sich auf einzelne Autoren beschränken oder auf speziell ausgezeichnete Lehrmeinungen, aber inwieweit diese dann als die christliche Auffassung gelten können, erscheint doch eher fraglich.

Geht man auf die historisch frühen Quellen zurück, zu den sogenannten heiligen Schriften des Neuen Testamentes, das vielfältig Bezug nimmt auf das Alte Testament, so wird die Lage nicht unbedingt einfacher. Zeigen doch gerade die 2000 Jahre andauernden Interpretationsversuche, dass es offensichtlich keine zwingend eindeutige Interpretation zu geben scheint, wie sonst hätte es sonst zu den vielen unterschiedlichen Interpretationen kommen können.[Anmerkung: Untersucht man nur die vielfältigen Übersetzungen vom Hebräischen ins Griechische und Lateinische, vom Lateinischen in die vielen Alltagssprachen, vom Griechischen in die vielen Alltagssprachen, dann sieht man schon auf dieser ersten Kodierungsstufe von möglichen Bedeutungen, dass es schon an der Wurzel keine eindeutige Bedeutung gibt.]

Aufgrund der Erkenntnisse zu der Art und Weise wie Sprache funktioniert, wie Menschen Wahrnehmen, Erinnern, Denken und kommunizieren, kann man seit mehr als 100 Jahren immer besser verstehen, warum Texte als solche keine zwingenden Botschaften enthalten können! Es gibt zwar zu allen Zeiten viele Menschen, die das behaupten und glauben, aber die reale Funktion von Sprache und menschlichem Erkennen können solche — oft fundamentalistisch genannten — Auffassungen als grob falsch erweisen.

Für Menschen, die ernsthaft Sicherheit und Wahrheit suchen, sind diese neuen Erkenntnisse beunruhigend; nicht wenige lehnen sie daher ab. Dies hilft aber nicht weiter. Wir müssen uns den Tatsachen stellen, dass unsere Suche nach Wahrheit und Sicherheit nicht so einfach durch Bezug auf irgendeinen Text eingelöst werden kann, und mag er von manchen Menschen als noch so heilig bezeichnet werden.

Menschen, die sich gegen diese neuen Erkenntnisse zur Natur von sprachlichem Verstehen und Verstehen wehren, machen oft nach einen weiteren Fehler: aus der Tatsache der Unmöglichkeit einer direkten absoluten Erkenntnis aus einem Text heraus folgern sie oft, dass es dann ja überhaupt keine Wahrheit geben würde. Dieser weitreichende Schluss folgt aus der Relativierung von Texten und sprachlicher Bedeutung nicht zwingend.

Wenn jemand im Lichte des modernen Wissens die allzu einfache Deutungen sogenannter heiliger Texte in Frage stellt, sie kritisiert, dann bedeutet dies zunächst nur, dass man sich ein paar mehr Gedanken machen muss als bisher, wie man die Wirklichkeit insgesamt deuten kann. Die Kritik an einer nativen und unkritischen Verwendung eines Gottesbegriffes, eines bestimmten, sehr menschlichen Bildes von einem Schöpfergott, muss daher nicht notwendigerweise heißen, dass man damit das damit Gemeinte (eine irgendwie geartetes Etwas, was hinter und in allem steckt/ wirkt/ …) als solches in Frage stellt oder zerstört. Wenn es tatsächlich so etwas wie ‚Gott‘ geben sollte (mag man es nun glauben oder nicht), dann würde die Existenz und die Art und Weise dieses Gotes mit Sicherheit nicht davon abhängen, ob ein paar Exemplare des homo sapiens darüber sprechen, und wie sie darüber sprechen. Allerdings kann es für uns, die wir uns als Exemplare des homo sapiens ansehen, möglicherweise einen Unterschied machen, ob und wie wir über dieses Thema reden.

B. Bilder der Welt

Aktueller Denkrahmen unter Berücksichtigung von empirischen Wissenschaften und Philosophie
Aktueller Denkrahmen unter Berücksichtigung von empirischen Wissenschaften und Philosophie

Bei der kritischen Diskussion des Artikels von Fink spielen eine Reihe von Faktoren eine Rolle. Einige im Zusammenhang mit der Verwendung der Wortmarke ‚Gott‘ wurden im vorausgehenden Abschnitt angesprochen. Weitere sollen jetzt hier angesprochen werden. Das Schaubild oben kann dazu vielleicht hilfreich sein.

1) Evolution

Aus den letzten ca. 100 Jahren konnten wir lernen, dass wir Menschen Teil eines Entwicklungsprozesses sind, die die Biologen als Evolution des biologischen Lebens bezeichnen. Ferner konnte die Struktur und die Entwicklung des bekannten physikalischen Weltalls soweit aufgehellt werden, dass auch das Zusammenspiel von Sternentwicklung und Entstehung von biologischem Leben auf der Erde viele neue, tiefe Einsichten ermöglicht hat.

2) Empirisches Wissen

Dies alles wurde möglich, weil die Menschen gelernt haben, wie man Bilder von der Welt in einer methodisch kontrollierten Weise so konstruiert, dass sie auf transparenten, reproduzierbaren Messoperationen aufbauen. Für die Interpretation dieser Messwerte wird eine mathematische Sprache benutzt, die zusammen mit einer formalen Logik die Möglichkeit bietet, Regelmäßigkeiten und Strukturen zu formulieren, sofern sie in der Gesamtheit der Messwerte vorliegen. Die Geltung der formalen Strukturen ist hier entscheidbar zurückgebunden an die Messwerte.[Anmerkung: Diese Rückbindung ist zentral, da die mathematische Sprache es erlaubt, beliebig viele Regelmäßigkeiten und Strukturen zu formulieren. Ob eine von diesen möglichen Strukturen tatsächlich etwas beschreibt, was mit der umgebenden Wirklichkeit korrespondiert, können nur vorzeigbare Messwerte entscheiden. Diese Form von Wissens nennt man gewöhnlich empirisches Wissen oder eine empirische Theorie.]

3) Wirklichkeit und Mathematik

Die Entwicklung und Nutzung von empirischem Wissen stellt viele neue Fragen zur Natur des menschlichen Erkennens, die weitgehend noch ungeklärt sind. So ist es eine bemerkenswerte Tatsache, dass die umgebende Wirklichkeit sich mit den Mitteln einer extrem einfachen mathematischen Sprache und formalen Logik beschreiben lässt.[Anmerkung: Man kann zwar mit der mathematischen Sprache sehr komplexe Ausdrücke aufbauen, doch die Sprache selbst, mit der dies geschieht, ist in ihren Grundelementen extrem einfach. Es ist keine andere Sprache bekannt, die genauso einfach oder gar noch einfacher ist.] Bislang ist nicht zu sehen, dass es irgendein Phänomen in der erfahrbaren Welt geben könnte, was sich mit dieser mathematischen Sprache nicht beschreiben lässt, es sei denn, das Phänomen selbst, das beschrieben werden soll, ist ‚in sich‘ nicht klar.

4) Virtualität und Wahrheit

Ferner wissen wir heute, dass unser bewusstes Wissen, ein funktionierendes Gehirn voraussetzt, das selbst keinen Kontakt mit der realen Welt hat. Dennoch produziert es aufgrund von Sinnesdaten von außerhalb und von innerhalb des Körpers — und im Zusammenspiel mit einem Gedächtnis — beständig virtuelle Bilder einer Welt da draußen so, dass wir in unserem Bewusstsein die virtuellen Bilder als real erleben und als real deuten. Unsere menschliche Erkenntnis ist also ein als real erlebtes virtuelles Bild einer Welt ‚da draußen‘, die wir tatsächlich niemals direkt erleben werden. Wie können wir dann jemals erkennen was wahr ist, wenn Wahrheit verstanden würde als die Übereinstimmung von etwas Gedachtem mit etwas Realem?

Diese Frage springt sofort über zu dem zuvor eingeführten Konzept des empirischen Wissens. Ist es doch gerade ein Dogma des empirischen Wissens, dass dieses sich direkt mit der realen, objektiven Welt beschäftige im Gegensatz zu anderen Wissensformen. Wenn der Mensch nun grundsätzlich gar keinen direkten Kontakt zur sogenannten realen Wel haben kann, wie kann es dann empirische Wissenschaft geben?

Die Antwort ist relativ einfach. Unser bewusstes Wissen ist zwar quasi Wissen aus zweiter Hand, d.h. von einem Gehirn generiert, das im Körper fest sitzt, aber von all den Phänomenen des Bewusstseins (PH), die dieses Gehirn erzeugt, gibt es eine echte Teilmenge von solchen Phänomenen PH_EMP, die aus jenen sensorischen Erregungsmustern gewonnen werden, die von den externen Sensoren (Augen, Ohren, Tastorgane, …) gewonnen werden. Für uns sind sie zwar abgeleitete, virtuelle Ereignisse, aber sie korrespondieren mit Ereignissen in der unterstellten Außenwelt. Sofern Wissenschaftler empirische Messprozesse vereinbaren, gibt es Messprozesse, die unabhängig vom Denken eines einzelnen Menschen gestartet und gestoppt werden können. Diese Messprozesse liefern Ereignisse, die mit externen Sinnesorganen registriert werden können, und zwar von allen, die diese Messprozesse wiederholen. Im Bewusstsein der beteiligten empirischen Wissenschaftler haben dieses Messergebnisse zwar weiterhin nur den Status von virtuellen Ereignissen, generiert vom Gehirn, aber diese Ereignisse lassen sich mit Messprozessen wiederholen, die alle Beteiligten in hinreichend gleicher Weise erleben können. Durch diese spezielle Maßnahme können Menschen ihr virtuelles Gefängnis methodisch partiell öffnen; nicht wirklich, aber für eine  empirische Form des Erkennens praktikabel. Wir haben also die echte Teilmenge der empirischen Phänomene PH_EMP c PH, die sich partiell mit Ereignissen in der angenommenen Außenwelt (W) zusammen mit anderen parallelisieren lässt.[Anmerkung: Es ist erstaunlich, wie lange die Menschen als homo sapiens gebraucht haben, bis sie diesen ‚Trick‘ entdeckt haben. Allerdings, selbst heute (2017) scheint es noch genügend viele Menschen zu geben, die diesen Zusammenhang immer noch nicht verstehen (selbst solche, die sich empirische Wissenschaftler nennen).]

Das Potential des empirischen Wissens für das Erkennen und Verstehen der umgebenden Welt ist enorm, und seine Auswirkungen neben dem reinen Verstehen im Bereich der technologischen Anwendungen erscheint schon jetzt schier unendlich.

5) Schwache Akzeptanz von Empirischem Wissen

Nicht wirklich geklärt erscheint das Verhältnis des empirischen Wissens zu den anderen Wissensformen, speziell auch zu den alten religiösen Überzeugungen, die für die meisten auch ein Stück Welterklärung waren bzw. noch sind.

In dieser Differenz von realen Erklärungsleistungen auf der einen Seite (bei aller Begrenztheit) und den vielen unwissenschaftlichen Bildern der Welt, liegt eines der vielen Probleme der Gegenwart. Der Anteil der Menschen, die empirisches Wissen nicht verstehen oder gar offen ablehnen, liegt in Ländern mit hoher Technologie aufgrund von offiziellen Untersuchungen bei ca. 20 – 30\%; betrachtet man aber seine eigene Umgebung, einschließlich der Menschen mit mindestens einem akademischen Abschluss, dann kann man den Eindruck gewinnen, dass es vielleicht umgekehrt nur 10-20\% der Menschen sind, die überhaupt verstehen, was empirisches Wissen ist. Dies ist eine sehr beunruhigende Zahl. Damit ist nicht nur der bisherige Wissensstand langfristig bedroht, sondern die Ansatzpunkte für eine Versöhnung von empirischem und nicht-empirischen Wissen werden noch schwerer.

6) Philosophie des Empirischen Wissens fehlt

Um die Problemstellung noch zu verschärfen, muss man auch auf den Sachverhalt hinweisen, dass es selbst innerhalb des empirischen Wissens große, ungelöste Probleme gibt. Dies resultiert aus der historischen Entwicklung, dass zwar mit Begeisterung immer mehr Phänomene der umgebenden Welt untersucht worden sind, das daraus resultierende empirische Wissen wurde aber nicht in allen Fällen systematisch zu einer vollen empirischen Theorie ausgebaut. Vielleicht muss man sogar sagen, dass die Physik aktuell die einzige empirische Disziplin zu sein scheint, die nicht nur vollständige empirische Theorien entwickelt hat, sondern die ihre eigene Entwicklung der Tatsache verdankt, dass ganze Theorien kritisiert und dadurch weiter entwickelt werden konnten.

Betrachtet man Gebiete wie z.B. die Gehirnwissenschaft, die Psychologie, die Soziologie, die Wirtschaftswissenschaften, die Biologie, dann muss man allerdings berücksichtigen, dass der wissenschaftliche Gegenstand dieser Disziplinen (sofern sie sich als empirische Disziplinen verstehen wollen), ungleich komplexer ist als die Physik. Der wissenschaftliche Gegenstand der Physik erscheint komplex, da wir hier bislang die meisten vollen Theorien haben, aber tatsächlich ist das Gegenstandsgebiet der anderen genannten Disziplinen unendlich viel komplexer. Dies resultiert aus der unfassbaren Komplexität des Phänomens biologisches Leben, das sowohl in den Grundformen der einzelnen biologischen Zellen, wie dann erst recht in der Interaktion von Billionen (10^12) von Zellen in einem einzelnen Organismus wie einem homo sapiens vorliegt; dazu kommen die Wechselwirkungen zwischen allen biologischen Lebensformen, nicht nur beim homo sapiens, der die Erde zur Zeit auf vielfache Weise mit sekundären komplexen Artefakten überzieht, die dynamisch sind.

7) Empirisches Wissen und Gott

Wenn man all dies weiß, wenn man sowohl um die Begrenztheit des empirischen Wissens weiß und um die Problematik der rechten Verwendung der Wortmarke ‚Gott‘, dann stellt sich die Frage, wie kann ein Mensch in der heutigen Welt noch an ein — wie auch immer geartetes — ‚höheres Wesen in und hinter allem‘ glauben? Kann man es überhaupt noch? Und falls ja, wie?

Hält man sich die Vielfalt der religiösen Anschauungen und Praktiken vor Augen, die es im Laufe der letzten Jahrtausende gegeben hat und ganz offensichtlich immer noch gibt, dann könnte man im ersten Moment völlig entmutigt werden angesichts dieser Fülle: was davon soll jetzt sinnvoll und richtig sein?

Die modernen Religionswissenschaften und vergleichenden Kulturwissenschaften haben einiges getan, um Ähnlichkeiten und Unterschiede in diesem Meer der Phänomene heraus zu arbeiten. Sehr beeindruckend fand ich das Buch von Stace (1960), der auf der Basis von vielen vergleichenden Untersuchungen eine sehr detaillierte philosophische Analyse durchgeführt hat, die sich auf den Kern religiöser Überzeugungen fokussiert hat, auf die religiösen Erfahrungen.[Anmerkung: Siehe dazu die Diskussion dieses Buches, Teil 3]

Seine Untersuchungen legen den Schluss nahe, dass es bei aller Verschiedenheit der religiösen Ausdrucksformen und Formulierungen durch alle Zeiten hindurch und quer zu allen religiösen Formen so etwas wie einen gemeinsamen Erfahrungskern zu geben scheint, der für den Menschen als Menschen charakteristisch scheint, und der nicht an irgendwelche Texte oder lokale Traditionen gebunden ist. Dass es dennoch zu unterschiedlichen Formulierungen und unterschiedlichen Interpretationen kommen konnte liegt in der Analyse von Stace (und auch im Lichte dieses Textes; siehe die vorausgehenden Abschnitte), einzig daran, dass der Mensch nicht nur konkrete Sinneserfahrungen hat, sondern zugleich immer auch von seinem angelernten Wissen aus diese Sinneserfahrungen interpretiert. Unser Gehirn arbeitet so, dass es uns (was eigentlich sehr gut ist) alle unsere sinnlichen Erfahrungen sofort im Lichte der gespeicherten Erfahrungen interpretiert. Da die Menschen an verschiedenen Orten und zu verschiedenen Zeiten unterschiedliche Dinge gelernt haben, dazu verpackt in eine der vielen zehntausenden (oder mehr) Sprachen, erscheinen die gleichen Grunderfahrungen als tausende unterschiedliche Erfahrungen, obgleich sie — so scheint es — letztlich eine gleiche Grundstruktur haben.

Sollten diese Untersuchungen und Überlegungen stimmen, dann wären sogenannte religiöse Erfahrungen keine erfundene Spezialitäten von irgendwelchen abnormen Menschen, sondern gehören zur Grundstruktur, wie ein homo sapiens sich selbst und die ganze Welt erfährt. Einen grundsätzlichen Widerspruch zu empirischen Wissenschaften kann es dann nicht geben, da ja die empirischen Wissenschaften nicht grundsätzlich die Erfahrungen von Menschen verneinen, sondern sich nur für bestimmte — nämlich die empirischen — Untersuchungen auf einen Teilbereich der verfügbaren virtuellen Phänomene des Bewusstseins beschränken.

Interessant ist, dass die empirischen Wissenschaften, obwohl sie sich methodisch beschränken, indirekt einen fundamentalen Beitrag zur Möglichkeit von trans-empirischen Erfahrungen geleistet haben. Die fortschreitenden Erkenntnisse im Bereich der Struktur der Materie (Atomphysik, Kernphysik, Quantenphysik, …) führen uns vor Augen, dass der alltägliche Eindruck der Abgeschlossenheit und Endlichkeit der menschlichen Körper ein — womöglich schwerwiegender — Trugschluss ist. Die scheinbar so abgeschlossenen endlichen menschlichen Körper bestehen ja nicht nur aus Billionen von eigenständigen Zellen, die eigenständig miteinander kommunizieren, sondern diese Zellen bestehen ja aus chemischen Molekülen, diese aus Atomen, und diese — wie die Physik uns lehrt — aus komplexen subatomaren Teilchen und Interaktionsverhältnissen, die permanent in Wechselwirkung stehen zu allem, was sich in einem Umfeld befindet, das viele Lichtjahre betragen kann. Hier stellen sich viele — weitgehend ungeklärte — Fragen.

Eine dieser ungeklärten Fragen betrifft das Verhältnis von Bewusstsein und diesen subatomar vorhandenen Ereignissen. Wieweit können sich diese Ereignisse direkt im Bewusstsein niederschlagen?

Eine andere Frage betrifft die Erfahrbarkeit von etwas, das wir ‚Gott‘ nennen. Durch alle Zeiten und Kulturen berichten Menschen von spezifischen Erfahrungen, die für diese Menschen über die Erfahrungen des Alltags hinaus weisen, ohne dass sie dafür plausible Erklärungen liefern können. Fakt ist nur, dass im Prinzip jeder Mensch diese Erfahrungen anscheinend machen kann (auch Tiere?). Ein Widerspruch zu empirischen Wissen muss hier nicht bestehen, im Gegenteil, die empirischen Wissenschaften liefern bislang die stärksten Argumente, dass dies im Prinzip nicht auszuschließen ist. Es fehlen allerdings bislang jegliche neue Deutungsmodelle. Die alten Deutungsmodelle sollte man eventuell vorläufig mit einem Fragezeichen versehen; möglicherweise versperren sie den Weg zu dem mit der Wortmarke ‚Gott‘ Gemeintem.

ZITIERTE QUELLEN


[Fin17] Alexander Fink. Kosmologie und der Glaube an Gott. Brennpunkt Gemeinde, 19(1):1–15, 2017.
[Sta60] W.T. Stace. Mysticism and Philosophy. Jeremy P.Tarcher, Inc., Los Angeles, 1st. edition, 1960.

Einen Überblick über alle Blogeinträge von Autor cagent nach Titeln findet sich HIER.

Einen Überblick über alle Themenbereiche des Blogs findet sich HIER.

Das aktuelle Publikationsinteresse des Blogs findet sich HIER.

ERKENNTNISSCHICHTEN – PHILOSOPHISCHE LEVEL. Erste Notizen

VORBEMERKUNG

Vor fast genau drei Jahren hatte ich schon einmal einen Blogeintrag geschrieben, in dem das Wort ‚Level‘ im Kontext eines Computerspiels erwähnt wurde (siehe: SCHAFFEN WIR DEN NÄCHSTEN LEVEL? Oder ÜBERWINDEN WIR DEN STATUS DER MONADEN?
). Dort jedoch wurde die Idee des Computerspiels und der Level in einem ganz anderen Zusammenhang diskutiert. Im folgenden Text geht es tatsächlich um den Versuch, konkret verschiedene Ebenen des Denkens (Level) zu unterscheiden. Als ‚Ordnungsprinzip‘ in all dem wird einmal die zeitliche Abfolge benutzt, in der diese Level auftreten können, und eine ‚implizite Architektur‘ unseres Denkens, die sich nur ‚indirekt‘ beschreiben lässt.

DER BEGRIFF ‚LEVEL‘

1. Wer heutzutage Computerspiele spielt, der kennt das: man bewegt sich immer auf einem bestimmten ‚LEVEL‘, d.h. auf einer bestimmten Spielebene. Jede Spielebene hat eigene Regeln, eine eigene spezifische Schwierigkeit. Erst wenn man genügend Aufgaben gelöst hat, wenn man hinreichend viel Punkte erworben hat, dann darf man auf den nächsten Level. Diese Idee der Spielebene, des Level, kann man auch auf den Alltag übertragen.

FUNKTIONIEREN IM ALLTAG

2. Im Alltag stehen wir in beständiger Interaktion mit unserer alltäglichen Umgebung (Level 1). Wir nehmen wahr, wir identifizieren Objekte mit Eigenschaften, Beziehungen zwischen diesen im Raum, zeitliche Abfolgen, und wir selbst verhalten uns nach bestimmten Regeln, die uns der Alltag aufdrängt oder aufgedrängt hat: wir lernen, dass Dinge fallen können; dass es Tag und Nacht gibt; dass Menschen unterschiedlich reagieren können; dass Menschen Rollen haben können, unterschiedliche Verpflichtungen; dass es Regeln gibt, Vorschriften, Gesetze, Erwartungen anderer, Gewohnheiten, Sitten, Gebräuche. Wir lernen mit der Zeit, dass Unterschiede gemacht werden bezüglich Herkunft, Sprache, wirtschaftlicher Stellung, Glaubens- oder Weltanschauungsansicht, usw.

3. Wenn alles ‚gut‘ läuft, dann FUNKTIONIEREN wir; wir tun, was erwartet wird, wir tun, was die Spielregeln sagen; wir tun, was wir gewohnt sind; wir bekommen unsere Leistungspunkte, unsere Anerkennungen …. oder auch nicht.

4. Wenn man uns fragt, wer wir sind, dann zählen wir für gewöhnlich auf, was wir so tun, welche Rollen wir spielen, welche Berufsbezeichnungen wir tragen.

DURCH NACHDENKEN ZUM PHILOSOPHIEREN

5. Sobald man nicht mehr nur FUNKTIONIERT, sondern anfängt, über sein Funktionieren NACHZUDENKEN, in dem Moment beginnt man, zu PHILOSOPHIEREN. Man beginnt dann mit einer BEWUSSTWERDUNG: man tut etwas und zugleich wird einem bewusst, DASS man es tut. Damit beginnt Level 2.

6. Beginn man mit einer solchen bewussten Wahrnehmung des DASS, des Unterscheidbaren, des sich Ereignenden, dann wird man nicht umhin kommen, zu unterscheiden zwischen jenen Phänomenen, Ereignissen, Objekten, die ‚zwischen‘ verschiedenen Menschen – also ‚intersubjektiv‘, ‚empirisch‘, ‚objektiv‘ – verfügbar sind und jenen, die ‚rein subjektive‘ Tatbestände darstellen. Über den ‚Apfel dort auf dem Tisch‘ kann man sich mit anderen verständigen, über die eigenen Zahnschmerzen, die eigenen Gefühle, die eigenen Erinnerungen usw. nicht so ohne weiteres. Jeder kann bis zu einem gewissen Grad ‚IN SEIN BEWUSSTSEINS HINEINSCHAUEN‘ – ’subjektiv‘, ‚introspektiv‘,’phänomenologisch‘– und solche Phänomene wahrnehmen, die NICHT INTERSUBJEKTIV sind, sondern REIN SUBJEKTIV. Diese OJEKTE DER INNENWELT sind für das eigene Erleben genauso real wie die Objekte der Außenwelt, aber sie sind nicht zugleich auch von anderen Menschen wahrnehmbar. Diese bewusste Unterscheidung zwischen AUSSEN und INNEN innerhalb des Level 2 soll hier als Level 3 bezeichnet werden. Die Menge der Inhalte, die innerhalb von Level 2 und 3 bewusst wahrgenommen werden, sollen hier einfach PHÄNOMENE genannt werden mit der anfangshaften Unterscheidung von intersubjektiven Phänomenen auch als EMPIRISCHE PHÄNOMENE und rein subjektive Phänomene als NICHTEMPIRISCHE PHÄNOMENE

WELT NEU ERZÄHLEN

7. Mit dem Bewusstwerden von Level 2 und Level 3 kann eine neue Form von BESCHREIBUNG beginnen, die hier LEVEL 4 heißen soll. Dieser Level 4 stellt eine Art META-LEVEL dar; man spricht auf einem Meta-Level über einen anderen Level. Dies ist vergleichbar einem Linguisten, der die Eigenschaften einer Sprache (z.B. des Deutschen) in seiner Fachsprache beschreiben muss. So könnte es sein, dass ein Satz wie ‚Das Haus hat einen Eingang‘ auf der linguistischen Metaebene eine Beschreibung bekäme wie ‚(‚Das‘: Bestimmter Artikel)(‚Haus‘: Substantiv)(‚hat‘: Verb)(‚einen‘: unbestimmter Artikel)(‚Eingang‘: Substantiv)‘; diese Beschreibung könnte viele weitere Elemente enthalten.

8. Eine Meta-Beschreibung kann innerlich weiter strukturiert sein. Auf Level 4.0 BENENNT man nur, was man im DASS unterscheiden kann: Objekte, Eigenschaften, Beziehungen. Auf Level 4.1 kann man ABFOLGEN von benannten Phänomenen identifizieren, speziell solche, die REGELHAFT erscheinen. Aus der Gesamtheit von Benennungen und Abfolgen kann man auf Level 4.2 ein MODELL konstruieren, mittels dem eine Teilmenge von Phänomenen und deren Abfolgen FUNKTIONAL ERKLÄRT werden soll. Mit einer zusätzlichen LOGIK auf Level 4.3 kann man dann mit einem Modell FOLGERUNGEN konstruieren, die wie VORHERSAGEN benutzt werden können, die sich ÜBRPRÜFEN lassen.

9. Beschränkt man sich auf dem Level 4 auf die empirischen Phänomene, dann bilden die Level 4.0 – 4.3 das, was wir die EMPIRISCHEN WISSENSCHAFTEN nennen. Man benennt = beschreibt die Dinge dann in einer eigenen Fachsprache (Chemie, Psychologie, Physik, Linguistik, …); man definiert Messverfahren, wie man Eigenschaften reproduzierbar messen kann; und man benutzt die Mathematik und die formale Logik, um Modelle (THEORIEN) zu konstruieren.

10. Beschränkt man sich auf dem Level 4 hingegen auf die nicht-empirischen Phänomene, dann bilden die Level 4.0 – 4.3 das, was wir die SUBJEKTIVE WISSENSCHAFT nennen könnten. Auch hier würde man die Dinge mit einer eigenen Fachsprache benennen = beschreiben; man definiert Verfahren, wie man möglicherweise Eigenschaften reproduzierbar erzeugen kann; und man benutzt die Mathematik und die formale Logik, um Modelle (THEORIEN) zu konstruieren. Eine Verständigung über Theorien der subjektiven Wissenschaft wären aufgrund der subjektiven Wahrnehmungsbasen ungleich schwieriger als im Falle von empirischen Theorien, aber niht völlig augeschlossen.

KREATIVITÄT

11. Hat man das ‚automatische‘ Verhalten überwunden (so wie es alle tun, so wie man es gelernt hat), und ist sich stattdessen bewusst geworden, dass man so und so handelt, und hat man angefangen das Automatische bewusst zu rekonstruieren, dann kann man jetzt auch bewusst Alternativen durch Variationen erzeugen [Anmerkung: natürlich kann man auch ohne Reflexion ’spontan‘ Dinge anders tun, als man sie vorher getan hat, aber dies ist dann ‚überwiegend zufällig‘, während ein Kreativität in einem reflektierten Kontext sowohl ‚gerichtet‘ ist aufgrund des verfügbaren Wissens, zugleich aber auch ‚zufällig‘, jedoch in einem viel größeren Umfang; nicht nur ‚punktuell‘]. Man kann jetzt sehr bewusst fragen, ‚warum‘ muss ich dies so tun? Warum will ich dies so? Was sind die Voraussetzungen? Was sind die Motive? Was sind die Ziele? Was will man erreichen? Usw.

12. Ein Ergebnis dieser Infragestellungen kann sein, dass man bestimmte Abläufe ändert, einfach, um mal heraus zu finden, was passiert, wenn man es anders macht. Häufige Fälle: jemand hat nie Gedichte geschrieben, weil niemand ihn vorher dazu angeregt hat, Gedichte zu schreiben; oder jemand hat nie Musik gemacht, weil sie sich immer eingeredet hat, sie sei unmusikalisch. Jemand hat nie vor anderen Menschen geredet, weil er immer Angst hatte, sich zu blamieren. Usw. Kurzum bei Erreichen von Level 4 beginnt man zu ahnen, dass alles anders sein könnte, als man es bislang gewohnt war und praktiziert hatte. Nennen wir diese neu gewonnene kreative Freiheit den LEVEL 5.

Fortsetzung folgt

AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 22

(Letzte Änderungen: Mi 15.Okt.2014, 12:17h)

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

1. Im letzten Beitrag entstand die Arbeitshypothese, dass aufgrund des ‚fließenden‘ Bedeutungsübergangs zwischen ‚echten‘ und ‚unechten‘ Objekten auf der Bedeutungsseite damit die Unterscheidung zwischen ‚Subjekt‘ (S) und ‚Prädikat‘ (P) auch fließend würde. Das würde die Unterscheidung ob die Terme ‚S‘ oder ‚P‘ sind aufheben. Anders ausgedrückt, die Terme in einer Schlussfigur erscheinen ‚invariant‘ bzgl. der Kategorisierung als ‚S‘ oder ‚P‘.

2. Verfolgt man den Gedanken der ‚Invarianz‘ weiter, dann sieht man sofort, dass die Anordnung der Prämissen 1 und 2 auch ‚invariant‘ ist gegenüber ‚Vertauschung‘. Hat man die Prämissen A1: (_ F M) und A2: (_M H) mit dem Muster, das die Schlussfigur 1 charakterisiert, dann erhält man durch Vertauschen der Reihenfolge A1: (_ M F) und A2: (_H M) die Schlussfigur 4 (die Avicenna nicht benutzt), und kann feststellen, dass diese Vertauschung nichts an der Bedeutungsstruktur und damit an der Folgerung ändert. Darüber hinaus sieht man, dass durch die Vertauschung der Prämissen auch die Quantoren der ersten und zweiten Prämisse gespiegelt wurden. Der ‚Wahrheitsgehalt‘ der Schlussfigur bleibt ‚erhalten‘.

Schlussfigur 1 mit Quantorenkombination 1-4 'gespiegelt' als Schlussfigur 4 mit Quantorenkombination 1-4, ebenfalls gespiegelt
Schlussfigur 1 mit Quantorenkombination 1-4 ‚gespiegelt‘ als Schlussfigur 4 mit Quantorenkombination 1-4, ebenfalls gespiegelt

3. Es lieg nahe, den ‚Spiegelungstest‘ auch mit den Schlussfiguren 2 und 3 vorzunehmen. Hier die Ergebnisse:

Alle Muster von Figur 2 samt inverse
Alle Muster von Figur 2 samt inverse
Alle Muster von Figur 3 samt Inverse
Alle Muster von Figur 3 samt Inverse

4. Man sieht, dass die Spiegelung in Form der Veränderung der ‚Abfolge‘ der Prämissen keine Wirkung auf den ‚Wahrheitsgehalt‘ besitzt. Dies wird verständlich, wenn man sich klar macht, dass die ‚Ausdrücke‘ E einer Sprache L ja nicht die ‚Bedeutung selbst‘ darstellen, sondern nur auf die Bedeutungsstrukturen ‚Bezug nehmen‘. Wie immer diese beschaffen sein mögen, die sprachlichen Strukturen ‚kodieren‘ diese nur. Und insoweit es sich bei den hier angesprochenen Sachverhalten um statische Beziehungsverhältnisse handelt, spielt die Abfolge der beschreibenden Äußerungen – zumindest in diesen Fällen — keine Rolle.

5. Fasst man alle Schlussfiguren (ohne ihre ‚bedeutungsgleichen‘ inversen Varianten) zusammen, dann erhält man folgende Tabelle:

Tabellarische Gesamtübersicht über alle Schlussfiguren 1-3 samt allen benutzten Quantorenkombinationen 1-11
Tabellarische Gesamtübersicht über alle Schlussfiguren 1-3 samt allen benutzten Quantorenkombinationen 1-11

6. Angesichts dieser vielen ‚Invarianzen‘ drängt sich verstärkt die Frage auf, was denn dann der ‚harte Kern‘ an Strukturen ist, an denen sich der ‚Wahrheitsgehalt‘ einer Folgerung orientiert.

7. Bislang hat sich schon herausgeschält, dass es um ‚Beziehungen zwischen Mengen‘ geht (welche Elemente in welchen Mengen vorkommen), und um Eigenschaften, die diesen Elementen ‚zugesprochen‘ werden.

8. Die Schlussfiguren 1-3 (bzw. 1-4) setzen in den Prämissen genau drei verschiedene Mengen F, H und M voraus, zwischen denen jeweils F und H eine Beziehung zu M haben. Insofern ist M der ‚Mittelterm‘ (und F und H sind die ‚äußeren‘ Terme). Gefragt wird dann immer nach der sich daraus resultierenden Beziehung zwischen F und H. Die ‚Antwort‘ auf diese Frage wird als ‚Schlussfolgerung‘ präsentiert. Das folgende Bild zeigt die Verteilung der Quantoren für alle Schlusfiguren samt ihren Inversen.

Gesamtübersicht Schlussfiguren 1-3 samt ihren Inversen und die Verteilung der Quantoren für jede Schlussfigur
Gesamtübersicht Schlussfiguren 1-3 samt ihren Inversen und die Verteilung der Quantoren für jede Schlussfigur

9. Man kann in dieser Darstellung schon sehen, dass es im Falle der Schlussfiguren 2 und 3 gar keine Spiegelung vergleichbar zu Figur 1 mit der Figur 4 gibt.

10. Betrachtet man nochmals Figur 1, dann kann man folgende Sachverhalte erkennen (siehe Bild): (i) Bei den Mengenverhältnissen gibt es eigentlich nur drei Fälle (A), (E) = (E-), sowie (A-). Zu jedem dieser drei Fälle für Prämisse 1 kann es dann wiederum kombinatorisch jeweils drei Fälle geben. Spielt man diese durch (das Bild zeigt dies nur für den Fall (A F M) in Prämisse 1), dann zeigt sich (ii) dass von den theoretisch möglichen Fällen 3 x 3 = 9 nur jeweils 3 x 2 = 6 geben kann. Dies ergibt sich daraus, dass eine Kombination von E und E bei dem Muster von Figur 1 zu keinem eindeutigen Schluss führt. Ein Partikularquantor E kann hier immer nur zusammen mit einem Allquantor A auftreten.

Systematik der Mengenverhältnisse am Beispiel von Figur 1
Systematik der Mengenverhältnisse am Beispiel von Figur 1

11. Es fragt sich, wieweit diese Überlegungen auch auf die anderen Schlussfiguren übertragbar sind. Im folgenden Bild sind nochmals alle formal möglichen Quantorenkombinationen für jede Schlussfigur aufgelistet mit der Legende: ‚1‘ := wird von Avicenna genannt, ‚?‘ := unbestimmt, ‚+‘ := würde einen Schluss zulassen:

Syllogismen Figuren 1-3, volle Quantorenverteilung
Syllogismen Figuren 1-3, volle Quantorenverteilung

12. In der Tabelle kann man erkennen, dass es neben den Einsen ‚1‘, die anzeigen, dass diese Quantorenkombinationen in den drei ‚Schlussfiguren Verwendung finden, bei allen Schlussfiguren Fragezeichen ‚?‘ gibt, aber auch Pluszeichen ‚+‘. Dies würde bedeuten, dass es weitere mögliche Schlüsse gäbe, die aber von Avicenna nicht genannt werden.

13. Die Klassifikation ‚?‘ bzw. ‚+‘ habe ich spontan vorgenommen, ‚intuitiv‘. Es fragt sich, ob diese ‚intuitive‘ Zuordnung ‚richtig‘ ist, Eine Antwort auf diese Frage setzt voraus, dass man irgendwelche ‚Kriterien‘ explizit machen kann, anhand deren man die ‚intuitive‘ Klassifikation explizit ‚begründen‘ oder ‚widerlegen‘ kann. Dies soll hier versucht werden.

14. Aus der Geschichte der modernen Logik sind zahlreiche formale Kalküle bekannt, deren ‚Wahrheitsfähigkeit‘
nachgewiesen worden ist. Im vorliegenden Fall wird die Frage aber in einem spezifischen Kontext gestellt: (i) wir setzten hier – versuchsweise — eine allgemeine Bedeutungsfunktion auf der Basis einer dynamischen Objektstruktur voraus und (ii) im Kontext der dynamischen Objektstruktur stellt sich die Frage, wie es möglich ist, ‚zweifelsfrei‘ von zwei vorgegebenen Beziehungen in den Prämissen auf eine dritte Beziehung als Folgerung zu ’schließen‘.

15. Diese Frage hat mindestens zwei Aspekte: (i) einmal, ob und inwieweit wir ‚im Rahmen unseres Bewusstseins‘ Kriterien finden können, die solch eine Unterscheidung unterstützen und (ii) wie die ‚Maschinerie unseres Denkens‘, die dem bewussten Denken vorgelagert ist, diese Aufgabe lösen kann. Dabei fragen wir nicht ‚empirisch‘, ’nicht naturwissenschaftlich‘, sondern ‚logisch, ‚philosophisch‘ in dem Sinne, ob wir überhaupt eine rationale Konstruktion (ein formales Modell) finden können, das eine Erklärung liefern könnte. Dass es dazu dann möglicherweise noch eine empirische Struktur geben könnte, die die Aufgabe ‚anders‘ löst, wäre interessant, würde aber in diesem Kontext dann keine Veränderung bewirken.

16. Es wird notwendig sein, alle 3x 16 Fälle einzeln anzuschauen und zu überprüfen.

17. Darüber hinaus kann man die Frage stellen, ob man die Betrachtung auf andere ‚Typen von wahrheitsfähigen Sachverhalten‘ (auf andere Typen von analytisch wahren Sachverhalten) noch ausweiten kann. Denn die Beispiele mit den Syllogismen der Figuren 1-3(4) sind sehr eng. Und da wir von der modernen formalen Logik wissen, dass man mit den modernen Kalkülen beliebig komplexe Strukturen beschreiben kann, ist die Frage nach weiteren Sachverhalten eigentlich nur eine ‚rhetorische‘ Frage. Allerdings würden wir damit in Richtung einer allgemeinen Logiktheorie steuern. Möglicherweise ist dies hier noch zu früh.

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 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 – Teil 15

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.

Übersicht zum Wissen K bestehend aus Ausdrücken E, Objekten O sowie Bedeutungsbeziehungen M
Übersicht zum Wissen K bestehend aus Ausdrücken E, Objekten O sowie Bedeutungsbeziehungen M

WAHR UND FALSCHE AUSSAGEN

1. Nach dem Blogeintrag Avicenna 14b gibt es jetzt Ausdrücke A, B, …, die ‚wahr‘ oder ‚falsch‘ sein können und die wir deshalb ‚Aussagen‘ (auch ‚Propositionen‘) nennen. Aussagen können mittels aussagenlogischer Operatoren wie ‚NEGATION‘, ‚UND‘, ‚IMPLIKATION‘ usw. zu komplexeren Ausdrücken so verknüpft werden, dass jederzeit ermittelt werden kann, wie der Wahrheitswert des komplexen Ausdrucks lautet, wenn die Wahrheitswerte der Teilausdrücke bekannt sind. Ob im Einzelfall eine Aussage A ‚wahr‘ oder ‚falsch‘ ist, muss durch Rückgriff auf ihre Bedeutungsbeziehung M(A) geklärt werden. Bislang ist nur klar, dass die Bedeutungsbeziehung M nur allgemein eine Beziehung zu den (kognitiven) Objekten O herstellt (siehe Grafik oben).

2. Avicenna spricht aber nicht nur von Aussagen A allgemein, sondern unterscheidet die Teilausdrücke ‚Subjekt‘ S und ‚Prädikat‘ P, zusätzlich oft noch ‚Quantoren‘ Q.

FEINSTRUKTUR DER BEDEUTUNG VON AUSDRÜCKEN

3. Man kann und muss dann die Frage stellen, ob und wie sich auf der Bedeutungsseite die Unterscheidung in S und P auf der Ausdrucksseite widerspiegelt?

ECHTE UND UNECHTE OBJEKTE

4. In vorausgehenden Blogeinträgen zu Avicenna (Avicenna 4, 5, 7 und 11) wurde schon unterschieden zwischen ‚echten‘ und ‚unechten‘ Objekten. ‚Unechte Objekte‘ sind solche Wissenstatbestände, die man zwar identifizieren und unterscheiden kann, die aber immer nur im Kontext von ‚echten Objekten‘ auftreten. ‚Unechte‘ Objekte werden meistens als ‚Eigenschaften‘ bezeichnet. Beispiel: die Farbe ‚Rot‘ können wir wahrnehmen und z.B. von der Farbe ‚Blau‘ unterscheiden, die Farbe ‚Rot‘ tritt aber nie alleine auf so wie z.B. Gegenstände (Tassen, Stühle, Früchte, Blumen, …) alleine auftreten.

5. Hier wird davon ausgegangen, dass die Objekthierarchie O primär von echten Objekten gebildet wird; unechte Objekte als Eigenschaften treten nur im Kontext eines echten Objekts auf.

GATTUNG UND ART; KATEGORIEN

6. Ein Objekt kann viele Eigenschaften umfassen. Wenn es mehr als ein Objekt gibt – also O1, O2, … — die sowohl Eigenschaften Ex gemeinsam haben wie auch Eigenschaften Ey, die unterschiedlich sind, dann kann man sagen, dass alle Objekte, die die Eigenschaften Ex gemeinsam haben, eine ‚Gattung‘ (‚genus‘) bilden, und dass man anhand der ‚unterscheidenden Eigenschaften Ey‘ unterschiedliche ‚Arten‘ (’species‘) innerhalb der Gattung unterscheiden kann.

7. Gattungen, die keine Gattungen mehr ‚über sich‘ haben können, sollen hier ‚Kategorien‘ genannt werden.

ONTOLOGISCHE UND DEFINITORISCHE (ANALYTISCHE) WAHRHEIT

8. Bislang ist der Wahrheitsbegriff $latex \top, \bot$ in dieser Diskussion an der hinreichenden Ähnlichkeit eines vorgestellten/ gedachten kognitiven) Objekts $latex a \in Oa$ mit sinnlichen wahrnehmbaren Eigenschaften $latex s \subseteq Os$ festgemacht worden. Ein ‚rein gedachtes Objekt $latex a \in Oa$ ist in diesem Sinne weder ‚wahr‘ $latex \top$ noch ‚falsch‘ $latex \bot$.

9. Setzt man allerdings eine Objekthierarchie O voraus, in der man von einem beliebigen individuellem Objekt a immer sagen kann, zu welchem Objekt Y es als seiner Gattung gehört, dann kann man eine Aussagen der Art bilden ‚a ist eine Tasse‘.

10. Wenn man zuvor in einer Definition vereinbart haben sollte, dass zum Begriff der ‚Tasse‘ wesentlich die Eigenschaften Ex gehören, und das Objekt a hätte die Eigenschaften $latex Ex \cup Ey$, dann würde man sagen, dass die Aussage ‚a ist eine Tasse‘ ‚wahr‘ ist, unabhängig davon, ob es zum kognitiven Objekt a ein ’sinnliches‘ ‚Pendant‘ geben würde oder nicht. Die Aussage ‚a ist eine Tasse‘ wäre dann ‚rein definitorisch‘ (bzw. ‚rein analytisch‘) ‚wahr.

11. Im Gegensatz zu solch einer rein definitorischen (analytischen) Wahrheit eines Objekts a, die als solche nichts darüber sagt, ob es das Objekt a ‚tatsächlich‘ gibt, soll hier die ursprünglich vereinbarte ‚Wahrheit‘ durch Bezug auf eine ’sinnliche Gegebenheit‘ $latex s \subseteq Os$ ‚ontologische‘ Wahrheit genannt werden, also einer Wahrheit, die sich auf das ‚real Seiende‘ in der umgebenden Welt W bezieht.

12. [Anmerkung: Dieses – auch im Alltagsdenken – unterstellte ‚Sein‘, die unterstellte übergreifende ‚Realität‘ ist nicht nur eine ‚Extrapolation‘ aufgrund sinnlicher Gegebenheiten ‚im‘ wissenden System, sondern ist in seiner unterstellten ‚Realität‘ auch nur eine sehr spezifische Form von Realität. Wie wir heute aufgrund immer komplexerer Messprozeduren wissen, gibt es ‚Realitäten‘, die weit jenseits aller sinnlichen Qualitäten liegen. Es fällt uns nur nicht so auf, weil diese gemessenen Eigenschaften X durch allerlei Prozeduren für unsere Sinnesorgane ‚umgerechnet‘, ‚transformiert‘ werden, so dass wir etwas ‚Sehen‘ oder ‚Hören‘, obgleich das gemessene X nicht zu sehen oder zu hören ist.]

13. 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‘).

14. Derjenige Ausdrucksteil As, der sich auf das echte Objekt a bezieht, ‚von dem‘ etwas ausgesagt werden soll (‚ist ein…‘, ‚hat …‘), dieser Ausdrucksteil wird als ‚Subjekt‘ S bezeichnet, und der Ausdrucksteil Ap, mittels dem etwas über das Subjekt ausgesagt wird, wird ‚Prädikat‘ P genannt.

15. 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. [Anmerkung: Bei ’neuronalen Netzen‘ wäre das R-Objekt jenes Neuron, das die Verbindung zwischen zwei anderen Neuronen ‚realisiert‘.]

17. Fassen wir zusammen: Bei einem Ausdruck A der Art A=’Hans ist ein Mensch‘ gibt es den Ausdrucksteil As=’Hans‘ und den Ausdrucksteil Ap=’ist ein Mensch‘. Die Bedeutung des Ausdrucksteils As M(As) als M(‚Hans‘) ist ein Objekt h in der unterstellten Bedeutungshierarchie O des Sprechers, das gewisse Eigenschaften E(h) besitzt. Die Bedeutung des Ausdrucksteils Ap als M(Ap) bzw. M(‚ist ein Mensch‘) ist sowohl ein Objekt M mit Eigenschaften E(M) als auch eine Beziehung R_ist zwischen dem Objekt h und dem Objekt M, also R_ist(h,M). Die Beziehung ist definitorisch/ analytisch ‚wahr‘ wenn es gilt, dass die definierenden Eigenschaften E(M) des Objekts Mensch M auch bei den Eigenschaften E(h) von Hans zu finden sind, also $latex E(M) \subset E(h)$ .

BEZIEHUNGSRAUM – TRANSZENDENTALE BEDINGUNGEN

18.

Fortsetzung folgt

QUELLEN

  • Avicenna, ‚Avicennas Treatise on Logic‘. Part One of ‚Danesh-Name Alai‘ (A Concise Philosophical Encyclopedia) and Autobiography, edited and translated by Farang Zabeeh, The Hague (Netherlands): Martinus Nijhoff, 1971. Diese Übersetzung basiert auf dem Buch ‚Treatise of Logic‘, veröffentlicht von der Gesellschaft für Nationale Monumente, Serie12, Teheran, 1952, herausgegeben von M.Moien. Diese Ausgabe wiederum geht zurück auf eine frühere Ausgabe, herausgegeben von Khurasani.
  • Digital Averroes Research Environment
  • Nicholas Rescher (1928 – ),The Development of Arabic Logic. University of Pittsburgh Press, 1964
  • 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 13

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

VORGESCHICHTE

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

AVICENNAS DISKUSSION VON UMWANDLUNG (‚Conversion‘)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

DISKUSSION

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

KONVERTIERUNG OHNE BEDEUTUNG?

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

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

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

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

KONVERTIERUNG MIT BEDEUTUNG – MIT WELCHER?

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

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

Fortsetzung folgt

QUELLEN

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

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

AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 11

Bildskizzen zu Avicennas Diskussion der Aussagetypen Disjunktive und Konjuntive Konditionale
Bildskizzen zu Avicennas Diskussion der Aussagetypen Disjunktive und Konjuntive Konditionale

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.

Aufgrund des großen Umfangs enthält dieser Blogeintrag zu Avicennas Logik – im Gegensatz zu den vorausgehenden Blogeinträgen 1-9 – nur den Diskussionsteil von Blogeintrag 10. In Blogeintrag 10 wurde weiter die Position Avicennas beschrieben. Ziel der Lektüre ist die Rekonstruktion einer möglichen Theorie der Alltagslogik, wie sie dann in künstlichen lernenden Systemen eingesetzt werden soll (hier trifft die Philosophie direkt auf die Ingenieurskunst ….; man nennt dies ‚Informatik‘).

DISKUSSION

26. Wie schon mehrfach bemerkt, erscheint die Verwendungsweise der meisten Begriffe in Avicennas Abhandlung über die Logik ‚fließen‘ oder – mit einem Begriff aus der modernen Logik – ‚fuzzy‘.

27. Dies hat damit zu tun, dass Avicenna für die Verwendung seiner Begriffe keine klaren Kriterien benutzt. Typisches Beispiel ist sein Begriff der ‚Harmonie‘, den er für die Klassifikation von Antezedenz – Konsequenz Verhältnisse benutzt. Klar ist, dass er für diesen Begriff auf die Bedeutungsdimension zurückgreift; unklar ist, wie genau er dies versteht, da das, was er praktisch überall als ‚Bedeutung unterstellt‘, nirgendwo präzisiert wird. Will man diesen Nachteil beheben, muss man einen Weg finden, die Kriterien zu klären. Ein erprobtes Mittel dafür ist, alle die Umstände explizit zu machen, zu benennen, die man als für ein Kriterium ‚relevant‘ erachtet. Dies ist in der modernen Wissenschaft eine Mischung aus kontrollierten Beobachtungen und theoretischen Annahmen. Und da keine Beobachtung einen ‚Sinn‘ ergibt ohne Bezug zu vorausgesetzten Beziehungen/ Relationen/ Strukturen/ Modellen beginnt jede Klärung eines vagen Zusammenhangs mit ersten ‚theoretischen Annahmen‘ darüber, welche Zusammenhänge man für wichtig hält, mit denen man bekannte – oder noch zu messende – Phänomene ‚erklären‘ möchte.

28. Beginnen wir mit den letzten Annahmen von Avicenna.

AUSSAGEN – AUSSAGESTRUKTUREN

29. Ausgangspunkt sind solche Ausdrücke E, die ‚wahr‘ oder ‚falsch‘ sein können; er nennt sie ‚Aussagen‘ [PROP]: $latex PROP \subseteq E$.
30. Aus logischer Sicht hat Avicenna bislang vier funktionale Rollen innerhalb einer Aussage unterschieden: ‚Subjekt‘, ‚Prädikat‘, ‚Aussageoperatoren‘ sowie ‚Quantoren‘.
31. Minimal benötigen wir ‚Subjekt‘ S und ‚Prädikat‘ P, so dass man im Prädikat P etwas über das Subjekt S aussagen kann: $latex (S P)$
32. Zusätzlich gibt es die Rolle der logischen ‚Aussage-Operatoren‘ ‚Negation‘ $latex \neg$, ‚Exklusive Disjunktion‘ (auch ‚Kontravalenz‘ oder ‚X-OR‘) $latex \sqcup$, und ‚Quantoren‘ Q. Hier unterscheidet er Quantoren über die ‚Anzahl‘ $latex Q_{q}$, und Quantoren über die ‚Zeit‘ $latex Q_{t}$. Man solle gleich noch die Quantoren über den ‚Raum‘ $latex Q_{s}$ ergänzen; diese erwähnt er nicht explizit, aber im Bereich des Bedeutungsraumes spielt die Dimension des Raumes eine wichtige Rolle und begegnet uns in sehr vielen Aussagen.
33. Bei der Verwendung von Quantoren bezieht man sich immer auf eine Gesamtheit. Im Falle von Zeit-Quantoren $latex Q_{t}$ sind dies Zeitpunkte angeordnet auf einem Zeitstrahl. Im Falle von Anzahl-Quantoren $latex Q_{q}$ bezieht man sich auf die Objekte, zu denen das Subjekt einer Aussage in einer Beziehung steht; im Falle von Raum-Quantoren $latex Q_{s}$ bezieht man sich auf zu definierende ‚Raumstellen‘.
34. Unter der Voraussetzung, dass eine Aussage A = (S P) ‚wahr‘ oder ‚falsch‘ sein kann, kann man sagen, dass $latex \neg A$ ‚wahr‘ ist, wenn ‚A‘ alleine ‚falsch‘ ist, d.h. wenn die Aussage A= (S P) nicht zutrifft; d.h. $latex (S \neg P)$ trifft zu.
35. Die Aussage ‚Entweder A oder B‘ $latex (A \sqcup B)$ ist ‚wahr‘, wenn entweder A wahr und B falsch ist oder B wahr und A falsch. Die Verneinung von $latex \neg(A \sqcup B)$ ist wahr, wenn entweder A und B zusammen wahr oder zusammen falsch sind.
36. Die Aussage ‚Wenn A dann B‘ $latex (A \rightarrow B)$ ist nur dann falsch, wenn A zutrifft und zugleich B falsch ist. In allen anderen Fällen ist die Implikation wahr. Die Verneinung $latex \neg(A \rightarrow B)$ wäre dementsprechend wahr, wenn A wahr wäre und B nicht; in allen anderen Fällen falsch
37. Es sei angemerkt, dass die Implikation $latex (A \rightarrow B)$ äquivalent ist zu $latex \neg(A \wedge \neg B)$, wobei das Zeichen ‚$latex \wedge$‘ den aussagenlogischen Operator ‚Konjunktion‘ (‚und‘) repräsentiert. $latex (A \wedge B$ sind nur wahr, wenn A und B zugleich wahr sind, sonst falsch.
38. Quantoren werden Aussagen vorangestellt, also (Q A) bzw. (Q (S P)).
39. Anzahl-Quantoren $latex Q_{q}$ wären ‚alle‘ und verneint $latex \neg Q_{q}$ ’nicht alle‘, definiert durch ‚einige := nicht alle‘.
40. Zeit-Quantoren $latex Q_{t}$ wären ‚immer‘ und verneint $latex \neg Q_{t}$ ’nicht immer‘, definiert durch ‚manchmal := nicht immer‘.
41. Raum-Quantoren $latex Q_{s}$ wären ‚überall‘ und verneint $latex \neg Q_{s}$ ’nicht überall‘, definiert durch ‚einige := nicht überall‘.
42. Als Schreibweisen hat sich herausgebildet, im Falle von ‚alle’/ ‚immer’/ ‚überall‘ von ‚All-Quantoren‘ zu sprechen und zu schreiben $latex \forall(x)$. Das ‚x‘ steht dann für die Art von Objekten, über deren Gesamtheit quantifiziert wird. Im Fall von ‚einige’/ ‚manchmal“ spricht man von ‚Partikularquantoren‘ (missverständlich auch ‚Existenzquantoren‘) und schreibt $latex \exists(x)$. Das ‚x‘ steht wieder für die Art von Objekten, über deren Gesamtheit quantifiziert wird.
43. Im Falle von Partikularquantoren von ‚Existenzquantoren‘ zu sprechen ist leicht irreführend, da ein Existenzquantor $latex \exists(x)$ keine Aussage über die reale Existenz in der umgebenden Welt W trifft, sondern nur angibt, über wie wieviele Objekte x einer Art gesprochen werden soll.
44. Beispiel: ‚Manchmal ist der Himmel grau‘ $latex \exists(t)(der Himmel)(t)(ist grau)$. Es gibt einige Zeitpunkte t (aus der Gesamtheit der geordneten Zeitpunkte T), an denen vom Himmel gesagt werden kann, dass er grau ist.
45. Beispiel: ‚Überall scheint die Sonne‘ $latex \forall(s)(die Sonne)(scheint)$. An allen Raumpunkten s (aus der Gesamtheit der Raumpunkte S), kann von der Sonne gesagt werden kann, dass sie scheint.
46. Beispiel: ‚Alle Menschen sind sterblich‘ $latex \forall(x)(Menschen)(sind sterblich)$. Für alle Objekte aus der Gesamtheit der Menschen kann gesagt werden, dass sie sterblich sind.
47. Beispiel: ‚Nicht alle Menschen sind sterblich‘ $latex \neg\forall(x)(Menschen)(sind sterblich)$ wird übersetzt $latex \exists(x)(Menschen)(sind nicht sterblich)$, $latex \exists(x)(S)(\neg P)$, d.h. für einige Objekte aus der Gesamtheit der Menschen kann gesagt werden, dass sie nicht sterblich sind.

WAHRHEITSBEDINGUNGEN – BEDEUTUNGSRAUM

48. Mit der Einführung der Begriffe ‚Aussage‘, ‚Subjekt‘, ‚Prädikat‘, ‚Aussage-Operator‘, ‚Quantor‘ wurden Strukturelemente von Ausdrücken beschrieben. Allerdings wurde bei der ‚Charakterisierung‘ der unterschiedlichen logischen Rollen immer schon – mehr oder weniger explizit – Bezug genommen auf einen unterstellten ‚Bedeutungsraum‘ M.
49. Der wichtige Punkt hier ist, dass man den Unterschied zwischen dem Bedeutungsraum M und den Eigenschaften X der umgebenden Welt W beachtet.
50. Wie schon zuvor herausgestellt, ist der Bedeutungsraum M, auf den sich die Aussagen mit ihren Strukturen primär beziehen, zu einem gewissen Teil eine Konstruktion über bestimmten Ereignissen X in der umgebenden Welt W.
51. Dieser Unterschied ist die Voraussetzung für Begriffe wie z.B. ‚Existenz‘, ‚wahr’/ ‚falsch‘ und ‚möglich‘.
52. Denn mittels einer Aussage A bestimmte Bedeutungselemente $latex m \subseteq M$ zu benennen, zu aktivieren, ist zwar eine Grundvoraussetzung dafür, dass ein Ausdruck e als Aussage A überhaupt eine ‚Bedeutung‘ hat, diese Bedeutungselemente m sind als solche aber weder ‚wahr‘ noch ‚falsch‘; ihre ‚Existenz‘ ist unklar; ob sie ‚real‘ oder ‚möglich‘ sind folgt aus der primären Bedeutung nicht.
53. Erst wenn man davon ausgeht, dass es innerhalb des Bedeutungsraumes M solche Bedeutungselemente m* gibt, die sich von anderen Bedeutungselementen m0 dadurch unterscheiden, dass ihnen ein ‚Aktualitätsbezug‘ zu aktuellen Wahrnehmungen zusprechen kann, nur dann kann es ein Kriterium geben, wodurch eine Aussage A ’nur‘ eine ‚wahrheitsneutrale‘ Bedeutung m0 hat oder eben durch die ‚Aktualitätseigenschaft‘ m* als ‚zutreffend in der umgebenden Welt M‘ charakterisiert werden kann. An dieser Eigenschaft des ‚aktuell Zutreffens‘ in der umgebenden Welt W lassen sich die Begriffe ‚wahr‘ und ‚falsch‘ ‚anhängen‘: gibt es eine Bedeutung m0, die eine hinreichende Ähnlichkeit mit einer Bedeutung m* hat, dann kann man von der Aussage, die die Bedeutung m0 bezeichnet, sagen, dass sie ‚zutrifft‘ und damit ‚wahr‘ ist; gibt es zu einer aktuell bezeichneten Bedeutung m0 einer Aussage A keine hinreichend ähnliche Bedeutung m*, dann trifft die Bedeutung m0 der Aussage A nicht zu, d.h. sie ist falsch.
54. Sofern wir über ‚Erinnerungen‘ an Bedeutungen m(m*) verfügen, die zu ‚vorausgehenden Zeitpunkten‘ einmal ‚wahr‘ waren, kann dieses Wissen m(m*) dazu benutzt werden, um eine ‚Erwartung‘ über die umgebenden Welt W aufzubauen, dass der Sachverhalt m(m*) sich als aktuelle Wahrnehmung m* ‚reproduzieren‘ lässt; dafür, dass dem so ist, gibt es keine ‚Garantie‘; selbst die sogenannten ‚Naturgesetze‘ sind keine 100%ige Garantie dafür, dass eine erinnerbare Eigenschaft m(m*) aufgrund ihres ‚früheren‘ Auftretens als m* nochmals als m* auftreten wird.

MÖGLICH

55. Ich würde den Begriff der Möglichkeit auch an dieser Differenz aufhängen: einerseits ‚aktuell wahrgenommene‘ Bedeutungselemente m* bzw. ‚erinnert als schon mal aktuell wahrgenommen‘ m(m*)‘ und andererseits nur ‚gedacht’/ ‚vorstellbar‘ als m0 ohne Entsprechung zu einem m* bzw m(m*). Eine ‚Differenz‘ zwischen allgemein vorstellbar/ denkbar und aktuell wahrnehmbar bzw. erinnert als aktuell mal wahrgenommen ist generell ein Hinweis auf Möglichkeit. Wie ‚wahrscheinlich‘ solche möglichen Bedeutungselemente m0 mal als m* reproduziert werden können, ist allgemein kaum anzugeben. Basierend auf dem bislang verfügbaren erinnerbaren Wissen M(M*) insgesamt kann man zwar gewisse ‚Erwartungen‘ konstruieren; dies können aber – wie wir aus der Geschichte wissen – unzuverlässig sein, da sie auf falschen Annahmen bzw. Interpretationen beruhen können (‚Sonne bewegt sich um die Erde‘ oder ‚Erde bewegt sich um die Sonne‘).

WELT ALS FIKTION

56. Aus der bisherigen Rekonstruktion folgt, dass der Begriff der ‚umgebenden Welt W‘ streng genommen eine ‚Fiktion‘ ist. Was es gibt, sind Erregungszustände m* im Gehirn, die es zum überwiegenden Teil nicht selbst verursacht; sie werden in die Erregungsmenge des Gehirns ‚induziert‘. Verglichen damit sind die anderen (bewussten) Erregungszustände m0 ‚von innen‘ (endogen) erzeugt. Unser Gehirn nimmt diese nicht-selbst induzierten (bewussten) Erregungszustände m* als ‚etwas von ihm Verschiedenes‘, an dem sich viele ‚Eigenschaften‘ unterscheiden lassen, u.a. auch eine implizite Raumstruktur. Der Begriff der ‚Welt‘ ist in diesen nicht-selbst induzierten Erregungszuständen m* fest gemacht. Als m* sind diese Erregungszustände ‚unmittelbar‘, ‚direkt‘, so, als ob wir die ‚Welt‘ ‚direkt‘ erleben würden. Wie wir aber heute wissen (können), sind diese direkt erlebbaren Erregungszustände m* das ‚Produkt‘ eines komplizierten Übersetzungsmechanismus, den wir sinnliche Wahrnehmung perc() nennen. Im Prozess der sinnlichen Wahrnehmung perc() werden einige der Weltereignisse X in sinnliche Zustände $latex m_{p}$ abbgebildet: $latex perc: X \longrightarrow M_{p}$. Zusätzlich wissen wir heute, dass die schon verfügbaren Bedeutungselemente M auf diesen Wahrnehmungsprozess Einfluss nehmen können (Stichwort ‚Erwartungen‘, ‚Vorurteile‘ , …): $latex perc: X \times M \longrightarrow M_{p}$.
57. Dabei sind es normalerweise nicht die sinnlichen Erregungszustände $latex M_{p}$, die wir wahrnehmen, sondern die Objekte der nächsten Verarbeitungsstufe, die aus den sinnlichen Elementen als Objektelemente heraus abstrahiert werden: $latex \alpha: M_{p} \times M \longrightarrow M_{o}$. Auch hier wirken sich die schon vorhandenen Bedeutungselemente M auf den Abstraktionsprozess aus. Statt $latex M_{o}$ wird hier auch verkürzend oft nur von den ‚Objekten‘ O gesprochen, da Objekte immer nur als Elemente des Bedeutungsraumes M vorkommen.
58. Die zuvor erwähnten aktuellen Wahrnehmungen m* sind eine Teilmenge der Objektelementen $latex M_{o}$, also $latex m* \subseteq M_{o}$. Die Objektelemente ohne die aktuellen Wahrnehmungen m* gehören zu den ‚denkbaren‘ Objektelementen, also $latex (M_{o} – m*) \subseteq M0$. Dies ist möglich, weil im Gehirn ja nicht ‚reale‘ Objekte mit ‚gedachten‘ Objekten verglichen werden, sondern die ‚realen‘ Objekte treten im Gehirn schon als ‚gezähmte‘ Objekte auf, d.h. was immer an Eigenschaften X in der realen Welt W zur Konstruktion der aktuellen Wahrnehmungen m* geführt hat, m* selbst ist ein Konstrukt wie m0 auch. Deswegen lassen sich beide ‚vergleichen‘ und mit den Mitteln des ‚Denkens‘ ‚bearbeiten‘.

ERGEBNISSE

59. An dieser Stelle könnte man jetzt eine eigene große Abhandlung zur Alltagslogik schreiben. Um den Gang der weiteren Untersuchung von Avicennas Abhandlung damit aber nicht vollständig zu sprengen, beende ich hier die rekonstruierenden Überlegungen und wende mich wieder der Lektüre des Textes zu. Wie man sieht, kann solch eine Lektüre extrem anregend sein.

AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 10

Bildskizzen zu Avicennas Diskussion der Aussagetypen Disjunktive und Konjuntive Konditionale
Bildskizzen zu Avicennas Diskussion der Aussagetypen Disjunktive und Konjuntive Konditionale

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.

Dieser Blogeintrag beginnt mit einer Darstellung der Position von Avicenna und diskutiert dann im Abschnitt ‚DISKUSSION‘ Avicennas Position. Ziel der Lektüre ist die Rekonstruktion einer möglichen Theorie der Alltagslogik, wie sie dann in künstlichen lernenden Systemen eingesetzt werden soll (hier trifft die Philosophie direkt auf die Ingenieurskunst ….; man nennt dies ‚Informatik‘).

AVICENNAs DISKUSSION DES DISJUNKTIVEN UND DES KONJUNKTIVEN KONDITIONALS

1. Anstatt jetzt einzelne Stellen aus dem Text (SS.24-27) zu zitieren hier eine reflektierende Zusammenfassung seiner Aussagen.

AUSDRÜCKE, DIE AUSAGEN SIND

2. Der übergreifende Zusammenhang seiner Überlegungen bilden solche Ausdrücke, die als ‚Aussagen‘ bestimmte Sachverhalte beschreiben, die ‚wahr‘ oder ‚falsch‘ sein können.

3. Das grundsätzliche Kennzeichen solcher Aussagen ist, dass sie von etwas ‚affirmierende‘ (zustimmend, bekräftigend, …) sagen, dass es sich so verhalte, wie gesagt.

QUANTOR SUBJEKT PRÄDIKAT (Q S P)

4. Eine Aussage kann man entweder mit ‚grammatischen‘ Begriffen analysieren im Sinne von ‚Name Verb Präposition Name‘ (z.B. ‚Zyd ist im Haus‘) oder mit logischen Begriffen wie ‚Quantor Subjekt Prädikat‘ (Q S P).

5. Das Subjekt S ist dasjenige, von dem/ über das etwas ausgesagt wird, das im Prädikat P formuliert wird. Der Quantor Q klärt, ob es ‚universell‘ (z.B. ‚alle‘) gemeint ist oder ‚partikulär‘ (z.B. ’nicht alle‘ als ‚einige‘).

EXISTENZ

6. Avicenna benutzt auch bisweilen den Begriff ‚Existenz’/ ‚existieren‘ im Kontext, dass der Sachverhalt einer Aussage ‚existiert‘ oder ’nicht existiert‘, ohne die Verwendung des Begriffs ‚existieren‘ explizit zu analysieren.

EXISTENZ, AFFIRMATION, VERNEINUNG

7. Das Wechselspiel zwischen den Begriffen ‚Affirmieren/ Affirmation‘, ‚Verneinung‘ sowie ‚Existenz‘ ist nicht ganz klar. Einerseits kann die Verneinung eines Sachverhaltes (S nicht P) dennoch eine Affirmation sein, d.h. der Sprecher will damit sagen, dass es zutrifft, dass nicht-P auf S zutrifft, andererseits wird die Verneinung manchmal so verwendet, als ob damit grundsätzlich die Affirmation aufgehoben würde. Einerseits wird ein Ausdruck der Art (S nicht P) interpretiert, dass das ’nicht-P‘ existiert als Eigenschaft von S, dann aber wieder soll das ’nicht‘ in P die ‚Existenz von P‘ aufheben.

BESTIMMT – UNBESTIMMT

8. Auch benutzt Avicenna den Begriff ‚bestimmt/ nicht bestimmt‘ im Kontext der Verwendung von Quantoren. So sagt er z.B. dass (Alle S sind P) ‚bestimmt‘ sei in der Bedeutung, (Nicht-Alle S sind P) aber ’nicht bestimmt‘ als ‚unbestimmt‘. Auch im Kontext der Verwendung von logischen Operatoren (siehe unten) taucht dieses Begriffspaar nochmals auf.

DISJUNKTIVE UND KONJUNKTIVE KONDITIONALE

9. Damit kommen wir zum Hauptthema dieses Abschnitts: ‚Disjunktive und Konjunktive Konditionale‘.

10. Was ein disjunktives oder ein konjunktives Konditional ist erklärt er nicht durch eine explizite Definition innerhalb einer Theorie, sondern durch Beispiele von Ausdrücken, die er (mittels impliziter semantischer Kriterien) so oder so charakterisiert/ klassifiziert.

11. Grundbausteine bleiben die Aussagen (Q S P), die wahr oder falsch sein können. Solche Aussagen kann man auch mit Buchstaben ‚A‘, ‚B‘ abkürzen, was Avicenna selbst im vorausgehenden Text einmal getan hat. Dabei gibt es zwei Fälle: (i) Aussagen ohne Quantoren wie A=(S P) (z.B. ‚Zid lacht‘), oder (ii) Aussagen mit Quantoren A=(Q S P) (z.B. ‚Alle Menschen sind sterblich‘).

QUANTOREN: ANZAHL – ZEIT

12. Er führt dann zwei Arten von logischen Quantoren ein: (i) (Entweder … Oder …) bzw. (ii) (Wenn … dann …). Fall (i) nennt er ‚Disjunktives Konditional‘ und Fall (ii) ‚Konjunktives Konditional‘ (in der späteren modernen Aussagelogik versteht man unter ‚Konjunktion‘ etwas anderes; Fall (ii) von Avicenna heißt in der modernen Aussagenlogik ‚Exklusives Oder‘ oder ‚Kontravalenz‘). Eine moderne Schreibweise für (Wenn A dann B) wäre ($latex A \rightarrow B$), und für (Entweder A oder B) die Schreibweise ($latex A \sqcup B$)).

HARMONIE – DISHARMONIE

13. Interessant ist, dass Avicenna seine logischen Operatoren nicht mit Hilfe sogenannter Wahrheitstafeln (Wahrheitsfunktionen) explizit charakterisiert, sondern aus einer Mischung von Wahrheitswertzuordnungen und den Begriffen ‚Harmonie/ Disharmonie‘.

ANTEZEDENZ – KONSEQUENZ

14. Dazu benötigt er noch zwei Zusatzbegriffe, nämlich die Begriffe ‚Antezedenz‘ und ‚Konsequenz‘. Im Beispiel (Wenn A dann B) kann man nach Avicenna das ‚A‘ als Antezedenz‘ von der Konsequenz ‚B‘ sehen. Im Beispiel (Entweder A oder B) ist es eigentlich nicht klar, welche Komponente das Antezedenz sein soll. Avicenna optiert dafür, dass der ‚linke Teil‘, also ‚Entweder A‘ ein Antezedenz sei, gesteht aber zu, dass es in diesem Fall viele Konsequenzen geben könnte, also (Entweder A oder B1 oder B2 …).

15. Kombiniert mit den Begriffen ‚Harmonie’/ ‚Disharmonie‘ befinden sich die Ausdrucksteile ‚A‘ und ‚B‘ im Fall (Wenn A dann B) in ‚Harmonie‘ (‚Wenn‘ (‚die Sonne‘ ‚aufsteigt‘), ‚dann‘ (‚es‘ ‚ist‘ Tag‘)). B soll hier nach Avicenna von A abhängen. Zu sagen (Wenn (‚es‘ ‚ist‘ ‚Tag‘) dann (‚die Sonne‘ ’steigt auf‘)) würde nach Avicenna disharmonisch sein. Im Falle einer Disjunktion (Entweder A oder B) sei dies aber nicht so. Zwischen dem Antezedenz ‚A‘ und den verschiedenen möglichen Konsequenzen ‚B1‘, ‚B2‘, … besteht keine Harmonie; man kann ihre Anordnung im Ausdruck ändern, ohne dass sich der gemeinte Sachverhalt ändert.

16. Unklar bei Avicenna ist allerdings, ob man nur innerhalb der Konsequenzen ‚B1‘, ‚B2’… umstellen kann bei Beibehaltung des ‚A‘ als Antezedenz oder ob man generell umstellen könnte, also (Entweder ‚B3‘ oder ‚B1‘ oder ‚A‘ oder …).

17. Generell ist die Verwendungsweise der logischen Begriffe bei Avicenna durchgehend ‚fließend‘, d.h. aufgrund seiner generell vagen Charakterisierungen der Begriffe kommt es ständig zu ‚Vermischungen‘ von Verwendungsweisen, die ‚verwirren‘ können. So stellt er einmal die Frage, wie denn das Verhältnis der Begriffe ‚Antezedenz – Konsequenz‘ zu den Begriffen ‚Subjekt S – Prädikat P‘ sei. Würde man berücksichtigen, dass die Begriffe ‚S- P‘ die ‚innere Struktur‘ eines Ausdrucks analysieren, der eine Aussage ist, und die Begriffe ‚Antezedenz‘ – ‚Konsequenz‘ das Verhältnis zwischen Aussagen analysieren, dann würde man diese Frage gar nicht stellen. Die Tatsache aber, dass Avicenna diese Frage aufwirft, zeigt, dass er für sich diese Verwendungsweisen nicht so klar abgegrenzt hat.

18. So kommt Avicenna zu der Deutung, dass in einem Ausdruck der Art (Wenn A dann B) die Verbindung von ‚Wenn‘ mit ‚A‘ aus der Aussage A (die wahr oder falsch sein kann), mit ‚Wenn A‘ ein Ausdruck entsteht, der nicht mehr wahr oder falsch sein kann und daher keine eigentliche Aussage mehr ist. Das gleiche gelte für das Konsequenz ‚dann B‘; auch wenn ‚B‘ für sich wahr oder falsch sein kann, in der Kombination ‚dann B‘ ist der neue zusammengesetzte Ausdruck weder wahr noch falsch und damit keine Aussage.

19. Auf den ersten Blick hat Avicenna Recht, da die beiden Ausdrücke ‚Wenn A‘ und ‚dann B‘ isoliert voneinander, nach den bisherigen Regeln keinen Wahrheitswert haben können. Aber das ‚Wesen‘ eines zusammengesetzten Ausdrucks, dessen Teile über logische Operatoren verbunden sind, besteht ja gerade darin, dass sich der Wahrheitswert des zusammengesetzten Ausdrucks aus den Wahrheitswerten der Teilausdrücke ergeben soll, vorausgesetzt, alle Teilausdrücke sind jeweils für sich Aussagen. Also im Ausdruck (Wenn A dann B) wäre der Wahrheitswert des gesamten Ausdrucks zu berücksichtigen, nicht seiner isolierten modifizierten Teile ‚Wenn A‘ bzw. ‚dann B‘.

20. Avicenna selbst bemerkt, dass der Zusammenhang zwischen (S P) in einer Aussage A=(S P) verschieden ist von dem Zusammenhang von Aussagen in einem zusammengesetzten logischen Ausdruck (Entweder A oder B). Während in der Aussage A das Prädikat P etwas über das Subjekt S aussagt, muss zwischen der Aussage B und der Aussage A in (Entweder A oder B) inhaltlich kein Zusammenhang bestehen. Dennoch bleibt er bei seinen ‚fließenden‘ Verwendungsweisen.

ZEITQUANTOREN

21. Innovativ erscheint seine Benutzung von ‚Quantoren über die Zeit‘. Bislang hatte er ‚Quantoren über die Anzahl‘ benutzt wie ‚alle‘ und ’nicht alle’/ ‚einige‘.

22. Quantoren über die Anzahl: Eine Aussage (alle S sind P) mit dem Quantor Q=’alle‘ nennt er ‚universell‘; eine Aussage (nicht alle S sind P) mit dem Quantor Q=’nicht alle‘ nennt er ‚partikulär‘ (und qualifiziert sie als ‚unbestimmt‘ bzgl. des Wahrheitswertes).

23. Bei Quantoren über die Zeit setzt er implizit eine Art Folge von Zeitpunkten T voraus, so dass man von zwei Zeitpunkten (t,t‘) immer sagen kann, ob t ‚früher‘, ‚gleich‘ oder ’später‘ zu t‘ ist. Ein möglicher Zeitquantor könnte sein ‚immer‘ bzw. ’nicht immer‘ als ‚manchmal‘.

24. Behält man die Struktur (Q S P) bei mit A=(S P) und (Q A), dann gibt es jetzt im Fall von zusammengesetzten logischen Aussagen wieder zwei Möglichkeiten: Entweder (i) die Quantoren sind an die einzelnen Aussagen gebunden (z.B. ‚Wenn (Q A) dann (Q B)‘) oder sie erstrecken sich über mehr als eine Aussage (z.B. ‚Q Wenn A dann B). Avicenna scheint nur den Fall (ii) zu berücksichtigen. Ein Beispiel: (Q Wenn A dann B) als ‚Manchmal Wenn A dann B‘ mit A=’Die Sonne geht auf‘, B=’Es gibt Wolken‘.

DISKUSSION

Wegen des großen Umfangs habe ich die Diskussion dieser Überlegungen von Avicenna in einen nächsten Blogeintrag ausgelagert.

Zur Fortsetzung bitte hier klicken.

QUELLEN

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

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

AVICENNAS ABHANDLUNG ZUR LOGIK – 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.