A. V. Ravishankar Sarma: Introduction to Logic (IIT Kanpur)

# playlist of the 44 videos (click the up-left corner of the video)

source: nptelhrd     2015年3月17日
Humanities - Introduction to Logic by Dr. A.V. Ravishankar Sarma, Department of Humanities and Social Sciences, IIT Kanpur. For more details on NPTEL visit http://nptel.ac.in

01 Identification of Arguments 54:41
02 Non- arguments 49:59
03 Types of Arguments: Deductive vs Inductive 49:55
04 Nature and Scope of Deductive and Inductive Arguments 44:34
05 Truth, Validity and Soundness 55:23
06 Strength of Inductive arguments, Counter example method 52:43
07 Toulmin’s Model of Argumentation 49:09
08 Identification of Formal and Informal Fallacies 56:38
09 Informal Fallacies: Fallacies of relevance 55:54
10 Fallacies of Weak Induction and Fallacies arising out of ambiguity in Language 56:40
11 Introduction and motivation for Syllogistic Logic 57:57
12 Aristotle theory of Syllogisms-1 48:56
13 Syllogistic Poem, Reduction of Syllogisms 57:47
14 Syllogistic Poem, Reduction of Syllogisms 58:45
15 Nature and Scope of Propositional Logic 55:22
16 Syntax of Propositional Logic 57:10
17 Logical Connectives: Truth Tables 59:18
18 Truth Table Method: Validity, Consistency, Logical Equivalence 1:00:42
19 Semantic Tableaux Method for Propositional Logic 58:32
20 Knights and Knaves Puzzles 58:53
Lec-21 Semantic Tableaux Method: Further Examples 58:15
22 Natural Deduction Method 57:32
23 Natural Deduction: Examples 41:02
24 Conjunctive and Disjunctive Normal Forms 57:38
25 CNF, DNF and satisfiability and Validity 59:15
26 Resolution and refutation method 57:30
27 Resolution and refutation method: Examples 58:14
28 Axiomatic Propositional Logic 56:48
29 Hlbert Ackermann Axiomatic system 57:03
30 Proofs in the PM system 56:27
31 Hilbert and Ackermann System 58:20
32 Outlines of Predicate Logic 58:58
33 Outlines of Predicate Logic 50:05
34 Building blocks of Predicate Logic 54:17
35 Quantifiers, freedom, bondage 57:29
36 Translation in to predicate Logic 59:21
37 Semantics of Predicate Logic 54:23
38 Truth, satisfiability, validity in Predicate Logic 37:19
39 Formation Trees for wff’s in predicate Logic 44:25
40 Semantic Tableaux Method for Predicate Logic 45:24
41 Semantic Tableaux method: Satisfiability, Validity 57:33
42 Natural Deduction in Predicate Logic 53:56
43 Important theorems in First order Logic 45:43
44 Limitations of first order logic and Introduction to the course 58:11