神學、哲學、邏輯學、語言學、數學、物理學、計算機之間的關係是什麼？

我感覺有這樣一種關係，先有的神學，在神學基礎上，產生了哲學，在哲學基礎上，產生了數學、語言、邏輯學，然後產生了物理學，然後產生了計算機科學。

哲學包含了一切學科，任何學科都是哲學的分支。

哲學有兩個研究方向：形而上學（這個世界是怎樣的？）和價值論（一切的意義都是什麼？）。

----形而上學有兩個研究方向，一個是本體論（直接構想整個世界的模型與規律）、另一個是認知論（從實踐入手，研究人類怎樣得到知識，可以得到什麼知識，以及這些知識的性質）。宗教學（神學）中有關世界構成的理論都屬於本體論，而人類現在的邏輯學、數學、科學都屬於認知論。

----價值論除了研究生命的意義以外，還包括了倫理學和美學兩個重要的分支。宗教學（神學）中有關人類生命的意義論述顯然屬於價值論，它由此推出的道德倫理理論就屬於倫理學。當然，現在的純藝術學科屬於美學。

現在認為邏輯學和數學不屬於科學，因為它們是不可證偽的。但是我們依然要認為它們是正確的，因為我們很難構想出不符合這兩個學科的實際情況。

科學包括自然科學（物理、化學、生物、神經科學……）和社會科學（心理學、社會學、經濟學、法學、政治學、歷史學……）

還原論認為，一個大的體系的規律可以還原為小的體系的規律。這樣一來，物理學是最本質的科學，化學可以被一定程度地還原為物理學，生物學可以一定程度的還原為化學，神經科學可以一定程度地還原為生物學。人們現在正在試圖將心理學還原為神經科學，然後將社會學還原為心理學，最後把所有的學科都還原為物理……但這些還原工作做得還不夠好，從心理學開始就已經開始遇到困難了……（emm所以有些自然科學家不認為這些社會科學屬於真科學……）

有些人文類學科，比如文學，是社會科學與藝術的結合。

emm……還有兩類學科不太好討論，分別是應用科學與應用藝術，這兩門學科用到了科學和美學的結論，但其本身卻是價值論的體現。計算機科學就是應用科學，它利用了數學和物理學的知識，但這個學科的目的不在於探索知識，而在於應用這些知識去改善人類生活。

我寫個感性點兒的答案吧～

高中作為一個裝逼小少女很喜歡看哲學的；

大學學的是法語，但那時候我們的課程比較注重語法，翻譯，文學，法國文化，最多是到辭彙學，那時候對語言學很懵懂；

研究生來法國了，學的就是哲學。從此刻開始，再也不把哲學當成一個「遙遠的魅力」，而是一個研究對象了，因為真正面臨看著作寫論文了。也是從此刻開始接觸到了「認知科學」的概念。於是對哲學的興趣也從「倫理」「形而上學」轉移到了「心靈哲學」。我常去LoPhiSc系聽課（Logique，Philosophie，Science cognitive），這個系涵括了包括邏輯哲學和認知科學的很多課。這時候開始大量翻閱斯坦福哲學百科，得知了很多哲學概念；也上了很多分析哲學，語言習得，語義學，和一些研究交叉學科話題的哲學課，甚至是邏輯學和集合論；比如我最後的碩士論文就是關於「具身認知」和人工智慧的，做這個題目給我打開了一扇窗戶：具身認知這個原本心理學上的概念，開始被哲學討論，直到被機器人學應用，是非常有意思的；

於是我想要真的去一個科學學科，而不是從哲學的角度去討論他們，於是我進了第二個研究生：自然語言處理。這裡其實有一個斷層，實際上我們教授的課程離哲學和認知很遠了，對邏輯的關注也不是很多，一些基本知識足夠了。實際課程關於語言學的部分只是關注形式語法，句法，語義理論。與此同時，每個人的個人興趣都產生了極大的轉變，喜歡語言學的同學去研究句法，韻律，語音，語言現象什麼的了，畫treebank和定規則成了日常；喜歡編程的同學去當dev了，前端後端高級的瑣碎的都有；而我最感興趣的是用深度學習解決實際問題，於是數學（尤其是統計/概率）和演算法成了我亟待加厚的基礎知識，專業也越來越越偏所謂的「數據科學」了。

認知科學的六學科：哲學，語言學，心理學，人類學，神經科學，人工智慧互相之間粘連很多的。而哲學和數學這樣的學科範疇大，經常被轉型和運用到別的學科中，但實在不適合用一些大而化之的語言去概括他們之間的關係。比如我們的句法老師和機器學習老師都出身數學家，一個早先研究拓撲，一個早先做統計；我的數學系朋友很文藝，去搞數學哲學了；男朋友是搞數論和代數幾何的，他說他們系的鄙視鏈最底端就是跳到邏輯學或者我們數據科學的（打爆他狗頭）；男朋友的爸爸和哥哥都是物理學家，數學與物理的關係自不必說，不過他們現在也越來越應用編程和深度學習了，然後大家一起鄙視我們數據科學（唉）；只有男朋友媽媽因為是術語專家纔不會鄙視我。。。

在我讀法語和哲學的時候，我也很容易想到這種問題，哪個學科生髮了哪個學科之類的，還有把《集異璧》奉為神書，每天都想著可以參透宇宙的整體，哈哈。但是如果人們總是沉浸在此類問題，而不是真正去研究某個學科的話，很難成為侯世達，卻很容易變油膩。而一旦沉浸到某個學科以後，也再也沒有必要問這樣的問題了，因為你的日常就會圍繞著這些學科。

最後ps一個有趣的觀察（？），去好幾個歐洲大學聽課或者玩，發現數學系的樓總是在語言學樓的對面，語言學附近一定有信息樓。不知道是不是很多年前語言學和數學有很深的淵源，還是數學家都喜歡泡個語言學的妹子（然後鄙視她？？？）

你是基督教徒？否則的話，你怎麼會把神學加於哲學之上？

先說英語意義上的哲學。希臘時代的人生活很好，思考語言、思考世界，總結出了一套基於語言的，包括辭彙和語法（邏輯，包括構成句子和句子的連接）的思考技術。這個後來叫做philosophy。

神學。假如是教徒的知道新舊約和福音麼？從歷史角度，猶太人的教典叫做舊約。舊約是對於某個不可言說的故事描述，以及一些人對於其中教條的引申。新約改了，加了一些內容。福音是猶太教成為天主教以後的某些人的對於教條的引申。神學，是天主教統治歐陸時期，教廷專門組織一個小組收集希臘哲學書稿，並把它用於解釋新舊約和福音。其中有兩個做得好的小頭目分別叫做奧古斯丁和阿奎那（奧古斯丁智商很高），職務大概是紅衣主教吧（教廷的職務是隨歷史演變的）。神學的特點是在哲學關於存在的描述中，在形而上學的研究中，關於存在部分，不可言說部分，插入了「不可言說」的god。這是有歷史考證的。

數學同樣來自希臘，歐幾裏德可能比蘇格拉底還早一點。特點是公理假說，和經驗的不可否定的規則（後者在哲學部分用於邏輯）。數學同樣是meta-phisics。為什麼不一起叫做哲學。這是一個歷史坑。在羅馬滅亡了希臘城邦s之後，哲學被天主教保存下來，主要是要亞裏士多德的學說。而數學，也就是算術和幾何部分，沒人管。後來，文藝復興時代，歐洲人從阿拉伯人那裡把希臘時代的數學抄回來，隨便拐回來阿拉伯人有的代數（我總是認為代數更接近於古印度），從而歐洲搞起了邏輯化和數學邏輯化運動，現在的大家學數學很痛苦的根源在於這個邏輯化運動。動不動就來個定義，然後證明，然後得證。主要是因為寫這個這個證明的人，腦袋只有這個技術，不管你看的人的腦袋裡的觀念是否和他相同。

語言學，我也正在搞。但是形式化的語言學很晚了，大概在上世紀五十年代開始。

物理學還真是基於數學和邏輯的，大概相當於哲學的現象學。我總是認為數學是形而上的，物理是現象學的，也就是主客觀分開後的客觀建構。物理伴隨著數學的進步而進步，而形式化，現代物理主要是數學工具推動的。那些看不懂的公式有多少用，鬼知道，反正數學證明過程沒問題就是了，只要我選定的假設檢驗量可驗證就是了，至於是否是世界的真實，不管，水論文先，被人抄走了，升職加工資就沒門了。這是諷刺哦，很多物理研究還是非常有效的。比如現在對於等離子態的描述。

邏輯學上面講過了。邏輯學是現代知識傳承的核心。是一套形成「整理」的組織規則。主要用於處理語言符號，不僅僅是語言，後來的邏輯代數化把邏輯流程用符號來代替，這麼學科叫做數理邏輯，對人很不友好，對計算機非常友好。

計算機。計算機是先有了計算科學，然後想出來個機器用於實現這個計算模型。計算機科學包括上面的所有，把人腦能想到的都移到計算機來執行。這種轉移是以計算數學的發展讓發展，同時也帶有一些計算機的特點。比如數據結構是針對存儲的技術，資料庫也是。這個我好象又個回答關於計算機是什麼的，我有空回去翻翻，再弄個鏈接到這裡。

以下是筆者的哲學小品，《哲學of神學of邏輯De定義》：

==================================

有人滿腹狐疑地問，為什麼哲學不需要實證、證偽，因此就說哲學高於科學？如何理解科學的盡頭是哲學，哲學的盡頭是神學？為什麼會有人說，科學之上是哲學，哲學之上是神學？還有人非常認真地回答，說了許多貌似高深的道理，不復贅述說正事要緊：

或可說，the three states of water水3態，介詞of在其間表「同位」，或「是而≈」，或「是而且=」：狀態≈液態流動r水=H2O1，狀態≈固態結冰r水=H2O1，狀態≈氣態蒸汽r水=H2O1；只要大家互相明白對方的意思，形而下學咋說都可以，形而上學則不可。

筆者&

甲-the logic of philosophy，

乙-the philosophy of theology，丙-the logic of theological. 介詞of在其間亦表「同位」，其「同位」對於哲學的常用詞則意味著恆等identities，所以只能「是」不能絲毫的「不是」，或者說只能「是而且=」不能絲毫的「是而≈」。因此，甲乙丙三者無別，尤其是 theological，這個詞的結構就涵有logic邏輯學；但在很多人眼裡，神學好像是不講邏輯的，這顯然是對西方神學的誤解。

或可說，logical乃常見的詞尾，如astrological、geological、mythological、 phsychological、等等，難道它們也是logic？它們當然不是邏輯學，然而由於這些語詞都涵有logic，這說明它們或明或暗地表示，世界上沒有不符合邏輯學的事兒。同時也說明，西方哲學在漢字化過程中，不依照邏輯學原理翻譯所帶來的混亂。譬如，國人口中之詞所說的「科學」，心中之意卻是「自然科學」：時空雖ii，邏輯i法則，白馬非馬=殊相非共相=自然科學非科學。

空間物質序列：驢=種=騾=種=馬=種& 時間事實序列：哲學=神學=邏輯學=種& 即使循環的說：科學事物=種=哲學神學邏輯學=種&

或者循環的說：科學事物=種=哲學神學邏輯學=種&

本體Onta昰IS昰，本原Principium昰Being，實體entity末體是sein，如果以「本(原(末或末)原)本」表示其邏輯關係，依形而下學，它們各守本分，不能也不需要僭越界線，如此則無形而上學。譬如，

莊子& 筆者&

依形而上學，如同詩歌藝術，末體可以合乎邏輯的有所皈依本原或本體。所以，哲學家的作品，只有好壞之別，沒有孰對孰錯之分。如果把哲學神學邏輯學都叫做形而上學，那麼其他學科就可以叫形而下學，如是則可以依照「被定義項=種差+臨近的屬」為它們定義：

（被定義項種）形而下學is依照（本質）末原本界線（種差）De科學（臨近的屬）；（被定義項種）形而上學is僭越（本質）末原本界線（種差）De科學（臨近的屬）；或者說，僭越末原本界線是形而上學的本質。

神，所有人都是我兒子。

哲學，我不是，我只是愛智慧而已。

邏輯，哲學說的有道理。

語言，我覺得我纔是爸爸。

數，我是萬物之母。

物理，母上有理說不清，我來說。

計算機，你們說啥？我聽不懂，但我會算。

人類，上面幾位，為人民服務的留下，為上帝服務的送你見上帝去。

神，兒子們，有人威脅我？上帝會懲罰他的。

哲學，愚蠢的人類，忘了歷史的教訓了嗎？

邏輯，有理。

語言，我都記下了。

數，人類算老幾？

物理，在宇宙的層面來看，無窮小。