走出形式化的困境

Out of the Dilemma of Formalization

逻辑的形式化是对自然语言推理的程式化、模式化、符号化 ,其实质是精确化、抽象化。抽象化到一定界限 ,它会脱离自然语言实际。实质蕴涵怪论、道义逻辑中的罗斯悖论以及认知逻辑中的厄勒克特拉悖论 ,都是抽象化、形式化的结果。要消除这些悖论 ,摆脱形式化的困境 ,就要由抽象回到具体 ,回归自然语言 ,研究自然语言概念、命题及推理的具体用法。

The formalization of logic is the proceduralization and symblization of natural language deduction.It's essence is accuracy and abstraction.When this abstraction arrives a limit,it will separates itself from the reality of the natural language.The paradox of material implication,Rose paradox in the moral logic and the Electra paradox of the cognitive logic are the results of abtraction and formalization. For eliminating these paradox,extricating from the formalization,we must come back to concrete from abstraction,come back to natural language and study the concrete usage of concepts,propostions and deductions of natural language.