NPTEL : NOC:Symbolic Logic (Humanities and Social Sciences)

Co-ordinators : Prof. Chhanda Chakraborti


Lecture 1 - Introduction

Lecture 2 - Propositions, Arguments, Components, Basic Characteristics

Lecture 3 - Recognizing arguments, Diagramming logic flow

Lecture 4 - Types of arguments, Deductive, Inductive, different norms to assess arguments

Lecture 5 - Concepts of Validity Soundness, Consistency

Lecture 6 - History of Symbolic Language

Lecture 7 - Propositional Logic: Syntax

Lecture 8 - Connectives, Scope of Connectives

Lecture 9 - Truth-functional Connectives, Propositional Variables, Propositional Constants

Lecture 10 - Symbolization with Connectives

Lecture 11 - Propositional Logic: Semantics Basics of a Truth Table

Lecture 12 - Using Truth Table: Tautology, Contradiction, Contingent Propositions

Lecture 13 - Using Truth Table: Testing Arguments for Validity and Invalidity

Lecture 14 - Shorter Truth Table

Lecture 15 - Using Truth Table: Testing a Set of Propositions for consistency and inconsistency, and for logical equivalence

Lecture 16 - Introduction to Truth Trees

Lecture 17 - Truth Tree Rules and their Application

Lecture 18 - More on Truth-Tree Recovery of Partial Truth - Values

Lecture 19 - Using the Truth Trees

Lecture 20 - More on Truth Trees

Lecture 21 - Formal Proof of Validity

Lecture 22 - Valid Argument Forms:

Lecture 23 - How to Apply the Rules of Inference in a Proof

Lecture 24 - Understanding the Rules

Lecture 25 - Proofs with All Rules

Lecture 26 - Completeness : What it is

Lecture 27 - Indirect Proof

Lecture 28 - Conditional Proof

Lecture 29 - More on Conditional Proof

Lecture 30 - More on Derivations

Lecture 31 - Limitation of Propositional Logic

Lecture 32 - Basic 4 Types of Categorical Propositions

Lecture 33 - Understanding Logical Relations in Standard Form Categorical Propositions

Lecture 34 - Translating Non-Standard Propositions into Standard Form Categorical Propositions

Lecture 35 - Validity and Invalidity of Syllogisms

Lecture 36 - First Order Predicate Logic

Lecture 37 - Quantifiers

Lecture 38 - Scope of a Quantifier Edit Lesson

Lecture 39 - Multiple Quantifiers

Lecture 40 - Understanding Overlapping Quantifiers Sharing Predicates and Scope