A student of the Logic Course has very kindly pointed out to me that there are some errata in the Powerpoint files that accompany the lectures. If you are following along with the recordings, you won’t have encountered these errors as the text for the recordings was corrected before the recordings were made. However, I seem to have forgotten to go back and make the appropriate corrections in the Powerpoint files!
I will make suitable arrangements as soon as possible.