صورية المنطق الأرسطي

Abstract EN

Talking about formalism in her relation with logic.

Some logicians, especially the mathematical's logicians, who believe that traditional logic has acquired its formality only when it is associated with mathematics, created what is now known as mathematical logic.

However, Lukashevich proved in his book "Aristotle's syllogistic from the standpoint of modern logic" The corruption of this view is presented as an example in” Prior analytics” in which Aristotle uses the symbol.

At the same time, Aristotle knew constants and variables and their significatios without mentioning it.

This is shown in Aristotle's distinction between the name of the proper name and the predicate name.

And the interest of the school stoicism in the five images of the conditional logic, which benefited in the knowledge of the constants and methods of computation in the form of a deductive approach stems from the theparameters of pattern and its production bases.