Introduction to Logic


Lecture 1 - Identification of Arguments


Lecture 2 - Non-arguments


Lecture 3 - Types of Arguments: Deductive vs Inductive


Lecture 4 - Nature and Scope of Deductive and Inductive Arguments


Lecture 5 - Truth, Validity and Soundness


Lecture 6 - Strength of Inductive arguments, Counter example method


Lecture 7 - Toulmin’s Model of Argumentation


Lecture 8 - Identification of Formal and Informal Fallacies


Lecture 9 - Informal Fallacies: Fallacies of relevance


Lecture 10 - Fallacies of Weak Induction and Fallacies arising out of ambiguity in Language


Lecture 11 - Introduction and motivation for Syllogistic Logic


Lecture 12 - Aristotle theory of Syllogisms - 1


Lecture 13 - Syllogistic Poem, Reduction of Syllogisms


Lecture 14 - Syllogistic Poem, Reduction of Syllogisms


Lecture 15 - Nature and Scope of Propositional Logic


Lecture 16 - Syntax of Propositional Logic


Lecture 17 - Logical Connectives: Truth Tables


Lecture 18 - Truth Table Method: Validity, Consistency, Logical Equivalence


Lecture 19 - Semantic Tableaux Method for Propositional Logic


Lecture 20 - Knights and Knaves Puzzles


Lecture 21 - Semantic Tableaux Method: Further Examples


Lecture 22 - Natural Deduction Method


Lecture 23 - Natural Deduction: Examples


Lecture 24 - Conjunctive and Disjunctive Normal Forms


Lecture 25 - CNF, DNF and satisfiability and Validity


Lecture 26 - Resolution and refutation method


Lecture 27 - Resolution and refutation method: Examples


Lecture 28 - Axiomatic Propositional Logic


Lecture 29 - Hlbert Ackermann Axiomatic system


Lecture 30 - Proofs in the PM system


Lecture 31 - Hilbert and Ackermann System


Lecture 32 - Outlines of Predicate Logic


Lecture 33 - Outlines of Predicate Logic


Lecture 34 - Building blocks of Predicate Logic


Lecture 35 - Quantifiers, freedom, bondage


Lecture 36 - Translation in to predicate Logic


Lecture 37 - Semantics of Predicate Logic


Lecture 38 - Truth, satisfiability, validity in Predicate Logic


Lecture 39 - Formation Trees for wff’s in predicate Logic


Lecture 40 - Semantic Tableaux Method for Predicate Logic


Lecture 41 - Semantic Tableaux method: Satisfiability, Validity


Lecture 42 - Natural Deduction in Predicate Logic


Lecture 43 - Important theorems in First order Logic


Lecture 44 - Limitations of first order logic and Introduction to the course