Meaning and Proscription in Formal Logic