Аннотация результатов, полученных в 2020 году

План работ 2020 г., в целом, выполнен, планируемые результаты, в основном, получены по всем пяти направлениям: репрезентации аргументации, оценка аргументов, отбора решений спора, предъявления аргументов и модификации агентных профилей. В 2020 г. были созданы аналитические обзоры, базовые формализмы и основы механизмов их применения для созданий комплексной теории поиска и отбора решений спора. В рамках решения задачи создания унифицированного формального представления аргументативного спора были систематизированы современные результаты в области формальных подходов к репрезентации аргументации на основе двух критериев: абстрактное понимание и качественная оценка аргументов. Выделено три основных взгляда на аргумент: выводной, диалогический и абстрактный, отличающиеся методами репрезентации и критериями оценки. В рамках создания алгоритма поиска решений спора для отбрасывания непригодных аргументов предложено понятие ложного аргумента как сильно непригодного по максимальному количеству критериев пригодности для каждого из трех взглядов на аргументы. Продемонстрировано, что понятие ложного аргумента актуально для диалогического аргумента в целях эффективного завершения спора с непустым решением. Создан аналитический обзор исследований в области репрезентации аргументов посредством схем аргументации, предложено понятие базовых схем аргументации, в частности, абдуктивной схемы, и сформулированы ее отличительные характеристики от прочих схем. Уточнены схемы аргументации для репрезентации двух правдоподобных аргументов, аргумента к незнанию и аргумента от тишины, группы критических вопросов к ним, посредством которых осуществляется их проверка и отбрасывание непригодных аргументов. В рамках создания комплексной методологии обобщенной би-компонентной семантической оценки аргументов построена формальная модель модифицируемой аргументации, позволяющая варьировать ее оценку. Построена аксиоматизирована полу-коннексивная логика с импликацией аргументативного типа. Предложена логика «случайной импликации» для оценки аргументов, основанных на причинных оношениях. Предложена концепция семантического каркаса формальных моделей аргументации в рамках процедурной трактовки значения, включающая определения неподвижных точек спора: минимальной, внутренней и максимальной. Даны определения разрешимости, частичной разрешимости и неразрешимости спора, позволяющие выразить взаимосвязь между результатами спора в различных аспектах его оценок. Сделан вывод о том, что неподвижная точка как логический концепт является основанием метафоры вычислительной процедуры или «процессинга», которая остаётся ведущей в нашем понимании аргументативных взаимодействий. В ходе разработки теоретико-модельного семантического формализма для базовых бинарных отношений аргументов выделены две возможные трактовки риторических отношений в дискурсе с точки зрения их формализации: в одном случае отношения трактуются так, как в SDRT Н. Эшера и А. Ласкаридес, т. е. как предикаты, приписываемые парам дискурсивных референтов; в другом — как операции, а не единицы, т. е. подобно операциям обновления в динамических семантиках. В последнем случае различные риторические отношения (из группы «прагматических», ответственных за структурирование текста) можно рассматривать как различные способы, какими фрагмент дискурса вносит своё содержание в общее информационное состояние слушающего. Такая трактовка позволяет заменить эксплицитное приписывание отношений в семантическом представлении текста различиями в типах обновления, связывающих фрагменты дискурса (ср., например, ассертивное vs. неассертивное обновление в анализе эвиденциальных конструкций у С. Мюррей). Предполагается, что таким образом можно более прямо, чем в рамках SDRT, объяснить роль риторической структуры в поведении пресуппозиции и анафоры, поскольку важной функцией операций обновления является обеспечение анафорических отношений. Не нашла подтверждения гипотеза о возможности совместить семантический анализ аргументации на Дунговых структурах с ее семантическим анализом на основе теории риторических структур. В ходе исследования трех корпусов аргументативных схем и их аппарата было установлено, что аргументативные схемы отражают наиболее общие типы рассуждений-аргументов. Была систематизирована классификация схем аргументации и предложено решение вопроса базовых (условное название) схем. В процессе создания классификации действий агентов в споре, характеризующих прагма-риторическое поведение агентов и изучения неспецифических для убеждающего взаимодействия агентов действия извинения и прощения было установлено, что так наз. перформативные подходы к прощению не используют фундаментальные для теории речевых актов понятия, и допускают номинальное обращение с ее основными терминами. Средствами логики действий и пропозициональной динамической логики показана невозможность синтетического подхода к прощению, объединяющему его комиссивную и декларативную составляющие. Показано, что интерпретация прощения как многоуровневого процесса принятия решения агентом позволяет развести отказ прощать как таковой и уклонение от прощения даже в тех случаях, когда и то и другое выражаются в не-действиии агента, его молчании. Проведено качественное исследование поведения в спорах представителей трёх поколений (выделенных по критериям теории поколений), которое позволило описать типы их поведения в споре в критической ситуации. В результате исследования двух форм презентации аргументации (мотивированная и нейтральная) было показано, что на индивидуальном уровне заинтересованность агента затрудняет для него поиск и обретение истины, на коллективном уровне такой интерес способствует нахождения истины в результате противоборства мотивированных сторон. В ходе исследований по проекту подтвердилась перспективность организации работ в подгруппах, состоящих из ведущего и молодых ученых. По итогам обсуждения полученных в 2020 результатов члены коллектива проекта совместно с локальными организаторами конференции пришли к выводу о необходимости усилить работу по популяризации исследований аргументации, что будет продолжено посредством организации семинаров по проекту в региональных университетах. Результаты опубликованы (приняты к публикации в 2021 г.) в 10 статьях в рецензируемых изданиях, включая 5 – в изданиях, индексируемых базах данных WoS и Scopus, доложены на специальной сессии по проекту в рамках конференции Homo Loquens (Калининград, БФУ им. И. Канта, декабрь 2020). Подана и принята заявка на проведении специальной секции в рамках международного Конгресса универсальной логики UNILOG 2021 ‘Trends in argumentation logic’. Создан информационный ресурс о проекте http://argumentation.tilda.ws/.

Аннотация результатов, полученных в 2021 году

В 2021 году коллектив осуществлял исследования по пяти направлениям проекта: 1. репрезентация аргументации; 2. оценкааргументов; 3. поиск и отбор решений спора; 4. предъявление аргументов; 5. модификация агентных профилей. В целом планисследований 2021 года выполнен, запланированные результаты получены. Исследования по направлениям 1-3 вступили взавершающую фазу, став техническим основанием для перехода в основную фазу исследований по направлениям 4 и 5.

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

Представлена логическая экспликация обновления эпистемического профиля агента спора средствами интуиционистскойэпистемической и доксастической логик: IEL для эпистемической логики и IEL— для доксастической логики из-за их трактовкипонятия знания и убеждения в контексте интуиционизма. Установлена логическая форма действия, направленного агентом на себя сцелью само-убеждения и осуществленного с приложением нулевого или ненулевого усилия, т.е. контингентно или намеренно.Предложены понятия агентных домена и профиля, позволяющие описывать средствами логики действий поступки агентов,оканчивающиеся одним и тем же результатом, но имеющие разные намерения. Выявлены неспецифические пререквизиты само-убеждающего воздействия, дана их формальная экспликация.

Для лингвистического моделирования предъявления аргументов предложено трактовать риторические отношения в духе явления«дально-действия» (tele-scoping), когда именная группа с семантикой всеобщности может связывать местоимение в следующемпредложении. В случаях «дальнодействия» предложено выделять операцию, сохраняющую означивание таких переменных изпредыдущего фрагмента дискурса, а в прочих случаях предлагается считать, что применяется операция, «забывающая» значениятаких вре́менных переменных. Д ана формализация этих операций. В русскоязычном аргументативном дискурсе выявлено двегруппы риторических отношений. Первая включает Обоснование, Свидетельство, Антитезис, Результат, Противопоставление, Решение, Причина, Уступку, Обстоятельство, которые способны маркировать наличие аргумента в тексте, указывая на признакиаргументативности отношений между дискурсивными единицами, находящимися вне аргумента. Вторая группа включает Детализацию, Соединение и Последовательность, которые могут обладать аргументативными характеристиками только в структуреаргумента и менять характеристику за его пределами.

Проведено разграничение между аргументативным и не-аргументативным использованием абдукции как порождения гипотез вусловиях нехватки или недостоверности информации. Предложено считать абдуктивным аргументом правдоподобноерассуждение, сохраняющей агентный статус незнания информации.

Разработана новая аргументативная схема аргумента к беспомощности, относящаяся к области практической аргументации.Предложен ряд критических вопросов для проверки обоснованности аргументов по данной схеме. Продемонстрированывозможности агрегирования моноагентных убеждений в групповые убеждения при помощи мультипликации практик аргументациио действиях в публичных делиберативных дискуссиях на примере споров в соцсетях по актуальным вопросам вакцинации,карантинных ограничений, экологии и т.п.

Поддерживаются веб-сайт проекта https://argumentation.tilda.ws/ и https://argumentation.ru. Результаты доложены в 37выступлениях на 15 научных мероприятиях и в 25 публикациях, в т.ч. 9 статьях в научных журналах, включая 6статей в журналах, индексируемых WoS и Scopus. Планы по выступлениям и публикациям перевыполнены.

Публикации (2020 г.)