AVICENNAS ABHANDLUNG ZUR LOGIK – Teil 14

VORGESCHICHTE

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

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

KONVERTIERUNG MIT BEDEUTUNG – MIT WELCHER?

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

EXKLUSIVE MODALOPERATOREN

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

WAHR und FALSCH ABKÜRZUNGEN

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

AUSSAGEOPERATOREN

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

Fortsetzung folgt

QUELLEN

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

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

Über cagent

Bin Philosoph, Theologe, Kognitionswissenschaftler und hatte seit 2001 eine Vertretungsprofessur und ab 2005 eine volle Professur im Fachbereich Informatik & Ingenieurswissenschaften der Frankfurt University of Applied Sciences inne. Meine Schwerpunke ab 2005 waren 'Dynamisches Wissen (KI)', 'Mensch Maschine Interaktion (MMI)' sowie 'Simulation'. In dieser Zeit konnte ich auch an die hundert interdisziplinäre Projekte begleiten. Mich interessieren die Grundstrukturen des Lebens, die Logik der Evolution, die Entstehung von Wissen ('Geist'), die Möglichkeiten computerbasierter Intelligenz, die Wechselwirkungen zwischen Kultur und Technik, und der mögliche 'Sinn' von 'Leben' im 'Universum'. Ab 1.April 2017 bin ich emeritiert (= nicht mehr im aktiven Dienst). Neben ausgewählten Lehrveranstaltungen ('Citizen Science für Nachhaltige Entwicklung' (früher 'Kommunalplanung und Gamification. Labor für Bürgerbeteiligung')) arbeite ich zunehmend in einem integrierten Projekt mit Theorie, neuem Typ von Software und gesellschaftlicher Umsetzung (Initiative 'Bürger im Gespräch (BiG)). Die einschlägigen Blogs sind weiter cognitiveagent.org, uffmm.org sowie oksimo.org ... ja, ich war auch mal 'Mönch', 22 Jahre lang mit viel Mystik, Theologie und Philosophie; dabei u.a. einige Jahre Jugendsozialarbeiter.