Лингвистический принцип композициональности значений в формально-аксиологической семантике естественного языка (формально-аксиологические значения бинарных связок "... с...", "... без...", "... в...")

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

The investigation object is a not-well-studied formal-axiological semantics of natural language. The subject-matter - formal-axiological meanings of the binary connectives “(being of) ... in ...”, “(being of) ... with ...”, “(being of) ... without ...”. The abstract linguistic analysis is exemplified by the language of theology. However, the subject-matter of investigation is not theology but its language - the subject-matter of philology, namely, linguistics. The exploited method is constructing and studying discrete mathematical model of the original - a system of formal-axiological meanings of the binary connectives “(being of) ... in ...”, “(being of) ... with ...”, “(being of) ... without ...”. The results of studying the model are tested by the specific material of indicated fragment of natural language. It has been demonstrated that the submitted precise tabular definitions of formal-axiological meanings of the mentioned binary connectives make it possible to substantiate some important tenets by “computing” relevant compositions of the positive-constant-evaluation-function and the evaluation- functions, which are formal-axiological meanings of the connectives under review.

формально-аксиологическая семантика, формально-аксиологические значения, ценностные функции, формально-аксиологическая эквивалентность ценностных функций, двузначная алгебра формальной аксиологии, формально-аксиологические значения бинарных союзов ".с.", ".без.", ".в.", принцип композициональности формально-аксиологических значений
formal-axiological semantics, formal-axiological meanings, evaluation functions, formal-axiological equivalence of evaluation functions, two-valued algebra of formal axiology, formal-axiological meanings of binary connectives, ".in.", ".with.", ".without.", principle of compositionality of formal-axiological meanings