Abstract

This paper is devoted to Ibn Sinn's text deals with two distinct, though closely related, subjects. First he considers the classification of problems, founded on the logical criteria which are the number and degree of indetermination of the solutions and the number of hypotheses and their possible independence. This classification does not replace the Hellenistic one, which remains relevant insofar as it purports to solve geometrical problems, but complements it and has a different frame of reference, applying principally to algebra, that new born science. Ibn Sinn to bestow more importance on the role played by analysis in the course of the proof, the only role left to synthesis being to check that all implications involved in the course of analysis are in fact equivalences. This method will prove to be productive in algebra too, so much so that some algebraists will explicitly identify algebra with analysis