ISADORA SALDANHA DE MIRANDA

Nosso projeto começa com a aposta pela artefactualidade do pensamento lógico. Esperamos refinar a hipótese de que as linguagens formais atuam em um papel operativo fundamental ao pensamento, enquanto uma tecnologia artificial capaz de desencadear processos cognitivos específicos – sobretudo naqueles raciocínios que contrariam alguns de nossos padrões cognitivos ditos “espontâneos”, ausentes do campo da lógica. Bem mais que meros recursos de simplificação expressiva, argumentamos que as notações formais são maquinários calculativos usados não tanto como procedimentos automatizados, mas antes enquanto um método inventivo às novas formas de raciocínio válido. É de nosso interesse último explicitar de que maneira a formalização se apresenta como a mídia pela qual o pensamento percebe a si mesmo de forma mais consciente.