Projetos de Pesquisa

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.

Today's global socio-environmental challenges place unprecedented demands on natural and social sciences to understand and forecast a tightly interconnected world. Yet most studies on socio-environmental interactions have focused on a single socio-environmental system. While some studies have separately examined socio-environmental interactions between adjacent or distant systems, they usually focused on one-way impacts.

Resumo retirado da página