| 一种避免"蕴涵怪论"的可行方法 |
| |
| 引用本文： | 霍书全.一种避免"蕴涵怪论"的可行方法[J].自然辩证法研究,2007,23(7):31-34. |
| |
| 作者姓名： | 霍书全 |
| |
| 作者单位： | 河南大学哲学系 河南开封475001 |
| |
| 基金项目： | 河南大学人文社科重点项目 |
| |
| 摘 要： | "实质蕴涵怪论"问题是困扰经典逻辑的语义问题,在解决它的过程中产生了严格蕴涵和相干蕴涵,出现了模态逻辑和相干逻辑。模态逻辑中仍然有"严格蕴涵怪论"。相干逻辑避免了"蕴涵怪论",但把一些有效的推理形式排除在外,还具有不可判定性。"蕴涵怪论"是由于对推理关系进行形式化(数学化)引起的,因此,我们可以抛开形式系统来寻找一种方法避免"怪论"。本文将给出一个消除"蕴涵怪论"的可行方法———欧拉图解方法。
|
| 关 键 词： | "实质蕴涵怪论" 经典逻辑 非经典逻辑 形式化系统 推理 |
| 文章编号： | 1000-8934（2007）07-0031-04 |
| 修稿时间： | 2007-04-09 |
An Feasible Method to Eliminate the Paradoxes of Material Implication |
| |
| HUO Shu-quan.An Feasible Method to Eliminate the Paradoxes of Material Implication[J].Studies In Dialectics of Nature,2007,23(7):31-34. |
| |
| Authors: | HUO Shu-quan |
| |
| Institution: | Philosophy Department, Henan University, Kaifeng Henan 475001, China |
| |
| Abstract: | The paradox of material implication is a troublesome problem which has not been settled completely in classical logic,and it has caused a variety of implications and non-classical logics in the past.Strict implication and relevant implication resolved the problem caused by material implication partly,but haven't resolved it completely.Through analysis,we conclude that the paradox of material implication is caused by the formalization of reasoning and give a methods to eliminate the paradoxes of material implication by Euler's diagram. |
| |
| Keywords: | the paradox of material implication classical logic nonclassical logic formal system inference |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
