logic with carnap.io
I have taught logic in various modes. In the Spring of 2021, I had to teach it fully online. I adapted my material to Carnap.io, which provides students with, among others, automated proof-checking, model-checking, and proof-assisting tools. Below, you’ll find samples of my Carnap.io material and my syllabus.
At the end of the course, I was interested in whether using Carnap i) added new difficulties to the course, ii) promoted student’s learning in new ways, and iii) would be, from student’s perspectives, advisable in an in-person course. So I conducted an informal survey.
