逻辑哲学第一章

逻辑介绍和应用

逻辑哲学推荐书籍:http://users.cecs.anu.edu.au/~jks/LogicNotes/
对逻辑感兴趣的同学可以用谷歌搜索下这个.小弟接下来更新的逻辑知识博客也是主要由这个内容框架写的.这本书是由我们学校的一个退休老师写的，很厉害的一位哲学老师，他对于相关逻辑研究有很大贡献.

小弟近期会为大家分享下逻辑的相关知识，逻辑这门课在人工智能里有着很重要的作用，例如在人工智能里有个叫满足问题(SAT)它和命题逻辑关联很深，在人工智能规划里也会有用到,再比如模糊逻辑在AI里的应用，再比如，AI里的KRR(knowledge+Reasoning+Represetation)即人工智能的知识表示和推理，在这种结构里有个叫知识库的东西，里面的新知识都是通过旧知识推理而来，而这个推理会用到逻辑的一些技术手段例如自然演绎，举个自然演绎的例子，我,妈妈能有效论证出我和妈妈.我和妈妈这个句子就是一个新知识，这个新知识是由俩旧知识(我，妈妈)得出来的.而这些知识是存在AI的知识库里的.

初学者可能不太明白，但没关系知道重要就行，小弟会和人工智能的知识同步更新，之后大家会豁然开朗的.

小弟在说个逻辑哲学关于计算机科学或者计算机概论的重要性,首先计算机科学跟数学,物理,化学一样，它们都是门科学,科学这东西在小弟眼里就是一个很大的宇宙，需要人们在某个领域下来发现某个知识,逻辑哲学在计算机科学里可以预测某个程序的可做性或者能提出关于某个程序是否可做的问题.举个例子，假如程序A是关于某一个问题，那么是否有一个程序B可以继承这个程序A的数学逻辑呢.可能大家会说，那不简单么肯定可以继承，复制黏贴不得了么，也有的人可能会说，这不简单么，把程序A里的变量换个表达方式不行么,真是这样么?什么叫做继承? 再举个例子 2 2 2^2 22是否和 4 4 4真的一样? 之后小弟会带大家来看看什么叫做计算机程序的内涵性.总之小弟的意思是逻辑哲学可以帮助人们在计算机科学领域中发现更新的算法，或者发现一个编程的逻辑想法，或者提出为什么我们能够用计算机解相关问题，或者为什么我们需要花很长时间才能解某个问题例如时间复杂度NP,N,NPC问题等等.

逻辑来源于哲学，其实不只是逻辑，我们的思维方式就是来源于哲学, 我们的说话谈吐语言其实都在不知不觉中用到，逻辑可以用有限的符号来表达我们所有的语句，甚至可以翻译一本书，全用逻辑符号来写,是不是很神奇,举个例子:小明和小红能写成小明∧小红，无非能写成¬¬双重否定的意思.更复杂的例子小弟就不再举了，之后大家可以看到. 如果这些句子再经过我们自然的逻辑推理法则，我们会得到一些新的信息，例如这里有小红和小明，那么能有效论证出这里有小红或者这里有小明.也就是说我们可以通过原来的句子可以推出更多的句子，而这些句子肯定是符合我们的思考的,这就是有效论证.平常我们说话其实很难做到前提有效论证结论，换句话说其实我们经常会讲的牛头不对马嘴,前提正确，结论正确难道能说明你说的是有效论证么?并不然. 小弟之后会告诉大家如何通过数学的表达将我们的古典认知思考方式具体的表现出来，通过推导得出一些正确且有效论证的话，这样的话说出来才会很舒服.当然了,小弟并不希望大家以后说什么话都得拿个纸笔推一下得出结论在说出来，这就太费劲了，小弟希望大家在平常生活中有点我们正常人的思考逻辑习惯和敏感度,能够感受出某个人说的话使你很难受或者说出的话稍微有点道理符合我们的认知就足够了. 当然了,除了古典逻辑思维主义,小弟也会介绍一些其他的哲学思考主义，其他的哲学思考主义其实就是在修复古典逻辑思维的一些悖论或者bug,就像物理里除了古典物理F=ma,还有量子物理等等.

标签：逻辑,人工智能,知识,第一章,小弟,哲学,我们
来源： https://blog.csdn.net/wf312058666/article/details/117965507