Согласно Канту, в каждом суждении есть предикат (понятие), который является общим для других объектов действительности. Например, в суждении «все тела делимы» предикатом для всех остальных объектов (будь то металл, пластик, ткань и т.п.) будет являться понятие «тело», следовательно, «эти предметы представляются опосредованно через понятие делимости». Таким образом, суждение есть «опосредованное знание о предмете». Все суждения можно разделить на 4 функциональных группы: по количеству, качеству, отношению и модальности суждений. Общее суждение: «Все мобильные устройства созданы людьми». Общее суждение...

Логика — это наука о формах правильного мышления. Будучи абстрагированной, отвлеченной от содержания мысли, логика занимается исключительно её формами, в силу чего также именуется формальной логикой.