Note 239 — Zweites Buch.

Es sei indirekt zu beweisen: manches Animalische lacht. Der Beweis gelingt bei Annahme des Kontradiktorium: es ist nicht wahr, daß manches Animalische lacht, oder: es lacht kein Animalisches. Er gelingt nicht bei Annahme des Kontrarium. Das Kontrarium ist nach A 231: manches Animalische lacht nicht. Nehmen wir dieses als Untersatz, und als Obersatz die Prämisse: alles Vernünftige lacht, so folgt: manches Animalische nicht vernünftig. Da das nun möglich ist, weil es zuläßt, daß auch manches Animalische vernünftig ist, so erhält man keinen Beweis; vgl. Kap. 11, drittletzter Absatz.