Introduction to Logic - IIT_Kanpur

6/29 Videos

1

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

IIT_Kanpur

00:44:34

2

Mod-01 Lec-05 Truth, Validity and Soundness

IIT_Kanpur

00:55:23

3

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

IIT_Kanpur

00:52:43

4

Mod-01 Lec-07 Toulmin’s Model of Argumentation

IIT_Kanpur

00:49:09

5

Mod-01 Lec-08 Identification of Formal and Informal Fallacies

IIT_Kanpur

00:56:38

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

IIT_Kanpur

00:57:57

7

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

IIT_Kanpur

00:48:56

8

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

IIT_Kanpur

00:57:47

9

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

IIT_Kanpur

00:58:45

10

Mod-01 Lec-16 Syntax of Propositional Logic

IIT_Kanpur

00:57:10

11

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

IIT_Kanpur

00:58:32

12

Mod-01 Lec-20 Knights and Knaves Puzzles

IIT_Kanpur

00:58:53

13

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

IIT_Kanpur

00:58:15

14

Mod-01 Lec-22 Natural Deduction Method

IIT_Kanpur

00:57:32

15

Mod-01 Lec-23 Natural Deduction: Examples

IIT_Kanpur

00:41:02

16

Mod-01 Lec-24 Conjunctive and Disjunctive Normal Forms

IIT_Kanpur

00:57:38

17

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

IIT_Kanpur

00:58:14

18

Mod-01 Lec-28 Axiomatic Propositional Logic

IIT_Kanpur

00:56:48

19

Mod-01 Lec-29 Hlbert Ackermann Axiomatic system

IIT_Kanpur

00:57:03

20

Mod-01 Lec-30 Proofs in the PM system

IIT_Kanpur

00:56:27

21

Mod-01 Lec-31 Hilbert and Ackermann System

IIT_Kanpur

00:58:20

22

Mod-01 Lec-32 Outlines of Predicate Logic

IIT_Kanpur

00:58:58

23

Mod-01 Lec-36 Translation in to predicate Logic

IIT_Kanpur

00:59:21

24

Mod-01 Lec-37 Semantics of Predicate Logic

IIT_Kanpur

00:54:23

25

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

IIT_Kanpur

00:37:18

26

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

IIT_Kanpur

00:44:25

27

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

IIT_Kanpur

00:45:24

28

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

IIT_Kanpur

00:45:43

29

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

IIT_Kanpur

00:58:11

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

0

0

10 Views

IIT_Kanpur
5 subscribers

In Teaching & Academics / 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

Show more

100% online learning from the world's best universities, organisations and Instructors

0 Comments

Explore more

Help

Import
Live