Abstract

I am concerned with two theses of quine's which pertain to identity statements and names. My purpose is to prove that they are inconsistent, I.E., That not both can be true. The two theses are: (q1) (=a) can be treated as a simple predicate, And (q2) any statement of the form (a=a) is logically true