Kanti filosoofia, "Prolegomena" analüüs 2. osa
Nii näiteks
on Leibnizi jaoks lause “Kolmnurga sisenurkade summa on võrdne kahe täisnurgaga” tõestatav üksnes
vastuolu lubamatuse seadusest lähtudes ja seetõttu sisaldub tema veendumuse kohaselt predikaadi-
mõiste "sisenurkade summa võrdne kahe täisnurgaga” subjekti-mõistes “kolmnurk”. Antud lauset
eitades sattutakse loogilisse vasturääkivusse.
Kuid Kanti eluajal olid tekkinud juba ka esimesed mitte-eukleidilised geomeetriad, mis võimaldasid
näidata, et on võimalik üles ehitada vastuolude-vabu geomeetriaõpetusi, milles on loogiliselt
võimalikud ka väited nagu “Kolmnurga sisenurkade summa on väiksem kui kaks täisnurka” või
“Kolmnurga sisenurkade summa on suurem kui kaks täisnurka”. Seega pole eukleidilise geomeetria
otsustuste subjekti ja predikaadi seosed loogiliselt paratamatud, vaid neid loogilisi subjekte saab ilma
vasturääkivusse sattumata siduda ka teiste predikaatidega.