Lectures on metaphysics and logic