# NOC:Symbolic Logic (USB)

₹950.00
In stock
SKU
109105111

Media Storage Type : 32 GB USB Stick

NPTEL Subject Matter Expert : Prof. Chhanda Chakraborti

NPTEL Co-ordinating Institute : IIT Kharagpur

NPTEL Lecture Count : 40

NPTEL Course Size : 8.9 GB

NPTEL PDF Text Transcription : Available and Included

NPTEL Subtitle Transcription : Available and Included (SRT)

Lecture Titles:

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