SMS dit: Philosophy of logic