MIT OpenCourseWare


» 进阶搜寻
 课程首页
 教学大纲
 教学时程
 相关阅读资料
 作业

24.241 Logic I, Fall 2002

Natural deduction proof that The present king of France is bald entails The present king of France exists.
Natural deduction proof that "The present king of France is bald" entails "The present king of France exists." (Taken from lecture note 17 of course materials.)

课程重点

The text for the course is a manuscript written by the faculty member, entitled Logic: The Art of Persuasion and Science of Truth. The text is in the readings section.

课程描述

Introduction to the aims and techniques of formal logic. The logic of truth functions and quantifiers. The concepts of validity and truth and their relation to formal deduction. Applications of logic and the place of logic in philosophy.

师资

讲师:
Prof. Vann McGee

上课时数

教师授课:
每周2节
每节1.5小时

程度
大学部
回应
告诉我们您对本课程或“开放式课程网页”的建议。
声明
麻省理工学院开放式课程认可 开放式课程计划(OOPS)的翻译计划,开放式课程计划(OOPS)乃是运用其独立团队、独立资源、独立流程进行翻译计划之团队。

所有麻省理工学院开放式课程之材料皆以麻省理工学院开放式课程创作共享授权发布,所有之翻译资料皆由开放式课程计划(OOPS)所提供,并由其负翻译品质之责任。

此处麻省理工学院开放式课程之资料乃由 开放式课程计划(OOPS) 译为简体中文。麻省理工学院开放式课程在此声明,不论是否遭遇或发现相关议题,麻省理工学院开放式课程、麻省理工学院教师、麻省理工学院校方并不对翻译正确度及完整性作保证。上述单位并对翻译后之资料不作明示或默许对任一特定目的之适合性之保证、非侵权之保证、或永不出错之保证。麻省理工学院校方、麻省理工学院开放式课程对翻译上之不正确不负任何责任。由翻译所引发任何关于此等资料之不正确或其他瑕疵,皆由开放式课程计划(OOPS)负全责,而非麻省理工学院开放式课程之责。

原文声明

 
MIT Home
Massachusetts Institute of Technology Terms of Use Privacy