Proofs for Predicate Logic (The Power and Limits of Logic, 1b)
Channel: Greg Restall
Date: 2020-04-10

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 natural deduction proofs for predicate logic.

For more details of the class, see here: A class video for an advanced undergraduate unit on he power and limits of first order predicate logic, taught at the University of Melbourne. 

This video covers the language of predicate logic.

For more details of the class, see here: https://consequently.org/class/2020/phil30043/