学术背景

徐明 (Ph.D., University of Pittsburgh, 1996；MA, 中国社会科学院研究生院, 1987；BA, 北京大学, 1984)，现任武汉大学哲学教授，主要学术兴趣是在哲学逻辑、形而上学和语言哲学等方面。与 N. Belnap 和 M. Perloff 合著 Facing the Future: Agents and Choices in Our Indeterminist World (牛津大学出版社, 2001) 并在国际学术期刊上发表若干论文。在教学方面，除了逻辑学和哲学的基础课程，主要教授哲学逻辑各分支和相关的哲学理论。受聘武大前，曾在美国的西弗吉尼亚大学 (West Virginia University)、匹兹堡大学 (University of Pittsburgh) 和印地安纳大学 (Indiana University at Bloomington) 任过临时教职，还在美国的一家软件公司任职数年。

招生

硕士生招生方向：数理逻辑。学生在学习期间要求掌握一阶逻辑和集合论、模型论及递归论的初步知识，也要求掌握包括模态逻辑在内的哲学逻辑主要分支的初步知识。入学专业课考试通常一门为符号逻辑，另一门为数学或西方哲学问题（由考生自选）。任何专业的学生都可以报名考试。符号逻辑考试要求考生熟练地掌握命题联结词、量词、变元、常项及关系词等的意义和使用，考试的主要内容包括基本语法、基本语义、符号化和逻辑演算（有一阶逻辑等的知识当然更好）。数学考试是统一考试。西方哲学问题考试要求考生掌握西方哲学问题而非哲学史。考试不指定参考书（考生可以参考本人编写的《符号逻辑讲义》，但该书不是必读的）。

博士生招生大体只有一个方向：哲学逻辑。具体研究方向可以是哲学逻辑中任一分支，最好接近本人当前的研究兴趣，包括（但不限于）modal logic, tense logic, deontic logic, conditional logic, logic of agency, dynamic logic, logic of action, non-monotonic logic, epistemic logic, relevance logic, truth 等等。入学专业课考试通常是古典逻辑和非古典逻辑两门，前者包括一阶逻辑和集合论、模型论及递归论的初步知识，后者包括模态逻辑的初步知识（具备时态逻辑和条件句逻辑等的初步知识当然更好）。两门考试均不指定参考书。

著述

   专业研究

• Facing the Future: Agents and Choices in Our Indeterminist World.  Co-authored with N. Belnap and M. Perloff. Oxford University Press, 2001.
• "Combinations of stit with ought and know", Journal of Philosophical Logic, 44, 851-877, 2015.
• "Group strategies and independence", in T. Müller (ed.), Nuel Belnap on Indeterminism and Free Action, Vol. 2 of Outstanding Contributions to Logic, Springer, pp. 343-376, 2014.
• "Some normal extensions of K4.3", Studia Logica, 101(3), 583-599, 2013.
• "Actions as events", Journal of Philosophical Logic, 41, 765-809, 2012.
• "Combinations of stit and actions", Journal of Logic, Language and Information, 19, 485-503, 2010.
• "Some embedding theorems for conditional logic", Journal of Philosophical Logic 35, 599-619, 2006.
• "有穷深度的模态逻辑",《哲学动态》2005 年逻辑学增刊, 1-5.
• "Normal extensions of G.3", Theoria 68(2), 170-176, 2002.
• "Uncompactness of stit logics containing generalized refref conditionals", Notre Dame Journal of Formal Logic 39, 485-506, 1998. (appeared in 2000)
• "Axioms for deliberative stit", Journal of Philosophical Logic 27, 505-552, 1998.
• "Causation in branching time (I): Transitions, events and causes", Synthese 112, 137-192, 1997.
• "Busy choice sequences, refraining formulas and modalities", Studia Logica 54, 267-301, 1995.
• "On the basic logic of stit with a single agent", The Journal of Symbolic Logic 60, 459-483, 1995.
• "Decidability of deliberative stit theories with multiple agents", Temporal Logic, first international conference, ICTL'94, Bonn, Germany, proceedings, D. M. Gabbay and H. J. Ohlbach (eds.), Springer-Verlag, pp. 332-348, 1994.
• "Doing and refraining from refraining", Journal of Philosophical Logic 23, 621-632, 1994.
• "Decidability of stit theory with a single agent and refref equivalence", Studia Logica 53, 259-298, 1994.
• "Some descending chains of incomplete modal logics", Journal of Philosophical Logic 20, 265-283, 1991.
• "On some U, S-tense logics", Journal of Philosophical Logic 17, 181-202, 1988. 

   普及与评论

• "Modal logic", Encyclopedia Americana, 2002.
• “有名无实的'开放世界的语义理论'”, 《哲学动态》2004 年逻辑学增刊, 85-91.
• “不伦不类开放类——评鞠实儿的开放类逻辑”, 《科学文化评论》第3卷, 第4期, 64-86, 2006. 【附：鞠实儿2005年9月21日在武汉大学哲学学院的讲演录音。(wav, rar)】
• 《符号逻辑讲义》, 武汉大学出版社, 2008