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

昆 明 学 院 学 报 　　2010, 32 ( 1) :41～48　　 CN 53 - 1211 / G4　ISSN 1674 - 5639 Journa l of Kunm in g Un iversity 【非主流 、非经典 、非标准逻辑 】 编者语 :本期 “非主流 、非经典 、非标准逻辑 ”栏 目推出三篇论文 。三文作者从不同视角看逻辑学的研 究 , 皆主张突破小逻辑观的束缚 ,支持逻辑学界的大逻辑观 ,但小逻辑观的 “必然地得出 ”是逻辑学的核心部 分 ,这是三篇论文的共识 。 不同的是 :罗文认为形式逻辑主谓外延相同命题间的推理和辩证逻辑主谓内涵相反命题间的推理都是 ( ) “必然地得出 ”,而相似 类比 推理和相异推理都是 “可能地得出 ”。王文认为对象逻辑是 “逻辑学科群的核 心部分 ”,应用逻辑是对象逻辑在不同逻辑学科中的系统运用 ,元逻辑是对前两者的哲学研究 。白文从弗雷 格的逻辑观出发 ,说明现代演绎逻辑的核心思想来源于弗雷格 ,作者站在大逻辑观的立场 ,对与弗氏逻辑观 有内在联系的小逻辑观提出了自己的不同看法 ,认为 “只要对科学的发展有益 ,都是值得提倡的 ”。 逻辑推理四大基础类型的内涵与外延关系研究 罗翊重 (云南省社会科学院 ,云南 昆明 650034) 摘要 :用事实验证了逻辑推理 4 大基础类型的互蕴公理 ,进而说明此 4 大公理之内涵与外延间的同构性与异构 性的相互转换关系 。由此说明:除外延性经典数理逻辑的推理演算之外 ,逻辑学还存在着更为广阔的发展空间 , 新世纪非经典数理逻辑的内涵性或外延性推理演算研究有着灿烂的前景 。 关键词 :逻辑推理 ;相同公理 ;相似公理 ;相异公理 ;相反公理 ; 内涵 ;外延 ; 同构 ;异构 中图分类号 : B 8110　文献标识码 : A 　文章编号 : 1674 - 5639 (2010) 0 1 - 004 1 - 08 Research on the Rela tion sh ip between Connota tion and D enota tion of Four Essen tia l Types of L og ic D eduction LUO Yizhong ( Yunnan Provincial Social Science In stitute, Yunnan Kunm ing 650034 , Ch ina) A b stract: B a sed on the facts to te stify the m utual imp lied axiom of the four essen tial typ e s of logic deduction and further exp resse s the mu tual conversion relation sh ip between homoorgan icity and isom erization of connotation and denotation of the fou r e ssential typ e s of log ic deduction. So a s the re su lts: be sides the deductive in terp retation of denotative cla ssic m athem atical logic, there exist w ider develo p ing sp ace in logic and b rillian t p ro sp ect on study of the deductive interp retation on connotation and denotation of noncla ssic m a