当前位置:首页 > 视频 > 哲学 > 逻辑学 > > > 现代逻辑与形式化方法

现代逻辑与形式化方法

0.0 分 (0人评价)

主讲人: 蔡曙山

单位: 清华大学心理学与认知科学研究中心

简介: 形式化方法在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含...

本系列已被观看557次,被0人评分, 平均0.0分

播放列表

(共57集)

主讲名师

  • 蔡曙山

    清华大学心理学与认知科学研究中心

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