公告:本站整合全网多家VIP站点资源,全网虚拟资源一手掌握!!!
欢迎您访问本网站,请 注 册了解更多!
网站首页 > 素材资料 > 名师讲座 > 正文

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

作者:访客日期:2016-09-11浏览:683分类:名师讲座

  下载量 : 683 次 |  文件类型 : 压缩文件  

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

形式化方法在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构。
 
蔡曙山
清华大学
清华大学认知科学基地主任、心理与认知科学中心主任。并任国际逻辑学、方法论和科学哲学协会学术助理,国际符号学研究会理事,国际符号交际学院院士等职,主要研究领域为逻辑学、哲学以及认知科学等。

下载地址

下载地址:此资源已隐藏,需要VIP会员才能下载哦!vip.pnglogin.png

本站所有资源都来源于网络收集、网友提供或者交换而来!如果侵犯了您的权益,请及时联系本站客服,我们立刻删除!

暂无评论,来添加一个吧。

取消回复欢迎 发表评论:

你的会员级别无法评论,请升级会员