PHIL 254: Symbolic Logic Report a Broken Link

Module 1 Introduction to Logic


Module 1 Introduction to Logic Video

Module 3 Computing Truth Values


Module 3 Computing Truth Values Video Part 1

Module 3 Computing Truth Values Part 2

Module 4 Symbolizing English Sentences


Module 4 Symbolizing English Sentences Video Part 1

Module 4 Symbolizing English Sentences Video Part 2

Module 5 Truth Tables for Testing Validity


Module 5 Truth Tables for Testing Validity Video

Module 7 The Proof Method: Eight Basic Inference Rules


Module 7 The Proof Method: Eight Basic Inference Rules Video Part 1

Module 7 The Proof Method: Eight Basic Inference Rules Video Part 2

Module 8 Replacement Rules


Module 8 Replacement Rules Video Part 1

Module 8 Replacement Rules Video Part 2

Module 9 Conditional Proof and Indirect Proof


Module 9 Conditional Proof and Indirect Proof Video Part 1

Module 9 Conditional Proof and Indirect Proof Video Part 2

Module 10 Conditional Proof and Indirect Proof


Module 10 Conditional Proof and Indirect Proof Video

Module 11 Quantifiers


Module 11 Quantifiers Video

Module 12 Categorical Propositions


Module 12 Categorical Propositions Video Part 1

Module 12 Categorical Propositions Video Part 2

Module 13 Complex Subjects and Predicates


Module 13 Complex Subjects and Predicates Video

Module 14 Quantifier Form and Truth-Functional Compounds of Quantifier Sentences


Module 14 Quantifier Form and Truth-Functional Compounds of Quantifier Sentences Video

Module 15 Proofs in Predicate Logic


Module 15 Proofs in Predicate Logic Video Part 1

Module 15 Proofs in Predicate Logic Video Part 2

Module 16 Invalidity in Quantifier Logic


Module 16 Invalidity in Quantifier Logic Video