Philosophical problems in logic by