Steven Deckelman

In this article I describe a project activity for an undergraduate introduction to proof course aimed at mathematics and computer science majors that combines logic and philosophy with a significant dimension of writing. Pedagogically, the project involves a broader range of critical thinking skills than is usual in such courses. Undergraduate students analyze Anselm of Canterbury's and Kurt Gödel's proofs of the existence of God using modal logic.