聯合演算何以可能

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

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

【聯合演算何以可能】相關文章：

文化進化何以可能04-27

主體際性何以可能04-27

環境倫理學何以可能04-27

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

技術的批判與批判的技術--兼論技術哲學何以可能04-27

矢量GIS空間方向關系的演算模型04-27

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

何以解憂作文08-30

何以回報作文09-12

何以解憂唯有作文11-14