Media Storage Type : 32 GB USB Stick
NPTEL Subject Matter Expert : Dr. A.V. Ravishankar Sarma
NPTEL Co-ordinating Institute : IIT Kanpur
NPTEL Lecture Count : 44
NPTEL Course Size : 18 GB
NPTEL PDF Text Transcription : Available and Included
NPTEL Subtitle Transcription : Available and Included (SRT)
Lecture Titles:
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