2. 3. Отношения.

Отношения задаются как тройки w_i = <N(w_i), A₁, A₂>. Первое место в них занимает имя отношения (здесь оно названо — N(w_i)), второе место — переменная, определенная на множестве имен предикатов (назовем его {M_l}), третье место занимает переменная, определенная на множестве референтов (назовем его {M_n}).

2. 4. Предикаты.

Предикат Р задается как n-ка (кортеж из n элементов) P=<N(P), A₁, w_j,.. .. A_q, w_i>, первое место в которой занимает имя предиката (здесь оно названо — N(P)), второе место занимает переменная А₁, определенная на множестве референтов (назовем его {М_к }), третье место занимает двухместное отношение w_j, определенное на множестве {M_l}, таком, что N(P){M_l}, и множестве {M_k}...(n-1)-ое место занимает переменная A_q, определенная на множестве референтов (назовем его {M_m}), а n-тое место занимает отношение w_i, определенное на множествах {M_l} и {M_m}. Референтная переменная и связанное с ней отношение будет называться валентностью предиката. Валентностей у предиката, таким образом, столько, сколько переменных в n-ке. По числу валентностей предикаты будут называться одноместными, двухместными и т. д. Из сказанного выше ясно, что предикат — это структурообразующая единица, главное свойство которой по терминологии немецкого логика Г. Фреге — ненасыщенность, требование дополнить структурно неполные места (валентности) конкретными референтами из множеств, на которых определены соответствующие переменные.

3. Правила построения интегрантов в гСемП.

3. 1. Построение эсф.

Валентности предиката считаются заполненными, если на место свободных переменных в нем подставлены константы или связанные переменные. Под ЭСФ будет пониматься дерево, такое, что a) в его вершине стоит имя предиката; b) из узла имени предиката выходят стрелки, которые обозначают отношения, входящие в n-ку предиката; c) отношение кодирования (nom), связывающее имя предиката с ситуативным референтом a₀, соответствующим той конкретной ситуации реального или воображаемого мира, языковые параметры которой задает имя предиката и ради кодирования которой данный предикат и появляется в семантической структуре (стрелка, обозначающая это отношение (nom), и референт, к которому она идет, не входят в число валентностей предиката, стоящего в вершине формулы; a₀ включает в себя в качестве компонентов референты, заполняющие валентные места предиката); d) отношение именования (B), связывающее имя предиката с тем референтом, который находится в фокусе обозначения в данной ЭСФ; отношение именования — это не то же самое, что отношение кодирования, упомянутое выше; предикат может именовать не только a₀, но и — теоретически — любой из своих актантов (так, в существительном ВОШЕДШИЙ именуется первый актант, в существительном НОША — второй и т. д.), в то время как стрелка nom может связывать предикат только с a₀; понятие фокуса обозначения введено здесь для того, чтобы подчеркнуть тот факт, что кроме референта, находящегося в этом фокусе и обозначаемого в дальнейшем термином “значение”, в семантической формуле знака может оказаться референт, не именуемый вершинным предикатом формулы, а иногда и вообще не именуемый никаким предикатом; так, в семантической формуле субстантивированной лексемы ЭТОТ (толкуется как ‘близкий к говорящему’) два референта: один соответствует предмету, располагающемуся близко к тому, кто говорит, второй — тому, кто говорит, но только один из них именуется (первый); он и является по Фреге значением лексемы ЭТО; второй референт формулы не именуется вообще, он входит по Фреге в смысл лексемы; поскольку в роли значения может оказаться любой референт ЭСФ, для сокращения количества стрелок в формуле мы примем соглашение, по которому стрелка отношения кодирования (в честь открытого Г. Фреге противопоставления понятий “смысл” и “значение” — по-немецки Sinn и Bedeutung — я буду обозначать это отношение большим латинским B — от Bedeutung) сливается со стрелкой, ведущей к референту формулы, совпадающему с референтом, к которому ведет стрелка B. При этом имя новой стрелки через точку дополняется значком B. Валентные места предиката в ЭСФ должны быть заполнены. Примеры ЭСФ:

‘Caus’ ‘Exist’ ‘Loc’

_{1 nom.B 2 1 nom.B 2 1 nom 2.B}

        

a₁ a₀ a₂ a₁ a₀ a₂ a₁ a₀ a₂

В этих формулах ‘Caus’, ‘Exist’ и ‘Loc’ — имена предикатов причины, существования и местонахождения. Все они двухвалентны (у предиката ‘Exist’ первая валентность — на то, что существует, вторая — на то, в каком мире существует данный объект). В первой и второй ЭСФ предикат кодирует a₀ , в третьей — a₂.