We now see that they [propositions] are either conditional or unconditional, or, as the logicians say, hypothetical (conditional) or categorical (unconditional).