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 11'' Some propositions appear to be simple which are really composite.  A truly single proposition the name of the subject combines to form a unity.  Thus 'two-footed domesticated animal' means the same thing as a 'man', and the three predicates combine to form a unity.  But in the term 'a white walking man' the three predicates do not combine to form a unity of this sort.

''Chapter 11'' Some propositions appear to be simple which are really composite.  A truly single proposition the name of the subject combines to form a unity.  Thus 'two-footed domesticated animal' means the same thing as a 'man', and the three predicates combine to form a unity.  But in the term 'a white walking man' the three predicates do not combine to form a unity of this sort.

==See also==

==See also==

==External links==

==External links==