第二十五届世界哲学大会 · 王彦晶:Knowing How to Understand Intuitionistic Logic

文摘 2024-08-18 21:14 北京

王彦晶在哲学大会期间受邀参加由Michael Glanzberg教授组织的Foundations of Logic and Applications to Mathematics工作坊。本次工作坊是世哲大会的特邀环节之一，在8月2日到6日的下午举行，每个报告时长75分钟。除王彦晶外的报告人还包括Roy Cook, Salvatore Florio, Juliette Kennedy, Oystein Linnebo等多位学者。工作坊围绕数学哲学、逻辑哲学、非经典逻辑的基础等问题进行了充分的讨论。

王彦晶的报告题目为: Knowing How to Understand Intuitionistic Logic. 在报告中，王彦晶介绍了近年来他在推动的直觉主义逻辑及相关中间逻辑的know-how解释及其逻辑工作。

报告首先介绍了使用谓词模态逻辑理解非经典逻辑的背景思想，然后回顾了Brouwer-Heyting-Kolmogorov (BHK) 解释及Medvedev对其的形式化。Medvedev工作的核心是将公式的真理解为一种统一可解性（unifom solvability），而在逻辑结构上，这个概念恰好具有存在量词与Box模态词打包的形式，进而可以在技术上联系到知识逻辑中的know-how算子，将直觉主义逻辑公式的“真”理解为“知道如何证明”。

在报告中，王彦晶回顾了直觉主义逻辑相关的历史，类似想法在Heyting关于直觉主义逻辑的早期文献中已经有所讨论，在过去近百年间也有一些学者从不同角度论证直觉主义逻辑可以视为一种关于从物知识特别是knowledge-how的逻辑，但是没有从技术上将这种哲学思想与严格的语义相连接，而王彦晶近年来发展的关于知道如何的逻辑技术恰好可以补上这个缺失的一环。

王彦晶接着展示了如何用一种动态的“知道如何”逻辑来“打开”直觉主义逻辑的公式，以将其等价的转换成有直观含义的公式，这样能帮助我们看清楚直觉主义逻辑公式在表达什么意思，很多技术结果也变得自然和直观。最后王彦晶介绍了他与学生王昊玉和王云崧合作的工作，将这种想法在一系列中间逻辑中得以实现，能给这些逻辑以更易理解的基于know-how的语义，并且让相对复杂的技术问题得到直观和简化的处理。报告引起了听众的广泛兴趣和热烈的讨论。

供稿 | 王彦晶

编辑 | 刘枫林

审核 | 王彦晶

发布 | 刘枫林

http://mp.weixin.qq.com/s?__biz=MzIzNTI5MzE2Nw==&mid=2247492805&idx=1&sn=dabe3d68569e4723f0c9c30f297dc5d5

北京大学哲学系宗教学系

北京大学哲学系宗教学系的官方公众号。负责发布北京大学哲学系宗教学系的新闻、通知以及相关文章。

最新文章

新鲜力量 | 北京大学哲学系宗教学系新进教师（8）

学术活动 | 北大哲学系一周学术活动一览（11.18—11.24）

2024年北京大学学科质量年博士生论坛——“‘秩序与人伦世界’哲学博士生论坛”成功举办

工作坊回顾 | 知识逻辑的多面性工作坊综述

学术活动 | 北大哲学系一周学术活动一览（11.11—11.17）

三月开班 | 北京大学人文教室·哲学解惑研修班第一期新班招生

会议回顾 | 全国数理逻辑年会2024

讲座信息 | Conceptual Engineering and Philosophical Pluralism

讲座信息丨第三十三期礼学沙龙：古典中国与希腊的机运与混沌

会议公告｜“秩序与人伦世界”——北京大学哲学博士生论坛论文入选名单

学术活动 | 北大哲学系一周学术活动一览（11.04—11.10）

三月开班 | 北京大学人文教室·生命哲学（哲学与中医）研修班第一期新班招生

讲座信息 | AI, Normality, and Oppressive Things

讲座信息 | How are knowledge and belief related?

讲座信息 | 本周哲学会饮时间更新：Publishing With MIND and Other Journals

学术活动 | 北大哲学系一周学术活动一览（10.28—11.3）

六月开班 | 北京大学人文教室·周易研修班第二期新班招生

会议日程 | 《超验之路》学术研讨会

三月开班 | 北京大学人文教室·哲学研修班第三期新班招生

会议日程 | 全国数理逻辑年会2024

学术活动 | 北大哲学系一周学术活动一览（10.21—10.27）

征稿启事｜“秩序与人伦世界”——北京大学哲学博士生论坛

讲座信息 | Christian Neuhäuser｜The limits to wealth

学术活动 | 北大哲学系一周学术活动一览（10.14—10.20）

会议日程 | “分析的美学与艺术哲学”青年学者论坛

讲座回顾 | “2024年度世英哲学奖获奖学者荣誉讲座01”在北京大学举办

学术活动 | 北大哲学系一周学术活动一览（10.7—10.13）

活动回顾｜2024年北大-复旦科技伦理暑期读书会

讲座信息 | 世英哲学奖获奖学者荣誉讲座01——陈少明：作为哲学手艺的描述

学术活动 | 北大哲学系一周学术活动一览（9.23—9.29）

回顾 | 北京大学哲学系教师及系友赴德国波恩参加第十四届国际康德大会

活动回顾｜“中澳生命科学哲学网络（SAPoLSN）”首届国际研究生暑期学校成功举办

通知 | 哲学系关于接收2025年推荐免试研究生的通知

活动回顾 | 2024年北大-中大哲学系“经典与解释”暑期讲习班系列活动纪要

会议议程 | 中国哲学的使命与未来——汤一介先生逝世十周年学术研讨会

学术活动 | 北大哲学系一周学术活动一览（9.09—9.15）

北京大学哲学系隆重举行2024年开学典礼

暑期研习班 | “当代哲学世界的趋势和前沿——2024年暑期本科生、研究生和青年教师研习班（第四届）”成功举办

暑期学校 | 北京大学-圣母大学暑期哲学合作项目顺利进行

学术活动 | 北大哲学系一周学术活动一览（9.2—9.8）

佛教哲学与中国文化研修班·导师小传 | 程乐松

佛教哲学与中国文化研修班·导师小传 | 李四龙

佛教哲学与中国文化研修班·导师小传 | 叶少勇

第二十五届世界哲学大会 · 王彦晶:Knowing How to Understand Intuitionistic Logic

第二十五届世界哲学大会 · 会议报告 | 王希佳: “马丁·布伯与布尔特曼20世纪犹太教与基督新教的信仰会通”

第二十五届世界哲学大会 · 会议报告 | 吴飞: “性命论哲学中的时间与空间”

佛教哲学与中国文化研修班·导师小传 | 周学农

第二十五届世界哲学大会·王阳明讲座 | 王中江: “一种基于普遍相关性的关系主义世界图像”

学术活动 | 北大哲学系一周学术活动一览（8.12—8.18）

会议回顾 | 汉语哲学圆桌会议暨第八届汉语哲学论坛在罗马举办（第二场&第三场）

分类

时事

民生

政务

教育

文化

科技

财富

体娱

健康

情感

旅行

百科

职场

楼市

企业

乐活

学术

汽车

时尚

创业

美食

幽默

美体

文摘

原创标签

时事社会财经军事教育体育科技汽车科学房产搞笑综艺明星音乐动漫游戏时尚健康旅游美食生活摄影宠物职场育儿情感小说曲艺文化历史三农文学娱乐电影视频图片新闻宗教电视剧纪录片广告创意壁纸头像心灵鸡汤星座命理教育培训艺术文化金融财经健康医疗美妆时尚餐饮美食母婴育儿社会新闻工业农业时事政治星座占卜幽默笑话独立短篇连载作品文化历史科技互联网

发布位置

广东北京山东江苏河南浙江山西福建河北上海四川陕西湖南安徽湖北内蒙古江西云南广西甘肃辽宁黑龙江贵州新疆重庆吉林天津海南青海宁夏西藏香港澳门台湾美国加拿大澳大利亚日本新加坡英国西班牙新西兰韩国泰国法国德国意大利缅甸菲律宾马来西亚越南荷兰柬埔寨俄罗斯巴西智利卢森堡芬兰瑞典比利时瑞士土耳其斐济挪威朝鲜尼日利亚阿根廷匈牙利爱尔兰印度老挝葡萄牙乌克兰印度尼西亚哈萨克斯坦塔吉克斯坦希腊南非蒙古奥地利肯尼亚加纳丹麦津巴布韦埃及坦桑尼亚捷克阿联酋安哥拉