Linguistic Data Model for Natural Languages and Artificial Intelligence. Part 7. Internal Logic 1

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.

Authors: Polyakov O.M.

Direction: Linguistics

Keywords: R-linguistics, ascription operation, interpretation operator, substitution rule, semantics


View full article