Three categorical logic provides a useful bridge from the propositional logic we have been studying to modern predicate logic. Propositio is a spoken assertion oratio enunciativa not the meaning of an assertion as in modern philosophy of language and logic. 2 The term syllogism is from the Greek to infer count reckon. . Categorical logic is an area of mathematics which uses category theory in the study of mathematical logic. A modern version of formal logic referred to variously as logistic mathematical logic and the algebra of logic. Converse of is. Many logicians were impressed by the success of mathematics in that there. A number of features distinguish modern logic from the old Aristotelian or traditional logic the most important of which are as follows. Categorical proposition in syllogistic or traditional logic a proposition or statement in which the predicate is without qualification affirmed or denied of all or par...