Text this: Philosophy of logic