 Kant’s table of judgments lays out a (putatively) exhaustive list of the different possible logical forms of propositions under four major headings, each major heading containing three sub-kinds, as follows.