图 书 馆
24.241逻辑I24.241 Logic I |
|
| 课程网址: | http://ocw.mit.edu/courses/linguistics-and-philosophy/24-241-logi... |
| 主讲教师: | Vann McGee |
| 开课单位: | 麻省理工学院 |
| 开课时间: | 信息不详。欢迎您在右侧留言补充。 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | This course provides an introduction to the aims and techniques of formal logic. Logic is the science of correct argument, and our study of logic will aim to understand what makes a correct argument good, that is, what is it about the structure of a correct argument that guarantees that, if the premises are all true, the conclusion will be true as well? Our subject (though, to be sure, we can only scratch the surface) will be truth and proof, and the connection between them. |
| 关 键 词: | 形式逻辑; 真值函数; 量词; 形式演绎; 逻辑应用; 哲学 |
| 课程来源: | 麻省理工学院公开课 |
| 最后编审: | 2018-06-17：cmh |
| 阅读次数: | 73 |