"Traditional logic's failure to do so [incorporating relations into term logic] was due not to its syntax, but to (i) the absence of an adequate system of formal notation, and (ii) the failure to make explicit the logical forms of pronouns."