# Symbolic Logic

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

## Lectures

1. [Lecture 1: Introduction](https://invisiblenetwork.ai/learn/nptel/109105111/a21af3f335e5) (Video)
2. [Lecture 2: Propositions, Arguments, Components, Basic Characteristics](https://invisiblenetwork.ai/learn/nptel/109105111/1dd752edf350) (Video)
3. [Lecture 3: Recognizing arguments, Diagramming logic flow](https://invisiblenetwork.ai/learn/nptel/109105111/d9a4c18ee68f) (Video)
4. [Lecture 4: Types of arguments, Deductive, Inductive, different norms to assess arguments](https://invisiblenetwork.ai/learn/nptel/109105111/496229898ecd) (Video)
5. [Lecture 5: Concepts of Validity Soundness, Consistency](https://invisiblenetwork.ai/learn/nptel/109105111/cae16f43dec0) (Video)
6. [Lecture 6: History of Symbolic Language](https://invisiblenetwork.ai/learn/nptel/109105111/11f4ca9a2f5b) (Video)
7. [Lecture 7: Propositional Logic: Syntax](https://invisiblenetwork.ai/learn/nptel/109105111/e46ab66c41de) (Video)
8. [Lecture 9: Truth-functional Connectives, Propositional Variables, Propositional Constants](https://invisiblenetwork.ai/learn/nptel/109105111/c84e106884af) (Video)
9. [Lecture 8:Connectives, Scope of Connectives](https://invisiblenetwork.ai/learn/nptel/109105111/6ac6a9b4dc03) (Video)
10. [Lecture 10: Symbolization with Connectives](https://invisiblenetwork.ai/learn/nptel/109105111/ae7a409ab5ca) (Video)
11. [Lecture 11: Propositional Logic: Semantics Basics of a Truth Table](https://invisiblenetwork.ai/learn/nptel/109105111/1596d3ee83d9) (Video)
12. [Lecture 12: Using Truth Table: Tautology, Contradiction, Contingent Propositions](https://invisiblenetwork.ai/learn/nptel/109105111/2d619b0e3191) (Video)
13. [Lecture 13: Using Truth Table: Testing Arguments for Validity and Invalidity](https://invisiblenetwork.ai/learn/nptel/109105111/91b6e2c2e473) (Video)
14. [Lecture 14: Shorter Truth Table](https://invisiblenetwork.ai/learn/nptel/109105111/ec59204ea56f) (Video)
15. [Lecture 15: Using Truth Table: Testing a Set of Propositions for consistency and inconsistency, and for logical equivalence](https://invisiblenetwork.ai/learn/nptel/109105111/f42bd72a2454) (Video)
16. [Lecture 16: Introduction to Truth Trees](https://invisiblenetwork.ai/learn/nptel/109105111/d440da968b6f) (Video)
17. [Lecture 17: Truth Tree Rules and their Application](https://invisiblenetwork.ai/learn/nptel/109105111/686f6f509bf4) (Video)
18. [Lecture 18: More on Truth-Tree Recovery of Partial Truth - Values](https://invisiblenetwork.ai/learn/nptel/109105111/bd9029742a0b) (Video)
19. [Lecture 19: Using the Truth Trees](https://invisiblenetwork.ai/learn/nptel/109105111/0e2e2096c225) (Video)
20. [Lecture 20: More on Truth Trees](https://invisiblenetwork.ai/learn/nptel/109105111/cfa6ebcf9881) (Video)
21. [Lecture 21: Formal Proof of Validity](https://invisiblenetwork.ai/learn/nptel/109105111/e5222aa22288) (Video)
22. [Lecture 22: Valid Argument Forms:](https://invisiblenetwork.ai/learn/nptel/109105111/42c8866a762a) (Video)
23. [Lecture 23: How to Apply the Rules of Inference in a Proof](https://invisiblenetwork.ai/learn/nptel/109105111/5d46280fed42) (Video)
24. [Lecture 24: Understanding the Rules](https://invisiblenetwork.ai/learn/nptel/109105111/1c7241b50251) (Video)
25. [Lecture 25: Proofs with All Rules](https://invisiblenetwork.ai/learn/nptel/109105111/f06dc8651d2e) (Video)
26. [Lecture 26: Completeness : What it is](https://invisiblenetwork.ai/learn/nptel/109105111/a82d6731f2d2) (Video)
27. [Lecture 27: Indirect Proof](https://invisiblenetwork.ai/learn/nptel/109105111/a29e793a856c) (Video)
28. [Lecture 28: Conditional Proof](https://invisiblenetwork.ai/learn/nptel/109105111/0286ddc5f57f) (Video)
29. [Lecture 29: More on Conditional Proof](https://invisiblenetwork.ai/learn/nptel/109105111/b1e5799b6af2) (Video)
30. [Lecture 30: More on Derivations](https://invisiblenetwork.ai/learn/nptel/109105111/85ab11ac707d) (Video)
31. [Lecture 31: Limitation of Propositional Logic](https://invisiblenetwork.ai/learn/nptel/109105111/4bb6519db20f) (Video)
32. [Lecture 32: Basic 4 Types of Categorical Propositions](https://invisiblenetwork.ai/learn/nptel/109105111/667b33f569dc) (Video)
33. [Lecture 33: Understanding Logical Relations in Standard Form Categorical Propositions](https://invisiblenetwork.ai/learn/nptel/109105111/7b2559d9587d) (Video)
34. [Lecture 34 : Translating Non-Standard Propositions into Standard Form Categorical Propositions](https://invisiblenetwork.ai/learn/nptel/109105111/2403c756ef7d) (Video)
35. [Lecture 35: Validity and Invalidity of Syllogisms](https://invisiblenetwork.ai/learn/nptel/109105111/63f3be9d9cd1) (Video)
36. [Lecture 36 : First Order Predicate Logic](https://invisiblenetwork.ai/learn/nptel/109105111/b05106db37b2) (Video)
37. [Lecture 37 : Quantifiers](https://invisiblenetwork.ai/learn/nptel/109105111/23899a6a1bc9) (Video)
38. [Lecture 38 : Scope of a Quantifier Edit Lesson](https://invisiblenetwork.ai/learn/nptel/109105111/d339868fe03e) (Video)
39. [Lecture 39 : Multiple Quantifiers](https://invisiblenetwork.ai/learn/nptel/109105111/3f24608c9e6e) (Video)
40. [Lecture 40 : Understanding Overlapping Quantifiers Sharing Predicates and Scope](https://invisiblenetwork.ai/learn/nptel/109105111/ac91760c88e4) (Video)