发送短信: Relational syllogisms and the history of Arabic logic, 900-1900