A syllogism (συλλογισμός – syllogismos – "conclusion," "inference") is a kind of logical argument in which one proposition (the conclusion) is inferred from two or more others (the ) of a specific form. In antiquity, two rival theories of the syllogism existed: Aristotelian syllogistic and Stoic syllogistic.Michael Frede, "Stoic vs. Peripatetic Syllogistic", Archive for the History of Philosophy 56, 1975, 99-124.