CV Lattes
GoogleMyCitations
ORCID
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas (IFCH) (Institutional affiliation for the last research proposal) Birthplace: Itália
graduation at Laurea triennale in matematica from Università degli Studi di Torino PRINCIPALE (2007), graduation at Laurea triennale in filosofia from Università degli Studi di Torino PRINCIPALE (2005), master's at Corso di laurea in matematica from Università degli Studi di Torino PRINCIPALE (2009), doctorate at Doctorat en mathématiques from Université Paris Diderot (2014) and doctorate at Perfezionamento in discipline filosofiche from Scuola Normale Superiore (2014). Has experience in Mathematics, acting on the following subjects: modal logic, philosophy of mathematics, multiverse, ri-logic and forcing. (Source: Lattes Curriculum)
With this project, I propose to investigate the notion of arbitrary object using historical, philosophical and logical methodologies. The privileged perspective from which the analysis will be conducted is that of set theory. The project is divided in three complementary axes. First, we propose a general reconstruction of the theorization about arbitrary objects, stressing the role that c…
We intend to develop the theory of models of non-classical set theories, in particular, paraconsistent set theories. In previous work, the visiting researcher developed a paraconsistent model of set theory in which the negation-free fragment of ZF is valid, but which does not satisfy Leibniz's law of indiscernibility of identicals. In this project, we aim to improve on these results by fi…
My goal in this project is to study the main proposed ontologies to deal with possible worlds and the modal logic framework used for philosophers in this field. Among the main ontologies that will be studied are the David Lewis's modal realism (1986), Plantinga and Stalnaker's atualism (1979), combinatorialism - famously defended by Cresswell (1979) -, and Rutley's meinongianism (1980). C…
Many mathematicians work regularly on the study of mathematical objects, like sets, functions, matrix, etc. However, could we say that these entities exist? It seems a hard question even when we are dealing with the mathematics entities that might be the most fundamental, numbers. Furthermore, assuming one of the positions, that is, saying that such entities exist or not, raise new philos…
This project analyses the problematic relationship between arbitrary sets and the intensional notion of sets. Indeed, this distinction can be seen in the two axiomatic developments of a theory of sets as conceived on the one hand by Cantor, Dedekind and Zermelo (who stressed the arbitrariness of sets) and on the other hand by Frege and then Russell (who stressed the possibility of a restr…
The proof of independence of the Axiom of Choice (abbreviated AC) relative to ZF, developed by Paul Cohen in 1963, opened up new possibilities of approach to set theory. Results in descriptive set theory, the forcing method and the study of large cardinals made possible the development of set theory beyond what was imagined hitherto. One interesting axiom that may be added to ZF is the Ax…
Since antiquity philosophers raised questions about the objects of a mathematical theory: is there any such object? what is the nature of such objects? is there a difference between natural objects and mathematical ones? are mathematicalobjects able to ground the certainty of mathematics?Plato was the first to propose that mathematics is about universals. Indeed, platonic ideas represent …
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 s…
(Only some records are available in English at this moment)
In this project I deepen the analysis of the internal logic of set theory - topic of my FAPESP project - proposing a logical analysis of the notion of consistency and its role in the set theoretical practice. This project has a multidisciplinary point of view and tries to combine the philosophical reflection about mathematical practice and the logical description of a mathematical structu…
| 1 / 1 | Ongoing research grants |
| 3 / 3 | Completed research grants |
| 3 / 3 | Ongoing scholarships in Brazil |
| 7 / 7 | Completed scholarships in Brazil |
| 1 / 1 | Completed scholarships abroad |
| 15 / 15 | All research grants and scholarships |
| Associated processes | |
(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)
| Publications | 11 |
| Citations | 2 |
| Cit./Article | 0.2 |
| Data from Web of Science | |
VENTURI, GIORGIO. Infinite Forcing and the Generic Multiverse. STUDIA LOGICA, v. 108, n. 2, p. 277-290, APR 2020. Web of Science Citations: 0. (16/25891-3)
VENTURI, GIORGIO. GENERICITY AND ARBITRARINESS. LOGIQUE ET ANALYSE, n. 248, p. 435-452, 2019. Web of Science Citations: 0. (16/25891-3)
GILBERT, DAVID R.; VENTURI, GIORGIO. Neighborhood Semantics for Logics of Unknown Truths and False Beliefs. AUSTRALASIAN JOURNAL OF LOGIC, v. 14, n. 1, SI, p. 246-267, 2017. Web of Science Citations: 0. (13/25095-4)
GIORGIO VENTURI. A note on the introduction of Hilbert’s Grundlagen der Geometrie. Manuscrito, v. 40, n. 2, p. -, Jun. 2017. (14/25342-4, 13/25095-4)
VENTURI, GIORGIO. A note on the introduction of Hilbert's Grundlagen der Geometrie. Manuscrito, v. 40, n. 2, p. 5-17, APR-JUN 2017. Web of Science Citations: 0. (13/25095-4, 14/25342-4)
RUFFINO, MARCO; SAN MAURO, LUCA; VENTURI, GIORGIO. At least one black sheep: Pragmatics and mathematical language. JOURNAL OF PRAGMATICS, v. 160, p. 114-119, APR 2020. Web of Science Citations: 0. (16/25891-3)
KUBYSHKINA, EKATERINA; PETROLO, MATTIA. A logic for factive ignorance. SYNTHESE, OCT 2019. Web of Science Citations: 0. (18/25501-6, 16/25891-3)
BEZERRA, E.; VENTURI, G.. A Non-Standard Kripke Semantics for the Minimal Deontic Logic. LOGIC AND LOGICAL PHILOSOPHY, v. 30, n. 1, p. 125-135, MAR 2021. Web of Science Citations: 0. (16/25891-3)
GILBERT, DAVID R.; VENTURI, GIORGIO. REFLEXIVE-INSENSITIVE MODAL LOGICS. Review of Symbolic Logic, v. 9, n. 1, p. 167-180, MAR 2016. Web of Science Citations: 2. (13/25095-4)
GILBERT, DAVID R.; VENTURI, GIORGIO. A note on logics of essence and accident. LOGIC JOURNAL OF THE IGPL, v. 28, n. 5, p. 881-891, OCT 2020. Web of Science Citations: 0. (14/25342-4, 13/25095-4)
JOCKWICH MARTINEZ, S.; VENTURI, G.. Non-classical Models of ZF. STUDIA LOGICA, JUL 2020. Web of Science Citations: 0. (16/25891-3, 17/23853-0)
RUFFINO, MARCO; SAN MAURO, LUCA; VENTURI, GIORGIO. Speech acts in mathematics. SYNTHESE, JUL 2020. Web of Science Citations: 0. (18/17011-9, 16/25891-3)
(References retrieved automatically from State of São Paulo Research Institutions)