复旦大学逻辑学827形式逻辑基础课程大纲
课程总述
复旦大学逻辑学考研有以下四门课程：外语（100分），政治（100分），数学3/哲学综合（150分），827形式逻辑基础（150分）。本课程负责827形式逻辑基础这门专业课。
根据协议，一共60课时，每节课45分钟，共45小时。
时间安排的整体思路如下：计划每周授课4个课时共3小时，共计15周授完，在2020考研初试之前授完，一般情况下每周授课，可根据实际情况偶尔空缺一周，尽可能面授。
课程安排
课时1、2、3、4——预备知识
8月
l 集合、关系、函数、等价关系、序等基本概念；
课时5、6、7、8——命题逻辑（1）
8月
l 命题逻辑的语言、真值指派、唯一可读性、其他连词、希尔伯特推演系统；
课时9、10、11、12——命题逻辑（2）
8月
l 自然推演系统、命题逻辑的可靠性和完全性，模态逻辑简介；
课时13、14、15、16——一阶逻辑的语言与形式证明
8月
l 讲解一阶逻辑的语言、公理系统、推理、元定理；
课时17、18、19、20——形式证明、一阶逻辑的结构与真值
9月
l 前束范式、自然推演、一阶语言的结构、可定义性；
课时21、22、23、24——一阶逻辑的结构与真值、哥德尔完全性定理
9月
l 同态与同构、可靠性定理、完全性定理；
课时25、26、27、28——哥德尔完全型定理、递归论初步
9月
l 自然推演系统的可靠性与完全性、紧致性定理及其应用、原始递归函数；
课时29、30、31、32——递归论初步
9月
l 递归函数、图灵机、图灵可计算函数与部分递归函数、递归可枚举集；
课时33、34、35、36——集合论初步
10月
l 集合论公理、序数初步、基数初步；
课时37、38、39、40——模型论初步
10月
l 超积及相关模型论基础知识等；
课时41-48——传统逻辑复习
10-11月
l 传统逻辑基本内容复习；
课时49-60——复习与模拟测试
11-12月
每节课课后会留相关作业，每节课也有相应时间进行习题讲解。
参考书目
l 数理逻辑：证明及其限度（郝兆宽等）；
l 集合论：对无穷概念的探索（郝兆宽等）；
点击添加图片描述（最多60个字）l 逻辑基础（王路）；
点击添加图片描述（最多60个字）
