SMS dit: Philosophy of Logic /