4 hours agoLecture 12 (Logic) Theory of Definition and Intro to Set TheoryHistory of Western Philosophy
6 hours agoLecture 7 (Logic) Validity, Consistency, and Independence of AxiomsHistory of Western Philosophy
6 hours agoLecture 8 (Logic) Interchanging Quantifiers and Introducing IdentityHistory of Western Philosophy
4 hours agoLecture 11 (Logic) Proofs with Axioms of Arithmetic and Dividing by 0History of Western Philosophy
15 hours agoLecture 5 (Logic) Inference with Quantifiers and an Axiomatic SystemHistory of Western Philosophy