We will go over some big results from mathematical logic and discuss the modern state of the field. Possible topics include model theory, proof theory, reverse mathematics, descriptive and combinatorial set theory, non-classical logics, and forcing. Led by Scott Blair.