Три аспекта оценки аргументации в споре и его неподвижные точки

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