[FOM] Chinese and Indian logic -- Buckner's post

José Félix Costa fgc at math.ist.utl.pt
Tue Dec 6 03:44:14 EST 2005

«Lukasiewicz says that only the logical principles stated in schematic terms
belong to logic, and not those given in concrete terms.»

I found at home a nice reference:

G. E. R. Lloyd, Adversaries and Authorities, Investigations into ancient
Greek and Chinese science, IDEAS IN CONTEXT, Cambridge University Press,

Otto Neugebaur (in his Exact Sciences in Antiquity, by the end of the
book --- ocurrences captured by the index) refers to the Lukasiewicz' paper
in the same terms as Buckner.

[Unfortunatly I have Needham's books in the south.]

But in what concerns the concept of proof, the Chinese got it!
The earliest Chinese text on mathematics is the Chou Pei Suan Ching. In this
text, a proof of the ''Theorem of Pythagoras'' is given. The proof is worked
out for the 3, 4, 5 triangle, but the idea of the proof is perfectly general
(Needham offers a translation of the proof).

J. Felix

J. Felix Costa
Departamento de Matematica
Instituto Superior Tecnico
Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL
tel:      351 - 21 - 841 71 45
fax:     351 - 21 - 841 75 98
e-mail:   fgc at math.ist.utl.pt
www:    http://fgc.math.ist.utl.pt/jfc.htm

More information about the FOM mailing list