Strawson, Introduction to Logical Theory (1952)