亦称“分情况证法”。它是由假言、选言推理构成的一种演绎论证方法。当要确定论题在全部有关情况下都是真的,那么就可以在相关的所有情况下对论题进行论证,以确定论题的真实性。设论题为p,与论题相关的全部情况q1,q2,q3,……...[继续阅读]

    根据不相容选言判断的逻辑性质而进行的推演方法。若一个不相容判断为真,则它的选言肢中只有一真。根据这种性质,不相容选言推理法有两条规则:①小前提肯定大前提中的一个选言肢,结论就否定其余部分的选言肢;②小前提否定大...[继续阅读]

    亦称“充分必要条件假言推理法”。以充分必要条件假言判断为前提,根据充分必要条件假言判断的性质而进行推演的逻辑方法。充分必要条件假言判断的性质是:有前件必有后件,没有前件就没有后件;有后件必有前件,没有后件就没有...[继续阅读]

    是总结已有科学知识、构成科学理论体系的有效方法。它是先列出一些初始概念、一些初始符号、一组公理(亦称设理),几条形式规则和基本推理规则并以公理和初始概念为出发点,对所研究范围内的一切概念给以定义,并推导出一系列...[继续阅读]

    通过先论证与原论题相矛盾的判断(即反论题)的虚假,然后根据排中律确定原论题真实的论证方法。它是间接论证方法之一。运用反证法的步骤是:第一,设与原论题相矛盾的反论题;第二,论证反论题虚假,通常以反论题为前件构成一个充...[继续阅读]

    是一种演绎推理方法。以“如果p且q那么r”为前提,得出一个“如果p且非r,那么非q”或“如果q且非r,那么非p”为结论的推理方法。由于演绎推理前提和结论之间的蕴涵关系的两方面是等值的,这两方面可以互推,因此反三段论可表示为...[继续阅读]

    是反驳全称论题的演绎论证方法。通过用与论题相反的单称判断或特称判断的真实性来确定全称论题虚假性的方法。例如,要反驳“所有的天鹅都是白色的”这个论题,只要举出“澳洲有黑天鹅存在”这个事实,根据不矛盾律,即可确定...[继续阅读]

    是一种论证或反驳的方法。先假定对方的论题是真的,然后据此推导出荒谬的论断。根据充分条件假言推理否定后件式,否定后件必然推出否定前件,因此能证明对方的论题是不能成立的。它的基本结构如下:　　　　　论题:p　　　　...[继续阅读]

    现代逻辑中的一种判定方法,它能用于判定推理是否有效。先假设所要判定的推理的前提真,且结论假;根据这个假设,给推理形式中的每个命题变项赋值,使之满足前提真且结论假。在这样的赋值中,如果出现逻辑矛盾,则说明前提真而结...[继续阅读]

    运用归纳推理形式所进行的一种证明方法。它是由具有个别性知识的论据证明一般性知识的论题。这种论证方法的论据与论题之间缺乏必然的逻辑联系。若要得到可靠的结论,必须选择有代表性的典型事例,不能根据主观需要任意选择...[继续阅读]