Detalhes bibliográficos
| Ano de defesa: |
2023 |
| Autor(a) principal: |
Saraiva, Igor Souza
 |
| Orientador(a): |
Porto, André da Silva
|
| Banca de defesa: |
Porto, André da Silva,
Esteban Coniglio, Marcelo,
Freire, Rodrigo de Alvarenga,
Queiroz, Ruy José Guerra Barretto de,
Santos, César Frederico dos |
| Tipo de documento: |
Tese
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Universidade Federal de Goiás
|
| Programa de Pós-Graduação: |
Programa de Pós-graduação em Filosofia (FAFIL)
|
| Departamento: |
Faculdade de Filosofia - FAFIL (RMG)
|
| País: |
Brasil
|
| Palavras-chave em Português: |
|
| Palavras-chave em Inglês: |
|
| Área do conhecimento CNPq: |
|
| Link de acesso: |
http://repositorio.bc.ufg.br/tede/handle/tede/13205
|
Resumo: |
For some years now, there has been a philosophical debate about the relationship between two distinct intellectual movements. Within mathematical practice, the Theory of Categories emerged in the 1940s. Initially without any major foundational pretensions, little by little the theory gained in scope and came to be considered, at the very least, a very useful language for characterizing and studying abstract mathematical structure. Almost simultaneously, philosophers concerned with questions about the nature of mathematical objects proposed a structuralist program, based on the idea of shaping an understanding of the nature of mathematics that takes into account that each area of this science describes the formal factors common to various structured systems. The affinity between Category Theory and a structuralist philosophy of mathematics is almost obvious, leading naturally to the question of the possibility of the theory being employed as an autonomous conceptual framework, capable of articulating a peculiar view of mathematics, without any kind of dependence on other foundational approaches, such as Set Theory or Type Theory. This possibility has been denied by some philosophers of mathematics, giving rise to a dispute without a unanimous solution. This thesis presents a panoramic view of this whole scenario and tries to show that those who reject the autonomy of category theory have epistemological presuppositions that are not unanimously accepted. |
