[source: A History of Islamic Philosophy, p. 

...he is the greatest medieval philosopher to exploit it to the full, prior to 
St. Thomas Aquinas. The method has an obvious analogy to the koranic method of 
tafsir and was used frequently by al-Farabi in his logical commentaries on 
Aristotle and by Ibn Sina to a lesser extent in his lost Kitab al-Insaf.
[source: A History of Islamic Philosophy, p. 273]