Настоящая монография посвящена анализу философских вопросов, связанных с двумя альтернативными подходами к интерпретации систем современной кванторной логики. Нестандартные семантики языков имеют существенное значение для решения проблем связи логического и онтологического, соотношения теорий значения и указания. В работе обсуждается связь подстановочной интерпретации с основными принципами стандартной логики, выявляются выразительные возможности формальных языков соответствующих типов. Книга адресована специалистам в области логики и методологии науки, философам, студентам соответствующих специальностей, а также всем интересующимся философскими проблемами современной логики.