Проект 2020 был нацелен на решение научной проблемы разрешимости аргументативных споров путем создания комплексной методологии анализа аргументации. В ходе исследований 2020-2022 гг. нам удалось заложить фундамент формальной философии аргументации и внести вклад в преодоление современного кризисного состояния в (теории) аргументации путем формулирования корпуса понятий и определений, уточнивших ее предмет, построения формализмов, моделирующих ее различные аспекты и создания алгоритма поиска и отбора решений спора. В Проекте 2023 нам предстоит систематизировать полученные элементы в комплексную методологию анализа аргументации и поиска решений споров, автоматизировать ее и выработать набор методик ее применения.
В Проекте 2020 мы выделили пять аспектов проблемы разрешимости аргументативных споров, очертивших соответствующие направления исследований: 1. репрезентация аргументации, 2. оценка аргументов, 3. поиск и отбора решений спора, 4. предъявление аргументов и 5. модификация агентных профилей. В Проекте 2020 по всем пяти направлениям были получены весомые результаты, указывающие на сохраняющуюся актуальность исследований этой фундаментальной и многоплановой проблемы. Они позволили сформулировать новые задачи по этим пяти направлениям, а также новое направление 6. автоматизации поиска решений.
Научная новизна предлагаемого формально-философского взгляда на аргументацию состоит в том, что аргументация носит локально-познавательный и критически-отменяемый характер. Она содержательно ограничена рамками обсуждаемых в диалоге предложений и изменениями в эпистемических и информационных состояниях агентов относительно них, а критика и способность аргументов ей противостоять, а также модификации позиций агентов в связи с контраргументацией играют более важную роль, чем первоначальное содержание позиций агентов и доводы, выдвигаемые ими в поддержку своих точек зрения. Это также означает, что предметом (теории) аргументации является не аргумент как умозаключение, а аргументативный спор – диалог, где агенты приводят аргументы ради решения разных практических задач, поэтому важной частью решения проблемы стала разработка новой классификации споров, а также аксиоматизация различных версий аргументативного следования как отношения на множествах утверждений или аргументов.
Актуальность решения проблемы разрешимости аргументативных споров в русле двух-этапного поиска и отбора решний спора имеет высокий прикладной потенциал в тех областях практической деятельности, где недостаточно сформулировать решение, отвечающее локальным нормам и правилам, и большое значение придают обоснованию и убеждению - в политике, управлении, праве, морали. Предлагаемое решение позволит свести формальную проверку приемлемости аргументов к технической задаче и поручить ее компьютерным программам, оставив за людьми возможность проверять, накладывать ограничения и вводить дополнительные критерии при отборе окончательных решений в спорах, где это нужно.