These two volumes present papers and essays by Harvard's Edgar Pierce Professor of Philosophy. The first volume deals with mathematical logic (set theory, proof theory, etc.) and the second varies from considerations on the ""foundations of mathematics to the philosophy of mind and matter."" Both together represent the corpus of his work over some thirty years.