什么是直接推理的概念
发布网友
发布时间：2022-04-20 03:31
共2个回答
热心网友
时间：2023-07-11 14:58
逻辑学术语
推理是形式 需要注意的是：如果不能考察某类事物的全部对象,而只根据部分对象作出的推理,不一定完全可靠. 思维形式是人们进行思维活动时对特定对象进行反映的基本方式,即概念、判断、推理.思维的基本规律是指思维形式自身的各个组成部分的相互关系的规律,即用概念组成判断,用判断组成推理的规律.它有4条：即同一律、矛盾律、排中律和充足理由律.简单的逻辑方法是指,在认识事物的简单性质和关系的过程中,运用思维形式有关的一些逻辑方法,通过这些方法去形成明确的概念,作出恰当的判断和进行合乎逻辑的推理. 学习形式逻辑知识,可以指导我们正确进行思维,准确、有条理地表达思想；可以帮助我们运用语言,提高听、说、读、写的能力；可以用来检查和发现逻辑错误,辨别是非.同时,学习形式逻辑还有利于掌握各科知识,有助于将来从事各项工作.
编辑本段单调推理
传统的逻辑系统实际上作的是 单调推理,加进系统的新知识（信念）必须与已有的知识（信念）相一致,不引起矛盾.所以,随着运行时间的推移,系统内含的知识有增无减,这就是所谓的单调性.单调性的优点在于： （1）加入新命题时不需审查与系统原有知识的相容性,因为这些新命题只能是已有知识的逻辑推理结果,不可能引起矛盾.换言之,加人的新命题必定是永真的. （2）不需要记忆推导过程.因为推导的结论永远不会失败,不存在事后审查推导过程的需求问题. 这两点使定理证明技术能简单而有效地应用.但众所周知,真实世界充斥了不完全信息和不断变化的状况,在解决复杂问题的过程中,也要求不断应用并不保证正确的假设.即使对于一个较简单的问题求解任务,也常常难以找到一组一致性的逻辑公式来表示,就是找到,也不能保证在变化的世界中保持一致性.所以,放宽传统逻辑系统的*到允许包含假设是必要的.假设可作为推理的依据,但在推理过程中,随着新事物的出现,可能到头来会发现原先所作的假设不正确,应予删除,从而造成推理的非单调性；即新知识（事实）的加入会引起已有知识（假设以及基于假设的推理结果）的删除.由此,传统的定理证明和逻辑演绎技术就不再适用,必须开拓面向非单调推理的概念、方法和技术.
热心网友
时间：2023-07-11 14:59
immediate inference
传统逻辑称这类推理为ection，意为引申、推断，也译为直接推理。对直言命题交替使用换质换位可以得到各种结论。在日常思维中容易发生的错误是从SAP推出PAS。
现代逻辑认为，换质和SEP、SIP的换位是有效的，但如果考虑到空类，换位从全称前提得出特称结论就是无效的。主要有附性法和复杂概念推理两种。附性法的形式为：所有S是P，所以，所有AS是AP。AS中的A与AP中的A表示同一性质，否则就产生歧义而推理无效。复杂概念推理的形式为：凡S是P，所以，凡与S有关系R者是与P有关系R者。结论中两处关系R表示同一种关系，否则就会产生歧义而推理无效。
