- 相關(guān)推薦
亨迪卡的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) 分類號(hào): B085 關(guān)鍵詞: 量詞依賴 量詞獨(dú)立 游戲論語義學(xué) IF邏輯【亨迪卡的IF邏輯述評】相關(guān)文章:
量子邏輯述評04-27
亨廷頓政治穩(wěn)定思想述評04-26
皮爾士的邏輯哲學(xué)思想述評04-29
領(lǐng)導(dǎo)科學(xué)邏輯起點(diǎn)研究述評04-27
邏輯哲學(xué)研究的新標(biāo)識(shí)--《邏輯哲學(xué)九章》述評04-26
盧卡奇物化理論述評04-30
盧卡奇總體性范疇述評04-27
盧卡奇歷史辯證法思想述評04-30