一千萬個為什麽

搜索

試圖反駁邏輯(這是否與自身矛盾)

我是哲學的初學者,但邏輯等公理總是讓我感興趣。

請幫我在這個證明中找到錯誤或循環推理等。

[我不確定這個證據是否應格式化。]

嘗試證明邏輯,定義為客觀地解決問題的途徑,是解決問題“a”的理想(最快或最可靠)的方法。

不能在證明中使用邏輯:將是循環推理。

因此,必須使用情感訴求(與邏輯相反)。

這種情感訴求是一種謬論,因此,如果邏輯只能通過謬誤來證明,那麽邏輯就是一種謬論。

最佳答案

為了解釋路易斯的評論,如果你采用了你的嘗試證據,並試圖用正式語法來表達它,那麽你實際上會得到同樣的自我指涉問題,而哥德爾認為這些問題必然會由於這種自我指涉而產生。

Russel和Whitehead寫了Principia Mathematica,試圖在少數公理上構建所有邏輯和數學(但在這種情況下你處理的不是0公理)。他們實際上使用了相同的心態 - 循環邏輯是非法的。

Godel後來表明,如果你能用你的公理系統來描述整數的所有特征,並且可以描述它自己的陳述的可證明性(正如PM所做的那樣)它必然是不一致的。

因此,基於您認為邏輯背後的公理是有效的信念,我們必須直觀地接受邏輯的價值。或者,更有力的方法是接受可能存在邏輯只能作為指導而不是真理的神諭的情況。

(Tarksi做了一個相關的證明,表明任何可以證明全數運算並包含邏輯否定運算符的形式語言都無法定義自己的語義真理。通常,大多數邏輯方法都假設了True和False的概念。 )

轉載註明原文: 試圖反駁邏輯(這是否與自身矛盾)