Estruturalismo na Filosofia da Matemática e a teoria das categorias: Um debate entre Steve Awodey e Geofrey Hellman

Há alguns anos ocorre um interessante debate concernindo a capacidade da teoria das categorias em fornecer um esquema conceitual autônomo para uma abordagem estruturalista da filosofia da matemática. O ponto de partida da discussão pode ser remetido ao artigo de Steve Awodey (1996), no qual sugere-se que a teoria das categorias é capaz de fornecer uma noção precisa e flexível de ‘estrutura’ para os propósitos de uma filosofia estruturalista. Geofrey Hellman (2003), principal proponente de uma forma alternativa de estruturalismo matemático (estruturalismo modal), examinou a possibilidade de uma tal sugestão e chegou a uma conclusão parcialmente negativa. Duas principais réplicas, resultantes de perspectivas filosóficas diametralmente opostas, foram sugeridas por Steve Awodey (2004) e Colin Maclarty (2004). No presente artigo, expomos esse debate, bem como examinamos e defendemos a posição de Awodey com nossos próprios argumentos.