穿越大学的逻辑：基础与应用.pdfVIP

穿越大学的逻辑：基础与应用 杨志伟 王奕岩 (清华大学哲学系，北京 100084) 2013年 lO月 l4～16日，由清华大学哲学系主 析的逻辑，它由20世纪70年代的可证性逻辑发展 办的逻辑学国际会议 “穿越大学的逻辑：基础与应 而来，通过融合证明论的思想以及模态逻辑的一般 用”在清华大学举行。清华大学副校长谢维和、人文 模型获得了对于证据的细致而全面的解释。 学院院长万俊人、交叉信息研究院院长姚期智以及 HannesLeitgeb(慕尼黑大学)讨论了关于信念 中国逻辑学会会长邹崇理等嘉宾出席开幕式并致 程度的量化观点与逻辑学家所使用的关于信念的质 辞，哲学系主任卢风主持开幕式。来 自国内外60余 化概念之间的关系。洛克曾写过一篇关于信念的产 位学者参加了此次会议并分享了各 自的最新研究成 生需超过某个可靠性的阈值的论文，Leitgeb引用其 果。由会议组织者刘奋荣和范丙申主编的会议论文 中的观点建立了一个基于数学定理的 “稳定性理 集 ACrOSStheUniversity：FoundationsandApplica- 论”。在这个 “稳定性理论”中，对每个概率测度P，都 — — 毋-0ceen ofTsinghuaLogicConference由 有一些P一稳定的在逻辑上可信程度最高的命题。 CollegePublications已在伦敦出版发行。学者们围绕 这种信念满足了质化逻辑关于信念的最低要求，即 “逻辑、哲学和数学”、“逻辑与计算”、逻“辑、语言与 Kolmogorov关于量化信念的要求，同时它也是对洛 认知”和 “逻辑与社会交际”4个主题进行了广泛而 克理论的一种新的解释。 热烈的讨论。 科学定律虽有着某种终极的普遍性，但科学 哲学内部长期存在着一种观点，即这些定律有时 1 逻辑、哲学和数学 只能在常规情况下发挥作用 (假定其他条件不 20世纪60年代以来，哲学家们提出了关于知 变)，允许例外发生是必不可少的。王巍(清华大 识的新颖解释，WesleyHolliday(加州大学伯克利分 学)的报告批判地审视了那些著名的反对假定其 校)对此进行了综合的逻辑分析。他的报告 认《知封 他条件不变的规律的观点，并论证这种容忍例外的 闭原则和认知逻辑》通过信念的语义模型以及三重 规则是很难被消除的，即使在科学术语的帮助下也 世界序刻画了作为在所有相关选择中为真的知识和 无济于事。此外，他也承认可检测性是科学知识的标 作为对真进行成功追踪的知识。在这些模型中，引人 志。 釜 注 目的封“闭原则的失效”在经典的蕴含式有效的前 叶峰(首都师范大学)出于各种哲学和技术的考 象提下就知识而言发生了，并非因为认知主体的有限 虑发展出一套严格物理主义的科学本体论。此外，他 性，而是由于知识的本质。Holliday证明了完全性定 通过发展一套承认严格唯名论与有穷主义的形式系 理并且由此能够判定什么样的认知封闭原则是有效 统，展示了这种 自然主义的路径是如何在数学的各 目 的，什么样的不是有效的，从而帮助我们更好地理解 个领域中产生影响的。 除 了这个领域中的一些哲学观念。 2 逻辑与计算 荸 SergeiArtemov(纽约市立大学)在他的最新研究 衔 中引入了证成逻辑。作为可对 “知识”进行形式化分 SamsonAbrmasky(牛津大学