【傅皓政】台大：逻辑

admin

【傅皓政】台大：逻辑

课程介绍

本课程是以学习初阶逻辑 (First-order Logic) 为目标。初阶逻辑包括语句逻辑 (propositional logic) 和述词逻辑 (predicate logic)，语句逻辑是以语句为单位所建构的逻辑，而述词逻辑是更深入地分析语句的结构而建构的逻辑。由于处理的对象的差异，述词逻辑显然需要更多的考虑，然而也因此会有更强大的解释力。在本课程中，教师将让学生认识到初阶逻辑的语言、各种处理语言的系统及如何演算。

讲师介绍 傅皓政

职业：文化大学哲学系助理教授，台湾大学哲学博士，研究领域：知识论、科学哲学与方法论、语言哲学

学院介绍

国立台湾大学，简称台大，前身为日据时期之台北帝国大学，是一所创立于台湾地区的全科性公立综合大学，亦为全台湾规模最大的研究型大学。2008年被英国《泰晤士高等教育》评为全世界前200名的大学，位列第124名。

[第1集] 导论：什么是逻辑1

[第2集] 导论：什么是逻辑2

[第3集] 命题与论证

[第4集] 命题逻辑语言

[第5集] 语句连接词

[第6集] 真值表法

[第7集] 真值树系统

[第8集] 自然演绎法系统

[第9集] 对象 外延 量化词

[第10集] 一阶逻辑语言

[第11集] 日常语言的翻译

[第12集] 真值树系统

[第13集] 自然演绎法系统

[第14集] 常见的谬误

游客，如果您要查看本帖隐藏内容请回复

版权声明

1、本站所发布的一切学习教程、软件等仅限用于学习体验和研究目的；请自觉下载后24小时内删除，严禁用于其他用途，如果你喜欢教程，请支持正版教程软件，得到更好的正版服务，本站内容全部来自网络，版权争议与本站无关，如果您认为侵犯了您的合法权益，请联系我们删除。发送邮件到邮箱：208528280@qq.com。

2、对于不当转载或引用本网站内容而引起的民事纷争、行政处理或其他损失，本网站不承担责任。

3、对不遵守本声明或其他违法、恶意使用本网站内容者，本网站保留追究其法律责任的权利。

延辰

谢谢谢谢谢谢谢谢

梦想家

看帖回帖是美德！谢谢虚拟宝库网分享！