Das Forschungsprojekt widmet sich der Logik und Ontologie in den Werken von Afḍal al-dīn al-Khūnajī und seinen Nachfolgern. Die Ziele sind, Khūnajīs Logik, ihre ontologischen Implikationen und ihren Einfluss auf spätere arabische Logiker zu untersuchen. Das Projekt wird von der DFG gefördert.
Das vorliegende Forschungsvorhaben beschäftigt sich mit Logik und Ontologie in den Werken Afḍal al-dīn al-Khūnajīs (gest. 1248) und einiger seiner Nachfolger. Khūnajī ist nach Avicenna als zweitgrößter arabischer Logiker bekannt und ebenso wie im Fall mittelalterlicher Logiker Europas bauen auch seine Werke auf der von Aristoteles geschaffenen Grundlage auf, jedoch – wie hinlänglich bekannt – mit vielen bedeutsamen Neuerungen.
Nachdem Avicennas Überarbeitung der aristotelischen Logik in den darauffolgenden Jahrhunderten den Status eines Standardmodells erlangte, gelangen Khūnajī wesentliche Neuerungen im Verhältnis zum Avicennischen System, durch die er viele Logiker nach ihm beeinflusste. Während bereits viele Studien der frühen arabischen Logik, insbesondere der Avicennas gewidmet wurden, sind Arbeiten zur Logik Khūnajīs und, im allgemeinen, zur Logik in der islamischen Welt nach 1200 n. Chr. nach wie vor selten.
Das vorliegende Forschungsprojekt zielt darauf ab, diesen Mangel zu beheben, indem es die Logik Khūnajīs, ihre ontologischen Implikationen, sowie ihren Einfluss auf spätere arabische Logiker untersucht. Zu Khūnajis Innovationen gehörte sein beudetender Beitrag zur ‚propositionalen Analyse‘ und die neuartige Kategorisierung von Sätzen auf Grundlage ihres ‚existenziellen Imports‘. Er leistete auch einen ausführlichen Beitrag zu logischen Beziehungen zwischen Sätzen sowie zu den logischen Regeln für Konnektoren (wie Negation, Disjunktion und Bedingungen). Das Ergebnis dieses Vorgangs besteht darin, dass Khūnajīs Vorstellung von logischer Konsequenz sich wesentlich von der Avicennas unterscheidet: Einige Schlussfolgerungen, die für Khūnajī gelten, sind in Avicenas Logik schlicht ungültig (und umgekehrt).
Das Ergebnis meiner Forschung besteht in einer Darstellung von Khūnajīs Logik und einer Rekonstruktion seines Systems unter Verwendung der formalen Begrifflichkeit zeitgenössischer Logik. Ein weiteres Ziel des Projekts liegt darin, die ontologischen Implikationen und Konsequenzen seines Systems zu untersuchen.
Besonders weitreichende Folgen haben dabei seine Unterscheidung zwischen Aussagen hinsichtlich des ‚existenziellen Status‘ ihres Gegenstandes. Darüberhinaus argumentiert Khūnajī für die Gültigkeit von Schlussfolgerungen aus unmöglichen Prämissen. Auch dies hat ontologische Auswirkungen, in diesem Fall mit Blick auf unmögliche Objekte. Zudem verpflichtet ihn dieser Gedanke auch zu einem parakonsistenten Begriff logischer Konsequenz.
Dieses Projekt dient außerdem dazu, es festzustellen, welche weiteren Abweichungen von Khūnajīs Logik in den folgenden Generationen stattgefunden haben, und einige spätere Denker zu untersuchen, die auf Khūnajī reagiert haben. Dazu gehören insbesondere al-Kātibī (gest. 1276), dessen bedeutendes Werk Šamsīyya zu einem wichtigen Lehrtext wurde, sowie die ihm gewidmeten Kommentare, insbesondere die von Quṭb al-Dīn al-Rāzī al-Taḥtānī (gest. 1365), die selbst Gegenstand umfangreicher Glossierung wurden.
Khūnajī is known to be the second greatest Arabic logician after Avicenna. In his main logical work, Kašf al-Asrār ʿan Ghawāmiḍ al-Afkār (The Disclosure of Secrets as to the Obscurities of Thoughts), Khūnajī pushed the boundaries of Arabic logic and made a major departure from Avicennan logic by either challenging it or modifying it in numerous points. As a consequence of his innovations, Khūnajī’s logic had a great impact on later Arabic logicians as well.
Thus, in this project, we aim to provide a systematic exposition of Khūnajī’s logic and its place in the history of logic in the Islamic world. On the one hand, we will provide a commentary of Khūnajī’s Kašf, and explore the reception of his logic by some of the most important Arabic logicians of the 13the century among whom is Kātibī Ghazwīnī (d. 1276) whose Šamsīya became an important handbook of logic in madrasa. On the other hand, we will also bring Khūnajī’s logic into conversation with modern logic by applying the formal machinery of contemporary logic.