Объект исследования - недостаточно изученная формально-аксиологическая семантика естественного языка. Предмет изучения - формально-аксиологические значения бинарных союзов «(бытие) … в …», «(бытие) … с …» и «(бытие) … без …». Абстрактный лингвистический анализ осуществляется на конкретном примере языка теологии. Однако предметом исследования является не теология, а её язык - предмет филологии, точнее, лингвистики. В качестве метода используется построение и изучение дискретной математической модели предмета исследования - системы формально-аксиологических значений двуместных связок «бытие … в …», «бытие … с …» и «бытие … без …». Результаты изучения модели тестируются на конкретном материале указанного фрагмента естественного языка. Демонстрируется, что представленные в статье точные табличные дефиниции формально-аксиологических значений указанных бинарных связок дают возможность обоснования некоторых важных догматов «вычислением» релевантных композиций положительной ценностной функции-константы и ценностных функций, являющихся формально-аксиологическими значениями вышеупомянутых связок. формально-аксиологическая семантика, формально-аксиологические значения, ценностные функции, формально-аксиологическая эквивалентность ценностных функций, двузначная алгебра формальной аксиологии, формально-аксиологические значения бинарных союзов, "… с …", "… без …", "… в …", принцип композициональности формально-аксиологических значений
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 …”. Results of studying the model are tested by the specific material of indicated fragment of natural language. It is 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
Полный текст>>