athir al-din abhari is one of the most outstanding logicians of the islamic period, even though he is less known to contemporary scholars than other logicians. this article, by presenting an edition of al-risalat al-zahirah (the shining treatise), not only makes available for the first time in print an important text in the field of logic, but also surveys some of abhari's logical thought ...

the traditional logician’s explanation on categorical syllogism, make the analysis of controversial syllogism and other relative syllogism, very difficult. the thirteenth century logicians use two methods to solve this problem. one method is ibn sina's method, which adds a premise to syllogism, and the second method is fakhr al-din al-razi and katebis’ method, which provide syllogism relyi...

There has been a long tradition of the interest of logicians in computer science and of computer scientists in logic. On the one hand, many problems raised and investigated by logicians before the emergence of computer science turned out to be relevant for the new science. We may quote here the notion of algorithm , model theory or relational systems. On the other hand, some problems stemming f...

the purpose of this article is to present a comparative study of the views of islamic logicians on ‘verity-propositions’ and nelson goodman’s ideas on law-like statements. in order to achieve this, first we describe the analyses of islamic logician of the meaning of factual proposition and goodman`s presentation of law-like statements. then, using a comparative approach, we explain the points o...

There is a long tradition of the interest of logicians in computer science and of computer scientists in logic. On the one hand, many problems raised and investigated by logicians before the emergence of computer science turned out to be relevant for the new science. We may quote here the notion of algorithm, model theory or relational systems. On the other hand, some problems stemming from com...