2018年人大逻辑学初复试真题（回忆版）.docx

新祥旭考研官网 http:/www.xxxedu.net/马哲考研辅导班： 2018 年人大逻辑学初复试真题（回忆版）初试（六选五）：1.两小问，同函数完全性有关。第一小问是证明某真值函数在某些真值函数联结词中可表达。第二小问是证明一集真值函数连接词是完全的。2.文字题。考察对推理有效性的理解。粗略地，如果一个推理中所有的命题都是真命题，那么该推理是否就是有效的？有什么办法可以证明推理是无效的？3.文字题。考察对实质蕴含悖论和罗素集合论悖论的理解。4.判定某谓词逻辑蕴含式的有效性。应该是，(x)Fx (x)Gx (x)(Fx Gx) 注：（x）就是全称量化，倒 A 的符号打不出来。反正全称量化也能写成 (x) Orz.5.解释题。给出一个解释使得题干给出的两个合式公式一个为真一个为假（没有要求一定要哪一个为真）。6.用谓词逻辑改写传统逻辑第一格的 IAA 式，并判定有效性。复试笔试部分：首先是十道英文选择题。大致是提供英文的文本描述，根据描述选择对应的选项。第一题为例，BLABLA 说了一堆（我已经忘了具体说啥了只记得是关于前苏格拉底哲学中一元论的，提到了人名和观点），最后选 monism。这十道题是中西马混搭的，部分涉及原典的英文表述（例如，如无必要勿增实体。然后选谁说的）。总之关键还是术语要熟悉。此外还有一道古怪的推理题。我.在想莫不是在考 bachelor 的一词多义吧. Orz接着一道英文论述题，三选一。第一道是关于康德的（没仔细看因为觉得第二道简单）。第二道大致是问是否同意笛卡尔式的方案 凭借纯粹理性（而无需经验）就可以获得关于这个世界的知识。给出理由。以及是否认为洛克给出的方案更合新祥旭考研官网 http:/www.xxxedu.net/理。给出理由。第三道中哲的（看都没看。楼主中哲渣.很渣）。最后是专业相关的二选一 800 字论述题。大致地，1.和形式系统的可靠性和完全性有关。具体忘记了。2.试述元语言、对象语言、自然语言和形式语言之间的区别与联系。复试面试部分：先自我介绍。然后抽题。我抽的题目大致是，将读过的逻辑学相关书籍中的一段内容介绍给大家。总的题号貌似十个以上。我抽到的英语听力/口语的题目是 How do you think that internet changes our lives?