逻辑推理四大基础类型及相互关系研究.pdfVIP

逻辑推理四大基础类型及其相互关系研究 罗 翊 重 (云南省社会科学院，云南 昆明 650034) 摘要：用中华传统8大阴阳矛盾范畴分析数学中的开闭区间概念，由此得出相同、相似、相异、 相反这4大逻辑推理基础类型间存在着“三极对立统一”的组成关系。进而提出涉及此组成关系的4大 逻辑推理的互蕴公理及其描述内涵的反演算和逻辑外延的非演算，并用事实验证了上述公理。由此说明： 除外延性经典数理逻辑演算之外，逻辑学还存在着更为广阔的发展空间，新世纪内涵性非经典数理逻辑 演算研究有着灿烂的前景。 关键词：相同公理；相似公理；相异公理；相反公理；外延非演算；内涵反演算 相同者必存在互蕴公理⊨ [⊢( ＝ ) ⊢□( )]：① ∀ Ψ Ψ Ψ → Ψ Ε! ↔ Ψ Ε! j j j j j ＝ ＝ 对任意的 ，因为( ＝＝ )真(⊢)，所以( E! )必然真(⊢□)成立(⊨)。 Ψ Ψ Ψ Ψ ↔ Ψ Ε! j j j j j ~ ~ ~ 相反者必存在互蕴公理⊨ [⊢( ∝ ) ⊢□( )]：② ∀ Ψ ∀ Ψ Ψ Ψ → Ψ Ε! ↔ Ψ Ε! j j j j j j ~ ~ ~ 对任意的 与 ，因为( ∝ )真(⊢)，所以( )必然真(⊢□)成立(⊨)。 Ψ Ψ Ψ Ψ Ψ Ε! ↔ Ψ Ε! j j j j j j 此两公理在逻辑推理基础类型(LTJL）理论中，踞于双闭区间[0，1]中相反对立的两极位置。 ~ 若用0代表“相同所指”( ＝ ），用1代表“相反所指”( ∝ )，则逻辑推理基础类型 Ψ Ψ Ψ Ψ j j j j 及其相互关系的讨论，就可在一个新的视角获得全新的认识。 因为当把0、1作为最根本的对立两极逻辑推理基础类型时，就可依据双闭区间[0，1]所用的 “二极坐标”定位，进而再作更深入、更细致的兼含双开区间(0,1)这一中间项的“三极坐标”定 位，即[0,(0,1),1]。这样，就既能为揭示主谓项皆相同的形式逻辑推理类型(＝)、为揭示主谓项 皆相反的辩证逻辑推理类型(∝)，即{＝,∝}，还能为，极限值趋向于(⇥)主谓项相同的主谓项有 相似项的相似逻辑推理类型(∽)、极限值趋向于(⇥)主谓项相反的主谓项有相异项的相异逻辑推理 类型(≠)，即{∽,≠}，都做好逻辑推理基础类型的准确定位。此定位源于[＝,(＝,∝),∝]即[＝, ∽∩≠,∝]，而成于[＝⇤∽∩≠⇥∝]。 基于上述观念，可以将所述两大类逻辑推理基础类型{＝,∝}与{∽,≠}，以及此4大组成要素 通过中间项 结合两极项{