【蔡曙山】现代逻辑与形式化方法

形式化方法在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较，找出其中各个部分相互联结的方式，如命题中包含概念彼此间的联结，推理中则是各个命题之间的联结，抽取出它们共同的形式结构。

蔡曙山

清华大学

清华大学认知科学基地主任、心理与认知科学中心主任。并任国际逻辑学、方法论和科学哲学协会学术助理，国际符号学研究会理事，国际符号交际学院院士等职，主要研究领域为逻辑学、哲学以及认知科学等。

158资源整合网：提供各类学习资源，名师讲座视频，培训课程视频，音频，文档等···各类教程下载观看。

好消息：为了回馈广大用户能学习更多知识。

现只需98开通终身VIP会员

就可以终身免费下载所有资源！

机会难得错过就没有了

提示：在电脑上打开本站 www.z158.cn 下载更方便。