逻辑推理四大基础类型的内涵与外延关系研究

摘要：

【摘要】用事实验证了逻辑推理4大基础类型的互蕴公理, 进而说明此4大公理之内涵与外延间的同构性与异构性的相互转换关系。由此说明:除外延性经典数理逻辑的推理演算之外, 逻辑学还存在着更为广阔的发展空间,新世纪非经典数理逻辑的内涵性或外延性推理演算研究有着灿烂的前景。
【关键词】逻辑推理;相同公理;相似公理;相异公理;相反公理;内涵;外延;同构;异构

引言：

【前言】在《对逻辑推理四大基础类型的反演算和非演算》一文中, 笔者已将相同、相似、相异、相反4大公理各自具有的独立性且一致性及其在双闭双开区间整体上的完全性, 统一地表示为如下4大互蕴公理皆成立( )的逻辑推理基础类型(LTJL)的确定性或非确定性推理关系图

作者：

罗翊重

作者单位：

云南省社会科学院, 云南昆明 650034