Abstract

Spontaneously, one might want to object that it is essential to ordered pairs that they can contain the same members and yet be different: ≠. Hence, it may be argued, no set-theoretical substitute can fully capture the sense in which ordered pairs are ordered. Quine, however, rejects all such talk of essences and senses. As I will show, this anti-essentialist attitude is intimately related to his view of the ontological import of explication procedures. According to Quine, an explication should help us reform our established theory of the world so that the resulting scheme assumes an ontology that is as sparse as possible. Allegedly, what Wiener and Kuratowski show is simply that whatever good is accomplished by talking of ordered pairs can be accomplished by talking of sets. And, Quine adds, ‘[a] similar view can be taken of every case of explication: explication is elimination’.