Carnegie Mellon Summer School in Logic and Formal Epistemology

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

• 批准号: 0713945
• 负责人: Jeremy Avigad
• 金额: $ 2.4万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-06-01 至 2008-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0713945&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 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.

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