Поляков Олег Маратович – кандидат технических наук (1982), доцент кафедры информационных технологий предпринимательства
ул. Большая Морская, д. 67, лит. А, Санкт-Петербург, 190000
Oleg M. Polyakov – Can. Sci. (Engineering) (1982), Associate Professor at the Department of Information Technology of Entrepreneurship
67 Bol’shaya Morskaya str., St Petersburg 190000
Введение. Статья продолжает серию публикаций по лингвистике отношений (далее R-лингвистика) и посвящена изучению функционирования логических связок с глаголами. Статья представляет собой первую часть обсуждения внутренней логики, которая изучает использование логических связок внутри предложений. Это исследование предполагает формирование семантической логики, т. е. логики, учитывающей семантику предложений.Методология и источники. В качестве инструментов исследования используются результаты, полученные в предыдущих частях серии. Для разработки необходимых математических представлений в области внутренней логики используются сформулированные ранее семантические понятия и операции.Результаты и обсуждение. Проанализировано использование логических связок с глаголами. Показано, что эти связки фактически относятся к внешней логике, хотя в некоторых случаях требуется корректировка членов предложения, учитывающая семантику лингвистической модели. Определено понятие семантической подстановки и для глаголов сформулировано и обосновано первое правило подстановки.Заключение. Отказ от традиционного взгляда на логику естественного языка означает отказ от логических операций и логического вывода. Это принуждает к рассмотрению логических операций, которые теперь учитывают семантику, поскольку связаны со структурой лингвистической модели. Анализ функционирования логических связок с глаголами показывает, что они связаны с лингвистической моделью, что приводит к необходимости различных семантических трансформаций текста, когда такие связки применяются. В частности, использование логических связок может приводить к потере смысла текста. Отказ от логического вывода компенсируется появлением правил семантической подстановки, одно из которых рассмотрено в данной работе.
Introduction. The article continues a series of publications on the linguistics of relations (hereinafter referred to as R-linguistics) and is devoted to the study of the functioning of logical connectives with verbs. The article is the first part of the discussion of internal logic, which examines the use of logical connectives within sentences. This research involves the formation of semantic logic, that is, logic that takes into account the semantics of sentences.Methodology and sources. The results obtained in the previous parts of the series are used as research tools. To develop the necessary mathematical representations in the field of internal logic, the previously formulated semantic concepts and operations are used.Results and discussion. The use of logical connectives with verbs is analyzed. It is shown that these connectives actually refer to external logic, although in some cases it is necessary to adjust part of sentence, taking into account the semantics of the linguistic model. The concept of semantic substitution is defined and the first rule of substitution for verbs is formulated and justified.Conclusion. Abandoning the traditional view of natural language logic means abandoning logical operations and logical inference. This forces us to consider logical operations that now take into account semantics, since they are related to the structure of the linguistic model. Analysis of the functioning of logical connectives with verbs shows that they are related to the linguistic model, which leads to the need for various semantic transformations of the text when such connectives are used. In particular, the use of logical connectives can lead to the loss of the meaning of the text. The rejection of logical inference is compensated by the appearance of semantic substitution rules, one of which is considered in this paper.
The authors declare that there are no conflicts of interest present.