數(shù)理邏輯不能取代形式邏輯

從屬于自然語言系統(tǒng)的形式邏輯系統(tǒng)是不可分割的而且是永恒發(fā)展的，它不可能被包含在人工語言系統(tǒng)的數(shù)理邏輯系統(tǒng)所取代。

作 者： 滕定明   作者單位： 廣西師范大學(xué)中文系，廣西桂林 541004  刊 名： 江西教育學(xué)院學(xué)報(bào)  英文刊名： JOURNAL OF JIANGXI INSTITUTE OF EDUCATION  年，卷(期)： 2002 23(5)  分類號(hào)： B813  關(guān)鍵詞： 形式邏輯   數(shù)理邏輯   系統(tǒng)  

【數(shù)理邏輯不能取代形式邏輯】相關(guān)文章：

無可取代作文07-25

取代苯硼酸的制備04-27

啥能取代電?04-26

論黑格爾對(duì)傳統(tǒng)形式邏輯的批評(píng)與超越04-27

本科生“一夜頓解”世界數(shù)理邏輯難題04-28

河南鄲城將試行以骨灰盒取代棺材03-08

取代苯化合物生物富集系數(shù)的估算04-26

營(yíng)銷的管理：沒有任何人是不可取代的04-27

不能的日記02-01

語際翻譯中文化意象的取代、轉(zhuǎn)換與視界融合04-27