计算知识论视域下的科学发现逻辑研究

在科学发现逻辑受制于描述性的传统研究路径,经历衰落和缓慢复苏的大背景之下,计算知识论为科学发现逻辑提供了一个全新的规范性研究框架。该框架不仅为科学发现逻辑做了系统性辩护,而且围绕发现问题的可解性做了许多规范性讨论。虽然其有关具体规范性的研究距离现实的科学发现仍然较远,但这一路径对未来发现逻辑研究走向的启发意义毋庸置疑。

计算知识论研究进展

计算知识论的基本理念既有哲学来源又有语言学来源。通过不同学者的解读和充实,计算知识论成为了一个以归纳问题可解性和归纳方法逻辑可信赖性为核心问题、以可计算理论为分析工具的完整理论体系,为科学推理研究提供了抽象的分析框架。在该框架之下,各种版本的归纳问题得到了重新审视;对可学习性的关注又促成了计算知识论理念与认知逻辑的结合。计算知识论的全新视角及其初显的解题功能都表明:对计算知识论的进一步研究会为科学哲学和知识论领域带来更多有益成果。

How Semiotics Can Improve Our Knowledge on Computing

Several computer theorists and professionals share the concepts of ＂signifier＂ and ＂signified＂ in intuitive terms but are often unfamiliar with semiotics. There is a special digital divide between semiotics and the technology, because the semiotic notions are usually expressed through verbal expressions instead engineers use the mathematical language. In the first step, the present study suggests the formal descriptions of the signifier and the signified. In the second step, we show how these formal definitions are able to justify the hardware structure of a computer system, and even other properties of computing which are currently presented on the as-is basis. Concluding, the basic concepts of semiotics can unveil intriguing aspect of information technology

科学推理研究的程序范式探析

有关科学推理研究的传统路径属于关系范式,以计算知识论为代表的新型路径则属于程序范式。计算知识论路径起源于语言学习的研究,而Kelly是将计算知识论运用于科学推理研究的集大成者。程序范式下的科学推理研究围绕科学推理问题的可解性和科学方法的逻辑可靠性展开,具有规范性、先验性和长期性的特点。依据程序范式下的计算知识论路径,局部不完全决定性问题得到了细致的分析,发现逻辑在科学哲学中的地位也得到了有力辩护。程序范式为科学推理研究提供了完整的分析框架,从可靠探究的角度重新确定了科学推理研究的基本问题,对未来的科学推理研究颇具启发意义。