He subjected the syllogism to a combinatory calculus, thereby reckoning the number of possible positions of the syllogism that is, with respect to the distinction of positive and negative, then of universal, particular, indeterminate and singular judgments.