In this course, students are introduced to fundamentals of informal logic and verbal analysis, material and formal fallacies of reasoning often found ordinary discourse, deductive and Inductive reasoning, validity and soundness, formal rules and principles of the deductive system of Aristotelian logic, traditional square of opposition; propositional calculus; first order predicate calculus; the modern square of opposition and the problem of existential import; identity and definite descriptions; methods for formulating natural language arguments in symbolic forms and techniques for checking their validity; various meta-logical theorems and their proofs.
The information provided here may not be updated. Please check UG/PG section for updated course offering data.
