第10届国际逻辑、方法论和科学哲学大会逻辑观感

第10届国际逻辑、方法论和科学哲学大会于1995年8月19日至25日在意大利弗罗伦萨召开。来自世界各国的1000多名代表参加了这次大会。大会邀请了报告人63位,收到论文600多篇。笔者有幸受到大会的邀请,参加了这次规模盛大的国际学术会议。 大会共分15个专题组:(1)证明论和范畴逻辑;(2)模型论、集合论和形式系统;(3)递归论和构造主义;(4)逻辑和计算机科学;(5)哲学逻辑;(6)方法论;(7)概率、归纳和判定理论;(8)逻辑、方法论和科学哲学的历史;(9)科学和技术伦理学;(10)逻辑、数学和计算机科学;(11)物理科学;(12)生物科学;(13)认知科学和人工智能;(14)语言学;(15)社会科学。此外还有4个专题讨论:(A)逻辑和科学哲学;(B)语义学和符号学;