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