Note 237 — Zweites Buch.

Es soll indirekt bewiesen werden: jeder Mensch lacht. Man nehme zuerst das Kontradiktorium an: mancher Mensch lacht nicht. Verwende man nun diese Prämisse als Ober- oder als Untersatz: man erhält keinen Beweis durch einen Schluß in der 1. Figur. Denn in der 1. Figur darf der Obersatz nicht partikulär und der Untersatz nicht verneinend sein. Man nehme dann das Kontrarium an: kein Mensch lacht. Verwendet man diese Prämisse als Untersatz, so erhält man keinen Schluß, wieder weil der Untersatz in der 1. Figur nicht verneinend sein darf. Verwendet man sie aber als Obersatz, so läßt sich zwar ein Schluß gewinnen und daraus die Falschheit der Annahme ableiten, daß kein Mensch lacht. Aber wenn dieses falsch ist, so ist es noch nicht wahr, daß jeder Mensch lacht. Denn dieses ist nicht sein Kontradiktorium.