В. Н. Карпович Дэвид Льюис в своей теории законов отвергает подлинность невозможных миров на том основании, что противоречие, заключенное в рамках его модификатора «в (мире) w», равносильно противоречию во всей теории, что представляется неприемлемым. Вместе с тем, все чаще в философии рассматриваются невозможные, контрфактические миры и конструируются мысленные эксперименты с ними. Возникает необходимость расширения теории возможных миров на подлинные, конкретные, но невозможные миры. Один из способов сделать это заключается в отказе от принятого Льюисом классического отрицания на том основании, что оно ведет к проблемам полноты и совместимости миров. Такой подход совместим с экстенсиональной метафизикой Льюиса, хотя и ведет к некоторым потерям полноты описания в семантике.
Научная статья 
метафизика