Logic @ BU

Welcome fellow logician! Logic @ BU is an informal community of faculty and students at Boston University interested in mathematical and philosophical logic. We're something like an academic support group (as opposed to a formal research group) aimed at:

connecting people from disparate parts of the field within the university;
organizing and promoting events, seminars, and courses;
making logic more accessible, particularly to the undergraduate community.

The group was born out of the observation that there is a surprisingly large number of people at BU interested in logic, and that, due to departmental silo-ing, this isn't immediately obvious. Our primarly goal is to bridge this gap.

Calendar

Events

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, Session 3
- Organized by Nathan Mull

Past Events

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

News

More to come...

Courses

Fall 2025

CS 131: Combinatoric Structures
CS 320: Principles 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

PH 468/668: Philosophical Problems of Logic and Math

Resources

We're not the only people who care about logic. Here are some of our favorite resources and related groups.

People

Derek Anderson (Organizer)
- Senior Lecturer in the Department of Philosophy
- Interested in philosophical logic, history of logic, and model theory
Elizabeth Coppock
- Associate Professor in the Department of Linguistics
- Interested in logical foundations for natural language semantics
Ankush Das
- Assistant Professor in the Department of Computer Science
- Interested in linear logic and connections between logic and programming languages
Juliet Floyd
- Borden Parker Bowne Professor of Philosophy
- Director of the Center for the Humanities
Sophia Hao
- Assistant Professor in the Department of Linguistics and Faculty of Computing & Data Sciences
- Interested in set theory, model theory, theory of computation, and natural language semantics
Michaela McSweeney
- Associate Professor of Philosophy
- Interested philosophical logic, the intersection of philosophy of science and philosophy of logic, and the metaphysics and epistemology of logic
Nathan Mull (Organizer)
- Lecturer in the Department of Computer Science
- Interested in type theory and constructive mathematics
Constantino Themelis (Organizer, Undergraduate Liaison)
- Interested in formal epistemology and history of logic and analytic philosophy

Do you want to be added this website? Send an email to Nathan. Do you want to get involved, maybe organize an event? Send an email to any of the organizers.