Logic was studied in several ancient1, including India, China, Persia and Greece. In the West, logic was established as a formal2by Aristotle, who gave it a fundamental place in philosophy. The study of logic was part of the classical trivium (三学科), which also included3 and rhetoric.