毕节学院学报
畢節學院學報
필절학원학보
JOURNAL OF BIJIE UNIVERSITY
2008年
1期
52-56
,共5页
蕴涵怪论%制约逻辑%两个独立性%相干逻辑%选言推理
蘊涵怪論%製約邏輯%兩箇獨立性%相榦邏輯%選言推理
온함괴론%제약라집%량개독립성%상간라집%선언추리
实质蕴涵的提出引起学界极大争议,蕴涵怪论一直是争论焦点之一.20世纪以来不少学者致力于构造排除蕴涵怪论的形式系统.制约逻辑和相干逻辑均成功避免了迄今所知的一切蕴涵怪论.因制约逻辑系统、模态逻辑系统以及与严格蕴涵、相干蕴涵相联系的E系统都采用entailment这个词来表征,故易被误认作相近的系统.事实上,制约关系与相干蕴涵不同;制约逻辑接纳而相干逻辑排斥选言推理,故此二者殊异.认为制约逻辑与相干逻辑等价,是一种误解.
實質蘊涵的提齣引起學界極大爭議,蘊涵怪論一直是爭論焦點之一.20世紀以來不少學者緻力于構造排除蘊涵怪論的形式繫統.製約邏輯和相榦邏輯均成功避免瞭迄今所知的一切蘊涵怪論.因製約邏輯繫統、模態邏輯繫統以及與嚴格蘊涵、相榦蘊涵相聯繫的E繫統都採用entailment這箇詞來錶徵,故易被誤認作相近的繫統.事實上,製約關繫與相榦蘊涵不同;製約邏輯接納而相榦邏輯排斥選言推理,故此二者殊異.認為製約邏輯與相榦邏輯等價,是一種誤解.
실질온함적제출인기학계겁대쟁의,온함괴론일직시쟁론초점지일.20세기이래불소학자치력우구조배제온함괴론적형식계통.제약라집화상간라집균성공피면료흘금소지적일절온함괴론.인제약라집계통、모태라집계통이급여엄격온함、상간온함상련계적E계통도채용entailment저개사래표정,고역피오인작상근적계통.사실상,제약관계여상간온함불동;제약라집접납이상간라집배척선언추리,고차이자수이.인위제약라집여상간라집등개,시일충오해.
