亨迪卡的IF邏輯述評

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

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

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

量子邏輯述評04-27

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

皮爾士的邏輯哲學(xué)思想述評04-29

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

邏輯哲學(xué)研究的新標(biāo)識--《邏輯哲學(xué)九章》述評04-26

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

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

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

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

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