亨迪卡的IF邏輯述評

IF邏輯是當代著名邏輯學家兼哲學家雅各·亨迪卡新近所創(chuàng)立的一種非經(jīng)典邏輯，亨迪卡自稱它將導致“邏輯學和數(shù)學基礎(chǔ)研究中的一場革命”。本文論述了IF邏輯的緣起、主要結(jié)果以及可能產(chǎn)生的影響。

作 者： 陳波   作者單位： 北京大學哲學系，北京 100871  刊 名： 自然辯證法通訊  PKU CSSCI 英文刊名： JOURNAL OF DIALECTICS OF NATURE  年，卷(期)： 2000 22(3)  分類號： B085  關(guān)鍵詞： 量詞依賴   量詞獨立   游戲論語義學   IF邏輯  

【亨迪卡的IF邏輯述評】相關(guān)文章：

量子邏輯述評04-27

亨廷頓政治穩(wěn)定思想述評04-26

皮爾士的邏輯哲學思想述評04-29

領(lǐng)導科學邏輯起點研究述評04-27

邏輯哲學研究的新標識--《邏輯哲學九章》述評04-26

盧卡奇物化理論述評04-30

盧卡奇總體性范疇述評04-27

盧卡奇歷史辯證法思想述評04-30

英國最著名的傳統(tǒng)大學：卡迪夫大學03-19

道義邏輯、行動邏輯和規(guī)范邏輯04-28