Text this: Everything that linguists have always wanted to know about logic :