Meaning and justification: The case of modus ponens