Exploring the Foundations of Mathematics and Logic
L∅GICAL B∃INGS is an informal group run by graduate students and early career researchers who are interested in philosophy of logic and philosophy of mathematics. We study contemporary issues in philosophy of logic and mathematics through regular reading groups in each semester, and develop our individual research through irregular seminars. We are open to anyone who is interested in the topic!
Most of our discussions and announcements take place on our Discord server. If you are interested in joining us, please feel free to hop in!
Current Reading: Homotopy Type Theory
Time & Venue: TBD
Next Meeting: 18:00 Friday, 19th December, 2025. (Online via Zoom)
Related Societies: KAL (한국논리학회) | KAML (대한수리논리학회)