形式逻辑 | 逻辑涵义

Logos这个词是希腊语，音译为逻各斯。

古希腊哲学家赫拉克里特最早使用了这个概念，认为逻各斯是一种隐秘的智慧，是世间万物变化的一种微妙尺度和准则，一般指世界的可理解的一切规律，因而也有语言或“理性”的意义。

简单的说，逻各斯就是规律的意思。

而在斯多葛学派的哲学中，逻各斯则指“宇宙理性”、“命题”；

而黑格尔的哲学体系中，逻各斯就是指概念、理性、绝对观念；

自马克思主义哲学产生以后啊，作为哲学术语的“逻各斯”一词就不再被使用。

古希腊的亚里士多德凭一己之力创建了逻辑学这门学科，他的《工具论》认为啊，逻辑是一切科学的工具，他所提出的三段论推理，为形式逻辑奠定了基础，他被称为逻辑学之父。

1902年，严复将英国逻辑学家约翰·穆勒的《逻辑学体系：演绎与归纳》一书译为中文时，将Logos音译为“逻辑”，但作为学科名称，则又意译为“名学”，故穆勒的这部名著被译为《穆勒名学》；

1909年啊，章士钊在《论翻译名义》一文中，主张取音译“逻辑”作为学科名称，并在后来将其逻辑学著作命名为《逻辑指要》。

然而，真正将形式逻辑在中国普及开来的是金岳霖。

你未必知道金岳霖，但是你肯定听说过民国四大才女之一的林徽因，金岳霖一直爱慕林徽因，但是林徽因却嫁给了梁启超的儿子梁思成；后来林徽因病逝，梁思成另取她人；而金岳霖对林徽因仍念念不忘，直到去世也未结婚。可见他对林徽因的爱慕至深至诚。

曾经有一个“中国历史上存不存科学”的讨论会，爱因斯坦时这样回复的，他说：西方科学体系的发展是以两个伟大的成就为基础的：一个是古希腊哲学家发明的形式逻辑体系；另一个是文艺复兴时期发现通过系统的实验可以找到因果关系。而在我看来啊，中国先贤并未走上这两条道路，所以中国历史上并没有科学也并不奇怪。

爱因斯坦很重视形式逻辑的推理，这对他影响非常大。

然而，可惜的是，西方的形式逻辑发展了2000多年，而我们才100多年。

曾经，有很多人跟我抱怨说，我们的教育没有教授过逻辑上门课，这观点其实是不对的。

我们从初中开始，就学过逻辑，比如“几何学”的证明题就是最典型的逻辑推理，就是要一步一步的按照逻辑推理出结论。只是当时没有人告诉我们，那就是逻辑。

这是一道几何题，已知：D是AB中点，∠ACB=90°，求证：CD=1/2AB。

延长CD到P，使D为CP中点。

连接AP，BP。

因为，DP等于DC，DA=DB，

所以，ACBP为平行四边形，

又因为，∠ACB=90°，

所以，平行四边形ACBP为矩形，

所以，AB=CP=2CD，

所以，CD=1/2AB。

大家注意这里面的因为、所以。因为已知条件的存在，所以才能得出未知的结论，这就是典型的逻辑推理。

简单地说，逻辑就是根据已知推理出未知的过程。

当然，逻辑一词还有很多其它的涵义：

第一种涵义，关于思维形式及其规律的科学，即逻辑学，比如形式逻辑，辩证逻辑，数理逻辑等；

第二种涵义，即思维的规律、规则，如“论证要合乎逻辑”，就是说论证要合乎思维的规律和思维的规则；

第三种涵义，客观事物的规律及过程，比如说“中国革命的逻辑”，就是指中国革命运动发展的规律。

列宁曾指出：逻辑不是关于思维的外在形式的学说，而是关于“一切物质的、自然的和精神的事物”的发展规律的学说，即关于世界的全部具体的内容及其对它的认识的发展规律的学说。

换句话说，逻辑就是对世界的认识的历史的总计、总和和结论。

这里的“逻辑”一词即指“客观事物的规律及其发展过程”的学说。

第四种涵义，某种特殊的观点或论点，常用于贬义，比如说“这是地地道道的强盗逻辑”；

第五种涵义，指一个人做事严谨、又章程，或指其生活、行为又严格的程序或固定不变的习惯等，比如说康德的生活很有逻辑性，康德终生保持每天下午散步的习惯，每天准时沿着固定路线散步，后来，街道上的人都以他出现在街道上的时间来校对钟表，，这条街道后来被命名为“康德小道”。