Logic (Philosophy) 2022
WesternPhilosophy
- 7 / 12
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
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
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
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
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
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
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
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
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
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.
11
Lecture 11 (Logic) Proofs with Axioms of Arithmetic and Dividing by 0
1:40:00

Lecture 11 (Logic) Proofs with Axioms of Arithmetic and Dividing by 0

Full Playlist: https://www.youtube.com/playlist?list=PLJWhXkxQzDF58EHPCuxHS-iaMpom9qTqg Chapter 7: Transition to Informal Proof - Examples with the Axioms of Arithmetic. - Dividing by 0
12
Lecture 12 (Logic) Theory of Definition and Intro to Set Theory
1:55:34

Lecture 12 (Logic) Theory of Definition and Intro to Set Theory

Full Playlist: https://www.youtube.com/playlist?list=PLJWhXkxQzDF58EHPCuxHS-iaMpom9qTqg Chapter 8: Theory of Definition Set Theory: Basic Review This class continues into a Topology Lecture Series: https://www.youtube.com/playlist?list=PLJWhXkxQzDF79YNILTDtdtepY-nnfkKiT If you've come this far, you should be ready for this course :)

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

Save
1 year ago
57
Health & Science Philosophy Logic Proposition Predicate Terms Quantifiers Axiomatic Systems Validity Consistency Independence

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

Loading comments...