  In LT Boole divided propositions into two kinds, primary and secondary. These correspond to, but are not exactly the same as, the Aristotelian division into categorical and hypothetical propositions. First we discuss his General Method applied to primary propositions. 