Abstract

An appraisal of the current status of the modalities and of quine's arguments against them. The author accepts "quine's thesis," that one cannot quantify into referentially opaque contexts, And argues that nobody has succeeded in making sense of such quantification. However, It is shown that modal constructions, Being constructions on general terms and sentences, Can be referentially transparent and extensionally opaque and that consequently the collapse of modal distinctions warned against by quine in "word and object" can be avoided. This combination of referential transparency and extensional opacity is just what quine means by essentialism, And the author therefore agrees with quine that quantified modal logic commits one to essentialism