Around the 6th century BC, scholars from ancient China, ancient India and ancient Greece independently established their own logic theories. They are "the study of distinguishing names", "the theory of Ming" and "the logic of ancient Greece". Among them, the logic of ancient Greece is the most systematic, so it has the greatest and deepest influence in the history of world logic development.

Aristotle, an ancient Greek scholar, is regarded as the founder of ancient Greek logic. In the book On Tools compiled by later generations, he comprehensively and systematically discussed the traditional formal logic for the first time, and put forward a series of important expositions and ideas such as categories, propositions, three-stage proofs and fallacies. The logic he founded is called classic or traditional formal logic in the history of logic (the word formal logic was put forward by Kant in17th century) or classic deductive logic. The main feature of this logic is based on category research, that is, it mainly involves category and .........