古希腊逻辑体系和新柏拉图主义（D）是阿维森纳为寻找前提而提供的方法