Логика и диалектика

редактировать

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

Содержание

  • 1 История
  • 2 Несостоятельность
  • 3 Диалоговые игры
  • 4 См. также
  • 5 Ссылки

История

Были доформальные и частично формальные трактаты по аргументации и диалектике от таких авторов, как Стивен Тулмин (Использование аргументов), Николас Решер (Диалектика) и ван Эмерен и Гроотендорст (прагма-диалектика ). Можно включить работы сообществ неформальной логики и паранепротиворечивой логики.

оспоримости

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

Диалогические игры

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

См. Также

Ссылки

.

Последняя правка сделана 2021-05-28 05:32:27
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте