Abstract

This paper examines al-Fārābī's logical thought within its Arabico-Islamic historical background and attempts to conceptualize what this background contributes to his logic. After a brief exposition of al-Fārābī's main problems and goals, I shall attempt to reformulate the formal structure of Arabic linguistics (AL) in terms of the ontological and formal characteristics that Arabic logic is built upon. Having discussed the competence of al-Fārābī in the history of AL, I will further propose three interrelated theses about al-Fārābī's logic, in terms of which I will attempt to redefine it: the logico-linguistic conception, the project of logicization, and nuclear logic. The final question that will arise is how Aristotle's logic could be built upon AL, which has a nature contrary to logic. The present paper also contributes to examining our traditional research habits in Arabic studies.