Abstract / Synopsis

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.



Terms of Use & License Information

Terms of Use for work posted in Scholarship@Claremont.