到底是誰把邏輯研究死了？

亞裏斯多德三段論和term logic被主流認為過時。但mathematical logic和計算機語言模型能分析偷換概念和詭辯等等重要邏輯錯誤嗎？

人工智能發展經曆了邏輯方法、統計方法、深度學習方法等等階段。計算機語言模型的邏輯不對，會助長熵趨勢。而mathematical logic和統計方法不但無法設計人工智能的有效測試方法，也無法分析語言模型的邏輯錯誤和問題。也就是說現在的統計方法和邏輯方法包括mathematical logic在智力研究上都不行。

所以需要新的科學邏輯。科學不得不使用自然語言。中文把mathematical logic譯成數理邏輯、把axiom譯成公理都有誤導。Euclid's Elements（《幾何原本》）中使用common note和postulate的表達。

高談闊論數理邏輯或mathematical logic的人是不是不敢談歐幾裏得？是不是一談就會出錯？

我的高中老師痛心疾首地說：“四人幫”不講邏輯。但現在炒作人工智能和語言模型的人講邏輯嗎？認為人口控製類似火箭控製對不對，邏輯基礎在哪裏？

現在邏輯學實際上被邊緣化了。很多人覺得邏輯沒什麽用。到底是誰把邏輯研究死了？

曾有人要我推薦邏輯書。我怎麽敢推薦把邏輯研究死了的書？

[ScottGu]

邏輯很重要。再舉個例子：

有人談韓戰時說日本占領朝鮮後就攻入中國東北及中原。

但美國不是國土狹小、缺乏戰略資源的日本，離中國也很遠。美國不需要傅儀和超高速成長的“滿洲國”經濟。所以矽穀呂不韋驢頭不對馬嘴。沒聽說傀儡需要自己的思想。傅儀富貴出身，好像玉樹臨風、網球打得不錯，是不是擅長接球、傳球？

還是好好研究科學邏輯和智力新科學，我不參與權勢和利益的爭奪。