The work begins by analyzing simple ''categoric'' propositions, and draws a series of basic conclusions on the routine issues of classifying and defining basic linguistic forms, such as ''simple terms'' and ''propositions'', nouns and verbs, [[negation]], the ''quantity'' of simple propositions (primitive roots of the [[quantifier]]s in modern symbolic logic), investigations on the ''excluded middle'' (what to Aristotle isn't applicable to future tense propositions — the [[Problem of future contingents]]), and on ''[[Modal logic | modal proposition]]s''. | The work begins by analyzing simple ''categoric'' propositions, and draws a series of basic conclusions on the routine issues of classifying and defining basic linguistic forms, such as ''simple terms'' and ''propositions'', nouns and verbs, [[negation]], the ''quantity'' of simple propositions (primitive roots of the [[quantifier]]s in modern symbolic logic), investigations on the ''excluded middle'' (what to Aristotle isn't applicable to future tense propositions — the [[Problem of future contingents]]), and on ''[[Modal logic | modal proposition]]s''. |