反证法与归谬法的现代分析，本文主要内容关键词为：归谬法论文,反证法论文，此文献不代表本站观点，内容供学术参考，文章仅供参考阅读下载。
中图分类号：B81 文献标识码：A
1
一般认为：反证法(indirect proof)是一种间接证明的方法，而归谬法(reduction to absurdity)是一种直接反驳的方法。但是，若仅仅从证明的角度来看，它们又都是间接证明的方法。尤其是在高度技术化的今天，反证法和归谬法是哲学分析和数学证明中常用的并且是极其重要的两种证明方法。
那么，作为证明的方法，它们之间存在着什么样的差别呢?它们内在的逻辑依据是什么 ?本文拟以现代命题逻辑为分析工具来对有关的问题进行探讨。
一般认为反证法的基本思路是：如要证明命题“q”，先假设反论题“并非q”，由此 推出一个与前提或假设相矛盾的或显然不成立的命题，从而就证明了“q”；归谬法的 基本思路是：如要证明命题“并非q”，先假设反论题“q”，由此推出一个与前提或假 设相矛盾的或显然不成立的命题，从而就证明了“并非q”。在现代命题逻辑的公理系 统中，刻画这两种证明方法的逻辑结构的是如下两个公式：
2
反证律和归谬律尽管在形式上非常相近，但它们的证明能力实际上是存在差异的。反 证律比归谬律的证明能力强。这可以用如下的证明来说明这一点。
即使在归谬律之外将推演加强到正命题逻辑系统也无法证明反证律。这可以很容易得 到证明。只需定义一个如下的语义解释：
定义1：设Atomic(Lp)是经典命题逻辑Lp的原子公式集，Formual(Lp)是命题逻辑的公 式集。V称之为Lp的一个语义解释，当且仅当V是满足以
3
那么，反证律比归谬律的证明能力强多少呢?
一般认为：归谬法的逻辑依据是不矛盾律，而反证法的逻辑依据是不矛盾律和排中律 。实际上，这需要具体分析。
4
5
尽管归谬律的证明能力弱于反证律，但是由正
我们定义三值语义解释V′如下：
定义2：设Atomic(Lp)是经典命题逻辑Lp的原子公式集，Formula(Lp)是命题逻辑的公 式集。
V′称之为Lp的一个语义解释，当且仅当V′是满足以下条件的从Formula(Lp)到｛0，1 ，2｝上的映射，即：
6
证明6：
是日常推理中常用的选言推理否定肯定式。所以，也可以这样认为：在正命题逻辑系 统和排中律、不矛盾律的基础上，归谬法的证明能力等价于充分条件否定后件式，而反 证法的证明能力等价于充分条件否定后件式加上选言推理否定肯定式。
收稿日期：2004-05-08
标签：反证法论文;