The logical effect of Aristotle on the geometry of Euclid

Abstract

This study aims to answer the following two questions: What is meant by logical effect? What is meant by Euclid’s geometry. Before answering these two questions, I am obliged to define the dimensions of the topic covered in this study, and the method used in it. The dimensions of the topic are confined to two aspects: The researcher understands in the first aspect that the geometry of "Euclid" is a linguistic system consisting of a set of elementary concepts that represent the ABC of the system, and of a set of issues that are more complex structures than the previous concepts, and in the second hand he understands that the architecture and Euclid is an inferential theory in which a set of logical proofs prevail for the derivation of new issues from primary issues placed at the beginning of the system. As for the method used in this study, it is based on analyzing the engineering system into its initial concepts, trying to uncover the nature of these concepts, with the aim of distinguishing between what is primary and what is secondary, and analyzing issues in order to highlight the logical rules to which the case building is subject, and to distinguish between issues Primary and secondary issues, and revealing the logical proofs prevailing in that construction in order to stand at the nature of these proofs and their components, and to highlight the difference between direct evidence and indirect proof and the role of logical binding between the premises of the proof and the results derived from it. It is necessary to point out that in my analysis of Aristotle's logic, I acquired the effect of the method presented by Dr. Yassin Khalil in his book Aristotle's Logical Theory, a method that looked at Aristotle's logic, from a contemporary mathematical point of view.

Keywords

• logical proofs
• inferential theory
• logical rules
• case building