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.
Mathematicians might be interested in what goes on in a lengthy proof or what constitutes a mathematical proof.
Introduction to Logic presents the basic techniques used to derive a valid conclusion from the premises of an argument and also techniques for determining whether or not a argument (deductive or inductive) is valid/strong.
The goal of this course is to introduce students to the essential ideas and techniques from logic that are widely used in Philosophy, Computer Science, Natural sciences, and the argumentation used in the daily discourse.
The subject matter of Logic is {argumentation} which is nothing but a study of effective {reasoning}.
Hence, the main purpose of this course has been to learn the tools and techniques of various reasoning processes.
As a starting point, we attempt to recognize, analyze and evaluate arguments in any given passage consists of natural language sentences. Then we classify the arguments into inductive and deductive based on the strength of support that premises provide to the conclusion.
Then we study fallacies some of which are detected from the usage of invalid form, and the other detected only by properly analysing and scrutinizing the content.
While discussing the Aristotelian Logic which dominated over 1900 years, we move on to the modern logic, also called first order logic, via Boolean Logic.
We introduce various concepts of propositional and predicate logic and discuss issue of whether the formal systems are consistent. In a nutshell, it studies the principles of correct reasoning, using the symbolic techniques of propositional calculus and basic quantifier calculus.
This course is unique in the sense that it has both mathematical, philosophical flavour and secondly, special care has been taken to present the concepts of logic through puzzles (puzzles of Raymond Smullyan and Martin Gardner) to make the subject matter least boring. |