# Introduction to Logic

- Institution: IIT Kanpur
- Department: Humanities and Social Sciences
- Teacher: Dr. A.V. Ravishankar Sarma
- Level: Undergraduate
- Language: English
- Subjects: Society and politics
- Source: [NPTEL](https://nptel.ac.in/courses/109104040)
- Licence: [CC BY-NC-SA](https://nptel.ac.in/faq) (Non-commercial use only.)
- Syllabus: [at the source](https://nptel.ac.in/courses/109104040)
- Who can watch: Teens profiles and older (sources give no ratings; placed by Invisible Network from the source's own words)

## Lectures

1. [Lecture-01-Identification of Arguments](https://invisiblenetwork.ai/learn/nptel/109104040/5fb0eb866425) (Video)
2. [Lecture-02-Non- arguments](https://invisiblenetwork.ai/learn/nptel/109104040/8b8bcbb43149) (Video)
3. [Lecture-03-Types of Arguments: Deductive vs Inductive](https://invisiblenetwork.ai/learn/nptel/109104040/76154d4a8fd8) (Video)
4. [Lecture-04-Nature and Scope of Deductive and Inductive Arguments](https://invisiblenetwork.ai/learn/nptel/109104040/08b5a3c6d19b) (Video)
5. [Lecture-05-Truth, Validity and Soundness](https://invisiblenetwork.ai/learn/nptel/109104040/bed47d2a9ad0) (Video)
6. [Lecture-06-Strength of Inductive arguments, Counter example method](https://invisiblenetwork.ai/learn/nptel/109104040/15f6cada5853) (Video)
7. [Lecture-07-Toulmin’s Model of Argumentation](https://invisiblenetwork.ai/learn/nptel/109104040/8c9cc45cb028) (Video)
8. [Lecture-08-Identification of Formal and Informal Fallacies](https://invisiblenetwork.ai/learn/nptel/109104040/570a39ef8731) (Video)
9. [Lecture-09-Informal Fallacies: Fallacies of relevance](https://invisiblenetwork.ai/learn/nptel/109104040/5d6008d6d081) (Video)
10. [Lecture-10-Fallacies of Weak Induction and Fallacies arising out of ambiguity in Language](https://invisiblenetwork.ai/learn/nptel/109104040/20f59d0d8528) (Video)
11. [Lecture-11-Introduction and motivation for Syllogistic Logic](https://invisiblenetwork.ai/learn/nptel/109104040/7ea6a33c6645) (Video)
12. [Lecture-12-Aristotle theory of Syllogisms-1](https://invisiblenetwork.ai/learn/nptel/109104040/93f87a25fab7) (Video)
13. [Lecture-13-Syllogistic Poem, Reduction of Syllogisms](https://invisiblenetwork.ai/learn/nptel/109104040/0f01bc23bd57) (Video)
14. [Lecture-14-Syllogistic Poem, Reduction of Syllogisms](https://invisiblenetwork.ai/learn/nptel/109104040/6c263012fd0d) (Video)
15. [Lecture-15-Nature and Scope of Propositional Logic](https://invisiblenetwork.ai/learn/nptel/109104040/9ae164edb7ef) (Video)
16. [Lecture-16-Syntax of Propositional Logic](https://invisiblenetwork.ai/learn/nptel/109104040/f8d47984606b) (Video)
17. [Lecture-17-Logical Connectives: Truth Tables](https://invisiblenetwork.ai/learn/nptel/109104040/cf0f806d1881) (Video)
18. [Lecture-18-Truth Table Method: Validity, Consistency, Logical Equivalence](https://invisiblenetwork.ai/learn/nptel/109104040/7d2338765787) (Video)
19. [Lecture-19-Semantic Tableaux Method for Propositional Logic](https://invisiblenetwork.ai/learn/nptel/109104040/212490deea93) (Video)
20. [Lecture-20-Knights and Knaves Puzzles](https://invisiblenetwork.ai/learn/nptel/109104040/1e3247cb49bf) (Video)
21. [Lecture-21-Semantic Tableaux Method: Further Examples](https://invisiblenetwork.ai/learn/nptel/109104040/d6b530348fa0) (Video)
22. [Lecture-22-Natural Deduction Method](https://invisiblenetwork.ai/learn/nptel/109104040/532ca05355ed) (Video)
23. [Lecture-23-Natural Deduction: Examples](https://invisiblenetwork.ai/learn/nptel/109104040/80d449499d5a) (Video)
24. [Lecture-24-Conjunctive and Disjunctive Normal Forms](https://invisiblenetwork.ai/learn/nptel/109104040/d8dbfd027051) (Video)
25. [Lecture-25-CNF, DNF and satisfiability and Validity](https://invisiblenetwork.ai/learn/nptel/109104040/af4784047858) (Video)
26. [Lecture-26-Resolution and refutation method](https://invisiblenetwork.ai/learn/nptel/109104040/55476688e073) (Video)
27. [Lecture-27-Resolution and refutation method: Examples](https://invisiblenetwork.ai/learn/nptel/109104040/124f66121140) (Video)
28. [Lecture-28-Axiomatic Propositional Logic](https://invisiblenetwork.ai/learn/nptel/109104040/6db10b247dde) (Video)
29. [Lecture-29-Hlbert Ackermann Axiomatic system](https://invisiblenetwork.ai/learn/nptel/109104040/e9e33e9992bd) (Video)
30. [Lecture-30-Proofs in the PM system](https://invisiblenetwork.ai/learn/nptel/109104040/cd3e623cd18b) (Video)
31. [Lecture-31-Hilbert and Ackermann System](https://invisiblenetwork.ai/learn/nptel/109104040/9d2138b8532a) (Video)
32. [Lecture-32-Outlines of Predicate Logic](https://invisiblenetwork.ai/learn/nptel/109104040/b300adccd1dd) (Video)
33. [Lecture-33-Outlines of Predicate Logic](https://invisiblenetwork.ai/learn/nptel/109104040/223ab2bb7da8) (Video)
34. [Lecture-34-Building blocks of Predicate Logic](https://invisiblenetwork.ai/learn/nptel/109104040/632258121269) (Video)
35. [Lecture 35: Quantifiers, freedom, bondage](https://invisiblenetwork.ai/learn/nptel/109104040/570e1d0be0e2) (Video)
36. [Lecture-36-Translation in to predicate Logic](https://invisiblenetwork.ai/learn/nptel/109104040/ec08da326a58) (Video)
37. [Lecture-37-Semantics of Predicate Logic](https://invisiblenetwork.ai/learn/nptel/109104040/ee384279ad01) (Video)
38. [Lecture-38-Truth, satisfiability, validity in Predicate Logic](https://invisiblenetwork.ai/learn/nptel/109104040/8e8fd13f840c) (Video)
39. [Lecture-39-Formation Trees for wff’s in predicate Logic](https://invisiblenetwork.ai/learn/nptel/109104040/bd462ad0675e) (Video)
40. [Lecture-40-Semantic Tableaux Method for Predicate Logic](https://invisiblenetwork.ai/learn/nptel/109104040/943aea387079) (Video)
41. [Lecture-41-Semantic Tableaux method: Satisfiability, Validity](https://invisiblenetwork.ai/learn/nptel/109104040/1fd464c15e47) (Video)
42. [Lecture-42-Natural Deduction in Predicate Logic](https://invisiblenetwork.ai/learn/nptel/109104040/0b949bce403a) (Video)
43. [Lecture-43-Important theorems in First order Logic](https://invisiblenetwork.ai/learn/nptel/109104040/93cb423eb51a) (Video)
44. [Lecture-44-Limitations of first order logic and Introduction to the course](https://invisiblenetwork.ai/learn/nptel/109104040/09042716a2bc) (Video)