Learn · NPTEL

Course10910404044 lectures

Introduction to Logic

Dr. A.V. Ravishankar Sarma · IIT Kanpur

Start with lecture 1 At NPTEL

Lectures

Introduction to Logic

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

Syllabus and materials

At NPTEL, as the course publishes them.

Credits and licence

Institution
IIT Kanpur
Department
Humanities and Social Sciences
Teacher
Dr. A.V. Ravishankar Sarma
Level
Undergraduate
Language
English
Subjects
Society and politics
Source
NPTEL
Licence
CC BY-NC-SA, as NPTEL states it. Non-commercial use only. NPTEL's terms
Attribution
NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
Who can watch
NPTEL gives no rating. Invisible Network shows it to Teens profiles and older, judged from what the source says about it. How courses are placed