Субъективное в языке как открытые термы

Ранее мы уже рассматривали математику как подмножество человеческих языков, если считать языками множество текстов на них, а математикой — множество математических текстов. Заметим, что если мы пронумеруем значения слов языка, например, натуральными числами или эквивалентными конструктивными объектами, то математическая часть может описывать весь остальной человеческий язык.

Теперь, если мы ограничим рассмотренное подмножество до конструктивной математики, то математическое подмножество продолжит порождать человеческий язык, так как множество текстов счетно. Заметим, что в системе λβη описываются любые конструктивные объекты, так как для этого необходимо и достаточно иметь вычислимые функции, рекурсивно перечисляющие множества тех или иных конструктивных объектов. Будем считать, что человеческий язык построен на основе λβη, не вдаваясь ни в детали, ни в механизм перечисления терминов; обратим внимание лишь на следующее.

У слов, которые тем или иным образом оказались закодированы термами, есть некоторые параметры — свободные переменные — они должны обозначать все, от чего зависит объективная интерпретация выражений-фраз, например, контекст, область, ссылки. Снова опустим детали и перейдем от слов, которые имеют значения, необходимые для объективной (точной) интерпретации фразы, к словам, которые таких значений не имеют (быть может, кроме как в очень узких областях человеческой деятельности). Например, возьмем слово «хороший» — его свободные переменные, по крайней мере, включают субъект, которому принадлежит данное отношение к объекту. Таким образом, мы можем даже из слов, не имеющих объективного (точного) значения — мы их будем называть субъективными терминами — построить объективную фразу: абстрагировав субъект, введя по сути общность, и сделав фразу неизбежно неверной (так как всегда найдется субъект, для которого такое отношение не имеет места), либо применив абстракцию к конкретному субъекту, например, говорящему, и тогда анализировать фразу не лишено смысла. Разумеется, время есть тоже часть параметров фразы, но зачастую во фразах время абстрагируется.

Анализ таких фраз может быть построен в рамках того, что субъект сам о себе говорил, или что показывают психологические данные. При доверии к человеку и без должной подготовки в психологии можно лишь замыкать все субъективные утверждения на говорящем, и анализировать их в рамках того, что он сам о себе говорил до этого. Наконец, заметим, что под субъективные утверждения, интерпретация которых как бы заблокирована в общем контексте, попадают любые выражения с незакрытыми термами, а иногда из-за сарказма, к которому ведет определенный стиль и очевидно намеренная ложность фразы, субъективными становятся термины, даже имея объективные значения, но блокируя их ввиду потери контекста (сужения их множества до пустого), в котором фраза верна.