P352 | 27154 | Weiner

So you’ve taken P250, Introductory Symbolic Logic, and you’ve ventured out into the philosophical literature armed with your newfound logical skills—only to find yourself mystified when reference is made to facts about the infinite, or to functions that are 1-1, or to supposedly elementary consequences of things that you don’t seem able to see as consequences. What do you do? Do you skip over the mystifying sentences in the hope that the rest of the article will make sense? (How often does that work?) Or do you start Googling, only to find yourself in the middle of some math textbook? This course is designed to offers you something better. The mission this course will be to familiarize you with such notions as function, set and relation and to instill in you a facility with informal mathematical proof. We will be doing simple number theory proofs, proofs by mathematical induction and a little bit of set theory and model theory. In addition, we will be looking at philosophical texts that require the reader to fill in proofs and examine how to go about doing it. The text is: Daniel Velleman, How To Prove It, Cambridge University Press, 2nd ed. NOTE: This is a proof-and-problem-solving course, not a paper writing course.