(al. Unendlich Urteil).
Kant denominou assim as proposições nas quais o predicado é constituído por uma negação, como, p. ex., “a alma é não-mortal” (Logik, § 22, Crít. R. Pura, § 9). O termo infinito já era empregado pela lógica medieval para indicar os substantivos negativos, como p. ex. não-homem (cf. Pedro Hispano, Summ. log., 1.04). [Abbagnano]