# Introduction to Logic

IIT Kanpur, , Prof. A.V. Ravishankar Sarma

IIT Kanpur, , Prof. A.V. Ravishankar Sarma

Introduction: Logic and its relationship to other disciplines - Argument, Premises, conclusion, Indicators - Nature and scope of Deductive and Inductive Arguments - Validity and strength of Deductive and Inductive arguments - Truth and Soundness, Counter example method for invalidity of deductive arguments - Diagramming Arguments - Formal and Informal Fallacies: Denial of Antecedent, Affirming the consequent - Fallacies of relevance - Fallacies of Induction - Fallacies arising from the ambiguities in Language.

Traditional Logic: Why formal Logic - Aristotle Theory of Syllogisms - Square of Opposition, Validity of syllogisms using Venn, Euler diagrams - Limitations of Aristotle Logic, Boolean logic and birth of Modern Logic - Modern Logic - Propositional and predicate Logic: Syntax and Semantics - Validity, Consistency, Soundness, Proof, Completeness - Various techniques such as Truth Table method - Indirect truth table method - Natural Deduction - Tree Method - Godels incompleteness theorem - Limitations of standard two valued logic

- On-demand Videos
- Login & Track your progress
- Full Lifetime acesses

4.1 ( 11 )

Introduction to Logic by Dr. A.V. Ravishankar Sarma,Department of Humanities and Social Sciences,IIT Kanpur.For more details on NPTEL visit httpnptel.ac.in

Sam

Sep 12, 2018

Excellent course helped me understand topic that i couldn't while attendinfg my college.

Dembe

March 29, 2019

Great course. Thank you very much.