| 演绎逻辑 deductive logic 以演绎推理为基本内容的逻辑系统。传统的演绎逻辑的研究对象包括性质命题的直接推理、三段论、假言推理、选言推理、二难推理等。演绎逻辑的基本特点是该系统的一切推理的结论所涉及的知识范围都不大于前提所涉及的知识范围，因而只要其前提与结论之间的联系是符合逻辑规则的(即形式是正确的)，而且其前提是真实的，那么，其结论就必然是真实的，即在演绎逻辑系统中，每一个有效的推理，其前提与其结论之间的联系都是必然的，也就是前提真而结论假是不可能的，所以，演绎逻辑系统是结论具有必然性的系统。古希腊哲学家亚里士多德系统研究了以三段论为主的演绎推理形式，为传统演绎逻辑奠定了基础。以后斯多亚学派提出和研究了假言推理和选言推理，奠定了命题逻辑的基础，进一步促进了演绎逻辑的发展。从19世纪末开始，由于数理逻辑的发展，用形式化方法研究演绎问题取得了重大成果，开创了演绎逻辑的现代阶段。现代演绎逻辑扩大了演绎证明的手段，使传统演绎逻辑的许多概念得到更确切的解释，并把一系列新的问题，如演绎体系的不矛盾性问题、完全性问题等等，引入了演绎证明的理论。 |