1
Symbolic Logic. Instructor: Prof. Chhanda Chakraborti, Department of Humanities and Social Science, IIT Kharagpur.
1111 years
40
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)
Course Currilcum
- Lecture 01 – Introduction Unlimited
- Lecture 02 – Propositions, Arguments, Components, Basic Characteristics Unlimited
- Lecture 03 – Recognizing Arguments, Diagramming Logic Flow Unlimited
- Lecture 04 – Types of Arguments, Deductive, Inductive, Different Norms to Assess Arguments Unlimited
- Lecture 05 – Concepts of Validity Soundness, Consistency Unlimited
- Lecture 06 – History of Symbolic Language Unlimited
- Lecture 07 – Propositional Logic: Syntax Unlimited
- Lecture 08 – Connectives, Scope of Connectives Unlimited
- Lecture 09 – Truth-functional Connectives, Propositional Variables, Propositional Constants Unlimited
- Lecture 10 – Symbolization with Connectives Unlimited
- Lecture 11 – Propositional Logic: Semantics Basics of a Truth Table Unlimited
- Lecture 12 – Using Truth Table: Tautology, Contradiction, Contingent Propositions Unlimited
- Lecture 13 – Using Truth Table: Testing Arguments for Validity and Invalidity Unlimited
- Lecture 14 – Shorter Truth Table Unlimited
- Lecture 15 – Using Truth Table: Testing a Set of Propositions for Consistency and Inconsistency, … Unlimited
- Lecture 16 – Introduction to Truth Trees Unlimited
- Lecture 17 – Truth Tree Rules and their Application Unlimited
- Lecture 18 – More on Truth-Tree Recovery of Partial Truth Values Unlimited
- Lecture 19 – Using the Truth Trees Unlimited
- Lecture 20 – More on Truth Trees Unlimited
- Lecture 21 – Formal Proof of Validity Unlimited
- Lecture 22 – Valid Argument Forms Unlimited
- Lecture 23 – How to Apply the Rules of Inference in a Proof Unlimited
- Lecture 24 – Understanding the Rules Unlimited
- Lecture 25 – Proofs with All Rules Unlimited
- Lecture 26 – Completeness: What it is Unlimited
- Lecture 27 – Indirect Proof Unlimited
- Lecture 28 – Conditional Proof Unlimited
- Lecture 29 – More on Conditional Proof Unlimited
- Lecture 30 – More on Derivations Unlimited
- Lecture 31 – Limitation of Propositional Logic Unlimited
- Lecture 32 – Basic 4 Types of Categorical Propositions Unlimited
- Lecture 33 – Understanding Logical Relations in Standard Form Categorical Propositions Unlimited
- Lecture 34 – Translating Non-standard Propositions into Standard Form Categorical Propositions Unlimited
- Lecture 35 – Validity and Invalidity of Syllogisms Unlimited
- Lecture 36 – First Order Predicate Logic Unlimited
- Lecture 37 – Quantifiers Unlimited
- Lecture 38 – Scope of a Quantifier Unlimited
- Lecture 39 – Multiple Quantifiers Unlimited
- Lecture 40 – Understanding Overlapping Quantifiers Sharing Predicates and Scope Unlimited
