Projeto
Uma teoria paraconsistente para a verdade aritmética
Resumo
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.
Responsáveis
Membros
