Logic in Islamic philosophy