I found your final graphs for Multiple Response Questions (the textbook example) to be very helpful. However, I have one question

If you want to show the multiple responses as totals (column totals), rather than by the textbooks used, how would you adjust the code?

]]>prime the list of easy and simple start games. ]]>

I. Boolean search strings with “wff processor” and working logic circuits. Logical relations (consistency, inconsistency, tautology, contradiction, necessary vs. sufficient condition). Combinatorics

2. Propositional logic with truth tables. Symbolization of natural language statements. Logical relations. Conversational implicature.

3. Natural deduction for propositional logic. Proof builder.

4. Modal logic with Interactuve possible-worlds diagrams

5. Aristotelian syllogisms with Venn diagrams. Predicate logic with interactive models.

6. Natural deduction for propositional logic. Proof builder.

Graded quizzes are available.

]]>I have been developing a logic program called “əlogic” for use in teaching Logic 1 at Edinburgh—a large 400 student course that runs every year.

Background: The idea behind əlogic was that all the extant programs are a bit clunky, and often have issues with downloading on university computers, etc. A cs student (Henri Maurer) who took my class is great with web-based applications and excels at user interface (and has interest in online teaching aids), so we teamed up with a small grant from the university to develop a better teaching tool. We rolled it out last year in my course. It went great for the most part but inevitably had various bugs and issues. We are currently doing a major overhaul for v2 with improvements and further features, which we will use Spring 2018.

Students register and login, and the system keeps track of their progress. As of now its got a derivation interface, which checks derivations and gives helpful error messages for K&M style FOL. It also has a semantic component, in the form of a model checker, where students are instructed to enter a counter model for an invalid argument. The instructor privileges allow entry of new problems. We are working on lots of features such as “exercise sharing” between students, an extensive exercise library, and game-like features such as “unlocking” derived rules, stars for the “shortest proof”, etc.

We are going to keep it under-wraps while we do the overhaul. The rights and permissions on this are a bit up in the air, though we are aiming for some kind of opensource set up. But we also need funding to develop and sustain it. We are currently looking at all options on this front.

So stay tuned…

]]>http://brianrabern.net/screenshot.png ]]>