ANDRÉ RODRIGO FERREIRA COGGIOLA

Nossa pesquisa tem como objetivo o desenvolvimento de uma teoria abstrata sobre sistemas lógicos em geral, entendidos como relações de consequência estruturais, no sentido do que vem sendo chamado de “lógica universal”. O diferencial de nossa teoria consiste na consideração de relações de consequência “simétricas”, i.e. permitindo inferências com múltiplas conclusões, além do uso de “fórmulas sinalizadas”, i.e. fórmulas no sentido usual associadas a um sinal ou valor pertencente a um domínio abstrato de valores considerado como parte da linguagem, as quais caracterizam uma noção abstrata de “juízo” ou “asserção”. Buscamos justificar a adoção desse contexto através de argumentos acerca da natureza da lógica, sua justificação epistemológica e a interpretação dos diferentes sistemas.