2009 Thomas and Yvonne Williams Lectures for the Advancement of Logic and Philosophy, University of Pennsylvania