playlist thumnail

Logic (Philosophy)

History of Western Philosophy
12 videos
Updated 8 months ago
Play All Shuffle
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!
  1. Lecture 1 (Logic) Logical Operators and Truth Tables
    1:38:39

    Lecture 1 (Logic) Logical Operators and Truth Tables

    Full Playlist: https://www.youtube.com/playlist?list=PLJWhXkxQzDF58EHPCuxHS-iaMpom9qTqg Introduction Chapter 1: Sentential Connectives - 1.1 Negation and Conjunction - 1.2 Disjunction - 1.3 Implication: Conditional Sentences - 1.4 Equivalence: Biconditional Sentences - 1.5 Grouping and Parentheses - 1.6 Truth Tables and Tautologies
     42  views
  2. Lecture 2 (Logic) Tautologies and Theory of Inference
    2:00:26

    Lecture 2 (Logic) Tautologies and Theory of Inference

    Full Playlist: https://www.youtube.com/playlist?list=PLJWhXkxQzDF58EHPCuxHS-iaMpom9qTqg Chapter 1: Sentential Connectives - 1.7 Tautological Implication and Equivalence Chapter 2: Sentential Theory of Inference - 2.1 Two Major Criteria of Inference and Sentential Interpretation - 2.2 The Three Sentential Rules of Derivation
     47  views 1 comment
  3. Lecture 3 (Logic) Common Tautologies and Indirect Proof
    2:01:25

    Lecture 3 (Logic) Common Tautologies and Indirect Proof

    Full Playlist: https://www.youtube.com/playlist?list=PLJWhXkxQzDF58EHPCuxHS-iaMpom9qTqg Chapter 2: Sentential Theory of Inference (Continued) - 2.3 Useful Tautological Implications - 2.4 Consistency of Premises and Indirect Proof
     26  views
  4. Lecture 4 (Logic) Terms, Predicates, and Quantifiers
    1:38:25

    Lecture 4 (Logic) Terms, Predicates, and Quantifiers

    Full Playlist: https://www.youtube.com/playlist?list=PLJWhXkxQzDF58EHPCuxHS-iaMpom9qTqg Chapter 3: Symbolizing Everyday Language - 1. Grammar and Logic - 2. Terms - 3. Predicates - 4. Quantifiers - 5. Bound and Free Variables - 6. A Final Example
     44  views
  5. Lecture 5 (Logic) Inference with Quantifiers and an Axiomatic System
    1:42:05

    Lecture 5 (Logic) Inference with Quantifiers and an Axiomatic System

    Full Playlist: https://www.youtube.com/playlist?list=PLJWhXkxQzDF58EHPCuxHS-iaMpom9qTqg Chapter 4: General Theory of Inference - 1. Inference with Universal Quantifiers - Example of Axiomatic System for Weak Preference
     78  views
  6. Lecture 6 (Logic) Axiomatic System Example
    1:50:47

    Lecture 6 (Logic) Axiomatic System Example

    Full Playlist: https://www.youtube.com/playlist?list=PLJWhXkxQzDF58EHPCuxHS-iaMpom9qTqg Chapter 4: General Theory of Inference - Second Example of Axiomatic System
     39  views
  7. Lecture 7 (Logic) Validity, Consistency, and Independence of Axioms
    2:34:00

    Lecture 7 (Logic) Validity, Consistency, and Independence of Axioms

    Full Playlist: https://www.youtube.com/playlist?list=PLJWhXkxQzDF58EHPCuxHS-iaMpom9qTqg Chapter 4: General Theory of Inference - 2. Interpretations and Validity - 3. Restricted Inferences with Existential Quantifiers For a better understanding of what I was trying to briefly cover with Kirt Godel and Church, I strongly recommend this video: https://www.youtube.com/watch?v=HeQX2HjkcNo
     48  views
  8. Lecture 8 (Logic) Interchanging Quantifiers and Introducing Identity
    2:09:26

    Lecture 8 (Logic) Interchanging Quantifiers and Introducing Identity

    Full Playlist: https://www.youtube.com/playlist?list=PLJWhXkxQzDF58EHPCuxHS-iaMpom9qTqg Chapter 4: General Theory of Inference - 4. Interchange of Quantifiers - 5. General Inferences Chapter 5: Further Rules of Inference - 1. Logic of Identity
     45  views
  9. Lecture 9 (Logic) Theorems of Logic and Group Theory
    1:42:50

    Lecture 9 (Logic) Theorems of Logic and Group Theory

    Full Playlist: https://www.youtube.com/playlist?list=PLJWhXkxQzDF58EHPCuxHS-iaMpom9qTqg Chapter 5: Further Rules of Inference - 2. Theorems of Logic - 3. Group Theory
     48  views
  10. Lecture 10 (Logic) Axioms of Arithmetic
    2:15:14

    Lecture 10 (Logic) Axioms of Arithmetic

    Full Playlist: https://www.youtube.com/playlist?list=PLJWhXkxQzDF58EHPCuxHS-iaMpom9qTqg Chapter 7: Transition to Informal Proof - Examples with the Axioms of Arithmetic.
     55  views