Формальные ученые пытались объединить формальную логику (науку о дедуктивно обоснованных выводах или логических истинах ) и диалектику (форму рассуждения, основанную на диалоге аргументов и контраргументов) посредством формализации диалектики. Эти попытки включают в себя доформальные и частично формальные трактаты по аргументации и диалектике , системам, основанным на отменяемых рассуждениях , и системам, основанным на игровой семантике и диалогической логике .
С конца 20-го века европейские и американские логики пытались обеспечить математические основы диалектики посредством формализации [1] : 201–372, хотя логика была связана с диалектикой с древних времен. [1] : 51–140 Были предформальные и частично формальные трактаты по аргументации и диалектике таких авторов, как Стивен Тулмин ( «Использование аргумента» , 1958), [2] [3] [1] : 203– 256 Николас Решер ( Диалектика: противоречивый подход к теории познания , 1977), [4] [5] [1] : 330–336 и Франс Х. ван Эмерен и Роб Гроотендорст ( прагма-диалектика , 1980-е). [1] : 517–614 Сюда можно отнести работы сообществ неформальной логики и паранепротиворечивой логики . [1] : 373–424.
Опираясь на теории опровергаемых рассуждений (см. Джона Л. Поллока ), были построены системы, определяющие правильность аргументов, правила, управляющие процессом представления аргументов, основанных на фиксированных предположениях, и правила перераспределения бремени. [1] : 615–675 Многие из этих логик появляются в специальной области искусственного интеллекта и права , хотя интерес ученых-компьютерщиков к формализации диалектики проистекает из желания построить поддержку принятия решений и компьютерные системы совместной работы. [6]
Саму диалектику можно формализовать как ходы в игре, в которой спорят сторонник истинности предложения и оппонент. [1] : 301–372 Такие игры могут обеспечить семантику логики , очень общую по применимости. [1] : 314