I’ve finished the first chapter (”’IF’ and ‘NOT’”) of Kalish, Montague, and Mar’s Logic: Techniques of Formal Reasoning. Now working on ”’AND’, ‘OR’ and ‘IF AND ONLY IF’.” I was a philosophy major back in college and I really should have learned this stuff, but didn’t think it was worth the bother at the time. I was wrong. Try making sense of Heidegger without even the slightest grasp of the basics. Back to square one, six years later.