在是和非基础上建立了一个逻辑科学模式的古希腊哲学家是?