时间:2019年7月2日 上午9:00-12:00。
地点:新校区B1六楼 政法学院学术报告厅。
主题:从逻辑技术到逻辑哲学(上)、(下)讲。
主讲人:余俊伟
主讲人简介:
余俊伟,教授,于华东师范大学获教育学学士,哲学硕士,于中国社会科学院获哲学博士。人民大学哲学学院逻辑教研室主任,现任教于逻辑学教研室,主要研究方向为哲学逻辑与逻辑哲学。在《哲学研究》等多种刊物上发表论文多篇,代表性论文有《论道义逻辑系统的归约及其相关问题》,《一个弗协调真值道义逻辑系统》。参与编写的教材有《逻辑学》。主讲课程有:公理集合论,数理逻辑,模态逻辑,形式逻辑,逻辑史。
报告摘要:
现代逻辑的重要特征是形式化与精确性,大量使用特制符号,使用数学工具。今天逻辑专业学习通常从学习技术开始。主要基础知识点包括经典命题逻辑与谓词逻辑,模态逻辑,以及相关的基础数学领域的一些内容,如集合论、模型论、递归论等。然而,逻辑的主要研究对象与数学的主要研究对象很不一样。逻辑围绕推理的特性而展开,阐明好推理的一般机制。逻辑通过抽象掉内容保留形式来获得最大的普遍性,揭示有效性或合理性。在此过程中,对于抽象掉哪些部分,抽象到什么程度,抽象本身是否恰当,特制符号的特征,语言与其表达的内容之间的关系,等等,逻辑学家的观点并不总是一致。于是,我们进入到逻辑哲学。讲座以逻辑核心技术为例,阐明技术与哲学之间的互动。