Proving Kant's theory on converting all syllogism forms to the first figure مقالة

ملخص الجهاز:

After that, various figures and rules of classical - Aristotelian logic are introduced; at the end, it is attempted, by emulating the formal language of modern logic and set theory, especially Venn diagrams, to prove how all various figures of syllogism can be returned to the first figure and specifically to the first mood (Barbara). Keywords Kant, formal logic, mathematical logic, formal syllogism, syllogism figures, set theory, Venn diagram Dr. Ali Akbar Peyman Age went into the predicate and into the subject, without insight, age went into the heard Every proof without result, without effect, came in vain; looking at its own result, you saw nothing but a maker without a Creator. " The meaning of this sentence in the language of set theory is that set A contains some elements that are not part of set B, or in G mathematical language, φ=A∩B, whose Venn diagram is in the shape (refer to the page image) below: The hatched part shows the intersection of A and B~. In this note, we mention that if in the Celarent mode we put P' instead of the symbol P the Celarent mode becomes as follows: (Refer to the page image) Or in simple language: All Ms are P' All Ss are M All Ss are P' which is actually the same Barbara mode, in which instead of P, the symbol P' which is the negation of P has been used. (Refer to the page image) In the syllogism (formal syllogism), only the Barbara mood has the property of transitivity.