聯(lián)合演算何以可能

一元謂詞邏輯和類邏輯都不能完全反映傳統(tǒng)詞項邏輯的特征.亞氏邏輯與命題邏輯一樣,都是二值邏輯.三段論蘊涵式比命題蘊涵式復(fù)雜,它表示一種特殊的蘊涵關(guān)系.希爾柏脫和阿克曼認為,對命題演算符號可作謂詞演算的解釋,也可作類演算的解釋.通過對謂詞的新解釋,可以在命題演算、謂詞演算與類演算之間建立起完全的類比,從而把傳統(tǒng)推理的有些形式作現(xiàn)代邏輯的處理.這一聯(lián)合演算思想雖未發(fā)育成熟,卻能夠為我們?nèi)�面、深入地理解詞項邏輯、謂詞邏輯、類邏輯和命題邏輯之間的關(guān)系,特別是傳統(tǒng)邏輯與現(xiàn)代邏輯的關(guān)系開辟廣闊的空間.

作 者： 馬雷   作者單位： 東南大學(xué),哲學(xué)與科學(xué)系,江蘇,南京,210096  刊 名： 淮陰師范學(xué)院學(xué)報(哲學(xué)社會科學(xué)版)  英文刊名： JOURNAL OF HUAIYIN TEACHERS COLLEGE(SOCIAL SEIENCES EDITION)  年，卷(期)： 2003 25(3)  分類號： B81  關(guān)鍵詞： 詞項邏輯   謂詞邏輯   類邏輯   命題邏輯   聯(lián)合演算  

【聯(lián)合演算何以可能】相關(guān)文章：

文化進化何以可能04-27

主體際性何以可能04-27

環(huán)境倫理學(xué)何以可能04-27

高職院校治理何以可能：研究進路與反思03-01

技術(shù)的批判與批判的技術(shù)--兼論技術(shù)哲學(xué)何以可能04-27

矢量GIS空間方向關(guān)系的演算模型04-27

純粹自由何以可能? --從三大批判看康德自由理論的邏輯建構(gòu)04-26

何以解憂作文08-30

何以回報作文09-12

何以解憂唯有作文11-14