亨迪卡的IF邏輯述評(píng)

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

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

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

量子邏輯述評(píng)04-27

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

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

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

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

盧卡奇物化理論述評(píng)04-30

盧卡奇總體性范疇述評(píng)04-27

盧卡奇歷史辯證法思想述評(píng)04-30

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

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