PHIL 689: Mathematical Logic (Spring 2003)

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 soundeness 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.

Texts

The text for this class is:

Formal Work

  1. Homework asssignments (8): 20%
  2. Mid-term exam (take-home): 40%
  3. Final exam (take-home): 40%

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 occaisionally be asked to make presentations of proofs of theorems in class (with advance warning).

Schedule

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.


Policies on Academic Dishonesty

Please see the Texas A&M University Student Rules

Americans with Disabilities Act

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 accomodation of their disabilities. If you believe you have a disability requiring an accomodation, please contact the Department of Student Life, Services for Students with Disabilities in Room 126 of the Koldus Building, or call 845-1637.