您的位置:首页 > 哲学 > 现代逻辑与形式化方法
现代逻辑与形式化方法
4.47 分 (270人评价)

现代逻辑与形式化方法

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

本系列已被观看loading..次,被0人次添加为学习计划,270人评分, 平均4.47

57集   前3集试播 按标题显示 查看全部

视频笔记

笔记加载中...

主讲人

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