CSSE 490: Mathematical Logic

We define logic as the study of valid reasoning and will give systematic definitions of the rules of inference of FOL as well as how they are used in proof systems. We will study soundness and completeness of FOL and understand the ramifications of these properties. We will furthermore study non standard logic systems.

Course Outcomes

Students who successfuly complete this course should be able to:
  1. Explain the role of logic in rational inquiry
  2. Give valid proofs in propositional and first-order logic
  3. Explain soundness and completeness results for propositional and first-order logic
  4. Explain incompleteness results for first-order logic
  5. Learn the use of non-standard logical systems
  6. Explain the power and limitations of logical systems

Prerequisites

CSSE 230 and MA 275.

Instructor

Michael Wollowski

Resources

Grading

Homework assignments. Regularly given proofs, occasional essays 60%
Class presentations. Presentation of materials from book or readings 0%
Individual presentation of a logic application 15%
Team presentation of a logic system 25%

Citizenship

The success of this course depends on your active participation in class.

Please come to class prepared and do things that contribute to your learning and that of others.

Please avoid behavior that is distracting to your learning and that of others.

Academic Integrity

Please consult the CSSE department's Policy on Academic Honesty as a rough guideline on cooperation.