Title: Studies in the history of Arabic logic