Symbolic Logic
Symbolic Logic. Instructor: Prof. Chhanda Chakraborti, Department of Humanities and Social Science, IIT Kharagpur. Logic is a part of every systematic field of inquiry as the essential foundation for rational investigation. Logic has always been a multidisciplinary and an interdisciplinary subject. Its versatility is evinced in its vast and varied applications in digital electronics, computer and manufacturing technologies, and also for deliberating in law, public policy and business strategy. In view of the above, it is a value-addition to one's skill-base to be exposed to this all-important subject. Logic, roughly speaking, is the study of principles of correct reasoning. It is a foundational component for any systematic and rational investigation. It is a discipline that adds value to every other systematic field of inquiry.
(from nptel.ac.in)
| Lecture 01 - Introduction |
| Lecture 02 - Propositions, Arguments, Components, Basic Characteristics |
| Lecture 03 - Recognizing Arguments, Diagramming Logic Flow |
| Lecture 04 - Types of Arguments, Deductive, Inductive, Different Norms to Assess Arguments |
| Lecture 05 - Concepts of Validity Soundness, Consistency |
| Lecture 06 - History of Symbolic Language |
| Lecture 07 - Propositional Logic: Syntax |
| Lecture 08 - Connectives, Scope of Connectives |
| Lecture 09 - 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 |
| Lecture 39 - Multiple Quantifiers |
| Lecture 40 - Understanding Overlapping Quantifiers Sharing Predicates and Scope |
| Related Links |
Symbolic Logic
Instructor: Prof. Chhanda Chakraborti, Department of Humanities and Social Science, IIT Kharagpur. Logic is a part of every systematic field of inquiry as the essential foundation for rational investigation.
|