Poznámka 44

V širším smyslu označuje Kant za analytická i sporná tvrzení, která mají formu A není A. Tato tvrzení jsou nutně nepravdivá, tj. i negativní forma soudu může být u Kanta analytická; viz Kritika čistého rozumu,A 151/B 190. Pravdivé negativní soudy (pes není kočka) nám epistémicky řečeno zabraňují spáchat omyl, tj. přičíst pojmu, co mu nepatří; pravdivé nekonečné soudy pouze říkají, že subjekt patří do nekonečné oblasti ležící mimo pojem, který tvoří matérii negativního predikátu. K epistémické roli těchto kvalit soudu viz Kritika čistého rozumu, A 72/B 97 nn. Explikativní užití nemají – přinejmenším na první pohled – ani soudy hypotetického či disjunktivního typu.