Philosophical problems in logic door