Введение

В любой из нескольких областей исследования, изучающих использование знаков – например, в лингвистике, логике, математике, семантике, семиотике и философии языка – экстенсиональный контекст (или прозрачный контекст) представляет собой синтаксическую среду, в которой субсентационное выражение *e* может быть заменено выражением с тем же расширением, не изменяя истинности предложения в целом. Экстенсиональные контексты противопоставляются интенсиональным (непрозрачным) контекстам, где подстановки, сохраняющие истинность, невозможны. Рассмотрим случай Кларка Кента, который тайно является Суперменом. Предположим, Лоис Лейн выпала из окна, и Супермен поймал её. Следовательно, предложение «Супермен поймал Лоис Лейн» истинно. Поскольку это предложение представляет собой экстенсиональный контекст, предложение «Кларк Кент поймал Лоис Лейн» также истинно. Любого, кого поймал Супермен, поймал и Кларк Кент. В противоположность экстенсиональным контекстам существуют интенсиональные контексты (которые могут включать модальные операторы и модальную логику), где термины нельзя подставлять, не рискуя изменить истинность. Предположим, Лоис Лейн верит, что Кларк Кент будет расследовать новость вместе с ней. Таким образом, предложение «Лоис Лейн верит, что Кларк Кент будет расследовать новость с ней» истинно. Однако утверждение «Лоис Лейн верит, что Супермен будет расследовать новость вместе с ней» ложно. Это происходит потому, что глагол «верить» обычно создаёт интенсиональный контекст. Лоис Лейн не верит, что Супермен – это Кларк Кент, и пропозициональное отношение «верить» создаёт интенсиональный контекст, поэтому подстановка изменяет смысл исходного предложения.