playlist thumnail

First-Order Predicate Logic (2024)

History of Western Philosophy
2 videos
Updated 5 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 Axiomatic Set Theory.
  1. Tautologies and Theory of Inference - Lecture 2 (Logic)
    1:20:45

    Tautologies and Theory of Inference - Lecture 2 (Logic)

    Full Playlist: https://rumble.com/playlists/SEG1SsUPTAc __________VIDEO CONTENTS__________ 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
     91  views 1 comment
  2. Logical Operators and Truth Tables - Lecture 1 (Logic)
    1:45:25

    Logical Operators and Truth Tables - Lecture 1 (Logic)

    Full Playlist: https://rumble.com/playlists/SEG1SsUPTAc __________VIDEO CONTENTS__________ 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
     99  views