<正> 现代的分析传统,很明显分成注重人工语言与注重日常语言的两个方向,前者致力于经验科学语言和数学语言的分析和重构,后者着重对具体生活中的语言进行细密的描述和考察。一般地讲,日常语言学派似乎对数学这类精密的人工语言是较少注意的,但殊不知,当维持根斯坦重返哲学,并在其整个观念发生革命的过程中,他对数学哲学的研究是和整个后

以"解释就是论证"为思想核心的亨普尔模式，是科学哲学中第一个系统的关于解释问题的形式理论。它存在一系列尚未解决的问题，其中最本质的是难于阻止无关项进入解释的问题。本文指出，此一问题产生之根由在于严格的逻辑重建纲领，将解释与由普遍律导出被解释项等同。本文概括了亨普尔模式中这一难题的三种解决方案，并分析了各方案本身所遇到的关键难题。