Logicola 3

@kotk, I had a discussion a while back with the publisher of Gensler’s Logic textbooks about maintaining the existing LogiCola 2 codebase, and it unfortunately seems to have disappeared after his death. They were very interested in keeping LogiCola alive since dropping it would make them have to completely rewrite a lot of his more recent work. I did help them come up with a stop-gap method for running LogiCola on the then-new M1 MacBooks and Chromebooks, but I couldn’t commit to rewriting it while I was in school. I would email the publisher once you’re confident that you’ve hit feature parity, including a grading system for professors (my professor used it extensively), as they were very interested in an alternative/replacement system.

If you’d like, I can send you an email with the contact info of the person I talked to. Feel free to send me a Discord message (I’m my HN username with a single dot before it there).

You may want to check how you normalize or distinguish the logical representations. On the propositional logic quiz I'm presented with choices like these:

  (R ^ L) v N    <- incorrect
  ((R ^ L) v N)  <- correct

  ((S -> G) v H) <- correct
  (S -> G) v H   <- incorrect

These pairs are the same, the extra parentheses don't change the meaning of the statements but only the ones with the extra parentheses are marked as correct.

This is great! I'm so glad someone took the effort to do this. I discovered Logicola as part of ordering and reading his Formal Ethics text book. His books had a way of making modal logic feel accessible enough for me to learn. I also quite enjoyed Formal Ethics, which was a book devoted to deriving the Golden Rule from first principles, a set of four non-controversial axioms. I had fun working through it and creating my own cheat sheet LaTeX document showing the complete derivation, including the final representation of the "strict" version of the Golden Rule in modal logic notation. I actually put that on our wedding poster when my wife and I got married, and sent a photo of it to Gensler. He got a kick out of that.

I remember also asking him if it could be derived with constructive logic rather than by contradiction. He didn't have a fitch proof of that sort but thought it should be possible.

I'm taking one of the tests and the feedback seems strange: although it appears I got it right, because the selected answer turns green, many of the other answers turn red (which usually indicates a failure) and other unselected answers also turn green. It's confusing.

Ah, Gensler. He wrote a great little book on Godel's Theorem:

https://www.amazon.com/Godels-Theorem-Simplified-Harry-Gensl...

It seems to me that many of the questions confuse language and logic. Or, at least, it seems more about philosophical logic than mathematical logic.

I used that! The DOS version. In college at University of Cincinnati. I actually forget what class it was. Some maths I think.

This was in the late 90s / early 2000s so well past the DOS era but old DOS apps were still in use here and there (and would still run on Windows).

Who is owner of the logicola name? Is it trademarked and do you have permission from the publisher/family of the original author?

Also, on the front page there is a link to logicola.com, which is a typo, I think.

Finally, I'm using ff on windows with a screen reader and when I press the chapters button on the web page, absolutely nothing happens, so it is not clear how I'm supposed to test the website.