当前位置: X-MOL首页全球导师 国内导师 › 刘佶鑫

个人简介

刘佶鑫(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

学术兼职

《逻辑学研究》审稿人,四川省逻辑学会副秘书长。

推荐链接
down
wechat
bug