2 Rekonstruktionen getaggt mit "Logik"

Bibliographische Angaben​

Das Argument des Chrysipp über den logisch schließenden Hund findet sich als Fragment 36E in Long/Sedley (1987) sowie in Hülser (1987). Es ist überliefert beim antiken Skeptiker Sextus Empiricus (Grundriß der pyrrhonischen Skepsis, I 69). Hier verwendete Übersetzung: Malte Hossenfelder. Auslassungen und Ergänzungen in eckigen Klammern: Niko Strobach. Auf eine Wiedergabe des griechischen Originals wird verzichtet.

Textstelle​

Die Stelle lautet:

Nach Chrysipp [...] hat der Hund sogar an der vielgepriesenen Dialektik teil. Jedenfalls behauptet Chrysipp, der Hund wende das fünfte mehrgliedrige unbewiesene Argument an, wenn er an einen Dreiweg kommt und nach dem Spüren auf den zwei Wegen, die das Wild nicht entlang gelaufen sei, sofort den dritten entlang stürme, ohne hier überhaupt gespürt zu haben. Er schließe nämlich [...] dem Sinne nach (dynámei) folgendermaßen: „Das Wild ist entweder hier oder hier oder hier entlang gelaufen. Weder aber hier noch hier. Also hier.“

Das griechische Äquivalent zu „Hund“ („kyôn“) findet sich zwar nicht an der Textstelle selbst, kann aber sicher ergänzt werden, da ihr Kontext eine Passage über die Fähigkeiten von Hunden ist.

Argumentrekonstruktion​

Das Argument hat die Struktur eines doppelten modus ponens. Der modus ponens ist eine Schlussform, welche die Stoiker akzeptierten: Wenn p, dann q; nun aber p; also q.

• P1: Wenn es einen Hund gibt, der einen disjunktiven modus tollens mit drei Fällen anwendet, dann gibt es wenigstens einen Hund, der zu logischem Denken in der Lage ist (er „nimmt an der vielgepriesenen Dialektik teil“).
• P2: Wenn es einen (Jagd-) Hund gibt, der an einer dreifachen Weggabelung, nachdem er in zwei Wege geschnüffelt hat, die das verfolgte Tier nicht genommen hat, ohne weiteres Schnüffeln in den dritten Weg läuft, dann gibt es einen Hund, der den disjunktiven modus tollens mit drei Fällen (Entweder p oder q oder r; nun aber weder p noch q; also r) anwendet.
• P3: Es gibt einen Hund, der an einer dreifachen Weggabelung, nachdem er in zwei Wege geschnüffelt hat, die das verfolgte Tier nicht genommen hat, ohne weiteres Schnüffeln in den dritten Weg läuft.
• Z1: Es gibt einen Hund, der einen disjunktiven modus tollens mit drei Fällen anwendet. (aus P2 und P3 mit modus ponens)
• K: Es gibt es ist wenigstens einen Hund, der zu logischem Denken in der Lage ist. (aus P1 und Z1 mit modus ponens)

Kommentar​

Die Rekonstruktion bedient sich einer aussagenlogischen Schlussformel, die die Stoiker akzeptierten und die auch in der klassischen Aussagenlogik gilt. Die Rekonstruktion ist deduktiv gültig. Ist sie auch stichhaltig? Dafür müssten alle Prämissen wahr sein. Chrysipp hat sie offenbar für wahr gehalten. Aber sind sie das? Es ist sinnvoll, die Prämissen in umgekehrter Reihenfolge zu betrachten.

P3 ist eine empirische Prämisse. Um ihre Wahrheit zu etablieren, muss man einen Hund finden, der das in P3 beschriebene Verhalten auch wirklich an den Tag legt. Dabei muss man Beobachtungsfehler sorgfältig vermeiden. Sieht man (am besten, wenn man die Aufnahme eines Experiments in Zeitlupe ansieht) genau, dass der Hund in die ersten beiden Wege schnüffelt? Dass er in den dritten nicht hineinschnüffelt? Man muss sich davor hüten, P3 einfach zu glauben, weil man das Vorurteil hat, dass Hunde viel können. Chrysipp formuliert P3 vorbildlich: Es ergibt sich aus seiner Beschreibung genau, wie ein Experiment zum Test von P3 aussehen würde. Die Antwort auf die Frage, ob P3 wahr ist, lautet also: Schauen wir!

Übrigens mag man sich fragen, ob die oben vorgenommene Rekonstruktion angemessen ist, wenn die Wahrheit von P3 nur das beschriebene Verhalten eines einzigen Hundes verlangt. Soll für das, was Chrysipp behauptet, bereits ausreichen, dass ein Hund das beschriebene Verhalten einmalig zeigt, oder soll wenigstens ein Hund dies üblicherweise tun? Will Chrysipp nicht etwas über arttypisches Verhalten von Hunden sagen? Dann sollte man das Experiment wohl mit vielen Hunden machen. Man mag deshalb eine formal ganz parallele Rekonstruktion erwägen, in der das Gegenstück zu P3 lautet:

• $P3'$: Hunde, die an einer dreifachen Weggabelung, nachdem sie in zwei Wege geschnüffelt haben, die ein verfolgtes Tier nicht genommen hat, laufen (art-)typischerweise ohne weiteres Schnüffeln in den dritten Weg.

Freilich müsste man dann sehr genau sagen, unter welchen Bedingungen man die Wahrheit von $P3'$ für empirisch nachgewiesen oder aber widerlegt hält. (Wie viele Hunde testet man? Wie viele Ausreißer sind für arttypisches Verhalten erlaubt?)

P2 scheint ein klarer Fall zu sein. Aber auch hier ist größte methodische und begriffliche Vorsicht angebracht. Angenommen, P3 ist wahr. Können wir dem beobachteten Verhalten wirklich ohne weiteres entnehmen, dass der Hund den disjunktiven modus tollens mit drei Fällen angewendet hat? Ist das vielleicht nur eine Hypothese von uns, die sein Verhalten gut erklärt? Wieviel, und was, muss dem Hund durch den Kopf gehen, damit wir von „anwenden“ sprechen? Was haben wir damit gemeint? Es gibt einen Hinweis im Originaltext darauf, dass Chrysipp dieses Problem gesehen hat. Er schreibt vorsichtig, der Hund schließe dynámei wie beschrieben. Das Wort „dynámei“ ist an dieser Stelle schwer zu übersetzten. Hossenfelder übersetzt „dem Sinne nach“. Bury übersetzt „implicitly“. Die Antwort auf die Frage, ob P2 wahr ist, lautet also: Das hängt von einer guten Theorie über Hunde ab.

P1 scheint über jeden Zweifel erhaben. Doch auch hier kann man einen Moment zögern. Damit wir dem Hund die Fähigkeit zu logischem Denken attestieren, sollte der disjunktive modus tollens mit drei Fällen lieber kein Fehlschluss sein. Fähigkeit zum logischen Denken ist ein normatives Konzept. Der Hund soll es richtig machen. P1 ist nur dann wahr, wenn der disjunktive modus tollens mit drei Fällen ein gültiger Schluss ist. Die Stoiker haben den disjunktiven modus tollens mit n Fällen (n $\geq$ 2) für so offensichtlich gültig gehalten, dass sie ihm den Status eines Axioms gegeben haben, das man nicht weiter begründet. Das ist mit „fünftes mehrgliedriges unbewiesenes Argument“ gemeint (sozusagen: „Axiom No. 5“). Aber hatten sie damit Recht? Das ist ein echtes Problem, selbst wenn man heutige nichtklassische Logiken ausklammert – was hiermit geschehen sei. Es fragt sich: Lässt sich ein disjunktiver modus tollens mit n Fällen immer in einen gültigen Schluss der klassischen Aussagenlogik übersetzen? Diese Frage wird im zweiten Teil des Abschnitts „Formale Detailanalyse“ diskutiert (er erfordert starke Nerven und kann übergangen werden). Die Antwort wird „ja“ lauten. Das etabliert die Wahrheit von P1 unter Voraussetzung der klassischen Aussagenlogik. Aber die Übersetzung wird schwieriger sein, als man zunächst meint.

Formale Detailanalyse​

Das Hauptargument lässt sich leicht mit Mitteln der klassischen Aussagenlogik als deduktiv gültiges Argument formalisieren:

Abkürzungsverzeichnis

• p: Es gibt einen Hund, der an einer dreifachen Weggabelung, nachdem er in zwei Wege geschnüffelt hat, die das verfolgte Tier nicht genommen hat, ohne weiteres Schnüffeln in den dritten Weg läuft.
• q: Es gibt einen Hund, der einen disjunktiven modus tollens mit drei Fällen anwendet.
• r: Es gibt es ist einen Hund, der zu logischem Denken in der Lage ist.

Argument

Bei der Diskussion der Wahrheit von P1 hat sich die folgende Frage ergeben: Lässt sich ein disjunktiver modus tollens mit n Fällen (n $\geq$ 2) immer in einen gültigen Schluss mit Formeln der klassischen Aussagenlogik übersetzen? Um die Frage zu beantworten, muss man zunächst scharfstellen, was der disjunktive modus tollens mit n Fällen (n $\geq$ 2) genau ist. Er besteht aus einer disjunktiven Prämisse mit n Fällen und n – 1 weiteren Prämissen, in denen alle Fälle aus der disjunktiven Prämisse bis auf einen ausgeschlossen werden, der die Konklusion ist. Was sind die Wahrheitsbedingungen einer disjunktiven Prämisse in der Logik der Stoiker? Darüber gibt uns das folgende Fragment zur stoischen Logik Auskunft (Long/Sedley (1987), 35E):

„[Für das, was wir auf Latein] disiunctum nennen [...gilt:] Von all den [Sätzen], die getrennt werden, muss genau einer wahr sein, die übrigen falsch.“

Die Junktoren der klassischen Aussagenlogik sind, abgesehen vom einstelligen Negator, zweistellige Junktoren. Man wird daher zunächst nach einer Übersetzung für den Spezialfall des disjunktiven modus tollens mit zwei Fällen suchen. Hier gibt es zwei Kandidatinnen. In einem Fall wird das Zeichen $\lor$ verwendet, das als Zeichen für eine inklusive „Oder“-Verbindung eingeführt ist, im anderen Fall das Zeichen $\mathrel{\nabla}$, das als Zeichen für eine exklusive „Oder“-Verbindung stehen soll. Das metasprachliche Zeichen $\models$ drückt aus, dass, was rechts davon steht, aus dem folgt, was links davon steht. Die Kandidatinnen für eine Übersetzung sind:

(1) $p \lor q, \neg p \models q$
(2) $p \mathrel{\nabla} q, \neg p \models q$

(1) und (2) sind zwar beides gültige Schlüsse der klassischen Aussagenlogik. Man kann das mit einem üblichen Verfahren, zum Beispiel der Tableau-Methode, leicht zeigen. Aber sind beide gleich gute Übersetzungen des disjunktiven modus tollens mit zwei Fällen? Nein, (2) ist besser. Denn die Wahrheitsbedingungen von $\text{„} p \lor q \text{“}$ in (1) stimmen nicht mit denen der stoischen disjunktiven Prämisse mit zwei Fällen überein. $\text{„} p \lor q \text{“}$ wird auch dann wahr, wenn „p“ und „q“ beide wahr sind. Die von $\text{„} p \mathrel{\nabla} q \text{“}$ tun dies. Nachdem das geklärt ist, meint man leicht, eine angemessene Übersetzung des disjunktiven modus tollens mit drei Fällen zu haben, der sich auf n Fälle verallgemeinern lässt:

(3) $(p \mathrel{\nabla} q) \mathrel{\nabla} r, \neg p, \neg q \models r$

Das ist zwar wiederum ein gültiger Schluss der klassischen Aussagenlogik (wie sich wieder mit einem üblichen Verfahren leicht zeigen lässt – dasselbe gilt für $\text{„}\nabla\text{“}$ statt $\text{„} \mathord{\lor} \text{“}$ und auch, wenn man anders klammert). Aber überraschenderweise hat (3) als Übersetzung des disjunktiven modus tollens mit drei Fällen dasselbe Problem wie (1): Wenn „p“, „q“ und „r“ alle wahr sind, ist $\text{„} (p \mathrel{\nabla} q) \mathrel{\nabla}r \text{“}$ wahr – was nicht zur stoischen Semantik für disjunktive Prämissen passt. Mit zweimal $\text{„}\mathord{\lor}\text{“}$ hat man das Problem erst recht. Was mit der disjunktiven Prämisse mit drei Fällen ausgedrückt werden soll, ist komplizierter. Der Hund jagt ein Kaninchen, nicht ein Photon. Ein Kaninchen nimmt nur einen Weg auf einmal. Die Disjunkte der stoischen disjunktiven Prämisse entsprechen diesem Stück Weltwissen:

• „eines wahr, die übrigen falsch“.
• $p \land \neg q \land \neg r\hspace{10mm}\neg p \land q \land \neg r\hspace{10mm}\neg p \land \neg q \land r$

Womit sollte man die Disjunkte verbinden? In Frage kommen $\mathrel{\nabla}$ und $\lor$:

(4) $((p \land \neg q \land \neg r) \mathrel{\nabla} (\neg p \land q \land \neg r)) \mathrel{\nabla} (\neg p \land \neg q \land r)$
(5) $((p \land \neg q \land \neg r) \lor (\neg p \land q \land \neg r)) \lor (\neg p \land \neg q \land r)$

Beide Varianten sind als Übersetzungen der disjunktiven Prämisse mit drei Fällen gleich gut: Sie werden genau in den drei Fällen wahr, die man auszeichnen möchte: nur p, nur q, nur r. Und die Schlüsse? Auch hier ist beides gültig (um sich zu überzeugen, sind sogar Wahrheitswerttabellen mal nützlich):

(6) $((p \land \neg q \land \neg r) \mathrel{\nabla} (\neg p \land q \land \neg r)) \mathrel{\nabla} (\neg p \land \neg q \land r), \neg p, \neg q \models r$
(7) $((p \land \neg q \land \neg r) \lor (\neg p \land q \land \neg r)) \lor (\neg p \land \neg q \land r), \neg p, \neg q \models r$

Mit nur zwei Fällen stimmt’s auch. Und mit n Fällen. Es bietet sich daher an, eine n-stellige stoische Disjunktion mit der folgenden Regel für eine abkürzende Notation zu simulieren:

(Def. $\mathrel{\nabla}^n) \ulcorner\mathrel{\nabla}^n \alpha_1 \ldots \alpha_n\urcorner$ kürzt ab:
$\ulcorner (\alpha_1\land \neg\alpha_2 \land \ldots \land \neg\alpha_n) \lor \ldots \lor (\neg\alpha_1 \land \ldots \neg\alpha_{n-1} \land \alpha_n)\urcorner$

Nun lässt sich als gültiges Schlussschema der klassischen Aussagenlogik festhalten:

(8) $\mathrel{\nabla}^n \alpha_1 \ldots \alpha_n, \neg\alpha_1, \ldots, \neg\alpha_{n-1} \models\alpha_n$

Ein Spezialfall dieses Schemas ist:

(9) $\mathrel{\nabla}^3 p q r, \neg p, \neg q \models r$

Das rechtfertigt den stoischen disjunktiven modus tollens mit drei Fällen vom Standpunkt der klassischen Aussagenlogik und bietet eine gute Motivation für die Wahrheit von P1. Für den Fall, dass P2 und P3 wahr sind, kann man festhalten: Ganz schön schlau, der Hund.

Literaturangaben​

• Karlheinz Hülser (1987): Die Fragmente zur Dialektik der Stoiker. 4 Bde. Stuttgart-Bad Cannstadt 1987 f.
• Anthony A. Long/David N. Sedley (1987): The Hellenistic Philosophers. Cambridge: Cambridge University Press.
• Sextus Empiricus (1968): Grundriß der pyrrhonischen Skepsis. Eingeleitet und übersetzt von Malte Hossenfelder. Frankfurt/M.: Suhrkamp.
• Sextus Empiricus (1933): Outlines of Pyrrhonism. Übersetzt von R.G. Bury. Cambridge/MA: Harvard University Press.
• Niko Strobach (2019), Einführung in die Logik. WBG: Darmstadt.

Bibliographische Angaben​

Das nachgelassene Fragment stammt aus dem Jahr 1887 und findet sich in Band 12 der Kritischen Studienausgabe: N 1887, 9[97], KSA 12, S. 389.

Textstelle​

Wenn, nach Aristoteles der Satz vom Widerspruch der gewisseste aller Grundsätze ist, wenn er der letzte und unterste ist, auf den alle Beweisführung[en] zurückgehn, wenn in ihm das Princip aller anderen Axiome liegt: um so strenger sollte man erwägen, was er im Grunde schon an Behauptungen voraussetzt. Entweder wird mit ihm etwas in Betreff des Wirklichen, Seienden behauptet, wie als ob er dasselbe anderswoher bereits kennte: nämlich daß ihm nicht entgegengesetzte Prädikate zugesprochen werden können. Oder der Satz will sagen: daß ihm entgegengesetzte Prädikate nicht zugesprochen werden sollen? Dann wäre Logik ein Imperativ, nicht zur Erkenntniß des Wahren, sondern zur Setzung und Zurechtmachung einer Welt, die uns wahr heißen soll. Kurz, die Frage steht offen: sind die logischen Axiome dem Wirklichen adäquat, oder sind sie Maaßstäbe und Mittel, um Wirkliches den Begriff „Wirklichkeit“ für uns erst zu schaffen?… Um das Erste bejahen zu können, müßte man aber, wie gesagt, das Seiende bereits kennen; was schlechterdings nicht der Fall ist. Der Satz enthält also kein Kriterium der Wahrheit, sondern einen Imperativ über das, was als wahr gelten soll.

(Friedrich Nietzsche, N 1887, 9[97], KSA 12, S. 389, Hervorhebungen im Original.)

Argumentrekonstruktion​

Nietzsches Argument lässt sich als ein Schluss von drei Prämissen auf die zu begründende Konklusion rekonstruieren. Einige alternative und abgewandelte Rekonstruktionsmöglichkeiten werden im Kommentar diskutiert.

1. Entweder der Satz vom Widerspruch besagt, dass dem Seienden keine entgegengesetzten Prädikate zugesprochen werden können, oder der Satz vom Widerspruch besagt, dass dem Seienden keine entgegengesetzten Prädikate zugesprochen werden sollen.
2. Wenn der Satz vom Widerspruch besagt, dass dem Seienden keine entgegengesetzten Prädikate zugesprochen werden können, dann kennen wir das Seiende bereits unabhängig vom Satz vom Widerspruch.
3. Es ist nicht der Fall, dass wir das Seiende bereits unabhängig vom Satz vom Widerspruch kennen.

4. Der Satz vom Widerspruch besagt, dass dem Seienden keine entgegengesetzten Prädikate zugesprochen werden sollen. (aus 1-3)

Kommentar​

Dieses Fragment beginnt mit einer Motivation der Fragestellung: Welchen Status hat der Satz vom Widerspruch im Besonderen und die Logik im Allgemeinen? Auch wenn Nietzsche zunächst nur von ersterem spricht, deutet die spätere Rede von „logischen Axiomen“ klar darauf hin, dass der Satz vom Widerspruch hier pars pro toto für die Logik als Ganze verstanden werden kann. Auch die einleitende Ausführung zur Stellung dieses Axioms in der Philosophie des Aristoteles spricht für diese Deutung.

Danach wird behauptet, dass in der Frage des Gehalts des Satzes vom Widerspruch genau zwei Alternativen bestehen. Diese Aussage findet sich als ersten Prämisse des rekonstruierten Arguments wieder. Die zweite Prämisse benennt eine Konsequenz der ersten Alternative. Und von dierser wird dann durch die Wendung „was schlechterdings nicht der Fall ist“ klar gesagt, dass sie nicht der Fall ist (Prämisse drei). Doch worin genau besteht die hier verneinte Aussage? Sie besagt, dass wir „das Seiende bereits kennen“. Wie lässt sich das jedoch genauer fassen und wie ist das Wörtchen „bereits“ hier zu verstehen?

In der vorgeschlagenen Rekonstruktion ist dieses Problem so gelöst, dass das Seiende logisch unabhängig vom Satz vom Widerspruch bekannt sein müsste, wenn die erste Alternative der Fall wäre. Und da das wiederum „schlechterdings nicht der Fall ist“, vielleicht da wir den Satz vom Widerspruch immer schon voraussetzen, wenn wir über das Seiende nachdenken, kann die erste Alternative per Modus Tollens ausgeschlossen werden. Dementsprechend folgt am Ende die Wahrheit der zweiten Alternative per Ausschlussprinzip. Eine formale Darstellung findet sich weiter unten.

Nicht nur, aber vor allem bei einem solchen, fragmentarischen Text lassen sich auch einige andere und abgewandelte Rekonstruktionen gut begründen.

Erstens wurde hier ausgelassen, dass Nietzsche auch darauf schließt, dass der Satz vom Widerspruch „also kein Kriterium der Wahrheit“ enthält. Vielleicht ist das durch die Falschheit der ersten Alternative begründet, vielleicht aber auch durch die Wahrheit der zweiten Alternative, auf die hier geschlossen wird. In beiden Fällen ließe sich eine passende Subjunktion als weitere Prämisse ergänzen, um auch auf diese Aussage schließen zu können.

Zweitens wurde hier ebenfalls ausgelassen, dass Nietzsche begründet, dass „die Logik ein Imperativ“ ist. Dies lässt sich vermutlich als Formulierungsvariante der zweiten Alternative verstehen, wenn man unterstellt, dass im Text nicht streng zwischen Imperativen und Sollens-Aussagen unterschieden wird. Eine weitere Möglichkeit wäre es, auch hier schlicht eine passende weitere Prämisse zu ergänzen. Zum Beispiel: „Wenn der Satz vom Widerspruch besagt, dass dem Seienden keine entgegengesetzten Prädikate zugesprochen werden sollen, dann ist die Logik ein Imperativ über das, was uns als wahr gelten soll.“

Drittens schließlich könnte bei dieser Rekonstruktion die zweite Prämisse problematisch erscheinen. Hier wird ein Zusammenhang zwischen einer Aussage über den Gehalt des Satzes vom Widerspruch im „wenn“-Teil und einer Aussage über die Bedingungen unserer Kenntnis des Seienden im „dann“-Teil hergestellt. Aber besteht der Zusammenhang tatsächlich mit der Aussage über den Satz vom Widerspruch und nicht eher mit dem betreffenden Gehalt? Müsste der „wenn“-Teil also nicht entsprechend abgewandelt werden?

An dieser Stelle liegt die Hypothese nahe, dass das Fragment zwar den Gehalt des Satzes vom Widerspruch behandelt, offenbar aber nicht aber an dessen Geltung zweifelt oder diese zumindest nicht thematisiert. Wenn die zweite Prämisse also wie beschrieben abgewandelt wird und dementsprechend auch die erste Prämisse nochmals überarbeitet werden muss, dann ließe sich die dort genannte Alternative wohl am besten als „dann“-Teil einer Subjunktion verstehen, in deren „wenn“-Teil dann die Geltung des Satzes vom Widerspruch als eine Vorbedingung behauptet wird. Diese Vorbedingung erschiene logisch folgerichtig dann ebenfalls in der Konklusion. Diese alternative Rekonstruktionsmöglichkeit sähe insgesamt also so aus:

1. Wenn der Satz vom Widerspruch wahr ist, dann gilt: entweder es können dem Seienden keine entgegengesetzten Prädikate zugesprochen werden, oder es sollen dem Seienden keine entgegengesetzten Prädikate zugesprochen werden sollen.
2. Wenn dem Seienden keine entgegengesetzten Prädikate zugesprochen werden können, dann kennen wir das Seiende bereits unabhängig vom Satz vom Widerspruch.
3. Es ist nicht der Fall, dass wir das Seiende bereits unabhängig vom Satz vom Widerspruch kennen.

4. Wenn der Satz vom Widerspruch wahr ist, dann sollen dem Seienden keine entgegengesetzten Prädikate zugesprochen werden. (aus 1-3)

Je nach Interpretation ließe sich hier natürlich auch die Prämisse, dass der Satz vom Widerspruch in der Tat wahr ist ergänzen, und am Ende auch darauf schließen, dass dem Seienden in der Tat keine entgegengesetzten Prädikate zugesprochen werden sollen.

Formale Detailanalyse​

Der Schluss lässt sich in der ersten Rekonstruktionsform wie folgt formalisieren:

1. p $\lor$ q
2. p $\rightarrow$ r
3. $\lnot$ r

4. q

Dabei stehen die Buchstaben für die folgenden Aussagen:

• p: Der Satz vom Widerspruch besagt, dass dem Seienden keine entgegengesetzten Prädikate zugesprochen werden können.
• q: Der Satz vom Widerspruch besagt, dass dem Seienden keine entgegengesetzten Prädikate zugesprochen werden sollen.
• r: Wir kennen das Seiende bereits unabhängig vom Satz vom Widerspruch.

In der zweiten Rekonstruktionsform sieht die Formalisierung so aus:

1. s $\rightarrow$ (p $\lor$ q)
2. p $\rightarrow$ r
3. $\lnot$ r

4. s $\rightarrow$ q

Um die beiden Rekonstruktionen leichter vergleichbar zu machen, steht hier „r“ für dieselbe Aussage wie oben und „p“ und „q“ für diejenigen Aussagen, die oben in „p“ und „q“ eingebettet waren:

• s: Der Satz vom Widerspruch ist wahr.
• p: Dem Seienden können keine entgegengesetzten Prädikate zugesprochen werden.
• q: Dem Seienden sollen keine entgegengesetzten Prädikate zugesprochen werden.
• r: Wir kennen das Seiende bereits unabhängig vom Satz vom Widerspruch.