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