| 走出形式化的困境 |
| |
| 引用本文： | 罗仕国.走出形式化的困境[J].河池学院学报,2003,23(3):8-10. |
| |
| 作者姓名： | 罗仕国 |
| |
| 作者单位： | 河池师专,广西,宜州,546300 |
| |
| 摘 要： | 逻辑的形式化是对自然语言推理的程式化、模式化、符号化 ,其实质是精确化、抽象化。抽象化到一定界限 ,它会脱离自然语言实际。实质蕴涵怪论、道义逻辑中的罗斯悖论以及认知逻辑中的厄勒克特拉悖论 ,都是抽象化、形式化的结果。要消除这些悖论 ,摆脱形式化的困境 ,就要由抽象回到具体 ,回归自然语言 ,研究自然语言概念、命题及推理的具体用法。
|
| 关 键 词： | 形式化 抽象化 形式语言 自然语言 悖论 |
| 文章编号： | 1005-765(2003)03-0008-03 |
| 修稿时间： | 2003年6月2日 |
Out of the Dilemma of Formalization |
| |
| Luo Shi-guo.Out of the Dilemma of Formalization[J].Journal of Hechi University,2003,23(3):8-10. |
| |
| Authors: | Luo Shi-guo |
| |
| Abstract: | 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. |
| |
| Keywords: | Formalization abstraction formal language natural language paradox |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
