走出形式化的困境

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