This course introduces the basic concepts of logic and explores various principles, techniques concerning valid reasoning. Since Reasoning is involved in most intellectual activities, logic is relevant to broad range of pursuits.The study of logic is essential for students of computer science, philosophy (used as a tool for their arguments) and stu...
This course introduces the basic concepts of logic and explores various principles, techniques concerning valid reasoning. Since Reasoning is involved in most intellectual activities, logic is relevant to broad range of pursuits.The study of logic is essential for students of computer science, philosophy (used as a tool for their arguments) and stu...
Mod-01 Lec-01 Identification of Arguments
54mMod-01 Lec-02 Non- arguments
49mMod-01 Lec-03 Types of Arguments: Deductive vs Inductive
49mMod-01 Lec-04 Nature and Scope of Deductive and Inductive Arguments
44mMod-01 Lec-05 Truth, Validity and Soundness
55mLecture-06-Strength of Inductive arguments, Counter example method
52mLecture-07-Toulmin's Model of Argumentation
49mLecture-08-Identification of Formal and Informal Fallacies
56mLecture-09-Informal Fallacies: Fallacies of relevance
55mLecture-10-Fallacies of Weak Induction and Fallacies arising out of ambiguity in Language
56mLecture-11-Introduction and motivation for Syllogistic Logic
57mLecture-12-Aristotle theory of Syllogisms-1
48mLecture-13-Syllogistic Poem, Reduction of Syllogisms
57mLecture-14-Syllogistic Poem, Reduction of Syllogisms
58mLecture-15-Nature and Scope of Propositional Logic
55mLecture-16-Syntax of Propositional Logic
57mLecture-17-Logical Connectives: Truth Tables
59mLecture-18-Truth Table Method: Validity, Consistency, Logical Equivalence
1h 60 minLecture-19-Semantic Tableaux Method for Propositional Logic
58mLecture-20-Knights and Knaves Puzzles
58mLecture-21-Semantic Tableaux Method: Further Examples
58mMod-01 Lec-22 Natural Deduction Method
57mMod-01 Lec-23 Natural Deduction: Examples
41mMod-01 Lec-24 Conjunctive and Disjunctive Normal Forms
57mMod-01 Lec-25 CNF, DNF and satisfiability and Validity
59mMod-01 Lec-26 Resolution and refutation method
57mLecture-27-Resolution and refutation method: Examples
58mLecture-28-Axiomatic Propositional Logic
56mLecture-29-Hlbert Ackermann Axiomatic system
57mLecture-30-Proofs in the PM system
56mMod-01 Lec-31 Hilbert and Ackermann System
58mMod-01 Lec-32 Outlines of Predicate Logic
58mLecture-33-Outlines of Predicate Logic
50mMod-01 Lec-34 Building blocks of Predicate Logic
54mLecture 35: Quantifiers, freedom, bondage
57mLecture-36-Translation in to predicate Logic
59mLecture-37-Semantics of Predicate Logic
54mLecture-38-Truth, satisfiability, validity in Predicate Logic
37mMod-01 Lec-40 Semantic Tableaux Method for Predicate Logic
45mMod-01 Lec-41 Semantic Tableaux method: Satisfiability, Validity
57mMod-01 Lec-42 Natural Deduction in Predicate Logic
53mMod-01 Lec-43 Important theorems in First-order Logic
45mMod-01 Lec-44 Limitations of first order logic and Introduction to the course
58m