学术资讯｜说知逻辑讲堂讲座系列第十二讲：面向逻辑学的类型论推介

面向逻辑学的类型论推介

发布人：韩珩 发布日期：2023-12-02
主题
面向逻辑学的类型论推介
活动时间
-
活动地址
中山大学珠海校区海琴六号A486
主讲人
梁晓龙  山西大学哲学学院讲师
主持人
王轶 中山大学哲学系（珠海）教授

 

1

题目

面向逻辑学的类型论推介

 

2

主讲

梁晓龙 

山西大学哲学学院讲师

 

3

主持

王轶

 中山大学哲学系（珠海）教授

 

4

主办

中山大学哲学系（珠海）

 

5

时间

2023年12月7日（周四） 14:30

 

6

地点

中山大学珠海校区

海琴六号A486会议室

 

7

讲座内容简介

类型论被视为一种与范畴论、集合论同等的可作为数学基础的理论。 自泛等公理和同伦类型论提出以来，现代的类型论进入了迅速发展的阶段，在数学、计算机科学、语言学、哲学等多个领域都产生了应用成果。 而逻辑学作为类型论的起源，其推理、验算、证明的思想一直贯穿于类型论的研究之中。 本次将通过介绍同伦类型论及其在形式化同伦论、集合论等理论方面的工作，来展示类型论研究者在参与数学和计算机科学等领域研究时的思考方式与逻辑学的相似之处。 希望能为逻辑学工作者提供一些将已有的逻辑学工作与类型论相结合，从而参与数学和计算机科学等领域研究的新的思路。

 

8

主讲人简介

梁晓龙，广东广州人，哲学博士，山西大学哲学学院讲师。 主要研究领域为哲学逻辑，研究兴趣包括类型论、模态逻辑理论、公理化真理论、数学哲学等。 目前主要研究认知逻辑、真理论与悖论、有穷主义数学等方向的工作。

来源｜哲珠新媒体

海报｜李颖妍

编辑｜霍雅萱

初审｜韩　珩

审核｜卢　毅

审核发布｜屈琼斐