SMS: Philosophy of Logic /