下载说明:没有下载链接的,就搜索新版

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

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

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

[rihide]下载地址:http://pan.baidu.com/s/1pKLwLQj
提取码: t4xh[/rihide]

0
下载说明:为了资源不被爆!请不要在线解压文件!
广告

站点公告

获取新地址请发邮件xacgvip@gmail.com
显示验证码
没有账号?注册  忘记密码?