Никому не придет в голову считать фразу Одиссей умен или Сатиры злобны аномальными или даже ложными на основании того, что ни Одиссея, ни сатиров не существует в реальном мире. Имена, называющие объекты, не существующие в реальном мире вообще, или, по крайней мере, в наше время, часто употребляются, если речь идет о каких-то других временах или возможных мирах. В существовании короля Франции, или Одиссея, или Пегаса, или единорога нет никакого внутреннего противоречия (в отличие, например, от существования круглого квадрата, что в принципе невозможно из-за взаимоисключаемое™ свойств 'быть круглым’ и 'быть квадратным’). Поэтому в логической теории рефе-
278
ренции (С.Крипке, Я.Хинтикка) и возникло понятие возможных миров, в которых предполагается существование таких и подобных объектов (см. главу 3). Для имен Одиссей или сатир такие возможные миры хорошо и подробно описаны. Это миры художественных произведений Гомера и древнегреческих мифов. Поэтому высказывания типа Одиссей умен оказываются истинными, но только в рамках того возможного мира, в котором существует Одиссей.