For anyone claiming to write a history of a science of which reasoning forms the very essence, the question of the logic is of paramount importance. For example, a modern western account of any historical period in mathematics would, as a matter of course, show a detailed proof justifying each and every mathematical result discussed. Despite this obvious fact, general histories of Chinese mathematics rarely show concern for this issue. They insist above all on presenting only the mathematical results, the logical underpinnings of which are unclear, and rarely do they provide the reader with any semblance of a proof. While this approach to the history of mathematics is naturally a result of various causes, one which probably plays an essential role is the fact that most Chinese mathematical works themselves contain no logical justifications: according to this worldview, apparently it was enough to state authoritatively that something was true-it was completely superfluous to demonstrate why it was true.

There is one major exception to this general pattern, namely a set of Chinese argumentative discourses which has been handed down to us from the first millennium A.D. We are referring to the commentaries and sub-commentaries on the Jiuzhang Suanshu ["The Nine Chapters on the athematical Art"], the key work which inaugurated Chinese mathematics and served as a reference for it over a long period of its history. This fact, which was long unrecognized, means that we are now in a position to know a lot more about the logical construction of mathematics in China than, for example, in Egypt, Mesopotamia, or India.