On Interpretation by Aristotle (384 BCE - 322 BCE)

Organon. On Interpretation is one of the earliest surviving philosophical works in the Western tradition to deal with the relationship between language and logic in a comprehensive, explicit, and formal way. 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 quantifiers 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 propositions. 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 modalities. Chapter 9 is famous for the discussion of the 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). (Adapted from Wikipedia)