Introduction to Logic
The aim of the course is to introduce you to logic as a formal system and to develop your capacity for abstract thought. We will be using a ingenious textbook-software combination that teaches elementary symbolic logic in an innovative way. You will be introduced to a simple artificial language (First Order Logic, or FOL, for short), a language designed to make possible a clear and unambiguous representation of the logical structure of deductive reasoning. You will learn FOL through the use of several computer programs that were designed especially to enable you to write, read, and evaluate FOL sentences, as well as to construct proofs establishing deductive relationships among those sentences.
There will be three lectures each week (MWF). You will also meet twice a week (TuTh) in lab sessions, which are dedicated to assisting students in mastering the problem-solving techniques covered in the reading assignments and the preceding lecture.
There will be two exams (a midterm and a final) as well as twice-weekly homework assignments. (Each assignment should take between one and two hours to complete.) Most of the assignments will be submitted electronically; some will be handed in on paper.
This course is suitable for nonmajors, and has no prerequisites. It meets the Qualitative and Symbolic Reasoning (Q/SR) requirement, and may be used to satisfy either the Individuals and Societies (I & S) or Natural World (NW) requirement.
| BACK TO TOP
Contact the professor at: