Прагма-диалектика

Учёные из Университета Амстердама в Нидерландах ввели строгий современный вариант диалектики под названием прагма-диалектики. Интуитивная идея заключается в формулировании чётких правил, которые, если им следовать, дадут рациональное обсуждение и обоснованные выводы. Франс Х. ван Eemeren, покойный Роб Грутендорст, и многие многие их ученики подготовили большой объём работ излагая эту идею.

Диалектическая концепция разумности даёт десять правил для критического обсуждения, все то, что играет важную роль для достижения урегулирования разногласия (из Van Eemeren, Grootendorst, & Snoeck Henkemans, 2002, стр. 182—183). Постулаты этой теории, как идеальная модель. Модель, однако, может служить важным эвристическим и критическим инструментом для тестирования, насколько реально приближается к идеалу и точке где дискурс пойдёт не так, то есть, когда правила нарушаются. Любое такое нарушение будет являться заблуждением. Хотя и не в первую очередь ориентируется на заблуждения, прагма-диалектика обеспечивает систематический подход к решению их в согласованном виде.

Метод логической аргументации Уолтона

Даг Уолтон развил особую философскую теорию логической аргументации, построенную вокруг набора методов, дабы помочь пользователю распознавать, анализировать и оценивать аргументы как в повседневных разговорах, так и в более структурированных, таких как дискуссии в правовых и научных областях. Существуют четыре основные компонента: схемы аргументации, структуры диалога, средства для отображения аргументов, и формальные системы аргументации. Метод использует понятие обязательств в диалоге как основной инструмент для анализа и оценки аргументации, а не понятие веры. Обязательства — заявление о том, что агент выразил или сформулировал и обязался выполнить или сделать публичное заявление. В соответствии с моделью обязательств, агенты взаимодействуют друг с другом в диалоге, в котором каждый принимает свою сторону, дабы внести свою лепту в развитие разговора. В рамках диалога используется критический допрос, как способ проверки правдивости объяснений и нахождения слабых мест в аргументации, которые придают сомнения относительно приемлемости аргумента.

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

Ошибки на стадии аргументации:

• Поспешное обобщение

• Ложная аналогия

• Смешение свойств целого и частей (pars pro toto)

• Ложная ассоциация. Post hoc, ergo propter hoc

• «Скользкий уклон» (slippery slope). Вариант аргумента ad ignorantiam. Доведение до абсурда возможных негативных последствий («парад мнимых ужасов»)

• Reductio ad Hitlerum – сведение аргументации оппонента к чему-то универсально осуждаемому

• Эксплуатация двусмысленных выражений

Искусственный интеллект

Для выполнения и анализа аргументации с компьютерами были предприняты усилия в области искусственного интеллекта. Начиная с влиятельной работы Dung (1995), использовалась аргументация для обеспечения теоретического доказательства смысла для немонотонной логики. Вычислительные системы аргументации нашли конкретное применение в областях, где формальная логика и классическая теория принятия решений, которые не в состоянии охватить все богатство рассуждений, таких областях, как закон и медицина. Подчёркивая возникающие формализации для практической аргументации, Philippe Besnard и Anthony Hunter в элементах аргументации внедрили методику формализации дедуктивной аргументации в области искусственного интеллекта. Подробный обзор этой области можно найти в недавно вышедшей книге под редакцией Iyad Rahwan и Guillermo R. Simari.

Проводятся регулярные ежегодные мероприятия в компьютерных науках, привлекающие участников со всех континентов: серия семинаров ArgMAS, серия семинаров CMNA, и научно-практическая конференция COMMA. Журнал Argument & Computation посвящён изучению взаимосвязи аргументации и информатики.