Logic @ BU Archive
Past Events
-
Logic @ BU Reading Group (Spring 2026)
- Weekly meetup to discuss topics in the history of logic
- Organized by Logic @ BU
-
Metaphysics, Logic, and Mathematics Reading Group (Spring 2026)
- Weekly meetup to discuss logicism and intuitionism
- Organized by Michael Calasso
-
Reading Group on Modal Logic (Fall 2025)
- Weekly meetup to discuss Modal Logic for Open Minds by Johan van Benthem
- Organized by Logic @ BU
-
Reading Group on Contemporary Metaphysics (Fall 2025)
- Weekly meetup to discuss Rethinking Metaphysics by Amie Thomasson
- Organized by Michael Calasso for the MLM Reading group
-
An Informal Seminar on Reverse Mathematics (Summer 2025)
- Short series of meetups to introduce reverse mathematics to a general audience
- Meeting notes:
Session 1,
Session 2
- Organized by Nathan Mull
-
Reading Group on Gödel's Incompleteness Theorems (Spring 2025)
- Weekly meetup to do a line-by-line reading of (an English translation of) On formally undecidable propositions of Principia mathematica and related systems I
- Organized by Derek Anderson and Constantino Themelis
Past Courses
Fall 2025
- CS 131: Combinatoric Structures
- CS 320: Concepts of Programming Languages
- CS 392: Rust, in Practice and in Theory
- CS 551: Formal Methods 1
- LX 331/631: Semantics & Pragmatics: Introduction to Linguistic Meaning
- LX 422/722: Intermediate Syntax: Modeling Syntactic Knowledge
- MA 531: Mathematical Logic
- PH 160: Reasoning & Argumentation
- PH 360/633: Symbolic Logic
- PH 421: Frege, Moore, Russell
Spring 2026
- CS 131: Combinatoric Structures
- CS 320: Concepts of Programming Languages
- CS 599 A1: Logic and Programming Languages
- CAS LX 321/621: Syntax: Introduction to Sentential Structure
- CAS LX 631: Semantics & Pragmatics: Introduction to Linguistic Meaning
- MA 532: Foundations of Mathematics
- PH 160: Reasoning & Argumentation
- PH 468/668: Philosophical Problems of Logic and Math