Introduction to Logic (Video)

This course introduces the basic concepts of logic and explores various principles, techniques concerning valid reasoning. Since Reasoning is involved in most intellectual activities, logic is relevant to broad range of pursuits.The study of logic is essential for students of computer science, philosophy (used as a tool for their arguments) and students of Mathematics who attempts to understand the foundations of mathematics in a better way.

Basic Concepts of Modal Logic (Video)

Modal logic extends classical logic with the ability to express not only ‘P is true’, but also statements like ‘P is known’ or ‘P is necessarily true’. We will define several varieties of normal modal logic systems (K, T, D,S4, S5), providing both their semantics and their axiomatic proof systems, and prove their standard soundness and completeness theorems. On completion of the course, students are expected to have a good understanding of the technical details of the logic covered, and use it under various contexts including some of philosophical debates surrounding these logics.