Jeffrey A. Barrett is Professor of Logic and Philosophy of Science at the University of California, Irvine.