Ed Zalta (CSLI Stanford) gives a talk at the MCMP Workshop on Computational Metaphysics titled "Toward Leibniz's Goal of a Computational Metaphysics".