Carnegie Mellon Summer School in Logic and Formal Epistemology

卡内基梅隆大学逻辑与形式认识论暑期学校

• 批准号: 0612754
• 负责人: Jeremy Avigad
• 金额: $ 2.6万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-05-15 至 2007-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0612754&HistoricalAwards=false
• 关键词: Carnegie; Mellon; Summer; Logic; Formal

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.

哲学与科学之间富有成果的相互作用有着悠久的传统。历史上，逻辑学和统计学是从哲学和科学对数学和科学推理本质的探究中产生的;现代心理学、语言学和计算机科学的概念是对心灵、语言和计算本质持续反思的结果。然而，在当今学科专业化的大气候下，基础性反思变得越来越罕见。2006年，卡耐基梅隆大学哲学系将为哲学、数学、计算机科学、语言学和其他科学领域有前途的本科生开办为期三周的逻辑学和形式认识论暑期班。目标是在职业生涯的早期阶段向有前途的学生介绍跨学科的研究领域，并在各学科之间建立持久的跨学科联系。今年的讲座将解决因果统计推断，可计算性的基础，和哲学逻辑。