nt containing three categorical propositions, two of them premises, one a A categorical proposition is of the type This S is P and This man is a man, no 'if', no 'but' and no 'either or'. ??? ???Categorical Syllogism - Wikiversity???, In the present chapter, we use the logic of categorical statements, which dates back to Aristotle, and is a powerful tool for handling one large group of argumen