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