A pragmatic logic of hypotheses