Selected traditional metaphysical and epistemological problems in the light of modern logic and various studies in the foundations of mathematics, including the nature of axiomatic method, completeness in logic and mathematics, and the nature of mathematical truth.