Summer School in Logic and Formal Epistemology
There is a long tradition of fruitful interaction between philosophy and the sciences.
Logic and statistics emerged, historically, from the
The Department of Philosophy at Carnegie Mellon University holds a threeweek summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences. The goals are to:
 introduce promising students to crossdisciplinary fields of research at an early stage in their career; and
 forge lasting links between the various disciplines.
The summer school is usually held in the first half of June. There will be morning and afternoon lectures and daily problem sessions, as well as planned outings and social events.
The summer school is free. That is, we will provide:
 full tuition
 dormitory accommodations on the Carnegie Mellon campus
Students need only pay for round trip travel to Pittsburgh and living expenses while here. We expect to be able to accept about 25 students in 2020. There are no grades, and the courses do not provide formal course credit.
The summer school is open to undergraduates, as well as to students who will have just completed their first year of graduate school. Applicants need not be US citizens. There is a $30 nonrefundable application fee, and the application is available online. Deadline to apply is Friday, March 13, 2020.
2020 Summer School Schedule
Location: TBD
Classes will be approx. 9:00 am  4:30 pm
Week #1a 
Instructor: Clark Glymour and Kun Zhang The topic is how computational/statistical procedures and “big data” can discover causal relations. The course will be organized around lectures and computational projects. Some of the topics to be covered include:

Week #1b 
Annual Meeting of the Society for Exact Philosophy (SEP) Summer School participants are welcome to attend this conference. The Society for Exact Philosophy is an international scholarly association, founded in 1970, to provide sustained discussion among researchers who believe that rigorous methods have a place in philosophical investigations. To this end, the Society meets annually, alternating between locations in Canada and the U.S. Call for Papers The Society for Exact Philosophy invites submissions of papers in all areas of analytic philosophy for its 2020 meeting. Paper submission deadline: March 1, 2020 (Notification by April 1) via Easychair 
Week #2 (June 1519) 
Instructors: Jeremy Avigad In computer science, "formal methods" are used to verify the correctness of hardware and software, as well as to verify the correctness of mathematical claims. During this week, we will explore the logical foundations that support formal verification, and you will learn how to use a contemporary theorem proving system known as Lean. 
Week #3 (June 2226) 
Instructors: David Danks We will explore computational models of human & machine reasoning, including both the processes (Bayesian and others) and representations (graphical models and others). We will also consider the broader psychological, ethical, and societal impacts of joint humanmachine computational reasoning systems. 
Past Summer School Schedules
2019 Summer School  June 321
Week #1 
Instructor: Professor Jeremy Avigad In computer science, "formal methods" are used to verify the correctness of hardware and software, as well as to verify the correctness of mathematical claims. During this week, we will explore the logical foundations that support formal verification, and you will learn how to use a contemporary theorem proving system known as Lean. 
Week #2 (June 1014) 
Instructors: Professors Adam Bjorndahl and Teddy Seidenfeld The first part of the week will introduce epistemic logic, a branch of modal logic concerned with reasoning about knowledge and belief. No background in modal logic will be assumed. We'll motivate the development of the formal tools, survey some classic results in the field, and consider some extensions of the basic framework, such 
Week #3 (June 1721) 
Instructors: Professors Clark Glymour and Kun Zhang The topic is how computational/statistical procedures and “big data” can discover causal relations. The course will be organized around lectures and computational projects. 
2018 Summer School  June 11June 29
Our Summer School 2018 coordinates with the North American Summer School in Logic, Language and Information, NASSLLI, which constitutes the 3rd week of this year's Summer School, June 2529, 2018. Weeks #1 and #2 are organized in order to prepare the Summer School participants for attending the NASSLLI.
Week #1 
Instructor: Mandy Simons and other Linguistics Faculty Description: In the first week, we'll provide a whirlwind introduction to the fundamentals of formal linguistics, including phonology, syntax, semantics 
Week #2 (June 1922) 
Instructor: Adam Bjorndahl and other Formal Epistemology Faculty Description: The first part of the week will introduce epistemic logic, a branch of modal logic concerned with reasoning about knowledge and belief. No background in modal logic will be assumed. We'll motivate the development of the formal tools, survey some classic results in the field, and consider some extensions of the basic framework, such 
Week #3 (June 2529) 
Title: NASSLLI2018 The North American Summer School in Logic, Language and Information has been providing outstanding interdisciplinary educational opportunities to graduate students and advanced undergraduates in logic, linguistics, computer science, cognitive science, and philosophy since it was launched as a biennial event in 2002. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines alike accomplish the tasks of representing, communicating, manipulating and reasoning with information. 
2017 Summer School  June 5June 23
Week #1a 
Instructor: Adam Bjorndahl Title: Epistemic Logic and Topology Description: In this We begin by motivating logics of knowledge and belief, and develop the formal tools that are typically used to study them; we then survey some classic results in this field. Viewing epistemology through the lens of topology highlights the distinction between the known and the knowable, between fact and measurement. To more fully incorporate this conceptual framework into our analysis, we introduce topological subset space semantics, which allows us to manipulate separately the state of the world and the epistemic state of the agent. We close with a look at some recent work that uses topology to improve our understanding of the dynamics of knowledge. 
Week #1b 
Center for Formal Epistemology Workshop Title: Modality and Method Speakers: 
Week #2 (June 1216) 
Instructor: K.T. Kelly Description: The standard mathematical frameworks for understanding reasoning are logic and computability for mathematical reasoning and probability theory for empirical reasoning. In this summer school session, we examine an alternative, topological viewpoint according to which computational and empirical undecidability can both be viewed as reflections of topological complexity. That may sound a bit Background Reading: 
Week #3 (June 19 23) 
Instructor: Kevin Zollman Description: Science is a unique institution. In most fields, people are rewarded for hard work with more money and promotions. Scientists 