谁开创了抽象逻辑