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.

A expertise das Ciências Sociais tem sido desafiada de novas formas. E suas estratégias de comunicação, e experimentações com outras linguagens, inter/transmidialidades, como prática e como mote de reflexão, também podem contribuir para enfrentar estes novos desafios. Este projeto se dedica a um movimento duplo de experimentar com a linguagem sonora, através do podcast Mundaréu, e refletir sobre essas questões, ligadas a transmidialidades e comunicação de ciência.

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.