学术背景
徐明 (Ph.D., University of Pittsburgh, 1996；MA, 中国社会科学院研究生院, 1987；BA, 北京大学, 1984)，现任武汉大学哲学教授，主要学术兴趣是在哲学逻辑、形而上学和语言哲学等方面。与 N.
招生
硕士生招生方向：数理逻辑。学生在学习期间要求掌握一阶逻辑和集合论、模型论及递归论的初步知识，也要求掌握包括模态逻辑在内的哲学逻辑主要分支的初步知识。入学专业课考试通常一门为符号逻辑，另一门为数学或西方哲学问题（由考生自选）。任何专业的学生都可以报名考试。符号逻辑考试要求考生熟练地掌握命题联结词、量词、变元、常项及关系词等的意义和使用，考试的主要内容包括基本语法、基本语义、符号化和逻辑演算（有一阶逻辑等的知识当然更好）。数学考试是统一考试。西方哲学问题考试要求考生掌握西方哲学问题而非哲学史。考试不指定参考书（考生可以参考本人编写的《符号逻辑讲义
徐明 (Ph.D., University of Pittsburgh, 1996；MA, 中国社会科学院研究生院, 1987；BA, 北京大学, 1984)，现任武汉大学哲学教授，主要学术兴趣是在哲学逻辑、形而上学和语言哲学等方面。与 N.
招生
硕士生招生方向：数理逻辑。学生在学习期间要求掌握一阶逻辑和集合论、模型论及递归论的初步知识，也要求掌握包括模态逻辑在内的哲学逻辑主要分支的初步知识。入学专业课考试通常一门为符号逻辑，另一门为数学或西方哲学问题（由考生自选）。任何专业的学生都可以报名考试。符号逻辑考试要求考生熟练地掌握命题联结词、量词、变元、常项及关系词等的意义和使用，考试的主要内容包括基本语法、基本语义、符号化和逻辑演算（有一阶逻辑等的知识当然更好）。数学考试是统一考试。西方哲学问题考试要求考生掌握西方哲学问题而非哲学史。考试不指定参考书（考生可以参考本人编写的《符号逻辑讲义