分类:推理理论

推理理论是关于推理的逻辑学分支。这一分支研究推理本身是否有效、为何有效，并研究如何形式化表征推理模式。它关注的是推理的模式，即前提和结论间满足的关系。这些推理模式中，有一些模式能够在前提为真的情况下保证结论总为真，称为有效推理，哪些推理是有效的、如何进行有效的推理，是推理理论研究的核心内容。这里的推理形式不仅包括日常使用的，命题间语义上的关系，即实质蕴涵，同时也包含命题在无视语义的前提下，在符号系统中形式之间的关系，即逻辑蕴涵。推理理论是分类:证明论与分类:模型论两个逻辑学大分支下共同的研究问题，从形式化证明和一阶模型两个视角建立了对推理有效性的研究。