display all the ideas for this combination of texts
1 idea
17594 | We can paraphrase 'x=y' as a sequence of the form 'if Fx then Fy' [Quine] |
Full Idea: For general terms write 'if Fx then Fy' and vice versa, and 'if Fxz then Fyz'..... The conjunction of all these is coextensive with 'x=y' if any formula constructible from the vocabulary is; and we can adopt that conjunction as our version of identity. | |
From: Willard Quine (Word and Object [1960], §47) | |
A reaction: [first half compressed] The main rival views of equality are this and Wiggins (1980:199). Quine concedes that his account implies a modest version of the identity of indiscernibles. Wiggins says identity statements need a sortal. |