playlist thumnail

Logic

Logic
12 videos
Updated 1 year ago
Play All Shuffle
Proposition and First Order-Predicate Logic with Identity.
  1. Lecture 1 (Logic)
    1:38:39

    Lecture 1 (Logic)

    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
     16  views
  2. Lecture 2 (Logic)
    2:00:26

    Lecture 2 (Logic)

    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
     5  views
  3. Lecture 3 (Logic)
    2:01:25

    Lecture 3 (Logic)

    Chapter 2: Sentential Theory of Inference (Continued) - 2.3 Useful Tautological Implications - 2.4 Consistency of Premises and Indirect Proof
     4  views
  4. Lecture 4 (Logic)
    1:38:25

    Lecture 4 (Logic)

    Chapter 3: Symbolizing Everyday Language - 1. Grammar and Logic - 2. Terms - 3. Predicates - 4. Quantifiers - 5. Bound and Free Variables - 6. A Final Example
     5  views
  5. Lecture 5 (Logic)
    1:42:05

    Lecture 5 (Logic)

    Chapter 4: General Theory of Inference - 1. Inference with Universal Quantifiers - Example of Axiomatic System for Weak Preference
     6  views
  6. Lecture 6 (Logic)
    1:50:47

    Lecture 6 (Logic)

    Chapter 4: General Theory of Inference - Second Example of Axiomatic System
     4  views
  7. Lecture 7 (Logic)
    2:34:00

    Lecture 7 (Logic)

    Chapter 4: General Theory of Inference - 2. Interpretations and Validity - 3. Restricted Inferences with Existential Quantifiers
     6  views
  8. Lecture 8 (Logic)
    2:09:26

    Lecture 8 (Logic)

    Chapter 4: General Theory of Inference - 4. Interchange of Quantifiers - 5. General Inferences Chapter 5: Further Rules of Inference - 1. Logic of Identity
     6  views
  9. Lecture 9 (Logic)
    1:42:50

    Lecture 9 (Logic)

    Chapter 5: Further Rules of Inference - 2. Theorems of Logic - 3. Group Theory
     4  views
  10. Lecture 10 (Logic)
    2:15:14

    Lecture 10 (Logic)

    Chapter 7: Transition to Informal Proof - Examples with the Axioms of Arithmetic.
     19  views