| 推理关系形式化产生的问题及哲学思考 |
| |
| 引用本文： | 霍书全.推理关系形式化产生的问题及哲学思考[J].广东广播电视大学学报,2006,15(4):29-32,49. |
| |
| 作者姓名： | 霍书全 |
| |
| 作者单位： | 中山大学,广东广州,510275 |
| |
| 摘 要： | 推理关系的形式化带来了“实质蕴涵怪论”问题,本文对推理关系形式化引起的歧义和“实质蕴涵怪论”的产生进行了分析。通过分析认为,推理是逻辑的研究对象,而逻辑又必须应用推理,推理的这种双重角色决定了对推理进行形式化就会产生“怪论”。虽然“怪论”难以消除,但在一定条件下也是可以消除的。既然推理如此特殊,我们只能通过扩充逻辑种类的方法间接完成对推理的刻画,应该抛弃狭义的逻辑观,使数理逻辑的优势发扬光大。
|
| 关 键 词： | “实质蕴涵怪论” 经典逻辑 非经典逻辑 形式化系统 推理 |
| 文章编号： | 1008-9764（2006）04-0029-05 |
| 收稿时间： | 2005-10-09 |
| 修稿时间： | 2005-10-09 |
The Problems and Philosophical Thinking of the Formulization of Reasoning |
| |
| HUO Shu-quan.The Problems and Philosophical Thinking of the Formulization of Reasoning[J].Journal of Guangdong Radio & Television University,2006,15(4):29-32,49. |
| |
| Authors: | HUO Shu-quan |
| |
| Institution: | Philosophy Departnent,Institute of Logic and Cognition,Sun Yat-Sen University,Guangzhou,Guangdong,510275 |
| |
| Abstract: | The paper is concerned with the ambiguity of the formalization of reasoning and the origin of the paradox of material implication.It argues that reasoning is the object of logic while logic is based on reasoning.The paradox of material implication is resulted from its double roles.Though the paradox of material implications can't be settled easily,they can be eliminated under some conditions.Since each logic system uses reasoning and has its shortcomings,the narrow logic view should be discarded in order to help mathematical logic develop. |
| |
| Keywords: | material implication classical logic nonclassical logic formal system reasoning |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
