文稿写作阶段-北京大学哲学系.DOCVIP

博士研究生学位论文 中文题目： 一阶逻辑 英文题目： First-Ordered Logic 作者姓名： 蔡元培 作者学号： 1901110820 专业名称： 哲学逻辑学 指导老师： 王宪钧 教授 所在院系： 北京大学哲学系 二〇一六年六月三十日 目 录 1 论文选题 4 1.1 论文题目 4 1.2 选题简介 4 2 研究现状 4 2.1 国内研究现状 4 2.2国外研究现状 4 3 研究思路 4 3.1 指导思想 4 3.2什么方法 4 3.3什么方法 5 4 拟设目录 5 4.1 第1章 导 论 5 4.2 第2章 预备知识 5 4.3第3章 ABC 5 4.4第4章 ABC 5 4.5第5章 ABC 5 4.6第6章 结 语 5 5 预计贡献 5 5.1 关于ABC 6 5.2 关于ABC 6 5.3关于ABC 6 6 计划安排 6 6.1 阅读材料阶段 6 6.2 研究攻关阶段 6 6.3文稿写作阶段 6 6.4文稿写作阶段 6 7 参考文献 6 1 论文选题 1.1 论文题目 中文题目：一阶逻辑 英文题目：First-Ordered Logic 1.2 选题简介 介绍选题背景、研究问题等等。 2 研究现状 国内外研究现状。 2.1 国内研究现状 根据实际情况写。 2.2国外研究现状 根据实际情况写。 3 研究思路 根据实际情况写。 3.1 指导思想 根据实际情况写。 3.2什么方法 根据实际情况写。 3.3什么方法 根据实际情况写。 4 拟设目录 根据实际情况写。 4.1 第1章 导 论 根据实际情况写。 4.2 第2章 预备知识 根据实际情况写。 4.3第3章 ABC 根据实际情况写。 4.4第4章 ABC 根据实际情况写。 4.5第5章 ABC 根据实际情况写。 4.6第6章 结 语 根据实际情况写。 5 预计贡献 根据实际情况写。 5.1 关于ABC 根据实际情况写。 5.2 关于ABC 根据实际情况写。 5.3关于ABC 根据实际情况写。 6 计划安排 整个论文的写作分阅读材料、研究攻关、文稿写作和论文修改共四个阶段。 6.1 阅读材料阶段 根据实际情况写。 6.2 研究攻关阶段 时间为A年B月C日至D年E月F日。根据实际情况写。 6.3文稿写作阶段 根据实际情况写。 6.4文稿写作阶段 根据实际情况写。 7 参考文献 G. Boolos. The Logic of Provability. Cambridge University Press, 2003. C. Chao and P. Seraji. G?del’s second incompleteness theorems for non-recursively enumerable theories. Submitted, 2016. D. Isaacson. “Necessary and sufficient conditions for undecidability of the G?del sentence and its truth”. In D. DeVidi, M. Hallett, and P. Clarke, editors, Logic, Mathematics, Philosophy: Vintage Enthusiasms. Essays in honour of John L. Bell, volume 75 of The Western Ontario Series in Philosophy of Science, pages 135–152. Springer Netherlands, 2011. P. Lindstr?m. Aspects of Incompleteness. Springer, 1st edition, 1997. 1 4