Carnegie Mellon Summer School in Logic and Formal Epistemology

哲学与科学之间富有成效的相互作用有着悠久的传统。历史上，逻辑学和统计学是从哲学和科学对数学和科学推理本质的探索中产生的；心理学、语言学和计算机科学的现代概念是对心灵、语言和计算的本质进行持续反思的结果。然而，在今天学科专业化的氛围下，基础反思正变得越来越罕见。因此，科学的发展往往在概念上缺乏根据，哲学辩论缺乏科学实质。2006年，卡耐基梅隆大学哲学系将为哲学、数学、计算机科学、语言学和其他科学领域有前途的本科生开办为期三周的逻辑和形式认识论暑期班。其目标是在有前途的学生职业生涯的早期阶段引入跨学科研究领域，并在各个学科之间建立持久的跨学科联系。今年的讲座将讨论因果统计推断、可计算性基础和哲学逻辑。

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 2006, the Department of Philosophy at Carnegie Mellon University will launch 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, foundations of computability, and philosophical logic.