Text this: Philosophical problems in logic :