一种避免“蕴涵怪论”的可行方法

发布时间：2019-05-18 05:07

【摘要】："实质蕴涵怪论"问题是困扰经典逻辑的语义问题,在解决它的过程中产生了严格蕴涵和相干蕴涵,出现了模态逻辑和相干逻辑。模态逻辑中仍然有"严格蕴涵怪论"。相干逻辑避免了"蕴涵怪论",但把一些有效的推理形式排除在外,还具有不可判定性。"蕴涵怪论"是由于对推理关系进行形式化(数学化)引起的,因此,我们可以抛开形式系统来寻找一种方法避免"怪论"。本文将给出一个消除"蕴涵怪论"的可行方法———欧拉图解方法。
[Abstract]:The problem of "substantive implication strange theory" is a semantic problem that puzzles classical logic. In the process of solving it, strict implication and coherent implication are produced, and modal logic and coherent logic appear. There is still strict implication strange theory in modal logic. Coherent logic avoids "implication strange theory", but it also has undeterminability by excluding some effective forms of reasoning. " The implication theory is caused by the formalization (mathematical) of the reasoning relation, so we can put aside the formal system to find a way to avoid the "strange theory". In this paper, we will give a feasible method to eliminate the theory of implication strangeness-Euler graph solution method.
【作者单位】： 河南大学哲学系
【基金】：河南大学人文社科重点项目(05ZDRW005)
【分类号】：B812

【参考文献】

相关期刊论文 前1条

1 霍书全;百年“怪论”的有效消解[J];河南大学学报(社会科学版);2005年03期

【共引文献】

相关期刊论文 前1条

1 周海娟;肖伟华;;蕴涵“怪论”—逻辑的必然[J];和田师范专科学校学报;2007年04期

【相似文献】

相关期刊论文 前10条

1 霍书全;;推理关系形式化产生的问题及哲学思考[J];广东广播电视大学学报;2006年04期

2 周云之;后期墨家已经提出了相当于三段论的推理形式——论“故”、“理”、“类”与“三物论式”[J];哲学研究;1989年04期

3 张大松;;论科学思维的溯因推理[J];华中师范大学学报(人文社会科学版);1993年03期

4 刘爱伦,隋华杰;论述理解中逻辑有效与逻辑无效条件推理的研究[J];应用心理学;2004年04期

5 刘叶涛;张雅楠;;论逻辑学与批判性思维的关系[J];学术论坛;2007年03期

6 刘叶涛;;形式逻辑与批判性思维[J];重庆社会科学;2007年10期

7 吴坚;;批判性思维:逻辑的革命[J];北京理工大学学报(社会科学版);2007年05期

8 刘本学;;时态命题的对当关系及推理[J];赤峰学院学报(汉文哲学社会科学版);2008年03期

9 罗惠娜;;逻辑思维及其应用分析[J];法制与社会;2011年21期

10 马兵;;归纳法和归纳推理的结构[J];学术月刊;1961年11期

相关会议论文 前10条

1 张金成;;系统DPA与ZCM的统一[A];1998年逻辑研究专辑[C];1998年

2 李先q;;论比喻推理[A];逻辑学文集[C];1978年

3 余军成;;论“止”[A];“回顾与前瞻：中国逻辑史研究30年”全国学术研讨会论文集[C];2010年

4 张振华;;关于传统逻辑与现代逻辑的推理形式有效性判定方法之比较[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

5 张振华;;关于传统逻辑与现代逻辑推理形式有效性判定方法之比较[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

6 程仲棠;;逻辑与思维——从语义学的观点看[A];1993年逻辑研究专辑[C];1993年

7 彭自强;;《公孙龙子》中一种特殊的推理形式及其意义[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

8 苏天辅;;试说中国古代的逻辑[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

9 朱波;;论形式逻辑有无阶级性问题[A];逻辑学文集[C];1978年

10 徐为民;;维特根斯坦论原初命题的一种推理形式[A];1994年逻辑研究专辑[C];1994年

相关重要报纸文章 前10条

1 内蒙古医学院中医学院 任秀玲;走向中医理论殿堂的思维钥匙[N];中国中医药报;2008年

2 陈新安;浅谈公诉意见的逻辑性[N];江苏经济报;2005年

3 刘国强 薛文运 张锦峰;“法式检押”可模拟辨证论治对号入座过程[N];中国中医药报;2006年

4 任秀玲;中医哲学的内涵及使命[N];中国中医药报;2007年

5 任秀玲;“道”范畴的形成及意义[N];中国中医药报;2005年

6 刘如;如何使员工更加“职业”？[N];电脑商报;2010年

7 贾春华 王永炎 黄启福 鲁兆麟;以象为素 以素为候 以候为证[N];中国中医药报;2005年

8 王爱民 （作者系定西一中高级教师）;从语文考试大纲的调整看作文备考[N];定西日报;2007年

9 本报记者 杜玉萍;探究司母戊大方鼎铸造之谜[N];江苏科技报;2006年

10 李亚冰;音乐欣赏需要情感体验[N];中国教师报;2002年

相关博士学位论文 前8条

1 薛占熬;柔性区间逻辑及推理研究[D];西北工业大学;2006年

2 黄志强;佛教逻辑比较研究[D];中国人民大学;2002年

3 姚志强;演绎推理中信念偏差效应的研究[D];南京师范大学;2005年

4 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年

5 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

6 吴国宏;蕴涵概念内隐获得与发展的实验研究[D];华东师范大学;2002年

7 潘小东;关于格值逻辑及其语言真值不确定性推理研究[D];西南交通大学;2010年

8 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

相关硕士学位论文 前10条

1 张保垒;表列演算探究[D];华东师范大学;2011年

2 邹春尧;基于编排与编制一致性的系统设计[D];大连理工大学;2008年

3 陈家旭;论案件事实认定与证据运用[D];西南政法大学;2009年

4 赵岩;《经下》逻辑理论考察[D];燕山大学;2008年

5 车付翠;计算机科学中的逻辑应用研究[D];燕山大学;2011年

6 刘飞;非单调推理及其应用[D];河南大学;2011年

7 李璐伟;基于规则摄动新度量方法的模糊推理鲁棒性研究[D];长沙理工大学;2009年

8 秦波;逻辑视野下的推定理论分析[D];河南大学;2006年

9 刘板;现代汉语演绎推理标志研究[D];广西师范大学;2007年

10 张凤华;条件推理的集合映射模型再探[D];西南大学;2007年

，

本文编号：2479704