On the syllogism, no. IV. and on the logic of relations