HUL251
| HUL251 | |
|---|---|
| Introduction to Logic | |
| Credits | 4 |
| Structure | 3-1-0 |
| Pre-requisites | |
| Overlaps | |
HUL251 : Introduction to Logic
[edit]In this course, students are introduced to fundamentals of informal logic and verbal analysis, material and formal fallacies of reasoning often found in 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.