以下是引用yangfw在2009-2-28 23:13:00的发言:以下是引用nofear在2009-2-28 18:04:00的发言:我所反对的,就是允许自己证明自己。我假设自己证明自己是正确的,从而推出荒谬的结论,以此证明自己证明自己是荒谬的,这叫归谬法。你竟然没看懂,要我给出“本命题本身是正确的”、“本理论体系的一切命题都是正确的。”这两个命题的有说服力的证明。我真无话可说了。
如果自己是可以证明自己是正确的,那么,我们设“本命题本身是正确的”所属的理论体系是A,“本命题本身是正确的”这个命题本身是B。我们知道,任何一个集合是自己本身的子集。所以,B是A的子集,其实,B=A,也就是A是A的子集。
三段论:
大前提:所有属于A的命题都是正确的,
B属于A,
结论B是正确的。
以上的论证无疑是荒谬的,而你在论证“经实践检验的是正确的”过程中,就用了这种荒谬的论证方法。
你说的意思就是在说,根据实践检验,实践检验的是正确的,所以实践检验的是正确的。
按这种论证方法,同样可以论证“上帝说的都是正确的”。因为上帝说的都是正确的,而“上帝说的都是正确”本身就是上帝说的,所以上帝说的都是正确的。
是我没看懂你的所谓归谬法,还是你的归谬法用得不当,缺少了一个你自己设置的最重要的正确性前提——证明,我再重复一遍,你的论题是:一个理论体系能否证明自己本身是正确的?
你在24楼的设问是:
如果能——证明自己本身是正确的——就是荒谬的,何以荒
谬?是因为你用你的论题的正面答案推出的命题是荒谬的,即:
“本命题本身是正确的(证明在哪里?)。
根据该命题本身,证明了该命题是正确的,所以该命题更是正确无误了。
进而,任何一个理论体系以下面这个命题开头就可以了:
本理论体系的一切命题都是正确的(证明在哪里?)。
因为上面这个命题属于这个理论体系,根据“本理论体系的一切命题都是正确的
”得出这个命题是正确的,进而证明整个理论体系都是正确的。
进而,任何一个人都可以以下命题来开头:
本人说的话都是正确的(证明在哪里?)。
这不荒谬吗?”
既然你是从你的论题的肯定答案来推出这个荒谬的结果的,你就应该忠实地按照那一论题的肯定性结论的实现条件,在你的归谬例子中同样地给予其实现的条件——证明——方能够进行你的推断——荒谬结果,而你却没有这样做,把证明这个正确性的实现条件免去了。
现在你该明白了吧,不是我强迫你,也不管你反对还是不反对,而是你在归谬法举例中必须给出的“证明”这个前提条件,而不是通过——xx是xx——命题形式武断地“是”出来的正确,否则你的归谬法就不成立,你就无法驳倒一个理论体系能证明自己本身是正确的。
关于三段论下次在谈。
以下是引用yangfw在2009-2-28 23:13:00的发言:以下是引用nofear在2009-2-28 18:04:00的发言:我所反对的,就是允许自己证明自己。我假设自己证明自己是正确的,从而推出荒谬的结论,以此证明自己证明自己是荒谬的,这叫归谬法。你竟然没看懂,要我给出“本命题本身是正确的”、“本理论体系的一切命题都是正确的。”这两个命题的有说服力的证明。我真无话可说了。
如果自己是可以证明自己是正确的,那么,我们设“本命题本身是正确的”所属的理论体系是A,“本命题本身是正确的”这个命题本身是B。我们知道,任何一个集合是自己本身的子集。所以,B是A的子集,其实,B=A,也就是A是A的子集。
三段论:
大前提:所有属于A的命题都是正确的,
B属于A,
结论B是正确的。
以上的论证无疑是荒谬的,而你在论证“经实践检验的是正确的”过程中,就用了这种荒谬的论证方法。
你说的意思就是在说,根据实践检验,实践检验的是正确的,所以实践检验的是正确的。
按这种论证方法,同样可以论证“上帝说的都是正确的”。因为上帝说的都是正确的,而“上帝说的都是正确”本身就是上帝说的,所以上帝说的都是正确的。
是我没看懂你的所谓归谬法,还是你的归谬法用得不当,缺少了一个你自己设置的最重要的正确性前提——证明,我再重复一遍,你的论题是:一个理论体系能否证明自己本身是正确的?
你在24楼的设问是:
如果能——证明自己本身是正确的——就是荒谬的,何以荒
谬?是因为你用你的论题的正面答案推出的命题是荒谬的,即:
“本命题本身是正确的(证明在哪里?)。
根据该命题本身,证明了该命题是正确的,所以该命题更是正确无误了。
进而,任何一个理论体系以下面这个命题开头就可以了:
本理论体系的一切命题都是正确的(证明在哪里?)。
因为上面这个命题属于这个理论体系,根据“本理论体系的一切命题都是正确的
”得出这个命题是正确的,进而证明整个理论体系都是正确的。
进而,任何一个人都可以以下命题来开头:
本人说的话都是正确的(证明在哪里?)。
这不荒谬吗?”
既然你是从你的论题的肯定答案来推出这个荒谬的结果的,你就应该忠实地按照那一论题的肯定性结论的实现条件,在你的归谬例子中同样地给予其实现的条件——证明——方能够进行你的推断——荒谬结果,而你却没有这样做,把证明这个正确性的实现条件免去了。
现在你该明白了吧,不是我强迫你,也不管你反对还是不反对,而是你在归谬法举例中必须给出的“证明”这个前提条件,而不是通过——xx是xx——命题形式武断地“是”出来的正确,否则你的归谬法就不成立,你就无法驳倒一个理论体系能证明自己本身是正确的。
关于三段论下次在谈。
1,你知道什么是归谬法吗?也就是假设一个命题为真,就能通过正确地推理过程得出荒谬的结论,从而推断命题为假。假设一个命题可以证明自己为真,那么“本命题为真”这个命题就合理地证明了自己为真。也就是说,自己踢球,自己还当裁判。自己是自己为真的依据。如果自己可以成为自己为真的依据,就可以得出很多荒谬的结论,从而推断,自己不能成为自己为真的依据。在这种荒谬的推理过程中,前提“本命题为真”已经被“本命题为真”本身所证明。事实上就是互为前提。你用实践来证明“实践的是正确的”,其实就是互为前提条件。
2,不需要我来证明一个理论体系不能证明自己的正确性,哥德尔已经从数学上证明了这一点——任何一个理论体系,只要有一个包含逻辑或数学的命题,在该理论体系中就至少有一个不可证实或证否的命题。
[此贴子已经被作者于2009-3-1 0:10:22编辑过]