Every proposition states that something either belongs or must belong or may belong; of these some are affirmative, others negative, in respect of each of the three modes; again some affirmative and negative propositions are universal, others particular, others indefinite.