Philosophy | Logic and Philosophy
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.