[第1课] 导论:什么是逻辑1

主题:导论:什么是逻辑1

[第2课] 导论:什么是逻辑2

主题:导论:什么是逻辑2

[第3课]命题与论证

[第4课] 命题逻辑语言

主题:命题逻辑语言

[第5课] 语句连接词

主题:语句连接词

[第6课] 真值表法

主题:真值表法

[第7课] 真值树系统

主题:真值树系统

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

主题:自然演绎法系统

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

主题:对象 外延 量化词

[第10课] 一阶逻辑语言

主题:一阶逻辑语言

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

主题:日常语言的翻译

[第12课] 真值树系统

主题:真值树系统

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

主题:自然演绎法系统

[第14课] 常见的谬误

主题:常见的谬误

国立台湾大学公开课:逻辑

学校: 国立台湾大学

讲师: 傅皓政

集数: 14

授课语言: 中文

类型: 国立台湾大学公开课 国内 哲学

课程简介: 本课程是以学习初阶逻辑 (First-order Logic) 为目标。自从十九世纪末德国哲学家弗雷格(G. Frege) 认识到数学基础的问题开始,他认为应该替数学找到一个更坚实的基础,由于这样的动机,他成就了创建现代逻辑的非凡成果。也正由于他的努力,使 得人们在处理学科的基本问题上有了更强大的工具。虽然他遗留下许多哲学问题尚待现代哲学家们努力,但是显而易见的是,这些问题反而促进现代逻辑多样化的发 展。初阶逻辑包括语句逻辑 (propositional logic) 和述词逻辑 (predicate logic),语句逻辑是以语句为单位所建构的逻辑,而述词逻辑是更深入地分析语句的结构而建构的逻辑。由于处理的对象的差异,述词逻辑显然需要更多的考 虑,然而也因此会有更强大的解释力。在本课程中,教师将让学生认识到初阶逻辑的语言、各种处理语言的系统及如何演算。