Das Tetralemma ( und ) ist eine logische Figur bestehend aus vier Sätzen, welche einem Objekt eine Eigenschaft 1. zusprechen, 2. absprechen, 3. sowohl zu- als auch absprechen 4. weder zu-, noch absprechen. Die indische Logik kennt diese Figur als () bzw. .

Catuṣkoṭi Ursprünglich wird die Catuṣkoṭi eingesetzt, um alle Möglichkeiten der Kombination zweier Prädikate zu erwägen. Im Falle nichtkontradiktorischer Prädikate wie zum Beispiel süß und mild ergeben sich keine Widersprüche.Butzenberger, l.c., S. 571f zieht hierbei das medizinische Lehrbuch Carakasamhita heran.

Problematischer sind hingegen Varianten mit nur einem Prädikat. Denn in der klassischen europäischen Logik, die auf Aristoteles zurückgeht, wird jede Aussage als entweder wahr oder falsch angesehen (Satz vom ausgeschlossenen Dritten, Prinzip der Zweiwertigkeit) und eine Eigenschaft kann nicht gleichzeitig einem Gegenstand zukommen und nicht zukommen. Eine traditionelle Ansicht im Buddhismus, die im antiken Indien entstand, ist, dass es vier Möglichkeiten gibt: Eine Aussage kann wahr (und nur wahr) sein, falsch (und nur falsch) sein, sowohl wahr als auch falsch sein, weder wahr noch falsch sein. Dabei erscheinen die Aussagen (koti) 3 und 4 als direkt widersprüchlich. Klassische indische Texte scheinen zudem eine Konjunktion aller vier Aussagemöglichkeiten zu behaupten. Eine Widersprüchlichkeit ist zwar vermeidbar, wenn zum Beispiel die Objektbereiche auf diskrete Teilmengen des Diskursuniversums eingeschränkt werden. Auch dann aber erscheinen bei Geltung der Kommutativität der Konjunktion und des Gesetzes vom ausgeschlossenen Dritten die kotis 3 und 4 als austauschbar und mithin redundant.Vgl. Butzenberger, 569f

Der buddhistische Philosoph Nagarjuna verwendete das Catuṣkoṭi in zwei unterschiedlichen Varianten: Die erste, positive Variante lautet in einem Beispiel: Alles ist wirklich und unwirklich, sowohl wirklich als auch unwirklich, weder wirklich noch unwirklich. In der negativen Variante des Catuṣkoṭi wird ausgesagt, dass keine der vier Möglichkeiten wahr ist.

Erklärungsversuche Nach der Analyse Butzenbergers gibt es prinzipiell drei Reaktionsmöglichkeiten auf die Probleme der Widersprüchlichkeit und Redundanz der kotis 3 und 4: Angabe einer Rekonstruktion mit Mitteln klassischer Logik, aus der die Probleme nicht mehr herleitbar sind Angabe einer Rekonstruktion mit Mitteln nichtklassischer Logik, aus der die Probleme nicht mehr herleitbar sind Unlösbarkeit. Die catuṣkoṭi wird als irrational oder mystisch interpretiert. Alle drei Optionen sind seiner Darstellung zufolge unbefriedigend. . Ignoriert werde zudem, dass .Butzenberger, 570.

Formalisierung durch klassische Logik Aussagenlogik Vom Standpunkt der westlichen Logik, unter Verwendung der Junktoren der Aussagenlogik, lassen sich die vier Elemente des Catuṣkoṭi wie folgt in Formeln fassen. X bezeichnet dabei eine beliebige Aussage:

FormelBeschreibungBejahungVerneinungbeideskeins von beiden

Da schon die ersten beiden Aussagen einander widersprechen, kann nach den Regeln der Aussagenlogik die Konjunktion aller vier Möglichkeiten (also die positive Variante) nur einen Widerspruch ergeben, also unter keinen Umständen richtig sein.

Die negative Variante (Disjunktion der vier Möglichkeiten) ist stets wahr, weil ja schon , also die Disjunktion der ersten beiden Elemente, eine Tautologie ist.

Relationenlogik Dieser Erklärungsversuch geht davon aus, dass es sich beim Catuskoti um die vier Möglichkeiten handelt, die sich ergeben, wenn man das Verhältnis einer (zweistelligen) Relation auf einer Menge zu einem speziellen Element betrachtet: gilt nur für gilt nur für Elemente mit gilt sowohl für als auch für Elemente mit gilt für kein

Diese vier Fälle schöpfen alle Möglichkeiten aus und schließen sich untereinander aus.

Andere Versuche Gleichwohl wurden in jüngster Zeit unter den Versuchen, nichtklassische Logiken zur Interpretation zu verwenden, neben zum Beispiel dreiwertigen Logiken und ModallogikVgl. z.  auch die Relevanzlogik ins Spiel gebracht.

Einzelnachweise

Literatur

Kategorie:Erkenntnistheorie Kategorie:Logik Kategorie:Indische Philosophie