Free Software for Advanced Logic Courses – Daily Nous


Begin typing your search above and press return to search. Press Esc to cancel.

Students nowadays might struggle in more advanced logic courses not just because the material is difficult, but because they’re used to learning logic with software, which is commonly used in introductory courses, but less so in higher-level ones.

Ian Schnee (University of Washington) uses Logic for Philosophy by Ted Sider (Rutgers) in his intermediate and advanced logic courses. Because “the axiomatic systems used in advanced classes can feel very foreign” to his students, Professor Schnee wrote software to accompany Sider’s book—a “proof machine”—and he has made it available for others to use for free over the web (no downloading required). Check it out here.
There’s an instructional video on that page (scroll down a little).
He shared a few tips:
He adds:
I’m very happy to hear feedback from folks (such as if you think the UI should be different). If others have ideas for more practice problems for students, please send them to me ([email protected]) and I’ll add them! Also, if others would find it useful for their class to have full FOL or modal logic added, let me know.

This is fantastic—thank you Ian Schnee!Report
The US spends far more on higher education than European countries do. More per student, more per capita, higher percentage of GDP.
“I have yet to hear a good argument in favor of omnivorism in normal circumstances.” I kind of like the inefficacy objection to veganism. If you […]
American institutions are also very frugal about where they distribute or give money/resources towards. We’re not very generous when it comes to domestic fundings compared […]
I find this discussion thread rather bizarre. Alan Love’s securing a $14.5m grant is a very notable accomplishment, and remarkable given that philosophers hardly ever […]
Great project Walter!
I have read very little about agential thinking previously, but I hope this new work by Walter Viet will go very far to launch this
Yes, that is most people’s reaction.
If that’s what “equity” means, then I’m against it.
Could you please provide a list of philosophical topics that you permit old white men to pursue? That would help me very much in my
The update says: “But it is far from clear that the other student organizations the lawsuit alleges have put on events of an “ideological” nature […]
I feel this could be easily addressed with a bake sale. Why do university groups need to ask for money? Here at Queen’s University, all
If a talk on the problem of evil by Robert Audi is the “ultimate expression of structural white supremacy in academia” then I think we