Text this: Meaning and Proscription in Formal Logic