Learn · Introduction to Logic

Lecture 4 of 44Introduction to Logic

Lecture-04-Nature and Scope of Deductive and Inductive Arguments

Dr. A.V. Ravishankar Sarma · IIT Kanpur

Credits and licence

From
Introduction to Logic, IIT Kanpur (at NPTEL)
Licence
CC BY-NC-SA, as NPTEL states it. Non-commercial use only.
Attribution
NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
Who can watch
Teens profiles and older. How courses are placed

All the lectures

  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