Lógica e dialética
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 editar
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'),[1][2][3] e van Eemeren e Grootendorst (Pragma-dialética). Pode-se incluir as comunidades da lógica informal e a lógica paraconsistente.
Reversibilidade editar
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.[4]
Jogos de diálogo editar
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.
Referências
- ↑ Rescher, Nicholas (1978). «Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge». Informal Logic. 1 (#3)
- ↑ Hetherington, Stephen (2006). «Nicholas Rescher: Philosophical Dialectics». Notre Dame Philosophical Reviews (2006.07.16)
- ↑ Rescher, Nicholas (2009). Jacquette,Dale, ed. Reason, Method, and Value: A Reader on the Philosophy of Nicholas Rescher. [S.l.]: Ontos Verlag
- ↑ 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.
