【摘要】：ＩＦ邏輯是當(dāng)代著名邏輯學(xué)家兼哲學(xué)家雅各·亨迪卡新近所創(chuàng)立的一種非經(jīng)典邏輯，，亨迪卡自稱(chēng)它將導(dǎo)致“邏輯學(xué)和數(shù)學(xué)基礎(chǔ)研究中的一場(chǎng)革命”。本文論述了ＩＦ邏輯的緣起、主要結(jié)果以及可能產(chǎn)生的影響。
[Abstract]:IF logic is a kind of nonclassical logic recently created by James Hendika, a famous logician and philosopher, who claims that it will lead to "a revolution in the basic research of logic and mathematics". This paper discusses the origin, main results and possible effects of IF logic.
【作者單位】： 北京大學(xué)哲學(xué)系!北京100871
【分類(lèi)號(hào)】：B81

【相似文獻(xiàn)】

相關(guān)期刊論文 前6條

1 金輝;Excel 2000在普通高校學(xué)生體育成績(jī)管理中的應(yīng)用[J];遼寧體育科技;2002年02期

2 周志明;Excel2000在學(xué)校體育達(dá)標(biāo)工作中的應(yīng)用[J];四川體育科學(xué);2001年03期

3 陳波;亨迪卡的IF邏輯述評(píng)[J];自然辯證法通訊;2000年03期

4 陳波;論分析哲學(xué)的芬蘭學(xué)派[J];自然辯證法研究;1999年07期

5 J.亨迪卡,G.桑朵,陳波;邏輯學(xué)中的一場(chǎng)革命?[J];哲學(xué)譯叢;1999年04期

6 陳波;在邏輯和哲學(xué)之間──訪亨迪卡教授[J];哲學(xué)動(dòng)態(tài);1998年07期

本文編號(hào)：2294306