| Grant number: | 19/21647-9 |
| Support type: | Scholarships in Brazil - Scientific Initiation |
| Effective date (Start): | December 01, 2019 |
| Effective date (End): | November 30, 2020 |
| Field of knowledge: | Humanities - Philosophy - Logic |
| Principal Investigator: | Giorgio Venturi |
| Grantee: | Ívore Campos de Mira |
| Home Institution: | Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil |
| Associated research grant: | 16/25891-3 - Arbitrariness and genericity: or on how to speak of the unspeakable, AP.JP |
Abstract Since antiquity philosophers asked questions about the objects of a mathematical theory: is there any such object? What is the nature of such objects? Is there any difference between mathematical objects and natural objects? Are mathematical objects capable of substantiating the certainty of mathematics? The possible connection between arbitrary and mathematical objects has been noticed since that time. Plato, for instance, proposed that mathematics is about universals. In fact, platonic ideas represent the first interesting historical example of objects with an arbitrary character: objects capable of representing the essence of concrete objects of which they are abstractions. In the same way, the importance of the concept of infinity for mathematics is evident since antiquity: Aristotle distinguished between potential infinity and actual infinity to talk about how many are the numbers, while Eudoxus, another student of Plato, through his exhaustion method, dealt with primitive ideas of what would become the integral calculus. In this research, we plan, in the context of the project Arbitrariness and genericity. Or how to speak of the unspeakable, deepen the understanding of these topics through the analysis of the relation among a theory of arbitrary objects and the classical view of set theory as a theory of the infinite. (AU) | |