Lecture 3 of 40Week 1:
Lecture 3: Recognizing arguments, Diagramming logic flow
Prof. Chhanda Chakraborti · IIT Kharagpur
Credits and licence
- From
- Symbolic Logic, IIT Kharagpur (at NPTEL)
- Licence
- CC BY-NC-SA, as NPTEL states it. Non-commercial use only.
- Attribution
- NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
- Who can watch
- Teens profiles and older. How courses are placed
All the lectures
- 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 9: Truth-functional Connectives, Propositional Variables, Propositional Constants
- Lecture 8:Connectives, Scope of Connectives
- 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