NOC:Symbolic Logic


Lecture 1 - Introduction


Lecture 2 - Propositions, Arguments, Components, Basic Characteristics


Lecture 3 - Recognizing arguments, Diagramming logic flow


Lecture 4 - Types of arguments, Deductive, Inductive, different norms to assess arguments


Lecture 5 - Concepts of Validity Soundness, Consistency


Lecture 6 - History of Symbolic Language


Lecture 7 - Propositional Logic: Syntax


Lecture 8 - Connectives, Scope of Connectives


Lecture 9 - Truth-functional Connectives, Propositional Variables, Propositional Constants


Lecture 10 - Symbolization with Connectives


Lecture 11 - Propositional Logic: Semantics Basics of a Truth Table


Lecture 12 - Using Truth Table: Tautology, Contradiction, Contingent Propositions


Lecture 13 - Using Truth Table: Testing Arguments for Validity and Invalidity


Lecture 14 - Shorter Truth Table


Lecture 15 - Using Truth Table: Testing a Set of Propositions for consistency and inconsistency, and for logical equivalence


Lecture 16 - Introduction to Truth Trees


Lecture 17 - Truth Tree Rules and their Application


Lecture 18 - More on Truth-Tree Recovery of Partial Truth - Values


Lecture 19 - Using the Truth Trees


Lecture 20 - More on Truth Trees


Lecture 21 - Formal Proof of Validity


Lecture 22 - Valid Argument Forms:


Lecture 23 - How to Apply the Rules of Inference in a Proof


Lecture 24 - Understanding the Rules


Lecture 25 - Proofs with All Rules


Lecture 26 - Completeness : What it is


Lecture 27 - Indirect Proof


Lecture 28 - Conditional Proof


Lecture 29 - More on Conditional Proof


Lecture 30 - More on Derivations


Lecture 31 - Limitation of Propositional Logic


Lecture 32 - Basic 4 Types of Categorical Propositions


Lecture 33 - Understanding Logical Relations in Standard Form Categorical Propositions


Lecture 34 - Translating Non-Standard Propositions into Standard Form Categorical Propositions


Lecture 35 - Validity and Invalidity of Syllogisms


Lecture 36 - First Order Predicate Logic


Lecture 37 - Quantifiers


Lecture 38 - Scope of a Quantifier Edit Lesson


Lecture 39 - Multiple Quantifiers


Lecture 40 - Understanding Overlapping Quantifiers Sharing Predicates and Scope