Projetos de Pesquisa
Uma teoria paraconsistente para a verdade aritmética
Responsáveis: Walter Alexandre Carnielli
Membros: ABILIO AZAMBUJA RODRIGUES FILHO
O projeto pretende elaborar uma teoria da verdade aritmética que evite o teorema da indefinabilidade da verdade, de Tarski, por meio de uma extensão da aritmética de primeira ordem (S), obtida com o acréscimo do predicado verdade Tx à linguagem de S. A lógica de Σ seria paraconsistente, a rigor, uma Lógica da Inconsistência Formal.
Understanding opinion and language dynamics using massive dataOpLaDyn, Programa Transatlantia Platform Digging into Data Challenge 2016
Responsáveis: ITALA MARIA LOFFREDO D OTTAVIANO
Membros: MARIA EUNICE QUILICI GONZALES
Resumo retirado da página
Universalismo Interativo e Mentalidade Alargada em Seyla Benhabib
Responsáveis: YARA ADARIO FRATESCHI
O objetivo deste projeto é analisar o modo pelo qual Seyla Benhabib recupera a noção arendtiana de mentalidade alargada para desfazer a radicalização do debate entre comunitaristas e liberais, combater o antagonismo entre contextualismo e universalismo e, ao mesmo tempo, corrigir os excessos racionalistas que ela detecta em Habermas. Com isso, eu pretendo esclarecer de que modo Hannah Arendt inspira Benhabib na formulação da sua teoria do universalismo interativo, mais precisamente no momento de repensar o universalismo diante das objeções neo-aristotélicas de descontextualização.