归谬式推理
书籍:方法大辞典
出处:按学科分类—自然科学总论 山东人民出版社《方法大辞典》第59页(572字)
常用于反驳的一种复合判断推理。
其逻辑形式为:
∵ 如果p,那末q;
如果p,那末非q;
∴ 非p。
用逻辑演算的公式可表示为。
它意味着假如同一个充分条件假言判断的前件蕴涵着相矛盾的后件,则此前件是假的。归谬式推理是反驳的一种重要形式。
例如古代有人提出“一切判断都是假的”这个判断。可以用归谬式推理加以反驳
∵ 如果“一切判断都是假的”为真,
那末“一切判断都是假的”;
如果“一切判断都是假的”为真,
那末并非“一切判断都是假的”;
∴ “一切判断都是假的”为假。
这是因为“一切判断都是假的”作为前件蕴涵着“一切判断都是假的”和并非“一切判断都是假的”这个逻辑矛盾,所以“一切判断都是假的”为假。