Αποστολή με SMS: Meaning and Proscription in Formal Logic