  One reason that Leibniz's conception of possible worlds has attracted the sympathetic attention of some contemporary philosophers and has proven appealing is that it appears to foreshadow the developments in possible-worlds semantics. According to this view, our basic modal concepts—necessity, contingency, possibility and impossibility—can be defined in straightforwardly non-modal terms.