Demonstration of Kant's Theory on Transforming All Formsof Syllogism into the First Form

In the beginning, syllogism, Kant's attitude, on syllogism, and its fourbasic forms are defined. Form Kant's view, only the first form issignificant and other forms can be transformed into the first one. Then,the various forms and formulas of Aristotelian - Classical logic areintroduced. Finally, there is an attempt for demonstrating status oftransforming all forms of syllogism into the first form , i.e. Barbara, byrelying on formal language of mathematical logic, theory of sets, andespecially Van's diagrams. In each case, an example in natural languagefor a more accurate understanding is provided.