Inference, Consequence, Implication: A Constructivist's Perspective