Models, and Soundness for Predicate Logic (The Power and Limits of Logic, 2)

A class video for an advanced undergraduate unit on the power and limits of first order predicate logic, taught at the University of Melbourne.

This video covers models for predicate logic, and states and proves the soundness theorem, showing that natural deduction proofs are sound for these models.

For more details of the class, see here:

Logic,