Chance and Randomness: CMU Summer School in Logic and Formal Epistemology

In 2023 and 2024, Francesca Zaffora Blando and I taught Chance and Randomness at the CMU Summer School in Logic and Formal Epistemology. You can find some of our slides below.

Day 1: Probability and its interpretations (slides).

Day 2: Reductionist and eliminativist conceptions of chance (slides).

Day 3: Chance and determinism (slides).

Day 4: Algorithmic randomness (slides).

Day 5: Probability and computability (slides).

Carnegie Mellon

This semester I am teaching the following classes:

80-810: Seminar in Logic and Probability. (See syllabus here).

80-211: Logic and Mathematical Inquiry.

I previously taught the following classes at CMU:

80-603 Formal Methods: Tools and Techniques. Fall 2023.

80-310/80-610: Formal Logic. Fall 2023.

80-210: Logic and Proofs. Spring 2022.

80-150: Nature of Reason. Spring 2022.

80-211: Logic and Mathematical Inquiry. Fall 2021, Fall 2022, and Fall 2023.

80-315: Modal Logic (together with Adam Bjorndahl and Francesca Zaffora Blando). Spring 2022.

80-100: Introduction to Philosophy. Spring 2022 and Fall 2022.

80-365: Ramsey. Fall 2021.

80-254: Analytic Philosophy. Spring 2021.

80-212: Arguments and Logical Analysis. Fall 2020.

ESSLLI 2022: Logic and Probability

Thomas Icard and I taught Logic and Probability in August 2022 at the 33rd European Summer School in Logic, Language and Information at the National University of Galway, Ireland. The slides are accessible here.

NASSLLI 2018: Logic and Probability

Lecture slides from a previous edition of the class, co-taught with Thomas Icard in June 2018 at the North American Summer School in Logic, Language and Information at Carnegie Mellon University.

Day 1: Probability as Logic (slides).

Day 2: The quantitative/qualitative interface (slides).

Day 3: Acceptance rules, tracking and atomless spaces (slides).

Day 4: Probabilities on rich languages, random structures and 0-1 laws (slides).

Day 5: Graphical models and probabilistic programs (slides).

Stanford

During my time at Stanford I was a teaching assistant for the following classes.

Metalogic. Winter 2020. Principal instructor: Thomas Icard.

Computability and Logic. Spring 2017. Principal instructor: Thomas Icard.

Logic and Artificial Intelligence. Winter 2017. Principal instructor: Thomas Icard.

Modal Logic. Spring 2016. Principal instructor: Johan van Benthem.

Introduction to Mathematical Logic. Fall 2015 and Fall 2016. Principal instructor: Thomas Icard.