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