L∅GICAL B∃INGS is an informal research group primarily composed of graduate students and early-career researchers who are based in South Korea. The group originated in Summer 2023 as a reading group dedicated to Graham Priest's An Introduction to Non-Classical Logics. Since then, it has evolved into a community exploring foundational issues in logic and the philosophy of mathematics.

Our mission is twofold: to deepen our understanding of advanced formal logic and to keep pace with contemporary developments in the field. We achieve this through regular semester-based reading groups and occasional seminars where members present their individual research. We aim to bridge the gap between standard graduate coursework and cutting-edge research, fostering a collaborative environment for what is often a solitary endeavour.

Our community is most active on our Discord server, where daily discussions and updates occur. We welcome researchers and students to join the server and become part of the dialogue.

Min Cheol Seo (서민철)

PhD Candidate, Department of Philosophy, Sungkyunkwan University.

• Interest: Foundations of Mathematics, Proof Theory, Homotopy Type Theory

• Website: mincheolseo.com