1、从现代逻辑和语言哲学看,休谟问题是可消解的,而科学实在论正是在科学现实基础上得以成立。
2、之后,美籍逻辑学家歌德尔一阶谓词演算的完备性定理,这标志着现代逻辑基础部分的完成。
3、半符号逻辑是一种新的逻辑分支,它试图突破传统和现代逻辑的局限性,建立一种既严格又易于掌握的逻辑体系。
4、从现代逻辑和语言哲学看,休谟问题是可消解的,而科学实在论正是在科学现实基础上得以成立。
5、叶圣陶先生早年关于文体分类的持论存在严重的缺失,我们也必须以现代逻辑科学为准绳重新进行理性审视。