Was ist die Avicennische Logik? 
ein eigenes logisches System
Avicenna
Avicenna

=== Logik ===
Bereits in der von al-Dschuzdschani notieren Autobiografie Avicennas ist ein ''Kleines Kompendium der Logik'' erwähnt, das in den ersten Band von Avicennas ''Buch der Heilung'' Eingang fand. In seinem philosophischen Hauptwerk ''Buch der Genesung'' nimmt die Logik mehr als ein Drittel des Umfangs ein (eine Bearbeitung dieses Werkteils nahm der im letzten Viertel des 13. Jahrhunderts gestorbene Astronom Nağmaddīn ʿAlī ʿUmar al-Qazwīnī al-Kātibī vor).
Avicenna widmete sich der Logik sowohl in islamischer Philosophie als auch in der Medizin mit großer Hingabe und entwickelte sogar ein eigenes logisches System, das auch als „Avicennische Logik“ bezeichnet wird. So war Avicenna wohl einer der ersten, die es wagten, Aristoteles zu kritisieren und von ihm unabhängige, sich stoischen Lehrsätzen annähernde Abhandlungen zu verfassen. Besondere Kritik erhielt die Schule von Bagdad von ihm, da sie sich zu sehr auf Aristoteles begründete. Eine grundlegende Rolle in Avicennas Logik dürfte das philosophische Werk Galens ''Über den Beweis'' gespielt haben.
Avicenna untersuchte die Theorien von Definition und Klassifikation sowie die Quantifikation von Prädikaten und kategorische logische Aussagen. Den Syllogismen, insbesondere den logischen Schlüssen, bestehend aus zwei Prämissen und einer Konklusion (Beispiel: Alle Menschen sind sterblich. Sokrates ist ein Mensch. Daher ist Sokrates sterblich.), gab er Veränderungsformen wie „immer“, „meistens“ oder „manchmal“ bei. In der Frage der Induktion bzw. Deduktion war Avicenna gewissermaßen gespalten. Während er in der Philosophie sich auf die Deduktion verließ, d. h. von einem allgemein gültigen Satz auf Spezialformen schloss (z. B. Alle Menschen sind sterblich – daher ist auch Sokrates sterblich), wendete er in der Medizin als einer der ersten die Methode der Induktion an.
Paradoxe_Logik
Paradoxe Logik ist nach Erich Fromm eine im Gegensatz zu den Denkgesetzen des Aristoteles (384–322 v. Chr.) stehende Denkweise. Sie entspricht weitgehend den religiösen Systemen des Ostens. Als namhaften Vertreter der paradoxen Logik nennt Fromm Lao-Tse (6. od. 7. Jahrhundert v. Chr.). Etwa gleichzeitig habe Heraklit (um 520–460 v. Chr.) seine Theorien der Enantiodromie vertreten. Später sei die paradoxe Logik unter der Bezeichnung Dialektik in der Philosophie von Hegel und Marx wieder aufgetaucht. Fromm gibt als den Unterschied zwischen aristotelischer und paradoxer Logik an, dass es sich bei der aristotelischen Logik um eine auf Ausschluss gerichtete Logik des Entweder-oder handele (A ungleich B), bei der paradoxen Logik jedoch um eine einschließende Logik des Sowohl-als-auch. Als Beispiel gibt Fromm, in seinem Buch "Jenseits der Illusionen", den Spruch 78 aus Tao-te-king von Lao-Tse an: ''„Worte, die eindeutig wahr sind, scheinen paradox zu sein“'' Und von Tschuang-tse: " Was eins ist, ist eins. Was nicht- eins ist, ist ebenfalls eins." Burrows-Abadi-Needham-Logik
Die Burrows-Abadi-Needham-Logik (auch bekannt als BAN-Logik) ist eine 1989 von Michael Burrows, Martín Abadi und Roger Needham publizierte Modallogik, mit der kryptographische Protokolle zum Informationsaustausch definiert und auf Schwachstellen untersucht werden können. Eine Weiterentwicklung der BAN-Logik ist die GNY-Logik.
Wird ein Protokoll analysiert, wird die Beschreibung des Protokolls in BAN-Logik ausgedrückt. Danach werden Prämissen des Protokolls analysiert und anschließend in gültige Aussagen transformiert.
Dabei gibt es jedoch auch Schwachstellen. Auf der einen Seite können gewisse Protokollereignisse gar nicht in BAN-Logik ausgedrückt werden. Andererseits muss beim Übersetzen in BAN-Logik idealisiert werden, was schwierig ist. Sichere und unsichere Varianten eines Protokolls können, in BAN-Logik ausgedrückt, kaum mehr unterschieden werden.  Mathematische_Logik
Die mathematische Logik, auch symbolische Logik,  (veraltet auch ''Logistik''), ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik. Oft wird sie wiederum in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen der Mathematik beigetragen und wurde auch durch dieses motiviert. Infolgedessen wurde sie auch unter dem Begriff ''Metamathematik'' bekannt.
Ein Aspekt der Untersuchungen der mathematischen Logik ist das Studium der Ausdrucksstärke von formalen Logiken und formalen Beweissystemen. Eine Möglichkeit, die Komplexität solcher Systeme zu messen, besteht darin, festzustellen, was damit bewiesen oder definiert werden kann.
Paradoxe_Logik
Paradoxe Logik ist nach Erich Fromm eine im Gegensatz zu den Denkgesetzen des Aristoteles (384–322 v. Chr.) stehende Denkweise. Sie entspricht weitgehend den religiösen Systemen des Ostens. Als namhaften Vertreter der paradoxen Logik nennt Fromm Lao-Tse (6. od. 7. Jahrhundert v. Chr.). Etwa gleichzeitig habe Heraklit (um 520–460 v. Chr.) seine Theorien der Enantiodromie vertreten. Später sei die paradoxe Logik unter der Bezeichnung Dialektik in der Philosophie von Hegel und Marx wieder aufgetaucht. Fromm gibt als den Unterschied zwischen aristotelischer und paradoxer Logik an, dass es sich bei der aristotelischen Logik um eine auf Ausschluss gerichtete Logik des Entweder-oder handele (A ungleich B), bei der paradoxen Logik jedoch um eine einschließende Logik des Sowohl-als-auch. Als Beispiel gibt Fromm, in seinem Buch "Jenseits der Illusionen", den Spruch 78 aus Tao-te-king von Lao-Tse an: ''„Worte, die eindeutig wahr sind, scheinen paradox zu sein“'' Und von Tschuang-tse: " Was eins ist, ist eins. Was nicht- eins ist, ist ebenfalls eins." Burrows-Abadi-Needham-Logik
Die Burrows-Abadi-Needham-Logik (auch bekannt als BAN-Logik) ist eine 1989 von Michael Burrows, Martín Abadi und Roger Needham publizierte Modallogik, mit der kryptographische Protokolle zum Informationsaustausch definiert und auf Schwachstellen untersucht werden können. Eine Weiterentwicklung der BAN-Logik ist die GNY-Logik.
Wird ein Protokoll analysiert, wird die Beschreibung des Protokolls in BAN-Logik ausgedrückt. Danach werden Prämissen des Protokolls analysiert und anschließend in gültige Aussagen transformiert.
Dabei gibt es jedoch auch Schwachstellen. Auf der einen Seite können gewisse Protokollereignisse gar nicht in BAN-Logik ausgedrückt werden. Andererseits muss beim Übersetzen in BAN-Logik idealisiert werden, was schwierig ist. Sichere und unsichere Varianten eines Protokolls können, in BAN-Logik ausgedrückt, kaum mehr unterschieden werden.  Mathematische_Logik
Die mathematische Logik, auch symbolische Logik,  (veraltet auch ''Logistik''), ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik. Oft wird sie wiederum in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen der Mathematik beigetragen und wurde auch durch dieses motiviert. Infolgedessen wurde sie auch unter dem Begriff ''Metamathematik'' bekannt.
Ein Aspekt der Untersuchungen der mathematischen Logik ist das Studium der Ausdrucksstärke von formalen Logiken und formalen Beweissystemen. Eine Möglichkeit, die Komplexität solcher Systeme zu messen, besteht darin, festzustellen, was damit bewiesen oder definiert werden kann.