InfoCoBuild

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 31 - Limitation of Propositional Logic


Go to the Course Home or watch other lectures:

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