Filosofia das Ciências Formais

O trabalho no âmbito da linha de investigação “Filosofia das Ciências Formais” centra-se em dois tópicos nucleares: i) Ontologia nas ciências formais; ii) Pluralismo lógico e aplicações de lógicas não clássicas.