P150 | 3760 | Demir

As the title suggests, this course is an introduction to Logic, which is one of the oldest theoretical disciplines in the history of mankind. Logic is about the most common and the only unstoppable human activity: thinking. One can stop drinking, eating, mating, even breathing (at least for a while), but one can never stop thinking. If you do not believe me, go ahead and try not to think for 10 seconds. It is impossible, isn’t it? We express the outputs of this important activity, i.e. thoughts, mainly by natural languages such as English, Spanish, German etc. Generally speaking, in Logic, we try to formalize human thinking (reasoning) as expressed in natural languages. In this course, we will take the first step towards this goal: propositional logic. This first step consists of analyzing arguments via symbolization, evaluating them with truth tables and the representation of inferences using natural deduction derivations. After this first step, we will briefly visit the second step towards the formalization of human reasoning: predicate logic, which is an extension of propositional logic. It is simply propositional logic plus quantifiers. The latter enables us to represent terms like ‘all’ and ‘some’. Required texts: Howard Pospesel's two paperback volumes, Propositional Logic and Predicate Logic, supplemented by a reading packet. Along with occasional quizzes and homework, students will be expected to complete three in-class, written examinations and the course final. PS: This course-design is originally developed by Prof. David McCarty. I simply took his design, and revised it. I am thankful to him for letting me to use his course design.