Changes

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''.

The first five chapters deal with the terms that form propositions.  Chapters 6 and 7 deal with the relationship between affirmative, negative, universal and particular propositions.  These relationships are the basis of the well-known [[Square of opposition]].  The distinction between universal and particular propositions is the basis of modern [[quantification theory]].  The last three chapters deal with [[linguistic modality|modalities]].  Chapter 9 is famous for the discussion of the [[Problem of future contingents | sea-battle]].  (If it is true that there will be a sea-battle tomorrow, then it is true ''today'' that there will be a sea-battle.  Thus a sea-battle is apparently unavoidable, and thus necessary).

The first five chapters deal with the terms that form propositions.  Chapters 6 and 7 deal with the relationship between affirmative, negative, universal and particular propositions.  These relationships are the basis of the well-known [[Square of opposition]].  The distinction between universal and particular propositions is the basis of modern [[quantification theory]].  Some of the later chapters deal with modal propositions, which assert or deny possibility or impossibility.  Chapter 9 is famous for the discussion of the [[Problem of future contingents | sea-battle]].  (If it is true that there will be a sea-battle tomorrow, then it is true ''today'' that there will be a sea-battle.  Thus a sea-battle is apparently unavoidable, and thus necessary).

''De Interpretatione'' is (the second) part of the ''[[Organon]]'', Aristotle's collected works on [[logic]].

''De Interpretatione'' is (the second) part of the ''[[Organon]]'', Aristotle's collected works on [[logic]].