First-Order Predicate Logic (2024)
15 videos
This course goes entirely through Propositional and First-Order Predicate Logic with Identity. Several examples of Axiomatic Systems are given along the way. There is NO prerequisite knowledge required! This course was developed with Mathematics and Philosophy majors in mind. The course continues into Axiomatic Set Theory.
Resources
- 1
Logical Operators and Truth Tables - Lecture 1 (Logic)
1:45:26
- 2
Tautologies and Theory of Inference - Lecture 2 (Logic)
1:20:46
- 3
Common Tautologies and Indirect Proof - Lecture 3 (Logic)
1:40:37
- 4
Solving Exercise Problems - Lecture 4 (Logic)
1:43:25
- 5
Terms, Predicates, and Quantifiers - Lecture 5 (Logic)
2:10:51
- 6
Axioms of Weak Preference & Derivations with Universal Quantifiers - Lecture 6 (Logic)
1:55:25
- 7
Example of an Axiomatic System - Lecture 7 (Logic)
2:00:56
- 8
Interpretations, Validity, & Logic's Limitations - Lecture 8 (Logic)
2:02:42
- 9
Interchange of Quantifiers & General Inference - Lecture 9 (Logic)
1:54:37
- 10
Identity and Theorems of Logic - Lecture 10 (Logic)
1:32:34
- 11
Group Theory & Arithmetic - Lecture 11 (Logic)
1:57:08
- 12
Axioms of the Real Numbers - Lecture 12 (Logic)
1:53:36
- 13
Theory of Definition & Kurt Gödel's Proof of God - Lecture 13 (Logic)
1:59:38
- 14
Axiomatic Set Theory – Lecture 14 (Logic)
1:52:23
- 15
Set Theory & Foundations of Arithmetic – Lecture 15 (Logic)
1:23:28