  With this translation scheme it is clear that Boole’s treatment of secondary propositions can be analyzed by the methods he had developed for primary propositions. This was Boole’s propositional logic.