GEL - Grupo de Estudos em Lógica
LoLITA – Logic, Language, Information, Theory and Applications
Prezados(as),
convido-os(as) para o seminário do Prof. Abílio Rodrigues (UFMG).
Agradeço desde já a ampla divulgação dessas informações.
|
Data |
Título |
Exp. |
Hr |
Local |
|
12/12/2016 |
Paraconsistência: uma perspectiva epistêmica |
Abílio Rodrigues (UFMG) |
16hs |
Sala C1 - Setor II |
Resumo
A característica distintiva das lógicas paraconsistentes é a rejeição do princípio de explosão. Tal princípio, válido na lógica clássica, permite concluir qualquer coisa de uma contradição. Por essa razão, lógicas paraconsistentes podem representar contextos argumentativos em que contradições são aceitas. A questão que imediatamente se coloca é qual a natureza dessas contradições. O objetivo desta comunicação é apresentar uma interpretação da paraconsistência segundo a qual tais contradições são epistêmicas no sentido que tem origem no pensamento e na linguagem. Essa visão se opõe à tese dialeteísta de que existem contradições verdadeiras. Após uma discussão das motivações da interpretação epistêmica, serão apresentados e analisados sistemas formais concebidos para expressar preservação de evidência ao invés de preservação de verdade. A noção de ‘evidência para uma proposição A’ é compreendida como ‘razões para acreditar e/ou aceitar A’. Evidência pode ser contraditória, em contextos em que há evidência conflitante e não conclusiva. Essa interpretação da paraconsistência se relaciona com diversos temas da filosofia da lógica, que também serão tratados, a saber: a natureza da lógica, versões do princípio da não contradição, pluralismo lógico, semântica inferencial, dualidade paraconsistência/intuicionismo.
Outras informações
Site do GEL:
Lista de emails
Calendar: