每次上邏輯學課,感覺自己就是人形行走的翻譯機,我簡直不明白,符號語言的翻譯怎麼能比得上人工智慧?
一些非常簡單的日常語言翻譯成邏輯語言都需要付出非常高的學習成本,從命題邏輯,數理邏輯到模態邏輯(我本科階段所學),在人工智慧面前僅僅是小學生水平
除了應付考試,我真感受不到邏輯學到底在幹什麼,或者說我花那麼多精力卻沒能感受到學習邏輯學的意義感(可能也是國內教育的弊病,不是邏輯學本身的問題)。恕本人愚鈍,求大神賜教
邏輯學是屠龍刀法,但是這個世界上,不是每個人都能見到龍。很多人一輩子都見不到龍。
學習形式邏輯最大的用途在於,讓你掌握一種用抽象化的符號系統來研究問題的方法。要讓方法能用得上,首先你得有一個要研究的問題。
不知道題主在哪裡學的邏輯學。如果題主是我的系友,那我大概知道你困惑的原因。形式邏輯實際上在數學和理論計算機領域的基礎研究中有很多用途,但是需要有很強的數學和計算機基礎才能體會到。但是,在本科教學裡面,由於本科生的數學水平和計算機水平都非常有限,老師們在上課的時候沒有辦法告訴學生這些邏輯學在這些領域的應用;其次,這些專業不怎麼賺錢,不是熱門選擇。
以我係為例,幾乎所有做邏輯學的老師,都有其他專業的學歷(數學、計算機、建築。。。),而且研究純邏輯理論的也少,主要都是研究邏輯學在他們各自感興趣領域的應用。本科生呢?直接從高考上來,沒有任何其他專業的背景知識。學習的內容也以純邏輯理論為主,研究各種邏輯系統的性質。如果要學習那些數學和理論計算機領域的基礎,別說本科四年,恐怕饒上碩士三年也不夠。
至於人工智慧的問題,這裡推薦一篇文章。現在大火的機器學習,在推理能力方面還是欠缺的。
人工智障 : 你看到的AI與智能無關?
mp.weixin.qq.com
如果你真的想知道邏輯學到底有什麼用,去找老師吧,找一個應用型的小問題開始研究,能做出來的話,就當提前把畢業論文寫了。
最後放一個回答,供參考。
學邏輯學的真正用途是什麼??
www.zhihu.com
說些個人觀點:
邏輯學涉及的領域太雜了,有些模糊不清了。
我個人把邏輯學大致分成兩類:
-----------------------------
一類是研究數學、計算機等具體領域的。在這些領域中,應該不存在你說的問題。因為此時,它是與【現實】相聯繫的(比如數字電路 ),很容易看出它的意義,而且因為有現實作為依據,比較容易評判理論的【對錯】,爭議也相對小很多。
-----------------------------
另一類是研究語言的。在這些領域中,你的思考是有道理的。
此時,邏輯學更像是為了某種目的(或者說解決某個問題)而想出的一種(或多種)【方案】