1樓：鴨梨大學
最近我由於各種原因來到地球，嘗試了解地球人類的自然語言。但是發現地球人的語言簡直亂到令人抓狂，不同的國度使用的符號體系甚至連語法結構都不同，同一種語言關於同樣的事物的很多說法也不同，還了解到官方標準語言和各地方言也存在差異。想知道地球人的語言有很多學派嗎？
地球語的主要分支是什麼？地球人的世界難道不應該用唯一的一套自然語言嗎，為什麼關於各語言眾說紛紜呢？辛苦各位地球人幫我梳理一下，感謝。
2樓：山海九州
好問題你可能需要從歷史的角度去看問題邏輯學是怎麼從西方哲學裡脫離開來的經歷過哪些人哪些階段為什麼改造等學起可能會比較理想符號體系不同可能會導致你對他的理解有一點點小問題比如說三國演義和三國志你看懂任何一套其實另一套就不難了混著看如果是符號類系統人類大腦是會串的除非你是故事類的對比是讓對比殊相得出共象在抽象事物之間對比如果沒有對某個共象特別深入理解自然就亂了 （注普遍與特殊在一定條件下轉化是對抽象已經熟練到可以看出特殊轉化為特殊才有進一步去對比得出更高的普遍比如老子與佛經你要先一門深入才能對比佛道的差異因為兩者都是抽象而這通常需要花很多時間從基礎的具體開始）
3樓：範疇邏輯
因為中國沒有自己的邏輯學，都是從西方翻譯過來的。一方面由於翻譯者的水平和理解不盡相同，所以每一種翻譯不論在用語上還是在內容上都各有特色。而且能夠從本質上理解邏輯學的翻譯者鳳毛麟角，所以其翻譯大部分不能夠準確表達出邏輯的真諦。
另一方面，西方形式邏輯學本身其實並未完備，只有『屬類命題』而沒有『歸體命題』，也是造成中國邏輯學課程教本混亂的原因之一。例如，數理邏輯中把『所有』和『一些』稱為『量詞』就是受到了『康德十二判斷表』的錯誤影響的。『所有』和『一些ヨ』應該是『體詞』；『肯定』和『否定』也應該稱為『定詞』而不是『判斷的質』；『如果』和『那麼』也應該稱為『變詞』而不是『判斷的關係』；『或者』和『並且』也應該稱為『性詞』而不是『判斷的關係』。
還有把『模態』也歸入形式邏輯系統，也是錯誤的。『模態』只是對邏輯判斷的『真假』結果的『真假』程度的判斷而已，而不是邏輯判斷。應該還有其他原因吧，我就提這兩個原因，不知道對不對。
完備的邏輯系統如下表所示：
4樓：萬機之神
mathematical logic應該關心的是數學基礎？而並不是邏輯本身？他關心的是怎麼構建乙個體系可以表達現有的數學知識，以及提供證明之類。
例如同乙個數學知識可以用集合論也可以用型別論來表達，而型別論有些好處如計算機驗證比較方便。就像你可以用英文和中文表達同乙個命題。
離散數學裡主要都是經典的命題邏輯/謂詞邏輯之類的東西，而其他後面帶個logic的科目一般都是些公理系統，例如modal logic就是在經典邏輯的基礎上加modal相關的公理。世界上有巨大多公理系統candidate才是正常的，並且從已知的狀況，沒有任何跡象表明你實際上有能力找出乙個最優的系統，因此「我們的世界並不應該服從於唯一的一套邏輯（公理）體系」，如同你找不到一門最優的語言來表達任何意義。
金岳霖的《邏輯》適合邏輯學入門嗎？
建議閱讀北京大學哲學教授陳波的 邏輯學是什麼 該書比較淺顯，適合入門。該書是北京大學出版的人文社會科學是什麼系列圖書之一，這個系列的圖書選擇北大在這個領域最牛的教授寫的，都非常好，特別推薦。以上兩本，適合入門。如何開展進一步的研究，相信你可以通過上面兩本找到答案。至於是否讀英語原版，目前我不建議。邏...
學校教邏輯學嗎？為什麼？
dtclzy 其實一些基礎的，數學裡都有滲透了。比如集合思想，充分 必要條件，逆否命題，都是比較重要的邏輯學內容。也就是說，能靈活運用數學集合思想 包括在紙上畫圈來思考集合關係 邏輯思維就已經不錯了。在理想上而言，學邏輯學應該是對邏輯思維有很大幫助的。但從現實角度來講，現在的教材太過於模式化，晦澀難...
學邏輯學的真正用途是什麼？
學邏輯學的真正用途有兩點 一是破除社會偏見強加在邏輯學學科身上的各種神話和迷信。二是學習乙個用不著，沒有財富密碼的東西，以對抗人的惰性。你要知道梨子的滋味，你就得變革梨子，親口吃一吃。一切真知都是從直接經驗發源的。 紙巾 以下是個人見解 邏輯學是有用的，但到了現代，邏輯學的基本內容已經被 潛移默化 ...