[pt] The Logical Structure of Linguistic Theory