蔡曙山介绍现代逻辑与形式化方法的要点
蔡曙山 现代逻辑和形式化方法
逻辑科学中的形式化方法是指分析和研究思维形式结构的方法。它比较了各种不同内容的思维形式（主要是命题和推理），找出了各部分之间的联系方式。例如，命题包含了概念之间的联系，而推理是每个命题之间的联系，并提取了它们共同的形式结构。
蔡曙山
清华大学
清华大学认知科学基地主任、心理与认知科学中心主任。他还担任国际逻辑、方法论和科学哲学协会学术助理、国际符号学研究协会主任、国际符号交流学院院士。他的主要研究领域是逻辑、哲学和认知科学。
1.仅限用于学习和研究目的；不得将上述内容用于商业或者非法用途，否则，一切后果请用户自负。我们非常重视版权问题，如有侵权请点击版权投诉。敬请谅解！
2.如遇下载链接失效、解压密码错误等问题请点击 提交工单
3.在下载源码前，请务必要仔细阅读并接受 购前/下载协议 购买即视为您同意该协议！
蓝星智库 » 蔡曙山 现代逻辑与形式化方法
