優哲學 / 邏輯

邏輯

有效推論的規則：演繹、歸納與謬誤。

全部邏輯 (2) metalogic (1) 哥德爾不完備性 (1) 形式邏輯 (1) 批判思考 (1) 有效性 (1) 歸納 (1) 演繹 (1) 謂詞邏輯 (1) 謬誤 (1) 證明論 (1)

從說謊者悖論出發，拆開形式邏輯的引擎——真值表、謂詞量詞、自然演繹——一路推到哥德爾不完備與計算的邊界