GT Filosofia das Ciências Formais
O GT de Filosofia das Ciências Formais tem como objetivo fomentar o debate filosófico sobre a lógica e da matemática e suas relações. Para isso, o GT pretende agregar profissionais e estudantes que estejam desenvolvendo pesquisas de natureza eminentemente filosófica, e não técnica, acerca das ciências formais, promovendo parcerias entre os membros. São bem-vindos trabalhos filosóficos utilizando métodos formais assim como outras metodologias, tais como análise conceitual, métodos históricos e filosofia empiricamente informada.
A logomarca foi feita com colaboração de @skywlling e @ahbogea.