Аналогично, применительно к имени: его смысл можно представить только как функцию, т.е. чисто формальное отношение, которое не имеет и не требует какой-либо материализации. Но к этому определению смысла можно добавить и содержательный аспект: это условия денотации, т.е. применительно к каким мирам и посредством каких текстов и коммуникативных контекстов может быть осуществлена денотация. Тем самым смысл как отношение может быть реализован и как описание модели соотнесения, и как описание модуса существования в этой модели (в некотором множестве возможных миров) некоторого объекта (смысл имени собственного) или класса объектов (смысл имени нарицательного). Это есть соотнесенное с данным знаком его модальное измерение. При актуализации данного знака модальные характеристики соотносятся с миром-контекстом коммуникации, в результате чего определяется денотация данного знака применительно к некоторому миру-контексту.
Обобщая, можно наметить принципы той версии семиотики, которая исходит из модального понимания семантики знака, что влечет за собой ряд других принципов. Традиционная, или классическая семиотика – это теория знаков и знаковых систем, которая «изучает роль знаков и знаковых систем в социуме» (соссюровский подход, подход Пирса к семантике как к формальной системе получил развитие в основном в логике). Основные семиотические процессы – это сигнификация, т.е. процессы соотнесения знака и его означаемого (Соссюр), или же интерпретация – процессы соотнесения некоторого предмета, выступающего как знак, с другим объектом, замещаемым этим знаком (Пирс). Тем самым ни сигнификация, ни интерпретация не предполагают коммуникации, но при этом являются бесконечным процессом: и при интерпретации, и при сигнификации один знак отсылает к другому знаку без какого-либо указания на пределы, когда этот процесс можно считать завершенным. Согласно Пирсу, этот процесс определяется отношениями между предметами, по Соссюру – внутрисистемными парадигматическими и синтагматическими отношениями. Процессы коммуникации, равно как деятельности, процесса оперирования знаками, если и присутствуют в описании, то как нечто привнесенное извне.
Та версия семиотики, которую можно назвать модальной, не ограничивается вышеописанным модальным пониманием знака, а требует привлечения и иных принципов, в первую очередь тех, что давно выработаны в логической семантике. Это, во-первых, основанная на концепции Фреге теоретико-множественная семантика, во-вторых, теории истины и значения (Витгенштейн, Тарский), в-третьих, теория языковых игр (Витгенштейн). Основой же явится семантика возможных миров.
Основными отличиями модальной версии семиотики от классической будут следующие:
1. Модальная семиотика основывается на семантике возможных миров и связанных с ней концепциях (семантика пропозициональных установок, интенциональность и т.д.). Соответственно, она будет предусматривать теоретический и дескриптивный инструментарий для рассмотрения таких явлений, как соотнесенность между модальностями, проявления субъективности и так называемых объективных модусов в языке и речи, зависимость смысла и денотации от контекста, выражение и обозначение возможных и несуществующих объектов, возможность описания будущего и прошлого, в том числе и их альтернатив, и т.п., всего того, что для описания средствами немодальной референтной семиотики представляет значительные трудности, если вообще возможно.
2. Подобная семиотика будет контекстно-зависимой. Это будет касаться самого определения знака – смысл и денотат знака не абсолютны, а определяются контекстом. Но контекстуальным отношением является не только соотнесение имени и объекта, но и внутренние принципы организации языкового смысла; уже в самой языковой системе имя характеризуется контекстуально-зависимым смыслом. Неизбежная при модальном понимании смысла релятивизация денотации соотносится с контекстуальной релятивизацией, как внешне-, так и внутритекстовой. Еще одним типом контекстуальной зависимости могут быть различные конфигурации интертекстуальных отношений.
3. Корреллятом контекстно-зависимой семантики в экстралингвистической сфере явятся межмировые отношения (модельные структуры, по Крипке). Множества возможных миров и отношения между ними – это не только область интерпретации, но и компонент смысла, т.е. механизма самого соотнесения мира и знаковой системы. В свою очередь, системы этих миров для своего выражения имплицируют создание новых знаковых систем и транформацию имеющихся.