学习经历

本科（2006.9-2010.6）：武汉理工大学测控技术与仪器专业，获工学学士学位。

硕士（2012.9-2015.5）：华东师范大学科学技术哲学专业，获哲学硕士学位。

博士（2015.9-2020.12）：华东师范大学逻辑学专业，获哲学博士学位。

访问学者（2017.3-2017.9）：（德国）海德堡大学（Heidelberg University）数学与计算机科学系

讲授课程

1.学科基础课程（必修）：《逻辑学》

2.校通识教育核心课程（选修）：《批判性思维培养》

研究方向和兴趣

1.逻辑：直觉主义逻辑（及其交叉研究）、非经典逻辑与力迫法

2.哲学：逻辑哲学与数学哲学、德国哲学、语言哲学

在研项目

1.主持：教育部人文社科青年项目《直觉主义认知逻辑及其哲学意蕴研究》

2.参与：国社科重大项目《逻辑词汇的历史演进与哲学问题研究》

研究论文

1.程华清，“直觉主义逻辑的直观语义与形式语义”，思想与文化，2019年第二十四辑，第164-174页。

2.程华清，“基于构造性思想的直觉主义逻辑证明语义”，逻辑学研究，2020年第2期，第14-28页。

3.程华清，“直觉主义认知逻辑与不同程度的真”，逻辑学研究，2023年第1期，第55-67页。

学术服务

1.“逻辑与哲学读书会”（微信公众号同名）【欢迎有兴趣的朋友关注、参与与合作！】

2.第16届全国现代逻辑学术研讨会（程序委员会）

联系邮箱

Huaqing_Cheng@hotmail.com