重庆理工大学学报（社会科学版）
重慶理工大學學報（社會科學版）
중경리공대학학보（사회과학판）
JOURNAL OF CHONGQING INSTITUTE OF TECHNOLOGY
2013年
9期
84-87
,共4页
蕴含怪论%相干逻辑%经典逻辑%模态逻辑
蘊含怪論%相榦邏輯%經典邏輯%模態邏輯
온함괴론%상간라집%경전라집%모태라집
在概述“蕴涵怪论”与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改.认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景.然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂,也导致了一系列的质疑.
在概述“蘊涵怪論”與相榦邏輯的產生的基礎上,闡述相榦邏輯對經典邏輯與模態邏輯的脩改.認為相榦邏輯不僅建立瞭自己龐大的形式繫統傢族,而且擁有完整的語義學,具有良好的髮展前景.然而,相榦邏輯比經典邏輯、模態邏輯更加抽象,更加複雜,也導緻瞭一繫列的質疑.
재개술“온함괴론”여상간라집적산생적기출상,천술상간라집대경전라집여모태라집적수개.인위상간라집불부건립료자기방대적형식계통가족,이차옹유완정적어의학,구유량호적발전전경.연이,상간라집비경전라집、모태라집경가추상,경가복잡,야도치료일계렬적질의.
