Symbolic Logic

By Prof. Chhanda Chakraborti | IIT Kharagpur

Learners enrolled: 250

ABOUT THE COURSE:
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.This course is designed to enable the participants

To gain acquaintance with the fundamentals of Propositional logic and Predicate Logic.
To strengthen the foundation with problem-solving training

INTENDED AUDIENCE: May be used as core. Or, could be an Elective Course;Both. May serve as UG as well as PG Course;B.Tech, B.E, M.Tech., M.E, B.Sc,M.Sc, B.A, M.A.

INDUSTRY SUPPORT: Software companies, Defense Research labs, Management Schools

Summary

Course Status :	Completed
Course Type :	Elective
Language for course content :	English
Duration :	8 weeks
Category :	Humanities and Social Sciences
Credit Points :	2
Level :	Undergraduate/Postgraduate
Start Date :	25 Jul 2022
End Date :	16 Sep 2022
Enrollment Ends :	08 Aug 2022
Exam Date :	25 Sep 2022 IST

Note: This exam date is subject to change based on seat availability. You can check final exam date on your hall ticket.

Page Visits

Course layout

Week 1: Introduction to Logic, and to arguments

Week 2: Propositional Logic Syntax

Week 3: Propositional LogicSemantics. Truth table

Week 4: Propositional LogicSemantics. Truth Trees

Week 5: Proofs and Derivations

Week 6: Proofs with Limited Scope Assumption

Week 7: Logic of Classes and Syllogisms

Week 8: First Order Predicate Logic

Books and references

Logic: Informal, Symbolic, &Inductive, C.Chakraborti, Prentice Hall of India, 2007. 2nd edition. ISBN:81-203-2855-8

Instructor bio

Prof. Chhanda Chakraborti

IIT Kharagpur

Prof. Chhanda Chakraborti (Ph.D University of Utah, USA) did her Ph D dissertation on Logic of Indicative Conditionals. She is a double M.A from University of Washington, USA, and Jadavpur University. She has 20 years of experience of teaching logic in India and abroad. She regularly teaches logic at IIT Kharagpur. Her textbook on logic "LOGIC: Informal, Symbolic and Inductive", Prentice Hall of India (2006) 2nd edition 2007, is widely used for logic teaching. She was invited to teach Logic at Department of Mathematical Information Technology, University of Jyvaskylla, Finland, and at University of Turku, Finland. She has organized 6 Summer and Winter Schools to teach Logic, and most recently organized an international Logic School in December 2015.

Course certificate

The course is free to enroll and learn from. But if you want a certificate, you have to register and write the proctored exam conducted by us in person at any of the designated exam centres.

The exam is optional for a fee of Rs 1000/- (Rupees one thousand only).

Date and Time of Exams: 25 September 2022 Morning session 9am to 12 noon; Afternoon Session 2pm to 5pm.

Registration url: Announcements will be made when the registration form is open for registrations.

The online registration form has to be filled and the certification exam fee needs to be paid. More details will be made available when the exam registration form is published. If there are any changes, it will be mentioned then.

Please check the form for more details on the cities where the exams will be held, the conditions you agree to when you fill the form etc.

CRITERIA TO GET A CERTIFICATE

Average assignment score = 25% of average of best 6 assignments out of the total 8 assignments given in the course.
Exam score = 75% of the proctored certification exam score out of 100

Final score = Average assignment score + Exam score

YOU WILL BE ELIGIBLE FOR A CERTIFICATE ONLY IF AVERAGE ASSIGNMENT SCORE >=10/25 AND EXAM SCORE >= 30/75. If one of the 2 criteria is not met, you will not get the certificate even if the Final score >= 40/100.

Certificate will have your name, photograph and the score in the final exam with the breakup.It will have the logos of NPTEL and IIT Kharagpur .It will be e-verifiable at nptel.ac.in/noc.

Only the e-certificate will be made available. Hard copies will not be dispatched.

Once again, thanks for your interest in our online courses and certification. Happy learning.

- NPTEL team

SWAYAM Helpline / Support