 And inference (2) seems to be valid because its parts exhibit this pattern. Aristotle discussed many such forms of inference, called syllogisms, involving propositions that can be expressed with quantificational words like ‘every’ and ‘some’. For example, the syllogistic patterns below are also valid.