Logic (Math and Philosophy)
12 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 a completely rigorous Point Set Topology course that can be found here: https://www.youtube.com/playlist?list=PLJWhXkxQzDF79YNILTDtdtepY-nnfkKiT THANK YOU for your interest!
Resources
- 1
Lecture 1 (Logic) Logical Operators and Truth Tables
1:38:40
- 2
Lecture 2 (Logic) Tautologies and Theory of Inference
2:00:27
- 3
Lecture 3 (Logic) Common Tautologies and Indirect Proof
2:01:26
- 4
Lecture 5 (Logic) Inference with Quantifiers and an Axiomatic System
1:42:06
- 5
Lecture 6 (Logic) Axiomatic System Example
1:50:48
- 6
Lecture 4 (Logic) Terms, Predicates, and Quantifiers
1:38:26
- 7
Lecture 7 (Logic) Validity, Consistency, and Independence of Axioms
2:34:01
- 8
Lecture 8 (Logic) Interchanging Quantifiers and Introducing Identity
2:09:27
- 9
Lecture 9 (Logic) Theorems of Logic and Group Theory
1:42:51
- 10
Lecture 10 (Logic) Axioms of Arithmetic
2:15:15
- 11
Lecture 11 (Logic) Proofs with Axioms of Arithmetic and Dividing by 0
1:40:01
- 12
Lecture 12 (Logic) Theory of Definition and Intro to Set Theory
1:55:35