a classification of propositions on the basis of whether they claim necessity or possibility or impossibility