Q: Who should take this course?

A: This course is for you if you are interested in learning one of the

fundamental tools of logic: the language of first-order logic. You will learn how to use the language to make and analyze statements that are precise and unambiguous. And you will understand the basic relationships between sentences such as logical consequence. The course has no prerequisites.

Q: How is this course related to the “Language, Proof and Logic” course offered by the same instructors on this platform?

A: “Language, Proof and Logic” is a full fifteen week long course covering all of the material in a standard introductory logic course, including both proof and model theory. The current course, “The Semantics of First-Order Logic”, is a shorter course which does not include the topic of creating proofs, but instead focusses on the construction and meaning of sentences of first order logic (model theory). If you have successfully completed “Language, Proof and Logic” it is likely that you already know the content of this course.

If you are not sure whether you are interested in studying logic, then this course is probably a good place to start. Later you might want to take Language, Proof and Logic, if you are interested to learn more.

Q: How is the course structured?

A: In addition to watching highly entertaining video lectures, you will complete assignments approximately weekly, using software applications and an automated TA who will give you feedback on your progress whenever you want it.

Q: How will I be assessed?

A: Assessment is based on weekly assignments. All assignments are graded automatically.

Q: Do I need to buy a textbook?

A: No. The textbook and software for this course are provided free-of-charge ($30.00 value) to all registered learners. If you are on the verified track you will additionally receive access to the Grade Grinder automated assessment service. This service is used to grade your work for this course.

Q: Can I get Stanford University credit for this class?

A: No.