Properties and Propositions: The Metaphysics of Higher-Order Logic - 悟空视频