你现在的位置: 首页 > 师资队伍 > 专职教师(按姓名) > 马明辉

马明辉


姓名:马明辉
工作经历: 中山大学哲学系教授、博士生导师。
研究方向: 非经典逻辑(证明论和模型论),模态逻辑,现代逻辑史与形而上学
邮箱: mamh6@mail.sysu.edu.cn


学习和访问经历
2001.09-2005.07 北京师范大学哲学与社会学学院/本科生
2005.09-2008.07 清华大学人文学院哲学系逻辑学专业/硕士研究生(推荐免试)
2008.09-2011.06 清华大学人文学院哲学系逻辑学专业/博士研究生(推荐免试)
2009.11-2010.11 荷兰阿姆斯特丹大学逻辑、语言与计算研究所/联合培养博士生
2012.11-2013.01 日本北陆先端科学技术大学院大学信息科学系访问学者
2014.10-2015.10 荷兰代尔夫特理工大学访问学者
2015.05-2015.06 应邀访问法国Lorraine Research Laboratory in Computer Science and
its Applications (LORIA)研究所
2016.07-2016.08爱沙尼亚塔林理工大学访问学者 
学术成果
论文:
1. Minghui Ma and A.-V. Pietarinen. Proof analysis of Peirce’s alpha system of graphs. Studia Logica, 2017, Doi :10.1007/s11225-016-9703-y.
2. Minghui Ma and A.-V. Pietarinen. Peirce’s sequent proof of distributivity. Proceedings of ICLA 2017. Springer. To appear.
3. Minghui Ma and A.-V. Pietarinen. Graphical sequent calculi for modal logics. Proceedings of Methods for Modalities 2017. To appear.
4. Minghui Ma and Mihir K. Chakraborty. Covering-based rough sets and modal logics. Part I. International Journal of Approximate Reasoning. 77:55-65, 2016.
5. Minghui Ma and Zhiguang Zhao. Unified correspondence and proof theory for strict implication. Journal of Logic and Computation. 2016. doi: 10.1093/logcom/exw012.
6. G. Greco, M. Ma (main corresponding author), A. Palmigiano, A. Tzimoulis, and Z. Zhao. Unified Correspondence as a Proof-Theoretic Tool. Journal of Logic and Computation. 2016. doi: 10.1093/logcom/exw022.
7. 马明辉.早期分析哲学中的信念逻辑.《世界哲学》2016年第5期
8. 马明辉,刘新文.论弗雷格式量化逻辑.《哲学动态》2016年第2期
9. 马明辉,王善侠,邓辉文.极小非正规时序逻辑的矢列式演算系统.《中国科学》(信息科学),2016.doi: 10.1360/N112015-00320
10. Minghui Ma and Ahti-Veikko Pietarinen. A Dynamic Approach to Peirce's Interrogative Construal of Abductive Logic. IFCoLog Journal of Logic and Applications. 2016.
11. Minghui Ma and Katsuhiko Sano. How to update neighbourhood models. Journal of Logic and Computation. 2015. doi: 10.1093/logcom/exv026
12. Ma, M., Sano, K., Schwarzentruber, F., & Velázquez-Quesada, F. R. (2015). Tableaux for Non-normal Public Announcement Logic. In Logic and Its Applications (pp. 132-145). Springer Berlin Heidelberg.
13. Katsuhiko Sano & Minghui Ma. (2015). Alternative Semantics for Visser’s Propositional Logics. In Logic, Language, and Computation (pp. 257-275). Springer Berlin Heidelberg.
14. Minghui Ma and Jeremy Seligman. Algebraic Semantics for Dynamic Dynamic Logic. In: Proceedings of LORI-V. Springer, 2015.
15. Ma, M., & Sano, K. On Extensions of Basic Propositional Logic. Proceedings of the 13th Asian Logic Conference, 170--200. World-scientific Press, 2015.
16. Ma, M. and S. Wang. Finite-chain graded modal logics. In: Modality, Semantics and Interpretation. Springer, 2015.
17. Minghui Ma. The disjunction property of some propositional logic. Studies in Logic, 2015(2): 2-11.
18. 马明辉.论奎因的逻辑论题.《世界哲学》2015年第5期
19. 马明辉.三值逻辑与意义理论.《西南大学学报》(哲社版).2015年第1期
20. Minghui Ma, A. Palmigiano, M. Sadrzadeh. Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic. Annals of Pure and Applied Logic 165(4): 963-995, 2014.
21. 马明辉、何向东. 演绎、归纳与溯因——从信息哲学的观点看.《科学技术哲学研究》2014年第3期
22. 马明辉.塔尔斯基论逻辑后承概念.《世界哲学》2014年第1期
23. Minghui Ma & Katsuhiko Sano. How to Update Neighborhood Models. Proceedings of LORI IV. Springer, 2013.
24. 马明辉. 常逻辑公式与可定义性,《湖南科技大学学报》(哲社版)2013(6)
25. 马明辉、刘新文.模态对应理论的历史、现状与未来——约翰.范.本特姆教授访谈录,《世界哲学》2013年第5期
26. 何文堃、马明辉.弱连通传递框架类的命题逻辑.《逻辑学研究》2013(4)
27. Minghui Ma. Bull's Logics in NExt(S4) Revisited. Studies in Logic, 1:1-10, 2013.
28. 马明辉.论逻辑系统的波斯特完全性,《自然辩证法研究》2012(11)
29. 马明辉. 论广义弗雷格谜题.《哲学研究》, 2012年第1期
30. 马明辉、刘新文:模态对应理论评述,《哲学动态》,2012(1)
31. Minghui Ma. The Semantics Relationistic Approach to Generalized Fregean Puzzles. Frontiers of Philosophy in China. 2012.
32. Minghui Ma. Mathematics of Public Announcements. In: H. van Ditmarsch, J. Lang, and S. Ju (Eds.), Proceedings of LORI-III, LNAI 6953, pp. 193–205, Springer-Verlag, 2011.
33. Minghui Ma and Meiyun Guo. Logics of Belief over Weighted Structures. In: H. van Ditmarsch, J. Lang, and S. Ju (Eds.), Proceedings of LORI-III, LNAI 6953, pp.206-219, Springer-Verlag, 2011.
34. Md. Aquil Khan and Minghui Ma. A Modal Logic for Multiple-Source Tolerance Approximation Spaces. In: M. Banerjee and A. Seth (Eds.): Proceedings of the 4th Indian Conference on Logic and its Applications (ICLA 2011), LNAI 6521, pp. 124-136. Springer-Verlag,Berlin Heidelberg, 2011.
35. M. Sadrzadeh, A. Palmigiano and Minghui Ma. Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic. In: H. van Ditmarsch, J. Lang, and S. Ju (Eds.), Proceedings of LORI-III, LNAI 6953, pp. 394–395, Springer-Verlag, 2011.
36. Katsuhiko Sano and Minghui Ma. Goldblatt-Thomason-style Theorems for Graded Modal Language. In: Lev Beklemishev, Valentin Goranko and Valentin Shehtman (eds). Advances in Modal Logic, Volume 8, pp. 330-349. College Publications, 2010.
37. Minghui Ma. Toward Model-Theoretic Modal Logics. Frontiers of Philosophy in China, 5(2): 293-310. Higher Education Press and Springer, 2010.
38. Minghui Ma. Graded Modal Classes of Finite Transitive Frames. Studies in Logic, 2:19-25, 2010.
39. 马明辉.走向模型论的模态逻辑.《逻辑学研究》2009(1)
40. Minghui Ma. Dynamic Epistemic Logic of Finite Identification. In: Xiangdong He, J. Horty and E. Pacuit (eds.). Proceedings of the Second International Workshop on Logic, Rationality and Interaction (LORI-II), pp. 227-237, Springer, 2009.

学术专著和译著
1. 马明辉.《分次模态语言的模型论》. 科学出版社2012年
2. 马明辉、周小华、江怡、张桔、叶斌、尹文奇译,《杜威全集》第八卷,华东师范大学出版社 2015 年版。
3. 马明辉等译,《杜威全集》第六卷,中期著作,华东师范大学出版社2012年。
4. [英]理查德·奥斯本:《图解哲学》,马明辉译, 重庆大学出版社 2010。
5. [荷]约翰·范·本特姆:“语义自动机”, 载《逻辑之门——范.本特姆经典选集》(二),科学出版社 2009 年。
6. [荷]马丁·斯托克霍夫:“意义的体系”,马明辉译, 世界哲学, 2010(5)
 
学术活动
1. 2016.8.22-28.2016年印度逻辑夏令营,开设“代数逻辑”讲座。
2. 2016.7.1-8.19.应邀访问芬兰赫尔辛基大学、爱沙尼亚塔林理工大学。
3. 2016.6.19.第一届京津冀逻辑论坛(北京.中国社会科学院哲学研究所),特邀报告“模态逻辑的覆盖语义学”。
4. 2016.2.15-19.应邀参见荷兰莱顿大学洛伦兹中心Unified Correspondence国际研讨会,并报告Unified correspondence and proof theory for strict implication
5. 2015.11.1.华侨大学哲学与社会发展学院,特邀报告“信念的逻辑形式”。
6. 2015.10.30.第五届逻辑、理性与互动国际会议(台湾大学哲学系),报告Algebraic semantics for dynamic dynamic logic
7. 2015.02.27.荷兰阿姆斯特丹大学逻辑语言与计算研究所,Algebra|Coalgebra seminar,报告 Residuated basic algebras
8. 2014.11.14.荷兰代尔夫特理工大学逻辑研究小组报告The disjunction property of propositional logics
9. 2014.4.12-13.第二届亚洲哲学逻辑会议,报告Lattice-graded modal logic
10. 2014.2.10-27.应邀访问日本北陆先端科学技术大学院大学,在Kanazawa Workshop on Epistemic Logic and Its Dynamic Extensions会议作报告Duality Theory for Public Announcement Logic
11. 2013.9.16-20.第十三届亚洲逻辑会议(中山大学),作会议报告On Extensions of Basic Propositional Logics
12. 2013.10.10.第四届逻辑、理性与互动国际学术会议(浙江大学),报告How to update neighborhood models
13. 2013.10.19.首届国际信息哲学研讨会(西安交通大学),会议报告“演绎、归纳与溯因——从信息哲学的观点看”
14. 2012.4.28.第五届两岸逻辑教学与研究会议(重庆/西南大学),作主题报告Definability in PDL: the finite case
15. 2012.8.26.第二届东亚逻辑、理性与互动国际学术会议暨夏季学校(重庆/西南大学),报告 Model Theory for Graded Modal Logic
16. 2012.9.1.应邀参加北京大学哲学系百年系庆学术活动:克里普克、逻辑与哲学国际学术会议,报告 On Degrees of Epistemic Modalities
17. 2012.11-2013.1,应邀访问日本国立北陆先端科学技术大学院大学信息科学系,期间应邀访问日本京都大学应用哲学与应用伦理学研究所并作报告 Semantic Analysis of Belief Sentences
18. 2012.11.16.日本第47届数理逻辑年会报告 Bull’s logics in NExt(S4)
19. 2011.10.16.第三届全国认知科学会议(北京/清华大学),会议主题报告“基于逻辑视域的认知研究”
20. 2011.10.13.第三届逻辑、理性与互动国际学术会议(广州/中山大学),作会议英文全文报告 Mathematics of Public Announcements
21. 2010.12.18. SELLC 2010 (Sino-European Winter School in Logic, Language and Computation 2010报告Goldblatt-Thomason Theorem for Coalgebraic Graded Modal Logic
22. 2010.3.3.荷兰阿姆斯特大学逻辑、语言与计算研究所会议“Coalgebra Day”报告Definability in Coalgebraic Graded Modal Logic
23. 2009.6.24.北京市逻辑学会青年学者逻辑论坛报告Extending Sahlqvist Completeness Theorem
24. 2008年第八次全国逻辑大会报告“分次模态可定义性”。
25. 2006年现代逻辑研讨会(燕山大学),报告“互模拟与模态不可定义性”。
 
科研项目
 
1. 主持2016年国家社科基金项目“非古典命题逻辑的结构证明论研究”(16CZX049)
2. 主持国家社科基金项目“模态可定义理论研究”(12CZX054)(已结题,结项成果被鉴定为优秀等级)
3. 主持教育部人文社会科学研究项目“模态完全性理论的句法研究” (12YJC72040001)(已结题)
4. 主持重庆市人文社会科学重点研究基地项目“模态模型论研究”2011-2012(已 结题)
5. 主持重庆市人文社会科学重点研究基地项目“奎因逻辑哲学研究”2014-2017