In case anyone is interested, here are the recorded mini-lectures for my introductory formal, or symbolic, logic course. These are the lectures I used to teach the course online during the pandemic. I also include links to some of the supporting materials, including the PowerPoint presentations I used in the lectures.
The course introduces the basic idea of logic, then the idea of formal logic. It then goes quickly through the primary techniques of modern propositional/sentential logic, then the primary techniques of predicate/quantificational logic. It culminates with a brief introduction to some of the most important things that have been mathematically proven about these logical systems, and some of the topics logicians today work on and debate.
If you’re interested, enjoy!