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

888888

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

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



本资源来源于 网络 付费网站  付费收集而来, 随时收集更新资源  本站专注搜集和分享各种付费网站资源,感谢您的信任


资源下载地址:

游客，如果您要查看本帖隐藏内容请回复>>>开通VIP无需回帖直接下载VIP通道

本站所有资源都来源于网络收集,网友提供或者交换而来!

如果侵犯了您的权益,请及时联系客服,我们即刻删除!