Stav dette: The development of Arabic logic.