Linguistics and logic : conspectus and prospects