论文部分内容阅读
形式化是现代逻辑最重要的方法。将形式化方法引入哲学研究是必要的，也是有可能的，当今的“哲学逻辑”把这种可能性变成了现实；哲学理论的形式化有自己的具体操作程序。但是哲学理论的形式化也有其内在局限，即适用范围的狭窄性、研究结果的尝试性、作用程度的有限性；因此最后结论是：形式化是哲学研究的一种重要的辅助性研究方法，必须注意将它与其他哲学研究方法配合使用。
Formal logic is the most important method of modern logic. The introduction of formal methods into philosophical research is necessary and possible. Today’s “philosophical logic” turns this possibility into reality; and the formalization of philosophical theories has its own specific operational procedures. However, the formalization of philosophical theory also has its inherent limitation, that is, the narrow scope of application, the tentativeness of the result of the research and the limited degree of its function. Therefore, the final conclusion is that formalization is an important auxiliary research method of philosophical research, Care must be taken to use it in conjunction with other philosophical approaches.