In the system of Aristotelian logic, the square of opposition is a diagram representing the different ways in which each of the four propositions of the system is logically related ('opposed') to each of the others. The system is also useful in the analysis of syllogistic logic, serving to identify the allowed logical conversions from one type to another.

Summary

In traditional logic, a proposition (Latin: propositio) is a spoken assertion (oratio enunciativa), not the meaning of an assertion, as in modern philosophy of language and logic. A categorical proposition is a simple proposition containing two terms, subject and predicate, in which the predicate is either asserted or denied of the subject.

Every categorical proposition can be reduced to one of four logical forms. These are: