У статті робиться спроба вирішити питання онтології можливих світів для семантики можливих світів як інструменту сучасної логіки. Автором висувається припущення, згідно з яким у можливих світах допустима будь-яка довільність щодо їх онтології та повноти опису, доки ця довільність не впливає на істинність/хибність суджень у можливому світі. У випадку ж, якщо певного роду онтологічний параметр, який ми вводимо після встановлення істинності/хибності судження для конкретного можливого світу, певним чином змінює значення судження, цей параметр є недопустимим, оскільки можливий світ стає інструментально непридатним для (...) конкретного дослідження, задля якого цей можливий світ змодельовано. (shrink)