| 1 | Lecture-01-Identification of Arguments | PDF unavailable |
| 2 | Lecture-02-Non- arguments | PDF unavailable |
| 3 | Lecture-03-Types of Arguments: Deductive vs Inductive | PDF unavailable |
| 4 | Lecture-04-Nature and Scope of Deductive and Inductive Arguments | PDF unavailable |
| 5 | Lecture-05-Truth, Validity and Soundness | PDF unavailable |
| 6 | Lecture-06-Strength of Inductive arguments, Counter example method | PDF unavailable |
| 7 | Lecture-07-Toulmin’s Model of Argumentation | PDF unavailable |
| 8 | Lecture-08-Identification of Formal and Informal Fallacies | PDF unavailable |
| 9 | Lecture-09-Informal Fallacies: Fallacies of relevance | PDF unavailable |
| 10 | Lecture-10-Fallacies of Weak Induction and Fallacies arising out of ambiguity in Language | PDF unavailable |
| 11 | Lecture-11-Introduction and motivation for Syllogistic Logic | PDF unavailable |
| 12 | Lecture-12-Aristotle theory of Syllogisms-1 | PDF unavailable |
| 13 | Lecture-13-Syllogistic Poem, Reduction of Syllogisms | PDF unavailable |
| 14 | Lecture-14-Syllogistic Poem, Reduction of Syllogisms | PDF unavailable |
| 15 | Lecture-15-Nature and Scope of Propositional Logic | PDF unavailable |
| 16 | Lecture-16-Syntax of Propositional Logic | PDF unavailable |
| 17 | Lecture-17-Logical Connectives: Truth Tables | PDF unavailable |
| 18 | Lecture-18-Truth Table Method: Validity, Consistency, Logical Equivalence | PDF unavailable |
| 19 | Lecture-19-Semantic Tableaux Method for Propositional Logic | PDF unavailable |
| 20 | Lecture-20-Knights and Knaves Puzzles | PDF unavailable |
| 21 | Lecture-21-Semantic Tableaux Method: Further Examples | PDF unavailable |
| 22 | Lecture-22-Natural Deduction Method | PDF unavailable |
| 23 | Lecture-23-Natural Deduction: Examples | PDF unavailable |
| 24 | Lecture-24-Conjunctive and Disjunctive Normal Forms | PDF unavailable |
| 25 | Lecture-25-CNF, DNF and satisfiability and Validity | PDF unavailable |
| 26 | Lecture-26-Resolution and refutation method | PDF unavailable |
| 27 | Lecture-27-Resolution and refutation method: Examples | PDF unavailable |
| 28 | Lecture-28-Axiomatic Propositional Logic | PDF unavailable |
| 29 | Lecture-29-Hlbert Ackermann Axiomatic system | PDF unavailable |
| 30 | Lecture-30-Proofs in the PM system | PDF unavailable |
| 31 | Lecture-31-Hilbert and Ackermann System | PDF unavailable |
| 32 | Lecture-32-Outlines of Predicate Logic | PDF unavailable |
| 33 | Lecture-33-Outlines of Predicate Logic | PDF unavailable |
| 34 | Lecture-34-Building blocks of Predicate Logic | PDF unavailable |
| 35 | Lecture 35: Quantifiers, freedom, bondage | PDF unavailable |
| 36 | Lecture-36-Translation in to predicate Logic | PDF unavailable |
| 37 | Lecture-37-Semantics of Predicate Logic | PDF unavailable |
| 38 | Lecture-38-Truth, satisfiability, validity in Predicate Logic | PDF unavailable |
| 39 | Lecture-39-Formation Trees for wff’s in predicate Logic | PDF unavailable |
| 40 | Lecture-40-Semantic Tableaux Method for Predicate Logic | PDF unavailable |
| 41 | Lecture-41-Semantic Tableaux method: Satisfiability, Validity | PDF unavailable |
| 42 | Lecture-42-Natural Deduction in Predicate Logic | PDF unavailable |
| 43 | Lecture-43-Important theorems in First order Logic | PDF unavailable |
| 44 | Lecture-44-Limitations of first order logic and Introduction to the course | PDF unavailable |