Logic

Mathematical logic is a branch of mathematics that deals with formal systems, symbolic logic, and the study of mathematical reasoning. It focuses on understanding the nature of mathematical reasoning and provides tools for analyzing the structure of mathematical arguments and proofs.  At MSCS, faculty members work in computability theory, model theory, and in applications of those to other areas of mathematics such as algebra, combinatorics, geometry and number theory.

Faculty

Upcoming Seminars

Oct 6 2026

Logic Seminar: , by James Hanson

Tuesday, 3:00 pm–4:00 pm
636 SEO
Oct 20 2026

Logic Seminar: TBA, by Joey Lakerdas-Gayle

Tuesday, 3:00 pm–4:00 pm
636 SEO
Oct 27 2026

Logic Seminar: TBA, by Jacob Stern

Tuesday, 3:00 pm–4:00 pm
636 SEO
Oct 29 2026

Logic Seminar: TBA, by Aaron Anderson

Thursday, 3:00 pm–4:00 pm
636 SEO
Nov 10 2026

Logic Seminar: New results on NIP groups, by Atticus Stonestrom

Tuesday, 3:00 pm–4:00 pm
636 SEO
Nov 17 2026

Logic Seminar: TBA, by Michal Szachniewicz

Tuesday, 3:00 pm–4:00 pm
636 SEO
Nov 24 2026

Logic Seminar: TBA, by Isaac Goldbring

Tuesday, 3:00 pm–4:00 pm
636 SEO