Seol mar théacs é seo: Relational syllogisms and the history of Arabic logic, 900-1900