Логика и диалектика - Википедия - Logic and dialectic

О значении гегельянской и марксистской мысли см. Диалектическая логика.

С 1980-х годов европейские и американские логики пытались предоставить математические основы для логика и диалектика через формализацию,[1]:201–372 хотя логика была связана с диалектикой с древних времен.[1]:51–140

История

Были доформальные и частично формальные трактаты по аргументации и диалектика, от таких авторов, как Стивен Тулмин (Использование аргументов),[2][3][1]:203–256 Николас Решер (Диалектика),[4][5][1]:330–336 и ван Эмерен и Гроотендорст (прагма-диалектика ).[1]:517–614 Можно включить работы сообществ неформальная логика и непротиворечивая логика.[1]:373–424

Осуществимость

Однако, опираясь на теории доказуемое рассуждение (видеть Джон Л. Поллок ) были построены системы, которые определяют правильность аргументов, правила, регулирующие процесс представления аргументов на основе фиксированных предположений, и правила перекладывания бремени. Многие из этих логик появляются в специальной области искусственный интеллект и право, хотя интерес компьютерных ученых к формализации диалектики проистекает из желания построить поддержка при принятии решения и компьютерные системы совместной работы.[6]

Диалоговые игры

Основная статья: Семантика игры

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

Смотрите также

Рекомендации

  1. ^ а б c d е ж Эмерен, Франс Х. ван; Гарссен, Барт; Krabbe, Erik C.W .; Снок Хенкеманс, А. Франциска; Верхей, Барт; Вагманс, Жан Х. М. (2014). Справочник по теории аргументации. Нью-Йорк: Springer-Verlag. Дои:10.1007/978-90-481-9473-5. ISBN  9789048194728. OCLC  871004444.
  2. ^ Тулмин, Стивен (2003) [1958]. Использование аргумента (Обновленная ред.). Кембридж, Великобритания; Нью-Йорк: Издательство Кембриджского университета. Дои:10.1017 / CBO9780511840005. ISBN  978-0521827485. OCLC  51607421.
  3. ^ Хичкок, Дэвид; Верхей, Барт, ред. (2006). Рассуждая о модели Тулмина: новые эссе по анализу и оценке аргументов. Библиотека аргументации. 10. Дордрехт: Springer-Verlag. Дои:10.1007/978-1-4020-4938-5. ISBN  978-1402049378. OCLC  82229075.
  4. ^ Хетерингтон, Стивен (2006). «Николай Решер: Философская диалектика». Философские обзоры Нотр-Дама (2006.07.16).
  5. ^ Жакетт, Дейл, изд. (2009). Причина, метод и ценность: читатель философии Николаса Решера. Франкфурт: Онтос Верлаг. Дои:10.1515/9783110329056. ISBN  9783110329056.
  6. ^ Для обзоров работы в этой области см., Например: Чесневар, Карлос Иван; Магуитман, Ана Габриэла; Луи, Рональд Прескотт (декабрь 2000 г.). «Логические модели аргументации». Опросы ACM Computing. 32 (4): 337–383. CiteSeerX  10.1.1.702.8325. Дои:10.1145/371578.371581. И: Праккен, Генри; Фрисвейк, Джерард (2005). «Логика несостоятельной аргументации». В Габбае, Дов М .; Гентнер, Франц (ред.). Справочник по философской логике. 4 (2-е изд.). Дордрехт; Бостон: Kluwer Academic Publishers. С. 219–318. CiteSeerX  10.1.1.295.2649. Дои:10.1007/978-94-017-0456-4_3. ISBN  9789048158775.