马哲考研辅导班：2018年人大逻辑学初复试真题（回忆版）

初试（六选五）：

1.两小问，同函数完全性有关。第一小问是证明某真值函数在某些真值函数联结词中可表达。第二小问是证明一集真值函数连接词是完全的。

2.文字题。考察对推理有效性的理解。粗略地，如果一个推理中所有的命题都是真命题，那么该推理是否就是有效的？有什么办法可以证明推理是无效的？

3.文字题。考察对实质蕴含悖论和罗素集合论悖论的理解。

4.判定某谓词逻辑蕴含式的有效性。应该是，(x)Fx ^ (x)Gx——>(x)(Fx ^ Gx)  注：（x）就是全称量化，倒A的符号打不出来。反正全称量化也能写成 (x)  Orz...

5.解释题。给出一个解释使得题干给出的两个合式公式一个为真一个为假（没有要求一定要哪一个为真）。

6.用谓词逻辑改写传统逻辑第一格的IAA式，并判定有效性。

复试笔试部分：

首先是十道英文选择题。大致是提供英文的文本描述，根据描述选择对应的选项。第一题为例，BLABLA说了一堆（我已经忘了具体说啥了只记得是关于前苏格拉底哲学中一元论的，提到了人名和观点），最后选monism。这十道题是中西马混搭的，部分涉及原典的英文表述（例如，如无必要勿增实体。然后选谁说的）。总之关键还是术语要熟悉。此外还有一道古怪的推理题。我...在想莫不是在考bachelor的一词多义吧... Orz

接着一道英文论述题，三选一。

第一道是关于康德的（没仔细看因为觉得第二道简单）。

第二道大致是问是否同意笛卡尔式的方案——凭借纯粹理性（而无需经验）就可以获得关于这个世界的知识。给出理由。以及是否认为洛克给出的方案更合理。给出理由。

第三道中哲的（看都没看。楼主中哲渣..很渣）。

最后是专业相关的二选一800字论述题。大致地，

1.和形式系统的可靠性和完全性有关。具体忘记了。

2.试述元语言、对象语言、自然语言和形式语言之间的区别与联系。

复试面试部分：

先自我介绍。然后抽题。我抽的题目大致是，将读过的逻辑学相关书籍中的一段内容介绍给大家。总的题号貌似十个以上。

我抽到的英语听力/口语的题目是How do you think that internet changes our lives?

 新祥旭一对一考研辅导最基本的特征是一个老师专门辅导一个考研的学生，区别于学校中的很多学生听一个老师讲课的大班上课形式。从教育的本质看，只有互动才能够达到有效的教育效果，而一对一是教育能够互动的基本要求，传统的大班上课形式，互动很难有效展开。正因为如此，在传统学校教育课堂之外，新祥旭大力推广一对一辅导的教育培训模式。人们常说的一对一辅导全称一对一个性化辅导，是由专门的个性化教育辅导机构针对每个学生不同的学习情况和心理情况，有针对性地制定出一套独特的、行之有效的教学辅导方案和心理辅导策略，并由每个学生所配备的教学团队加以实施执行(包括一位专业教师+专业的心理咨询师+潜能开发专家+励志拓展专家+专职班主任)，通过全方位、策略性地辅导，不仅使学生掌握一种切合自身的学习方法，改善不良学习习惯，稳固提升学科知识，而且在树立自信，完善人格、为人处事等方面均得以提升。