Media Storage Type : 32 GB USB Stick
NPTEL Subject Matter Expert : Dr. A.V. Ravishankar Sarma
NPTEL Co-ordinating Institute : IIT Kanpur
NPTEL Lecture Count : 25
NPTEL Course Size : 2.1 GB
NPTEL PDF Text Transcription : Available and Included
NPTEL Subtitle Transcription : Available and Included (SRT)
Lecture Titles:
Lecture 1 - What is logic? General Introduction
Lecture 2 - Propositional Logic : Syntax
Lecture 3 - Propositional Logic : Semantics
Lecture 4 - Semantic Tableaux Method for Propositional Logic: General Examples
Lecture 5 - Semantic Tableaux Method : Some Puzzles
Lecture 6 - Semantic Tableaux Method-3: More puzzles
Lecture 7 - Limitations of Classical Logic
Lecture 8 - Origin of Modal Logic : Historical Survey
Lecture 9 - Origin of Modal Logic : Strict Implication
Lecture 10 - Strict Implication
Lecture 11 - Strict Implication : Examples
Lecture 12 - Language of Normal Modal Logic
Lecture 13 - Language of Modal Logic, Modal Sentences - 1
Lecture 14 - Language of Modal Logic 2 : Syntax
Lecture 15 - Axiomatic Modal Logic : Some Proofs
Lecture 16 - Semantics of Modal Logic : Relational Structures
Lecture 17 - Kripke semantics for Modal Logic systems
Lecture 18 - Kripke semantics for Modal Logic : Some Examples
Lecture 19 - Kripke Semantics for Modal Logic : Examples
Lecture 20 - Semantic Tableaux method - I
Lecture 21 - Semantic Tableaux method - II
Lecture 22 - Possible worlds and Modal realism
Lecture 23 - Conditional logic introduction
Lecture 24 - Conditional logic C
Lecture 25 - Conditional logics: C, C+, S, C1, C2 and conclusion