Вторая возможность, то есть переход от личного чувства к общезначимому правилу, порождает еще две возможности: или же можно изобрести «рациональный» язык, выражающий все объекты, все действия, состояния духа, отвлеченные понятия, которыми должна пользоваться всякая культура, чтобы описывать мир (и таким замыслом вдохновлялось немало попыток, предпринятых в XVII в.), или же нужно добраться до выявления «языка мышления», коренящегося конечно же в универсальном функционировании человеческого разума, термины и высказывания которого можно выразить на некоем формализованном языке. На деле две эти версии равнозначны, поскольку даже для выявления предполагаемого языка мышления нужно так или иначе установить его грамматику. И покуда мы не сможем шаг за шагом регистрировать все, что происходит у нас в мозгу или в уме, этот язык мышления тоже будет гипотетическим конструктом, вдохновленным некими критериями рациональности, которые дает, например, формальная логика.
Последнюю альтернативу более или менее благосклонно рассматривают многие ученые, занимающиеся машинным переводом. Должно найтись некое
Но возьмем, например, высказывание поэтическое, хотя бы вот этот стих Верлена:
Достаточно вспомнить знаменитый пример Якобсона
Поэтому понятие неизменного пропозиционального содержания приложимо лишь к очень простым высказываниям, которые выражают состояния мира и не являются, с одной стороны, двусмысленными, а с другой – ауторефлексивными, то есть сформулированными с целью привлечь внимание не только к их значению (сигнификату), но и к их означивающему (сигнификанту): таковы, например, звуковая и просодическая стороны.
Но даже если мы согласимся с тем, что для простейших высказываний с денотативной функцией перевод возможен, нельзя будет избежать классического возражения, построенного на понятии «Третьего Лица». Чтобы перевести текст А на языке Альфа и получить текст В на языке Бета (и чтобы сказать, что В представляет собою верный перевод А и ему равнозначен), нам придется обратиться к некоему метаязыку Гамма и таким образом решить, в каком смысле А эквивалентен по значению тексту Г на языке Гамма. Но, чтобы сделать это, потребуется новый метаметаязык Дельта, чтобы А был равнозначен Д на языке Дельта, а затем – метаметаметаязык Ипсилон, и так до бесконечности.