Humanities - Introduction to Logic (English)

   Tuesday, May 06, 2025   

Starting a new Lecture Notes Series on Humanities - Introduction to Logic

Youtube Lecture Playlist Credits 

Channel Name: nptelhrd

So Let Us Start to This Journey of Learning 

Humanities - Introduction to Logic By Lecture Notes together!

Lecture 1: Mod-01 Lec-01 Identification of Arguments

Lecture 2: Mod-01 Lec-02 Non- arguments

Lecture 3: Mod-01 Lec-03 Types of Arguments: Deductive vs Inductive

Lecture 4: Mod-01 Lec-04 Nature and Scope of Deductive and Inductive Arguments

Lecture 5: Mod-01 Lec-05 Truth, Validity and Soundness

Lecture 6: Mod-01 Lec-06 Strength of Inductive arguments, Counter example method

Lecture 7: Mod-01 Lec-07 Toulmin’s Model of Argumentation

Lecture 8: Mod-01 Lec-08 Identification of Formal and Informal Fallacies

Lecture 9: Mod-01 Lec-09 Informal Fallacies: Fallacies of relevance

Lecture 10: Mod-01 Lec-10 Fallacies of Weak Induction and Fallacies arising out of ambiguity in Language

Lecture 11: Mod-01 Lec-11 Introduction and motivation for Syllogistic Logic

Lecture 12: Mod-01 Lec-12 Aristotle theory of Syllogisms-1

Lecture 13: Mod-01 Lec-13 Syllogistic Poem, Reduction of Syllogisms

Lecture 14: Mod-01 Lec-14 Syllogistic Poem, Reduction of Syllogisms

Lecture 15: Mod-01 Lec-15 Nature and Scope of Propositional Logic

Lecture 16: Mod-01 Lec-16 Syntax of Propositional Logic

Lecture 17: Mod-01 Lec-17 Logical Connectives: Truth Tables

Lecture 18: Mod-01 Lec-18 Truth Table Method: Validity, Consistency, Logical Equivalence

Lecture 19: Mod-01 Lec-19 Semantic Tableaux Method for Propositional Logic

Lecture 20: Mod-01 Lec-20 Knights and Knaves Puzzles

Lecture 21: Mod-01 Lec-21 Semantic Tableaux Method: Further Examples

Lecture 22: Mod-01 Lec-22 Natural Deduction Method

Lecture 23: Mod-01 Lec-23 Natural Deduction: Examples

Lecture 24: Mod-01 Lec-24 Conjunctive and Disjunctive Normal Forms

Lecture 25: Mod-01 Lec-25 CNF, DNF and satisfiability and Validity

Lecture 26: Mod-01 Lec-26 Resolution and refutation method

Lecture 27: Mod-01 Lec-27 Resolution and refutation method: Examples

Lecture 28: Mod-01 Lec-28 Axiomatic Propositional Logic

Lecture 29: Mod-01 Lec-29 Hlbert Ackermann Axiomatic system

Lecture 30: Mod-01 Lec-30 Proofs in the PM system

Lecture 31: Mod-01 Lec-31 Hilbert and Ackermann System

Lecture 32: Mod-01 Lec-32 Outlines of Predicate Logic

Lecture 33: Mod-01 Lec-33 Outlines of Predicate Logic

Lecture 34: Mod-01 Lec-34 Building blocks of Predicate Logic

Lecture 35: Mod-01 Lec-35 Quantifiers, freedom, bondage

Lecture 36: Mod-01 Lec-36 Translation in to predicate Logic

Lecture 37: Mod-01 Lec-37 Semantics of Predicate Logic

Lecture 38: Mod-01 Lec-38 Truth, satisfiability, validity in Predicate Logic

Lecture 39: Mod-01 Lec-39 Formation Trees for wff’s in predicate Logic

Lecture 40: Mod-01 Lec-40 Semantic Tableaux Method for Predicate Logic

Lecture 41: Mod-01 Lec-41 Semantic Tableaux method: Satisfiability, Validity

Lecture 42: Mod-01 Lec-42 Natural Deduction in Predicate Logic

Lecture 43: Mod-01 Lec-43 Important theorems in First order Logic

Lecture 44: Mod-01 Lec-44 Limitations of first order logic and Introduction to the course