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

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

История

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

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

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

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

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

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

использованная литература