中大考研服务more..


招生简章

招生目录

考书目

历年真题

资料笔记

辅导班

报录比

分数线

常见问题

初试经验

复试经验

QQ微信群

more..中大考研专业资料
您的当前位置: 首页 > 招生资讯 > 导师简介 > 正文

中山大学哲学系研究生导师简介:马明辉

来源:www.sysuyz.com 作者:逸仙中大考研网 浏览:109 次 发布时间:2018/7/12

报考中山大学考研的同学,需要对考研导师简介信息有所了解。进入研究生学习阶段,中山大学导师的选择决定了你的未来走向和硕士生涯的质量,有基于此,逸仙中大考研www.sysuyz.com为打算考取中山大学研究生院的同学汇总了中大研究生院导师的信息:

2019中山大学考研辅导班系列

2019中山大学考研辅导资料 

中大考研各学院考研复习手册

中山大学考研常见问题汇总

2019中大考研复试经验汇总

2019中山大学考研交流群


姓名:马明辉

工作经历: 中山大学哲学系教授、博士生导师。

研究方向: 非经典逻辑(证明论和模型论),模态逻辑,现代逻辑史与形而上学

邮箱: 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爱沙尼亚塔林理工大学访问学者

2017.07 日本北海道大学文学院哲学系访问学者

2018.02 荷兰代尔夫特理工大学访问学者


学术成果

Minghui Ma & A.-V. Pietarinen. Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction. Journal of Philosophical Logic. 2018. https://doi.org/10.1007/s10992-017-9454-x

Minghui Ma & Mihir KumarChakraborty. Covering-based rough sets and modal logics. Part II. International Journal of Approximate Reasoning, Volume 95, April 2018, Pages 113-123.

Ma, M. & Lin, Y. A deterministic weakening of Belnap-Dunn logic. Stud Logica (2018). https://doi.org/10.1007/s11225-018-9792-x

Minghui Ma & A.-V. Pietarinen. Proof analysis of Peirce’s alpha system of graphs. Studia Logica, 2017, Doi :10.1007/s11225-016-9703-y.

M. Ma & A.-V. Pietarinen. Gamma graph calculi for modal logics. Synthese, 2017. DOI 10.1007/s11229-017-1390-3

Minghui Ma & A.-V. Pietarinen. Peirce’s sequent proof of distributivity. Proceedings of ICLA 2017. Springer. To appear.

Minghui Ma & A.-V. Pietarinen. Graphical sequent calculi for modal logics. Proceedings of Methods for Modalities 2017. To appear.

Minghui Ma & Mihir K. Chakraborty. Covering-based rough sets and modal logics. Part I. International Journal of Approximate Reasoning. 77:55-65, 2016.

Minghui Ma & Zhiguang Zhao. Unified correspondence and proof theory for strict implication. Journal of Logic and Computation. 2016. doi: 10.1093/logcom/exw012.

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.

马明辉.早期分析哲学中的信念逻辑.《世界哲学》2016年第5

马明辉,刘新文.论弗雷格式量化逻辑.《哲学动态》2016年第2

马明辉,王善侠,邓辉文.极小非正规时序逻辑的矢列式演算系统.《中国科学》(信息科学)2016.doi: 10.1360/N112015-00320

Minghui Ma and Ahti-Veikko Pietarinen. A Dynamic Approach to Peirce's Interrogative Construal of Abductive Logic. IFCoLog Journal of Logic and Applications. 2016.

Minghui Ma and Katsuhiko Sano. How to update neighbourhood models. Journal of Logic and Computation. 2015. doi: 10.1093/logcom/exv026

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.

Katsuhiko Sano & Minghui Ma. (2015). Alternative Semantics for Visser’s Propositional Logics. In Logic, Language, and Computation (pp. 257-275). Springer Berlin Heidelberg.

Minghui Ma and Jeremy Seligman. Algebraic Semantics for Dynamic Dynamic Logic. In: Proceedings of LORI-V. Springer, 2015.

Ma, M., & Sano, K. On Extensions of Basic Propositional Logic. Proceedings of the 13th Asian Logic Conference, 170--200. World-scientific Press, 2015.

Ma, M. and S. Wang. Finite-chain graded modal logics. In: Modality, Semantics and Interpretation. Springer, 2015.

Minghui Ma. The disjunction property of some propositional logic. Studies in Logic, 2015(2): 2-11.

马明辉.论奎因的逻辑论题.《世界哲学》2015年第5

马明辉.三值逻辑与意义理论.《西南大学学报》(哲社版).2015年第1

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.

马明辉、何向东. 演绎、归纳与溯因——从信息哲学的观点看.《科学技术哲学研究》2014年第3

马明辉.塔尔斯基论逻辑后承概念.《世界哲学》2014年第1

Minghui Ma & Katsuhiko Sano. How to Update Neighborhood Models. Proceedings of LORI IV. Springer, 2013.

马明辉. 常逻辑公式与可定义性,《湖南科技大学学报》(哲社版)2013(6)

马明辉、刘新文.模态对应理论的历史、现状与未来——约翰..本特姆教授访谈录,《世界哲学》2013年第5

何文堃、马明辉.弱连通传递框架类的命题逻辑.《逻辑学研究》2013(4)

Minghui Ma. Bull's Logics in NExt(S4) Revisited. Studies in Logic, 1:1-10, 2013.

马明辉.论逻辑系统的波斯特完全性,《自然辩证法研究》2012(11)

马明辉. 论广义弗雷格谜题.《哲学研究》, 2012年第1

马明辉、刘新文:模态对应理论评述,《哲学动态》,2012(1)

Minghui Ma. The Semantics Relationistic Approach to Generalized Fregean Puzzles. Frontiers of Philosophy in China. 2012.

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.

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.

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.

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.

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.

Minghui Ma. Toward Model-Theoretic Modal Logics. Frontiers of Philosophy in China, 5(2): 293-310. Higher Education Press and Springer, 2010.

Minghui Ma. Graded Modal Classes of Finite Transitive Frames. Studies in Logic, 2:19-25, 2010.

马明辉.走向模型论的模态逻辑.《逻辑学研究》2009(1)

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.

马明辉.《分次模态语言的模型论》. 科学出版社2012

马明辉、周小华、江怡、张桔、叶斌、尹文奇译,《杜威全集》第八卷,华东师范大学出版社 2015 年版。

马明辉等译,《杜威全集》第六卷,中期著作,华东师范大学出版社2012年。

[]理查德·奥斯本:《图解哲学》,马明辉译, 重庆大学出版社 2010

[]约翰··本特姆:“语义自动机”, 载《逻辑之门——.本特姆经典选集》(),科学出版社 2009 年。

[]马丁·斯托克霍夫:“意义的体系”,马明辉译, 世界哲学, 2010(5)


学术活动

The 9th Workshop on Logic and Cognition, 2017 December 1-5. PC member.

2018.02. Categories in Logic, Linguistics and Socieology. Delft University of Technology. Invited Speaker.

2017.07. 日本北海道大学哲学系报告,Peirce's Logical Philosophy

2016.8.22-28.2016年印度逻辑夏令营,开设代数逻辑讲座。

2016.7.1-8.19.应邀访问芬兰赫尔辛基大学、爱沙尼亚塔林理工大学。

2016.6.19.第一届京津冀逻辑论坛(北京.中国社会科学院哲学研究所),特邀报告模态逻辑的覆盖语义学

2016.2.15-19.应邀参见荷兰莱顿大学洛伦兹中心Unified Correspondence国际研讨会,并报告Unified correspondence and proof theory for strict implication

2015.11.1.华侨大学哲学与社会发展学院,特邀报告信念的逻辑形式

2015.10.30.第五届逻辑、理性与互动国际会议(台湾大学哲学系),报告Algebraic semantics for dynamic dynamic logic

2015.02.27.荷兰阿姆斯特丹大学逻辑语言与计算研究所,Algebra|Coalgebra seminar,报告 Residuated basic algebras

2014.11.14.荷兰代尔夫特理工大学逻辑研究小组报告The disjunction property of propositional logics

2014.4.12-13.第二届亚洲哲学逻辑会议,报告Lattice-graded modal logic

2014.2.10-27.应邀访问日本北陆先端科学技术大学院大学,Kanazawa Workshop on Epistemic Logic and Its Dynamic Extensions会议作报告Duality Theory for Public Announcement Logic

2013.9.16-20.第十三届亚洲逻辑会议(中山大学),作会议报告On Extensions of Basic Propositional Logics

2013.10.10.第四届逻辑、理性与互动国际学术会议(浙江大学),报告How to update neighborhood models

2013.10.19.首届国际信息哲学研讨会(西安交通大学),会议报告演绎、归纳与溯因——从信息哲学的观点看

2012.4.28.第五届两岸逻辑教学与研究会议(重庆/西南大学),作主题报告Definability in PDL: the finite case

2012.8.26.第二届东亚逻辑、理性与互动国际学术会议暨夏季学校(重庆/西南大学),报告 Model Theory for Graded Modal Logic

2012.9.1.应邀参加北京大学哲学系百年系庆学术活动:克里普克、逻辑与哲学国际学术会议,报告 On Degrees of Epistemic Modalities

2012.11-2013.1,应邀访问日本国立北陆先端科学技术大学院大学信息科学系,期间应邀访问日本京都大学应用哲学与应用伦理学研究所并作报告 Semantic Analysis of Belief Sentences

2012.11.16.日本第47届数理逻辑年会报告 Bull’s logics in NExt(S4)

2011.10.16.第三届全国认知科学会议(北京/清华大学),会议主题报告基于逻辑视域的认知研究

2011.10.13.第三届逻辑、理性与互动国际学术会议(广州/中山大学),作会议英文全文报告 Mathematics of Public Announcements

2010.12.18. SELLC 2010 (Sino-European Winter School in Logic, Language and Computation 2010报告Goldblatt-Thomason Theorem for Coalgebraic Graded Modal Logic

2010.3.3.荷兰阿姆斯特大学逻辑、语言与计算研究所会议“Coalgebra Day”报告Definability in Coalgebraic Graded Modal Logic

2009.6.24.北京市逻辑学会青年学者逻辑论坛报告Extending Sahlqvist Completeness Theorem

2008年第八次全国逻辑大会报告分次模态可定义性

2006年现代逻辑研讨会(燕山大学),报告互模拟与模态不可定义性


科研项目

1. 主持2016年国家社科基金项目非古典命题逻辑的结构证明论研究16CZX049

2. 主持国家社科基金项目模态可定义理论研究”(12CZX054)(已结题,结项成果被鉴定为优秀等级)

3. 主持教育部人文社会科学研究项目模态完全性理论的句法研究” (12YJC72040001)(已结题)

 

以上内容由逸仙中山大学考研网整理发布,点击查看更多中大考研资讯


----------------^_^2019考研来袭,准备好了吗^_^---------------


班型

辅导价格

更多内容

2019中山大学考研专业课冲刺高辅班

单科 5200

双科 5980

查看详情

2019中山大学考研复试指导班

 5200

查看详情

2019中山大学考研复试通关班

 10800

查看详情

2019中山大学考研专业课11高分班

单科 8800

双科  9800

查看详情

2019中山大学考研专业课协议通关班

单科  13800

双科  15800

查看详情

2019中山大学考研全科11高分班  

17800

查看详情

2019中山大学考研全科协议通关班  

26800

查看详情

2019中山大学考研全科协议高辅班

35800

查看详情

2019中山大学考研专业课暑期面授班

单科  5800

双科  7200

查看详情


逸仙中大考研的微信订阅号已经开通,我们将向报考中山大学研究生的考生发布分享更多与中山大学有关的考研资讯、复习经验、考研常识、复习资料等信息。

微信号:sysuyanzhao

       微信二维码扫一扫


  

  • 电话咨询

  • 020-29815021
  • 13824422040
  • 电子邮箱

  • kaoyan818(微信号)
  • kaoyan1316(微信号)