По мысли Канта, формальная логика не является инструментом познания, она не может установить истину, её законы представляют собой «conditio sine qua non, т. е. отрицательное условие всякой истины, но дальше этого логика не может идти». Что касается трансцендентальной логики, то она является учением об основных категориях мышления и опыта; это не формальная, а предметная логика.[1]