The subject of this course is the metatheory of propositional and predicate logic. This will include definitions of formal languages for these systems, their proof theory, model theory, and demonstrations of their soundness and completeness. As a necessary background for this, we will begin with an overview of the basic elements of set theory, including functions and relations, and a discussion of methods of mathematical proof.
In addition, we will work through a number of proofs in class. Understanding the nature of proofs in logical theory is a fundamental aspect of this course, and students will occasionally be asked to make presentations of proofs of theorems in class (with advance warning).
Page numbers refer to Zalabardo. Although I will try to stay reasonably close to this schedule, the pace may need to be adjusted depending on how the class goes.
Effective September 1, 2004, Texas A&M University has an Honor Code that defines campus policy on academic integrity and academic misconduct. The Aggie Honor System is charged with the enforcement of this Code. Students should be aware that the Aggie Honor System has the power to impose punishments for academic misconduct. For information on the Aggie Honor System, see http://www.tamu.edu/aggiehonor; information of particular concern to students, including definitions of types of academic misconduct, may be found at http://www.tamu.edu/aggiehonor/studentresources.php.
It will be my policy in this course to include the following statement on all examinations and request students to sign it:
"On my honor, as an Aggie, I have neither given nor received unauthorized aid on this academic work." ________________________________ Signature of student
The Americans with Disabilities Act (ADA) is a federal antidiscrimination statute that provides comprehensive civil rights protection for persons with disabilities. Among other things, this legislation requires that all students with disabilities be guaranteed a learning environment that provides for reasonable accommodation of their disabilities. If you believe you have a disability requiring an accommodation, please contact the Department of Student Life, Services for Students with Disabilities in Room 118 of Cain Hall, on the Internet at http://studentlife.tamu.edu/ssd/, or by telephone at 979-845-1637.