Books on Amazon
Identity / one-place predicates / Stalnaker: you can not generally treat sentences as predications. E.g. "x^(Hx u Gx)" is an instance of the form Fs, but "(Hs u Gs)" is not (-> Substitution) - therefore our identity scheme is more limited than Leibniz s law is usually formulated.
Ways a World may be Oxford New York 2003