Nas últimas décadas, lógicos europeus e americanos, têm tentado fornecer bases matemáticas para a lógica e a dialética, através de formalização, embora a lógica tem sido relacionado à dialética que desde os tempos antigos. Lógica dialética é um termo especial tratado no pesamento hegeliano e marxista.
História Tem havido tratados pré-formais sobre o argumento e a dialética, a partir de autores como Stephen Toulmin ('The Uses of Argument'), Nicholas Rescher ('Dialectics'), e van Eemeren e Grootendorst (Pragma-dialética). Pode-se incluir as comunidades da lógica informal e a lógica paraconsistente.
Reversibilidade No entanto, tomando por base teorias do raciocínio revogável (ver John L. Pollock), sistemas tem sido construídos que definem argumentos bem formados, regras que regem o processo de introdução de argumentos baseados nas pressupostos fixos e nas regras para a transferência de carga. Muitas dessas lógicas aparecem na área de inteligência artificial e direito, embora o interesse dos cientistas da computação em formalizar a dialética se origina no desejo de construir sistemas de apoio à decisão e sistemas cooperativos assistidos por computador.See Logical models of argument, CI Chesñevar, AG Maguitman, R Loui - ACM Computing Surveys, 2000 and Logics for defeasible argumentation, H Prakken, Handbook of philosophical logic, 2002 for surveys of work in this area.
Jogos de diálogo Dialética em si pode ser formalizada como movimentos em um jogo, onde membros do jogo são: um defensor da veracidade de uma proposição e um adversário defendendo o contrário. Tais jogos podem fornecer uma semântica da lógica, que é muito geral em sua aplicabilidade.
Categoria:Dialética Categoria:Lógica Categoria:!Esboços sobre filosofia