Zaslat SMS: Philosophical problems in logic :