傅皓政 台大：逻辑

 傅皓政 台大：逻辑

课程介绍

本课程旨在学习初始逻辑 (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集) 常见的谬误