Рассмотрены две идеи для семантики спора (аргументативной дискуссии), модель которого основана на метафоре "процессинга" или процедуры. Модели спора и аргументации представляют собой формальные системы, воспроизводящие взаимодействие свободных агентов. Задача логической семантики состоит в интерпретации формализованного языка описания спора. Как процесс он предполагает завершение, связанное с приданием аргументации некоторой оценки. В статье представлены три аспекта этого значения. Первый касается изменения эпистемических установок, второй - характера взаимодействия, третий - влияния на аудиторию. Комбинации желаемых агентами оценок хода спора в этих трех аспектах позволяют дать ряд характеристик результату взаимодействия агентов в споре. Прекращение спора происходит при достижении агентами желаемых или приемлемых оценок взаимодействия. При этом выдвижение новых аргументов не влияет на изменение оценок ни в одном из аспектов. Для описания этого состояния спора использовано понятие неподвижной точки. Рассмотрены виды неподвижных точек спора: минимальная, внутренняя и максимальная. Каждая неподвижная точка может быть полной или неполной, в зависимости от того, достигнут ли желаемый результат во всех аспектах оценки. С помощью неподвижных точек в статье даны определения разрешимости, частичной разрешимости и неразрешимости спора. В частности, спор может оказаться разрешимым в эпистемическом отношении, т. е. завершиться изменением установок агентов, но неразрешимым в аспектах их взаимодействия или их влияния на аудиторию. Возможна и обратная ситуация. Неподвижные точки позволят также дать характеристику такому предельному понятию как "бесконечный спор", а также установить взаимосвязь между результатами спора, выраженными различными аспектами его оценок. Сделан вывод о том, что неподвижная точка как логический концепт является основанием метафоры вычислительной процедуры или "процессинга", которая остаётся ведущей в нашем понимании аргументативных взаимодействий.

The article presents two ideas for the semantics of a dispute, the model of which is based on the metaphor of "processing". Abstract models of dispute and argumentation are formal systems that reproduce the interaction of agents. The task of logical semantics is to interpret the formalized language in which the dispute is described. The dispute as a process presupposes a finishing, which is associated with assignment of some meaning to the argumentation. The article describes three aspects of this meaning: epistemic, interactional and influentional. The combinations of the assessments desired by the agents make it possible to give a number of characteristics to the result of dispute. The end of the dispute occurs when the agents reach the desired or acceptable estimates. At the same time new arguments does not affect the change in assessments. The concept of a fixed point is used to describe this state of dispute. Three types of fixed points of the dispute are considered: minimal, internal and maximal. Each fixed point can be complete or incomplete. Using fixed points I give definitions of solvability, partial solvability and unsolvability of a dispute. In particular, the dispute may turn out to be solvable only in epistemic aspects that is, it may finish in a change of the attitudes of the agents, but not solvable in the aspects of interaction or influence. Fixed points allow characterizing such a concept as "endless dispute", as well as establishing the relationship between the results of the dispute, which are expressed by various aspects of its assessments. It is concluded that a fixed point as a logical concept is the basis of the metaphor of a computational procedure or "processing", which remains the leading one in our understanding of argumentative interactions.

Общество. Коммуникация. Образование = Society. Communication. Education. — Санкт-Петербург: СПбПУ, 2020-. — Электрон. журнал. — Периодичность: 4 раза в год. — Свободный доступ из сети Интернет (чтение, печать, копирование).

Общество. Коммуникация. Образование = Society. Communication. Education. — Санкт-Петербург: СПбПУ, 2020-. Т. 11, № 3, 2020. — 1 файл (5,69 Мб). — Свободный доступ из сети Интернет (чтение, печать, копирование). — <URL:http://elib.spbstu.ru/dl/2/j21-32.pdf>.