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 conferences at Columbia University including the 2010 Synthese Conference, the 2011 Progic conference, and the University Seminar on Logic, Probability, and Games.
This website was created by Yang Liu in the summer of 2011 and co-edited by the members of the logic group. The aims are to promote and publicize the research activities of 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 or contributing to the website is welcome to contact us.