A respected Harvard logician and philosopher gathers together twenty-nine writings dealing with the foundations of mathematics, Rudolf Carnap, lin-guistics, ...

Shows that when Qyuine's criterion of ontological commitment is modified to allow for the legitimacy of substitutional quantification, two consequences follow: (i) fundamental questions of ontology cease to be settled by mere appeal to logical form and truth, and (ii) a powerful method for reducing ontological commitments becomes available.

From Parmenides to the present, philosophers have been attracted by characterizations of being as being uttered or utterable, formulated or formulable. But what for Parmenides was presumably a valid co-entailment between antecedently understood concepts reappears in contemporary thought as a proffered explication of what it is to be. Without presuming to discredit Parmenidean views in general, my purpose here is to examine certain members of a modern family of theories of existence that fall into place around Quine’s. Depending on the (...) methodology of explication espoused, the theories in this family are either semantic commentaries on ideal languages, or they are themselves interpreted formalized languages. The former may be called, after Quine, theories of ontological commitment. The theories of the latter sort I wish to consider are called, after Karel Lambert, free logics, i.e., logic systems the singular terms of which are free of existential import. My conclusion about theories of both kinds is that, while unexceptionable on their own terms, from a broader point of view they beg the question of what it is to be. In arguing that these theories thus fail to clarify the concept of existence, I believe I am not so much propounding a new insight as articulating an objection many thinkers have felt in the face of views akin to Quine’s. (shrink)

It is persons who are ontologically committed. But a person is not ontologically committed by virtue of his character, his height, his social standing or whatever, but by virtue of the sentences he assents to. Hence we should look to sentences for a criterion of ontological commitment. This is precisely what is done by advocates of what I will call the Referential theory. In this paper I argue that the Referential theory faces serious objections related to the role paraphrase must (...) play in it. I then present a modified Referential theory and go on to discuss certain implications of the modified theory. More precisely, the paper divides up as follows. In §1 I present the Referential theory. In §2 I argue that it is in trouble over paraphrase. In §3 I consider a general objection to the arguments of §2. In §4 I present the modified theory. In §5 I consider the implications of the modified theory for polemic over what there is and for the existence of properties or universals. (shrink)