期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
现行形式逻辑中推理理论存在的问题
1
作者 吴春红 张延伍 《华北水利水电学院学报(社会科学版)》 2013年第4期38-41,共4页
随着科技的发展和人类的进步,传统形式逻辑的局限性日益突出。为了走出这一困境、发展传统形式逻辑以便适应现代社会的发展需要,在一些流行的形式逻辑中出现了"吸取数理逻辑"的改良法。但是这种简单、机械的结合,不仅没有达... 随着科技的发展和人类的进步,传统形式逻辑的局限性日益突出。为了走出这一困境、发展传统形式逻辑以便适应现代社会的发展需要,在一些流行的形式逻辑中出现了"吸取数理逻辑"的改良法。但是这种简单、机械的结合,不仅没有达到发展传统形式逻辑的目的,而且还产生了无数的问题。在当代形式逻辑的科学理论指导下,从推理的逻辑特征出发,客观地指出并分析流行形式逻辑推理理论中出现的弊端,这一工作对于传统形式逻辑的当代发展有着重要的意义。 展开更多
关键词 推理 联言推理 关系推理 选言推理
下载PDF
假言+选言推理的逻辑构造、判定和使用 被引量:2
2
作者 徐冬海 《淮阴师范学院学报(哲学社会科学版)》 2000年第2期101-104,共4页
:“假言 +选言推理”是以假言命题和选言命题为前提的组合推理。根据假言、选言命题的逻辑规定 ,可构造出 1 2种推理模式。采用归谬赋值法 ,对其有效性进行判定 ,“N难推理”
关键词 假言+选言推理 推理模式 N难推理 归谬赋值法
下载PDF
从充分条件看尽举选言命题的性质及其推理
3
作者 龚启荣 《毕节学院学报(综合版)》 2007年第6期39-45,共7页
充分条件关系是非纯真值的联结关系,不是纯真值联结关系。作为必须通过非纯真值的充分条件假言联结词"若,则"来定义的导出的尽举选言命题也是非纯真值的:尽举选言命题的真值,不取决于出现在其中的肢命题的真值,前者不是后者... 充分条件关系是非纯真值的联结关系,不是纯真值联结关系。作为必须通过非纯真值的充分条件假言联结词"若,则"来定义的导出的尽举选言命题也是非纯真值的:尽举选言命题的真值,不取决于出现在其中的肢命题的真值,前者不是后者的真值的真值函数。以尽举选言命题作为前提能构成从已知获取新知的推理。以纯真值复合命题作为前提不能构成从已知获取新知的推理。 展开更多
关键词 尽举选言命题 尽举选言推理 非纯真值复合命题 纯真值复合命题 两个独立性 新知
下载PDF
尽举选言命题及其推理
4
作者 龚启荣 《贵阳师范高等专科学校学报(社会科学版)》 2005年第4期4-9,共6页
尽举选言命题是非纯真值复合命题,其真值不是肢命题的真值的真值函数。它可由非纯真值的充分条件假言联结词“若,则”来刻划。尽举选言命题具有作为逻辑推理的两块重要基石的两个独立性。因此,以尽举选言命题作前提能构成从已知获取新... 尽举选言命题是非纯真值复合命题,其真值不是肢命题的真值的真值函数。它可由非纯真值的充分条件假言联结词“若,则”来刻划。尽举选言命题具有作为逻辑推理的两块重要基石的两个独立性。因此,以尽举选言命题作前提能构成从已知获取新知的推理。这与纯真值复合命题有实质性区别。尽举选言推理有相容、反相容和不相容的三种。 展开更多
关键词 尽举选言命题 尽举选言推理 非纯真值复合命题 两个独立性 逻辑新知
下载PDF
经济活动中排他性逻辑思维探究
5
作者 古文化 《天津商业大学学报》 2008年第5期37-41,共5页
排他性逻辑思维是指在经济活动中当面临几个不能同时给予肯定的对象的时候,如果选择了一个对象,就必须放弃其余的对象。本文分析了排他性逻辑思维的内容,在经济活动中的表现及与排中律、选言推理的关系。
关键词 经济活动 排他性 权衡取舍 选言推理 逻辑思维
下载PDF
制约逻辑与相干逻辑比较研究
6
作者 胡红 盛作国 《毕节学院学报(综合版)》 2008年第1期52-56,共5页
实质蕴涵的提出引起学界极大争议,蕴涵怪论一直是争论焦点之一。20世纪以来不少学者致力于构造排除蕴涵怪论的形式系统。制约逻辑和相干逻辑均成功避免了迄今所知的一切蕴涵怪论。因制约逻辑系统、模态逻辑系统以及与严格蕴涵、相干蕴... 实质蕴涵的提出引起学界极大争议,蕴涵怪论一直是争论焦点之一。20世纪以来不少学者致力于构造排除蕴涵怪论的形式系统。制约逻辑和相干逻辑均成功避免了迄今所知的一切蕴涵怪论。因制约逻辑系统、模态逻辑系统以及与严格蕴涵、相干蕴涵相联系的E系统都采用entailment这个词来表征,故易被误认作相近的系统。事实上,制约关系与相干蕴涵不同;制约逻辑接纳而相干逻辑排斥选言推理,故此二者殊异。认为制约逻辑与相干逻辑等价,是一种误解。 展开更多
关键词 蕴涵怪论 制约逻辑 两个独立性 相干逻辑 选言推理
下载PDF
“……也不是,……也不是”的逻辑意义分析 被引量:1
7
作者 刘板 景梅叶 《黄山学院学报》 2011年第1期102-104,共3页
从推理的形式上讲,"……也不是,……也不是"表达的是假言选言推理简单构成式,是不相容的;从推理结论的语义上讲,"……也不是,……也不是"表达的是二难推理。
关键词 ……也不是 ……也不是 假言选言推理 简单构成式 不相容 二难推理
下载PDF
A Fuzzy Logic Based Resolution Principal for Approximate Reasoning
8
作者 Alex Tserkovny 《Journal of Software Engineering and Applications》 2017年第10期793-823,共31页
In this article, we present a systemic approach toward a fuzzy logic based formalization of an approximate reasoning methodology in a fuzzy resolution, where we derive a truth value of A from both values of B → A and... In this article, we present a systemic approach toward a fuzzy logic based formalization of an approximate reasoning methodology in a fuzzy resolution, where we derive a truth value of A from both values of B → A and B by some mechanism. For this purpose, we utilize a t-norm fuzzy logic, in which an implication operator is a root of both graduated conjunction and disjunction operators. Furthermore by using an inverse approximate reasoning, we conclude the truth value of A from both values of B → A and B, applying an altogether different mechanism. A current research is utilizing an approximate reasoning methodology, which is based on a similarity relation for a fuzzification, while similarity measure is utilized in fuzzy inference mechanism. This approach is applied to both generalized modus-ponens/modus-tollens syllogisms and is well-illustrated with artificial examples. 展开更多
关键词 FUZZY Logic Deduction FUZZY RESOLVENT Implication disjunctION Conjunction ANTECEDENT Consequent Modus-Ponens Modus-Tollens FUZZY Conditional inference Rule
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部