This is just a correction. In the last post I called the syllogisms 'categorical syllogisms'. Then I thought about it. Modus ponens and modus tollens are not 'categorical' but just simple syllogisms, and also established rules of inference.