O GT de Filosofia das Ciências Formais tem como objetivo fomentar o debate filosófico acerca da lógica e da matemática e de 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.
Conheça mais sobre o GT acessando este link.