Carnegie Mellon Summer School in Logic and Formal Epistemology

哲学和科学之间卓有成效的互动有着悠久的传统。从历史上看，逻辑和统计学是从对数学和科学推理本质的哲学和科学探索中产生的；而现代心理学、语言学和计算机科学的概念是对思维、语言和计算本质的持续反思的结果。然而，在当今学科专业化的氛围下，基础性反思正变得越来越罕见。因此，科学的发展往往在概念上站不住脚，哲学辩论缺乏科学依据。2007年，卡内基梅隆大学哲学系将为有前途的哲学、数学、计算机科学、语言学和其他科学的本科生举办为期三周的逻辑和形式认识论暑期班。目标是在他们职业生涯的早期阶段向有前途的学生介绍跨学科的研究领域，并在不同学科之间建立持久的跨学科联系。今年的课程将讨论因果统计推断、形式验证、决策理论和博弈论。

There is a long tradition of fruitful interaction between philosophy and the sciences. Logic and statistics emerged, historically, from combined philosophical and scientific inquiry into the nature of mathematical and scientific inference; and the modern conceptions of psychology, linguistics, and computer science are the results of sustained reflection on the nature of mind, language, and computation. In today's climate of disciplinary specialization, however, foundational reflection is becoming increasingly rare. As a result, developments in the sciences are often conceptually ill-founded, and philosophical debates lack scientific substance.In 2007, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce promising students to cross-disciplinary fields of research at an early stage in their career, and forge lasting interdisciplinary links between the various disciplines. This year's lectures will address causal statistical inference, formal verification, decision theory, and game theory.