Logic & Foundations with Haskell: Logic 3 :: Naive First Order Logic
Channel: Marius Furter
Date: 2023-03-06

We discuss first order logic in an informal manner focusing on examples.

00:00 Motivating first order logic
09:52 Parsing first order logic formulas
19:01 Restricted quantification
30:13 Example: Solutions to equation
36:19 Interpreting first order formulas in a structure
40:26 Logical validity for first order formulas
42:19 Logical equivalence for first order formulas
46:50 Example: The infinitude of primes
52:29 Example: Expressing uniqueness

The playlist for the course can be found here: https://www.youtube.com/watch?v=0HImO-me_sg&list=PLd8NbPjkXPliojM8YMN3z3o9--zXwti8Z