Linguistic formulae as cognitive tools

Ancient Greek mathematics developed the original feature of being deductive mathematics. This article attempts to give a (partial) explanation f or this achievement. The focus is on the use of a fixed system of linguistic formulae (expressions used repetitively) in Greek mathematical texts. It is shown that (a) the structure of this system was especially adapted for the easy computation of operations of substitution on such formulae, that is, of replacing one element in a fixed formula by another, and it is further argued that (b) such operations of substitution were the main logical tool required by Greek mathematical deduction. The conclusion explains why, assuming the validity of the description above, this historical level (as against the universal cognitive level) is the best explanatory level for the phenomenon of Greek mathematical deduction.