走出形式化的困境
逻辑的形式化是对自然语言推理的程式化、模式化、符号化,其实质是精确化、抽象化.抽象化到一定界限,它会脱离自然语言实际.实质蕴涵怪论、道义逻辑中的罗斯悖论以及认知逻辑中的厄勒克特拉悖论,都是抽象化、形式化的结果.要消除这些悖论,摆脱形式化的困境,就要由抽象回到具体,回归自然语言,研究自然语言概念、命题及推理的具体用法.
作 者： 罗仕国 Luo Shi-guo 作者单位： 河池师专,广西,宜州,546300 刊 名： 河池师专学报（社会科学版） 英文刊名： JOURNAL OF HECHI NORMAL COLLEGE (SOCIAL SCIENCES) 年，卷(期)： 2003 23(3) 分类号： B81 关键词： 形式化 抽象化 形式语言 自然语言 悖论