ISADORA SALDANHA DE MIRANDA

Our project starts from a wager: the artefactuality of logic. We ought to refine the hypothesis that formal languages play a fundamental operative role in thought, as an artificial technology capable of triggering specific cognitive processes -- especially in those reasoning that contradict some of our so-called "spontaneous" cognitive patters, absent from the field of logic. Way more than mere expressive simplification resources, we claim that formal notations are a calculative machinery used not so much as automated procedures, but rather as an inventive method for new forms of valid reasoning. It is of our finest interest to explain how does formalization present itself as the media through which reason perceives itself in a more conscious way.