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

''Chapter 14''.  Is there an affirmative proposition corresponding to every denial?  For example, is the proposition 'every man is unjust' an affirmation (since it seems to affirm being unjust of every man) or is it merely a negative (since it denies justice).

''Chapter 14''.  Is there an affirmative proposition corresponding to every denial?  For example, is the proposition 'every man is unjust' an affirmation (since it seems to affirm being unjust of every man) or is it merely a negative (since it denies justice).

==See also==

==See also==

==External links==

==External links==