syllogistic logic

A form of logic discovered by Aristotle, reported in Prior Analytics, about 335 B.C. Also referred to as Aristotelian logic, or categorical logic. Later, the Stoics added a term of their own, propositional logic. With that said, a logical proposition can be made, referred to as a syllogism. A syllogism requires a major premise, a minor preface, and a conclusion. In some cases, a syllogism can contain an implication; more specifically, with the use of the terms "if," and "then." Any terms are used for variables. Thus, this is an excellent example of a syllogism, or syllogistic logical proposition and conclusion:

• Good noders have lots and lots of XP.
• N-Wing is a good noder,

The actual Aristotelian syllogism is this:

• If A is predicated of all B,


• and B is predicated of all C,


• then A is predicated of all C.

See also: categorical syllogism, tautology, propositional logic, syllogism, logic