Logic is a part of every systematic field of inquiry As the essential foundation for rational investigation. Logic has always been a multidisciplinary and an interdisciplinary subject. Its versatility is evinced in its vast and varied applications in digital electronics, computer, and manufacturing technologies, and also for deliberating in law, pu...
Logic is a part of every systematic field of inquiry As the essential foundation for rational investigation. Logic has always been a multidisciplinary and an interdisciplinary subject. Its versatility is evinced in its vast and varied applications in digital electronics, computer, and manufacturing technologies, and also for deliberating in law, pu...
Lecture 1: Introduction
21mLecture 2: Propositions, Arguments, Components, Basic Characteristics
20mLecture 3: Recognizing arguments, Diagramming logic flow
28mLecture 4: Types of arguments, Deductive, Inductive, different norms to assess arguments
25mLecture 5: Concepts of Validity Soundness, Consistency
29mLecture 6: History of Symbolic Language??
24mLecture 7: Propositional Logic: Syntax
24mLecture 8:Connectives, Scope of Connectives
27mLecture 9: Truth-functional Connectives, Propositional Variables, Propositional Constants
27mLecture 10: Symbolization with Connectives
20mLecture 11: Propositional Logic: Semantics Basics of a Truth Table
20mLecture 12: Using Truth Table: Tautology, Contradiction, Contingent Propositions
28mLecture 13: Using Truth Table: Testing Arguments for Validity and Invalidity
26mLecture 14: Shorter Truth Table
28mLecture 15: Using Truth Table
24mLecture 16: Introduction to Truth Trees
24mLecture 17: Truth Tree Rules and their Application
27mLecture 18: More on Truth-Tree Recovery of Partial Truth - Values
27mLecture 19: Using the Truth Trees
26mLecture 20: More on Truth Trees
23mLecture 21: Formal Proof of Validity
26mLecture 22: Valid Argument Forms:
26mLecture 23: How to Apply the Rules of Inference in a Proof
28mLecture 24: Understanding the Rules
29mLecture 25: Proofs with All Rules
25mLecture 26: Completeness : What it is
25mLecture 27: Indirect Proof
25mLecture 28: Conditional Proof
20mLecture 29: More on Conditional Proof
23mLecture 30: More on Derivations
23mLecture 31: Limitation of Propositional Logic
26mLecture 32: Basic 4 Types of Categorical Propositions
25mLecture 33: Understanding Logical Relations in Standard Form Categorical Propositions
26mLecture 34 : Translating Non-Standard Propositions into Standard Form Categorical Propositions?
26mLecture 35: Validity and Invalidity of Syllogisms
26mLecture 36 : First Order Predicate Logic
26mLecture 37 : Quantifiers?
27mLecture 38 : Scope of a Quantifier Edit Lesson
19mLecture 39 : Multiple Quantifiers?
29mLecture 40: Understanding Overlapping Quantifiers Sharing Predicates and Scope
28m