Graham Leach-Krouse, assistant professor of philosophy at Kansas State University, has created some remarkable new logic software and has made it free for everyone to use and develop. He has named the software Carnap and describes it in the guest post* below. (more…)
The Open Logic Project, instigated by Richard Zach (Calgary) and including Aldo Antonelli (UC Davis), Andrew Arana (UIUC), Jeremy Avigad (Carnegie Mellon), Gillian Russell (Wash U. St. Louis, soon to be UNC), Nicole Wyatt (Calgary), and Audrey Yap (Victoria), and a student assistant, has created the Open Logic Text, an open-source, collaborative logic text and all a..
Colleen Cressman (MIT) draws our attention to the Open Syllabus Project. The project is a work in progress aimed at creating “the first large-scale online database of university course syllabi as a platform for the development of new research, teaching, and administrative tools.” It has a collection of over a million syllabi culled from the internet and other source..