Learn · NPTEL

Course10910511140 lectures

Symbolic Logic

Prof. Chhanda Chakraborti · IIT Kharagpur

Start with lecture 1 At NPTEL

Lectures

Week 1:

  1. Lecture 1: Introduction Video
  2. Lecture 2: Propositions, Arguments, Components, Basic Characteristics Video
  3. Lecture 3: Recognizing arguments, Diagramming logic flow Video
  4. Lecture 4: Types of arguments, Deductive, Inductive, different norms to assess arguments Video
  5. Lecture 5: Concepts of Validity Soundness, Consistency Video

Week 2:

  1. Lecture 6: History of Symbolic Language Video
  2. Lecture 7: Propositional Logic: Syntax Video
  3. Lecture 9: Truth-functional Connectives, Propositional Variables, Propositional Constants Video
  4. Lecture 8:Connectives, Scope of Connectives Video
  5. Lecture 10: Symbolization with Connectives Video

Week 3:

  1. Lecture 11: Propositional Logic: Semantics Basics of a Truth Table Video
  2. Lecture 12: Using Truth Table: Tautology, Contradiction, Contingent Propositions Video
  3. Lecture 13: Using Truth Table: Testing Arguments for Validity and Invalidity Video
  4. Lecture 14: Shorter Truth Table Video
  5. Lecture 15: Using Truth Table: Testing a Set of Propositions for consistency and inconsistency, and for logical equivalence Video

Week 4:

  1. Lecture 16: Introduction to Truth Trees Video
  2. Lecture 17: Truth Tree Rules and their Application Video
  3. Lecture 18: More on Truth-Tree Recovery of Partial Truth - Values Video
  4. Lecture 19: Using the Truth Trees Video
  5. Lecture 20: More on Truth Trees Video

Week 5:

  1. Lecture 21: Formal Proof of Validity Video
  2. Lecture 22: Valid Argument Forms: Video
  3. Lecture 23: How to Apply the Rules of Inference in a Proof Video
  4. Lecture 24: Understanding the Rules Video
  5. Lecture 25: Proofs with All Rules Video

Week 6:

  1. Lecture 26: Completeness : What it is Video
  2. Lecture 27: Indirect Proof Video
  3. Lecture 28: Conditional Proof Video
  4. Lecture 29: More on Conditional Proof Video
  5. Lecture 30: More on Derivations Video

Week 7:

  1. Lecture 31: Limitation of Propositional Logic Video
  2. Lecture 32: Basic 4 Types of Categorical Propositions Video
  3. Lecture 33: Understanding Logical Relations in Standard Form Categorical Propositions Video
  4. Lecture 34 : Translating Non-Standard Propositions into Standard Form Categorical Propositions Video
  5. Lecture 35: Validity and Invalidity of Syllogisms Video

Week 8:

  1. Lecture 36 : First Order Predicate Logic Video
  2. Lecture 37 : Quantifiers Video
  3. Lecture 38 : Scope of a Quantifier Edit Lesson Video
  4. Lecture 39 : Multiple Quantifiers Video
  5. Lecture 40 : Understanding Overlapping Quantifiers Sharing Predicates and Scope Video

Syllabus and materials

At NPTEL, as the course publishes them.

Credits and licence

Institution
IIT Kharagpur
Department
Humanities and Social Sciences
Teacher
Prof. Chhanda Chakraborti
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