禁止使用自指代命題——說(shuō)謊者悖論的排除和哥德?tīng)柖ɡ淼挠懻?/H1>
發(fā)布時(shí)間：2019-03-07 20:21
【摘要】：應(yīng)把“自指代命題”從“自指命題”中區(qū)分出來(lái),前者違反同一律,作代換還可能違反矛盾律,因此禁止使用自指代命題。對(duì)內(nèi)容不明的自指命題作真假對(duì)錯(cuò)的評(píng)判,不可能給出確定的結(jié)論,但也不會(huì)出現(xiàn)矛盾。說(shuō)謊者悖論是一個(gè)佯悖。它被稱為悖論,是因?yàn)橥评碚呋煜怂季S的層次,構(gòu)造了自指代命題并進(jìn)行代換才導(dǎo)致矛盾。哥德?tīng)柌煌耆远ɡ硭鶚?gòu)造的自指代命題的可證性存在矛盾的雙重標(biāo)準(zhǔn),定理的證法中共用了矛盾的雙重標(biāo)準(zhǔn),其結(jié)論值得商榷。結(jié)論中的“不可判定”命題,現(xiàn)在有三種不同的錯(cuò)誤解釋:是非不可分辨的命題(三值)、是非可分辨但不確定的命題(二值)、除自指代命題之外的是非都不可證的其他命題,它們都不是哥德?tīng)柕淖C法所支持的結(jié)論。它導(dǎo)致“真理喪失說(shuō)”和“數(shù)學(xué)喪失了確定性”缺乏依據(jù)。
[Abstract]:"self-referential propositions" should be distinguished from "self-referential propositions". The former violates the same identity and may violate the law of contradiction. Therefore, the use of self-referential propositions is prohibited. It is impossible to give a definite conclusion, but there will be no contradiction in judging the true or false right or wrong of the self-referential proposition with unknown content. The liar's paradox is a feint. It is called paradox because the reasoning person confuses the thinking level, constructs the self-referential proposition and carries on the substitution only then causes the contradiction. The proof of self-referential proposition constructed by Godel's incompleteness theorem has a double standard of contradiction. The proof of theorem is proved by the double standard of contradiction, and the conclusion is worth discussing. There are now three different misinterpretations of the "indeterminable" proposition in the conclusion: a non-indistinguishable proposition (ternary), a non-discernible but uncertain proposition (binary), Except for self-referential propositions, none of them is supported by Godel's proof. It leads to a lack of evidence for the loss of truth and the loss of certainty in mathematics.
【作者單位】： 中國(guó)人民大學(xué)現(xiàn)代邏輯研究所
【分類號(hào)】：B815
【參考文獻(xiàn)】
相關(guān)期刊論文 前1條
1 溫邦彥;略論創(chuàng)新與邏輯[J];中國(guó)人民大學(xué)學(xué)報(bào);2005年01期
【共引文獻(xiàn)】
相關(guān)碩士學(xué)位論文 前1條
1 王全忠;論邏輯思維方法與非邏輯思維方法的關(guān)系[D];吉林大學(xué);2007年
，
本文編號(hào)：2436427
本文鏈接：http://sikaile.net/shekelunwen/ljx/2436427.html
[Abstract]:"self-referential propositions" should be distinguished from "self-referential propositions". The former violates the same identity and may violate the law of contradiction. Therefore, the use of self-referential propositions is prohibited. It is impossible to give a definite conclusion, but there will be no contradiction in judging the true or false right or wrong of the self-referential proposition with unknown content. The liar's paradox is a feint. It is called paradox because the reasoning person confuses the thinking level, constructs the self-referential proposition and carries on the substitution only then causes the contradiction. The proof of self-referential proposition constructed by Godel's incompleteness theorem has a double standard of contradiction. The proof of theorem is proved by the double standard of contradiction, and the conclusion is worth discussing. There are now three different misinterpretations of the "indeterminable" proposition in the conclusion: a non-indistinguishable proposition (ternary), a non-discernible but uncertain proposition (binary), Except for self-referential propositions, none of them is supported by Godel's proof. It leads to a lack of evidence for the loss of truth and the loss of certainty in mathematics.
【作者單位】： 中國(guó)人民大學(xué)現(xiàn)代邏輯研究所
【分類號(hào)】：B815
【參考文獻(xiàn)】
相關(guān)期刊論文 前1條
1 溫邦彥;略論創(chuàng)新與邏輯[J];中國(guó)人民大學(xué)學(xué)報(bào);2005年01期
【共引文獻(xiàn)】
相關(guān)碩士學(xué)位論文 前1條
1 王全忠;論邏輯思維方法與非邏輯思維方法的關(guān)系[D];吉林大學(xué);2007年
，本文編號(hào)：2436427
本文鏈接：http://sikaile.net/shekelunwen/ljx/2436427.html
最近更新
教材專著
