研究方向

非经典逻辑 从亚里士多德到现代数学家，数学，科学，哲学中使用的逻辑规则几乎都没有发生过变化。形如“若 P, 则 Q; P成立，所以 Q 成立”这样的推理模式仿佛从古至今都一直正确。我们在现代数学上所采用的推理规则叫做经典逻辑。而在过去半个世纪以来，逻辑学界兴起了对经典逻辑以外的逻辑的研究潮流，这个研究潮流很大程度上得益于 Kripke 语义学的发明以及 Kripke 语义学和非经典逻辑的结合在计算机科学上的应用。本课程将会带领学生入门非经典命题逻辑。通过严格定义的数学工具，我们可以考虑如果我们改变经典逻辑的某些推理规则，那么我们得到的逻辑将会有什么变化。

 

相关学科

哲学

 

科研导师

Z. C

• 加州大学尔湾分校逻辑学&科学哲学系博士；
• 南加州大学语言学/哲学学士学位；
• 研究领域数理逻辑，哲学等；
• 熟练掌握英语，阿拉伯语，西班牙语，波斯语。

科研成果

成果一：在英文期刊中发表学术论文

有方学者项目保证为学员在正规的英文学术期刊中发表论文。正规的学术期刊均要求由独立审稿人决定论文的录用与否。因此，论文的成功发表标志着这篇文章已达到学界公认的学术标准。有方学者最优秀的学生，不但可以冲击EI、SCI等高级别期刊，而且有机会参与全球顶级的学术会议。

成果二：第一作者身份

有方学者项目坚持帮助学生以第一作者身份发表论文。在申请过程中，招生官最看重的是学生在科研项目中的参与程度，而第一作者顺位恰恰是这一点的最佳证明。近年来，有大量的中国学生在教授署名的论文中挂名，这使得第一作者身份的含金量更为突出。

成果三：独一无二的课题

有方学者项目的导师会为每个学生提供独一无二的课题，连接最前沿的科研方法和学生感兴趣的学术方向，保证学生研究内容的差异性。

成果四：顶尖院校导师的推荐信

有方学者项目将为学生提供项目导师撰写的推荐信。导师作为推荐人，来自于美国顶尖学府的科研团队，保证了推荐信的可信度；而导师所提供的丰富的细节和生动的描述能更好展现学生的过人之处，从而大大提高了推荐信的价值。

成果五：高效备战具有高影响力、高含金量的科研竞赛

学生可以直接使用有方学者项目的成果论文冲击多项全球顶级的科研赛事，其中包括：被誉为“中国青年的诺贝尔奖”的丘成桐科学奖、ISEF 国际科学与工程奖、全国青少年科技创新大赛等。

 

 

了解更多详情

请扫描二维码

关注「有方背景提升」