【蔡曙山】现代逻辑与形式化方法
作者:访客日期:2016-09-11浏览:469分类:名师讲座
【蔡曙山】现代逻辑与形式化方法
形式化方法在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构。
蔡曙山
清华大学
清华大学认知科学基地主任、心理与认知科学中心主任。并任国际逻辑学、方法论和科学哲学协会学术助理,国际符号学研究会理事,国际符号交际学院院士等职,主要研究领域为逻辑学、哲学以及认知科学等。
下载地址
- 上一篇:【诸葛忆兵】宋代宰辅制度
- 下一篇:【林家骊】中国古代文学史
猜你还喜欢
- 10-06 【庞中华】庞中华硬笔书法教程
- 10-06 【王新陆】解读中医
- 10-27 【田英章】毛笔书法专业教程_欧体楷书学习ch3b
- 09-10 【幼儿童话】安徒生童话全集mp3版【19CD】ch3b
- 11-01 【运营入门到精通课程】手把手教你做运营
- 10-30 杜云生-《销售=收入》销售致富圣经全集
- 10-30 【姚工】分型分析之V型反转
- 10-30 【读书】好奇心
- 10-30 【地理学习】高中地理
- 10-30 【江宏】追踪主力动向,测量主力筹码
- 10-30 【无门问禅】稳定盈利 趋势通道平台战法
- 10-28 【探索孔子的哲理】经营幸福快乐人生
取消回复欢迎 你 发表评论:
- 会员中心
- 资源搜索
- 网站分类
暂无评论,来添加一个吧。