个人简介
刘佶鑫(1990年—),四川自贡人。武汉大学哲学学士,中国人民大学哲学硕士,北京大学逻辑学专业哲学博士。2017年10月至2018年10月在加州大学伯克利分校访问。现任职于四川大学哲学系科学哲学与逻辑学教研室。
在研项目:
1.《弱聚合模态逻辑模型论研究》,第68批国家博士后基金面上资助
2.《弱聚合模态逻辑的模型论研究》,四川大学专职博士后研发基金
开设课程:
1.逻辑学导论:本科一年级新生课程,教材为《符号逻辑讲义》(徐明著),课程涉及1-6章。课程会介绍命题语言、真值表语义、真值指派、命题逻辑的推演系统以及完全性定理。
2.数理逻辑:本科二年级课程,教材为《符号逻辑讲义》、《Elements of Set Theory》和《Mathematical Logic》(Ebbinghaus等著)。课程主要内容是一阶逻辑与集合论的基础部分。
3.哲学逻辑学:本科三年级课程,教材为《Modal Logic》(Blackburn等著)。课程会介绍模态逻辑的基础知识以及一点哲学应用。
4.现代逻辑导论:硕士一年级课程,教材为《符号逻辑讲义》、《Elements of Set Theory》和《Mathematical Logic》(Ebbinghaus等著)。课程主要内容是一阶逻辑与集合论的基础部分。
5.哲学逻辑专题:硕士二年级课程,教材为《Modal Logic》(Blackburn等著)。课程涉及模态逻辑的基础部分以及一点模态逻辑模型论。
近期研究:
1.弱聚合模态逻辑(WAML)在超图上的应用(Joint work with丁一峰、王彦晶)(Submitted to Synthese)
2.正规多元模态逻辑里的语义学问题:包括量词的不同迭代带来的不同性质;(Joint work with杨曦, in his MA Thesis)
其它研究兴趣:
1.模态逻辑中的选择公理相关问题:
a.与Bisimulation Games相关的选择公理问题。
b.McKinsey公式的对应理论。(Joint work with申国桢)
2.模态饱和性的相关推广。(Joint work with丁一峰)
3.社会选择理论中的逻辑学应用
我指导的本科论文:
1.On Strawson’s Objectivity and Re-identifiability,孙聪艺(柏林洪堡大学攻读硕士);
2.囚徒困境与偏好逻辑,刘煌(北京师范大学攻读硕士)。
若你是川大的本科生,本科论文计划写逻辑学或时间哲学内容,可以联系我指导。
研究领域
为模态逻辑的模型论理论研究,特别是多元模态逻辑与弱聚合模态逻辑(WAML)。近期个人兴趣包括模态逻辑中的选择公理、社会选择理论与博弈相关的逻辑学应用等问题。
近期论文
查看导师新发文章
(温馨提示:请注意重名现象,建议点开原文通过作者单位确认)
1.Model Theoretical Aspects of Normal Polyadic Modal Logic: An Exposition, 12(3), 80-102:《逻辑学研究》,刘佶鑫
2.Weakly Aggregative Modal Logic: characterization and interpolation, Proceeding of LORI 2019, 153-167, Jixin Liu, Yanjing Wang, Yifeng Dinghttps://doi.org/10.1007/978-3-662-60292-8_12
3.Model Theoretical Aspects of Weakly Aggregative Modal Logic.Journal of Logic, Language and Information31, 261–286 (2022). Jixin Liu, Yifeng Ding , Yanjing Wang.
https://doi.org/10.1007/s10849-022-09366-x(An extended journal version of the above one)
4.Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic. Proceeding of LORI 2021, 58–72,Yifeng Ding, Jixin Liu, Yanjing Wanghttps://doi.org/10.1007/978-3-030-88708-7_5