◆基本情况
姓 名: 梁真
毕业院校: 新西兰奥克兰大学哲学博士
政治面貌: 九三学社社员
E-mail : soul21@163.com
◆教育背景
2008.9—2011.7 西南大学 逻辑学 硕士
2012.11—2019.9 新西兰奥克兰大学 逻辑学 博士
◆社会兼职
中国逻辑学会批判性思维专委会委员
贵州省逻辑学会理事
◆学术专长
本人的学术研究主要集中在形式逻辑方面,包括数理逻辑、模态逻辑、动态认知逻辑等。本人的研究方向及成果涵盖了逻辑学、哲学、人工智能、认知科学和群体社会心理学的交叉研究领域,主要致力于使用逻辑学的工具对社会心理学中的群体认知和交互影响的研究和探讨逻辑工具在人工智能方向上的应用。
◆教学
304永利集团官网入口逻辑学硕士研究生课程《模态逻辑》
304永利集团官网入口体育学院硕士研究生课程《逻辑学与批判性思维》
304永利集团官网入口本科生课程《逻辑学》、《数理逻辑》
304永利集团官网入口校级通选课《逻辑学》、《批判性思维》
◆课题
主持国家社科基金西部项目《社群认知逻辑及应用》(21XZX005)
主研国家社科基金重大项目《面向自然语言理解的逻辑构建和符号接地问题的哲学、心理学研究》(18ZDA032)
◆专著
梁真.(2023). 《命题逻辑基础教程》.贵州:304永利集团官网入口出版社.
◆论文
Zhen Liang. “Towards Axiomatisation of Social Epistemic Logic”, PhD Thesis, 2020.
Zhen Liang. An axiomatisation for minimal social epistemic logic. In Alexan- dru Baltag, Jeremy Seligman, and Tomoyuki Yamada, editors, Proceedings of LORI 6, pages 664–669. Springer, 2017.
Zhen Liang and Jeremy Seligman. A logical model of the dynamics of peer pressure. In Hans van Ditmarsch, David Ferna ́ndez Duque, Valentin Goranko, Wojtek Jamroga, and Manuel Ojeda-Aciego, editors, Proceedings of LAMAS 4, volume 278, pages 275–288. ENTCS, 2011.
Zhen Liang and Jeremy SELIGMAN, ‘A logical model of the dynamics of peer pressure’, Electronic Notes in Theoretical Computer Science, Volume 278, 3 November 2011, Pages 275-288, ISSN 1571-0661, 10.1016/j.entcs.2011.10.021
Zhen Liang and Jeremy SELIGMAN, 'The dynamics of peer pressure' In: van Ditmarsch, H.; Lang, J.; Ju, S. (eds.) Logic, Rationality, and Interaction, Proceedings of the Third International Workshop (LORI 3), Springer LNCS 6953, pp. 390-391, 2011
梁真, 何向东. 社会群体中的偏好逻辑[J]. 逻辑学研究, 2011, 04(2):68-80.
◆国际学术会议报告
“A Two-Tiered Preference Upgrade of Community”, presented at XXV World Congress of Philosophy in Sapienza University, Italy, 2024.8
“An Axiomatisation for Minimal Social Epistemic Logic”, presented at LORI VI in Hokkaido University, Japan, 2017.10
“The Dynamics of Peer Pressure”, presented at LORI III in Guangzhou, China, 2011.10
“The Dynamic Preference Logic in the Community”, presented at SELLC, Guangzhou, 2010