It has been maintained that we need not tolerate such entities as pains, events, tasks, and obligations. They are indeed not required in connection with sentences like ‘Jones has a pain’, ‘the event of the sun’s rising occurred at eight’, ‘Jones performed at eight the task of lifting a stone’, or ‘Jones has the obligation to give Smith a horse’, which can be paraphrased without reference to the entities in question—for instance, in the case of the second example, as ‘the (...) sun rose at eight’. (shrink)

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.