You will note that this schedule has been modified. My original schedule was too ambitious. I have cut the section on Polyadic Predicate Logic from the course. I have cut the section on countermodels from the course.

Syllabus Amendments Module

The first module I want you to work through describes the amendments to the syllabus, and includes a video of me talking through the changes. It also includes a quiz, and, as you will discover when you read the amended syllabus, quizzes are now an important source of points that affect your grade.

Drop in Virtual Office Hours

I will be available on Tuesdays and Thursdays, from 9:30-12:30, for virtual “office hours”. During this time, you can join my recurring Zoom Meetings. I will also try to keep an eye on the ReggieNet Forums and my email, so you can ask questions there in near real time.

Sentential Logic

Our original plan was to have a midterm covering everything we’ve learning in the second third of the course. Instead, you will be completing several quizzes that together cover that same material.

This is review, not new material. If you want an overview of what we have done to this point, week by week, take a look at the schedule. Note that I’ve added links to schedule to each assignment that was assigned, and I’ve added links to PDF copies of the in-class handouts. If you just want the handouts, here they are:

(Note that there never was a “handout 8”: that was a mistake in my personal numbering scheme.)

I’ve also prepared review modules to help you review for those quizzes. Note that the modules also contain homework problems, so offer you an opportunity to improve your homework score as you review. Of course, if you feel confident in your grasp of the material and do not need extra homework points, you are welcome to jump straight to the associated quizzes.

Predicate Logic

INCOMPLETE. The rest of the class is still under construction. Expect broken links.

Up to this point, we have been studying Sentential Logic, which is also known as Propositional Logic and Truth-Functional Logic. The rest of the course covers Predicate Logic, which is also known as Quantificational Logic, or, more precisely, First-Order Quantificational Logic.

This is new material, not review, so let me explain how it is meant to work.

Material is introduced in modules. Each module contains written explanations, video walk-throughs, and homework problems. And then there are quizzes.

I would encourage you to work through each module in order. But you don’t have to: if you would like to learn the syntax, and then jump to derivations, before returning to symbolization, you can. In our face-to-face class, you had plenty of time to practice, after the introduction of a new topic, before being tested on it. Online, when you take the quizzes is up to you. You can complete a module and take the quiz immediately. Or you can complete a module and put off taking the quiz, giving yourself more time to absorb the material and practice. If you do this, you should also move on the next module, so you don’t fall behind. Also, all the topics are related, and learning about one can often help you better understand another, so moving on the next module might help you master the material from earlier modules.

Polyadic Predicate Logic Modules

I have cut these from the course. I under-estimated how much time it would take for me to create all these modules, and it was a stretch to try to pack this in regardless. (Even in my face-to-face classes, we often don’t make it very far into Polyadic Predicate Logic.)