走出形式化的困境

邏輯的形式化是對(duì)自然語言推理的程式化、模式化、符號(hào)化,其實(shí)質(zhì)是精確化、抽象化.抽象化到一定界限,它會(huì)脫離自然語言實(shí)際.實(shí)質(zhì)蘊(yùn)涵怪論、道義邏輯中的羅斯悖論以及認(rèn)知邏輯中的厄勒克特拉悖論,都是抽象化、形式化的結(jié)果.要消除這些悖論,擺脫形式化的困境,就要由抽象回到具體,回歸自然語言,研究自然語言概念、命題及推理的具體用法.

作 者： 羅仕國(guó) Luo Shi-guo   作者單位： 河池師專,廣西,宜州,546300  刊 名： 河池師專學(xué)報(bào)（社會(huì)科學(xué)版）  英文刊名： JOURNAL OF HECHI NORMAL COLLEGE (SOCIAL SCIENCES)  年，卷(期)： 2003 23(3)  分類號(hào)： B81  關(guān)鍵詞： 形式化   抽象化   形式語言   自然語言   悖論  

【走出形式化的困境】相關(guān)文章：

走出困境作文06-06

走出困境作文07-19

[合集]走出困境作文02-09

讓我走出困境作文11-21

困難企業(yè)走出困境的思考04-26

走出困境作文8篇[精華]02-08

走出困境作文13篇(薦)03-27

走出困境作文12篇【熱】03-30

走出困境的作文600字（精選20篇）05-13

勇氣讓我走出困境作文（精選52篇）12-13