The Formal Philosophy Group at Columbia University is a faculty-student group dedicated to the studies of logic, broadly construed, and the relation between formal methods and general philosophical investigation. The group sponsors various logic related reading groups, periodic workshops and conferences at Columbia as well as the University Seminar on Logic, Probability, and Games which features monthly meetings with distinguished speakers.

This website was created by Yang Liu in 2011 and is co-edited by the members of the logic group. The aims are to promote and publicize the research activities of the logic group at Columbia and to provide a channel for information exchange both at the local level and in the philosophical community at large. Anyone who is interested in participating in our group activities is welcome to contact us.


Michael Nielsen : mn2683_at_columbia.edu