神学、哲学、逻辑学、语言学、数学、物理学、计算机之间的关系是什么？

我感觉有这样一种关系，先有的神学，在神学基础上，产生了哲学，在哲学基础上，产生了数学、语言、逻辑学，然后产生了物理学，然后产生了计算机科学。

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

哲学有两个研究方向：形而上学（这个世界是怎样的？）和价值论（一切的意义都是什么？）。

----形而上学有两个研究方向，一个是本体论（直接构想整个世界的模型与规律）、另一个是认知论（从实践入手，研究人类怎样得到知识，可以得到什么知识，以及这些知识的性质）。宗教学（神学）中有关世界构成的理论都属于本体论，而人类现在的逻辑学、数学、科学都属于认知论。

----价值论除了研究生命的意义以外，还包括了伦理学和美学两个重要的分支。宗教学（神学）中有关人类生命的意义论述显然属于价值论，它由此推出的道德伦理理论就属於伦理学。当然，现在的纯艺术学科属于美学。

现在认为逻辑学和数学不属于科学，因为它们是不可证伪的。但是我们依然要认为它们是正确的，因为我们很难构想出不符合这两个学科的实际情况。

科学包括自然科学（物理、化学、生物、神经科学……）和社会科学（心理学、社会学、经济学、法学、政治学、历史学……）

还原论认为，一个大的体系的规律可以还原为小的体系的规律。这样一来，物理学是最本质的科学，化学可以被一定程度地还原为物理学，生物学可以一定程度的还原为化学，神经科学可以一定程度地还原为生物学。人们现在正在试图将心理学还原为神经科学，然后将社会学还原为心理学，最后把所有的学科都还原为物理……但这些还原工作做得还不够好，从心理学开始就已经开始遇到困难了……（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科学（临近的属）；或者说，僭越末原本界线是形而上学的本质。

神，所有人都是我儿子。

哲学，我不是，我只是爱智慧而已。

逻辑，哲学说的有道理。

语言，我觉得我才是爸爸。

数，我是万物之母。

物理，母上有理说不清，我来说。

计算机，你们说啥？我听不懂，但我会算。

人类，上面几位，为人民服务的留下，为上帝服务的送你见上帝去。

神，儿子们，有人威胁我？上帝会惩罚他的。

哲学，愚蠢的人类，忘了历史的教训了吗？

逻辑，有理。

语言，我都记下了。

数，人类算老几？

物理，在宇宙的层面来看，无穷小。