Introduction to Logic - IIT_Kanpur

          1/29 Videolar
Mod-01 Lec-04 Nature and Scope of Deductive and Inductive Arguments
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
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
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
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
Mod-01 Lec-08 Identification of Formal and Informal Fallacies
IIT_Kanpur
00:56:38
6
Mod-01 Lec-11 Introduction and motivation for Syllogistic Logic
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
Mod-01 Lec-12 Aristotle theory of Syllogisms-1
IIT_Kanpur
00:48:56
8
Mod-01 Lec-13 Syllogistic Poem, Reduction of Syllogisms
Mod-01 Lec-13 Syllogistic Poem, Reduction of Syllogisms
IIT_Kanpur
00:57:47
9
Mod-01 Lec-14 Syllogistic Poem, Reduction of Syllogisms
Mod-01 Lec-14 Syllogistic Poem, Reduction of Syllogisms
IIT_Kanpur
00:58:45
10
Mod-01 Lec-16 Syntax of Propositional Logic
Mod-01 Lec-16 Syntax of Propositional Logic
IIT_Kanpur
00:57:10
11
Mod-01 Lec-19 Semantic Tableaux Method for Propositional Logic
Mod-01 Lec-19 Semantic Tableaux Method for Propositional Logic
IIT_Kanpur
00:58:32
12
Mod-01 Lec-20 Knights and Knaves Puzzles
Mod-01 Lec-20 Knights and Knaves Puzzles
IIT_Kanpur
00:58:53
13
Mod-01 Lec-21 Semantic Tableaux Method: Further Examples
Mod-01 Lec-21 Semantic Tableaux Method: Further Examples
IIT_Kanpur
00:58:15
14
Mod-01 Lec-22 Natural Deduction Method
Mod-01 Lec-22 Natural Deduction Method
IIT_Kanpur
00:57:32
15
Mod-01 Lec-23 Natural Deduction: Examples
Mod-01 Lec-23 Natural Deduction: Examples
IIT_Kanpur
00:41:02
16
Mod-01 Lec-24 Conjunctive and Disjunctive Normal Forms
Mod-01 Lec-24 Conjunctive and Disjunctive Normal Forms
IIT_Kanpur
00:57:38
17
Mod-01 Lec-27 Resolution and refutation method: Examples
Mod-01 Lec-27 Resolution and refutation method: Examples
IIT_Kanpur
00:58:14
18
Mod-01 Lec-28 Axiomatic Propositional Logic
Mod-01 Lec-28 Axiomatic Propositional Logic
IIT_Kanpur
00:56:48
19
Mod-01 Lec-29 Hlbert Ackermann Axiomatic system
Mod-01 Lec-29 Hlbert Ackermann Axiomatic system
IIT_Kanpur
00:57:03
20
Mod-01 Lec-30 Proofs in the PM system
Mod-01 Lec-30 Proofs in the PM system
IIT_Kanpur
00:56:27
21
Mod-01 Lec-31 Hilbert and Ackermann System
Mod-01 Lec-31 Hilbert and Ackermann System
IIT_Kanpur
00:58:20
22
Mod-01 Lec-32 Outlines of Predicate Logic
Mod-01 Lec-32 Outlines of Predicate Logic
IIT_Kanpur
00:58:58
23
Mod-01 Lec-36 Translation in to predicate Logic
Mod-01 Lec-36 Translation in to predicate Logic
IIT_Kanpur
00:59:21
24
Mod-01 Lec-37 Semantics of Predicate Logic
Mod-01 Lec-37 Semantics of Predicate Logic
IIT_Kanpur
00:54:23
25
Mod-01 Lec-38 Truth, satisfiability, validity in Predicate Logic
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
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
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
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
Mod-01 Lec-44 Limitations of first order logic and Introduction to the course
IIT_Kanpur
00:58:11

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

6 Görünümler
IIT_Kanpur
IIT_Kanpur
5 subscribers
0
İçinde Öğretim ve Akademisyenler / Beşeri bilimler

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

Daha fazla göster
100% online learning from the world's best universities, organisations and Instructors
 0 Yorumlar sort   Göre sırala


⁣Mod-01 Lec-31 Nanomaterials in Nature: Bone
00:55:03
⁣Mod-01 Lec-31 Nanomaterials in Nature: Bone
IIT_Kanpur
5 Görünümler · 06 Nov 2019
Mühendislik
⁣Mod-01 Lec-03 Nature of society: Individuals and groups
00:49:20
⁣Mod-01 Lec-03 Nature of society: Individuals and groups
IIT_Kanpur
9 Görünümler · 24 Oct 2019
Öğretim ve Akademisyenler
⁣Mod-12 Lec-40 The Scope and Limitations of Classical Mechanics
00:51:13
⁣Mod-12 Lec-40 The Scope and Limitations of Classical Mechanics
IIT_Madras
11 Görünümler · 11 Oct 2019
Matematik ve Bilimler
⁣Mod-01 Lec-23 Lecture-23-Symbolization & Scope of Quantifiers
00:48:28
⁣Mod-01 Lec-23 Lecture-23-Symbolization & Scope of Quantifiers
IIT_Madras
9 Görünümler · 08 Oct 2019
Matematik ve Bilimler
⁣Mod-01 Lec-01 Introduction and Scope
00:30:03
⁣Mod-01 Lec-01 Introduction and Scope
IIT_Madras
7 Görünümler · 26 Sep 2019
Mühendislik
⁣Mod-06 Lec-20 General or Indirect Analytic Continuation and the Lipschitz Nature of the Radius
00:36:57
⁣Mod-06 Lec-20 General or Indirect Analytic Continuation and the Lipschitz Nature of the Radius
IIT_Madras
8 Görünümler · 21 Sep 2019
Matematik ve Bilimler
⁣Mod-05 Lec-18 The Algebraic nature of the functional inverses of an analytic
00:48:25
⁣Mod-05 Lec-18 The Algebraic nature of the functional inverses of an analytic
IIT_Madras
10 Görünümler · 21 Sep 2019
Matematik ve Bilimler
⁣Mod-01 Lec-06 Strength of Inductive arguments, Counter example method
00:52:43
⁣Mod-01 Lec-06 Strength of Inductive arguments, Counter example method
IIT_Kanpur
10 Görünümler · 20 Sep 2019
Öğretim ve Akademisyenler
⁣Mod-01 Lec-22 Parse trees, inductive proof that L is L(G). All regular languages are context free.
00:52:31
⁣Mod-01 Lec-22 Parse trees, inductive proof that L is L(G). All regular languages are context free.
IIT_Kanpur
8 Görünümler · 19 Sep 2019
gelişme
⁣Planning -Definition of Planning | Nature |
00:10:01
⁣Planning -Definition of Planning | Nature |
eMarketing
6 Görünümler · 11 Sep 2019
Pazarlama
⁣15. The nature of death (cont.); Believing you will die
00:44:15
⁣15. The nature of death (cont.); Believing you will die
YaleCourses
7 Görünümler · 03 Sep 2019
Öğretim ve Akademisyenler
⁣14. What matters (cont.); The nature of death, Part I
00:47:18
⁣14. What matters (cont.); The nature of death, Part I
YaleCourses
13 Görünümler · 03 Sep 2019
Öğretim ve Akademisyenler
⁣9. Plato, Part IV: Arguments for the immortality of the soul (cont.)
00:50:20
⁣9. Plato, Part IV: Arguments for the immortality of the soul (cont.)
YaleCourses
20 Görünümler · 03 Sep 2019
Öğretim ve Akademisyenler
⁣8. Plato, Part III: Arguments for the immortality of the soul (cont.)
00:49:54
⁣8. Plato, Part III: Arguments for the immortality of the soul (cont.)
YaleCourses
9 Görünümler · 03 Sep 2019
Öğretim ve Akademisyenler
⁣7. Plato, Part II: Arguments for the immortality of the soul
00:46:38
⁣7. Plato, Part II: Arguments for the immortality of the soul
YaleCourses
7 Görünümler · 03 Sep 2019
Öğretim ve Akademisyenler
⁣6. Arguments for the existence of the soul, Part IV; Plato, Part I
00:35:42
⁣6. Arguments for the existence of the soul, Part IV; Plato, Part I
YaleCourses
12 Görünümler · 03 Sep 2019
Öğretim ve Akademisyenler
⁣5. Arguments for the existence of the soul, Part III: Free will and near-death experiences
00:48:02
⁣5. Arguments for the existence of the soul, Part III: Free will and near-death experiences
YaleCourses
9 Görünümler · 03 Sep 2019
Öğretim ve Akademisyenler
⁣4. Introduction to Plato's Phaedo; Arguments for the existence of the soul, Part II
00:49:04
⁣4. Introduction to Plato's Phaedo; Arguments for the existence of the soul, Part II
YaleCourses
4 Görünümler · 03 Sep 2019
Öğretim ve Akademisyenler
⁣3. Arguments for the existence of the soul, Part I
00:45:48
⁣3. Arguments for the existence of the soul, Part I
YaleCourses
10 Görünümler · 03 Sep 2019
Öğretim ve Akademisyenler