What is logical instrumentalism defined briefly?