???global.info.a_carregar???
I am currently Assistant Professor of Logic (MS-3.1) at the Department of Philosophy of the Univesidade Estadual de Campinas (UNICAMP). My research interests lay in logic, set theory, model theory, philosophy of mathematics and philosophy of language; particularly in the theory of forcing, modal logic, the justification of new axioms, the mathematical notion of arbitrary objects and the theory of speech acts. I am also interested in the historical origin of the axiomatic method and the foundational work of David Hilbert.
Identificação

Identificação pessoal

Nome completo
Giorgio Venturi

Nomes de citação

  • Venturi, Giorgio

Identificadores de autor

Ciência ID
C01A-8A76-A9EB
ORCID iD
0000-0001-9089-4340

Websites

Domínios de atuação

  • Humanidades - Filosofia, Ética e Religião - Filosofia
  • Ciências Exatas - Matemática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Italiano (Idioma materno)
Português Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Francês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Espanhol; Castelhano Utilizador elementar (A2) Utilizador proficiente (C2) Utilizador elementar (A2) Utilizador independente (B2) Utilizador proficiente (C2)
Alemão Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2010 - 2014
Concluído
 Matemática (Doctor of Philosophy)
Université de Paris, França
 Trés honorable
2009 - 2014
Concluído
 Filosofia (Doctor of Philosophy)
Scuola Normale Superiore Classe di Lettere e Filosofia, Itália
 70/70 cum laude
2007 - 2009
Concluído
 Matemática (Master)
Università degli Studi di Torino Dipartimento di Matematica Giuseppe Peano, Itália
 110/110 cum laude
2005 - 2007
Concluído
 Matemática (Bachelor)
Università degli Studi di Torino Dipartimento di Matematica Giuseppe Peano, Itália
 110/110 cum laude
2002/09/01 - 2005/06/01
Concluído
 Filosofia (Bachelor)
Università degli Studi di Torino Dipartimento di Filosofia e Scienze dell'Educazione, Itália
"I teoremi di Goedel, dal paradosso alla dimostrazione" (TESE/DISSERTAÇÃO)
 110/110 cum laude
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2014 - 2017 Pós-doutorado (Investigação) Fundação de Amparo à Pesquisa do Estado de São Paulo, Brasil
Universidade Estadual de Campinas Centro de Lógica Epistemologia e História da Ciência, Brasil
2015 - 2016 Investigador visitante (Investigação) Fundação de Amparo à Pesquisa do Estado de São Paulo, Brasil
Institut d'Histoire et de Philosophie des Sciences et des Techniques, França

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2017 - Atual Professor Auxiliar (Docente Universitário) Universidade Estadual de Campinas, Brasil
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
2013 - 2014 Assistente (Docente Universitário) Université de Paris, França
Projetos

Bolsa

Designação Financiadores
2020 - Atual A Study on Ontology of Numbers
2020/08214-3
Orientador
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Em curso
2020 - Atual Modal logics and ontologies for possible worlds
2020/07998-0
Orientador
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Em curso
2018 - Atual Arbitrariness and definability in non-classical logic
2017/23853-0
Orientador
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Em curso
2020 - 2021 Reasons for and against arbitrary objects
2019/17407-2
Orientador
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
2019 - 2021 Origins of generic point in algebraic geometry and mathematical practice
2019/01580-7
Orientador
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
 Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas
Concluído
2018 - 2021 Models of Non-Classical Set Theory
2017/23853-0
Orientador
Fundação de Amparo à Pesquisa do Estado de São Paulo
2018 - 2021 Frege’s Act-Based Logical System: a Pragmatic Reading for the Concept-Script Language
170390/2017-9
Orientador
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
 Conselho Nacional de Desenvolvimento Científico e Tecnológico
2019 - 2020 Essence and Arbitrariness
2019/17407-2
Orientador
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
2019 - 2020 Origins of Generic Point in Algebraic Geometry and Mathematical Practice
2019/01580-7
Orientador
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
2019 - 2020 The mathematical limits of the Axiom of Choice and of the Axiom of Determinacy
2019/26495-2
Orientador
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
2019 - 2020 Arbitrary Objects and the Concept of Infinite
2019/21647-9
Orientador
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
2019 - 2019 Provability as Modality
2018/22896-0
Orientador
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
2014 - 2017 Set theory and its internal logic
2013/25095-4
Bolseiro de Pós-Doutoramento
Universidade Estadual de Campinas Centro de Lógica Epistemologia e História da Ciência, Brasil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
2015 - 2016 A logical analysis of the notion of consistency in set theoretical practice
2014/25342-4
Bolseiro de Pós-Doutoramento
Institut d'Histoire et de Philosophie des Sciences et des Techniques, França
 Fundação de Amparo à Pesquisa do Estado de São Paulo

Projeto

Designação Financiadores
2020 - 2021 Slurs Semantics and Illocutionary Acts
2018/17011-9
Investigador
Universidade Estadual de Campinas Centro de Lógica Epistemologia e História da Ciência, Brasil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
2017 - 2021 Genericity and arbitrariness. Or how to speak of the unspeakable
2016/25891-3
Investigador responsável
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Em curso
2019 - 2020 Algebra-valued models of non-classical set theories
2019/12527-0
Investigador responsável
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
2018 - 2020 Um caso de estudo sobre logica modal não-normal
403272/2019-0
Investigador responsável
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
 Conselho Nacional de Desenvolvimento Científico e Tecnológico
Concluído
2019 - 2019 Speaking the unspeakable. Paradoxes between truth and proof
2019/14825-8
Investigador responsável
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
2018 - 2018 Cantor meets Robinson
2018/07577-5
Investigador responsável
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brasil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluído
Produções

Publicações

Artigo em revista
  1. Venturi, Giorgio; Sourav Tarafder. "Independence proofs in non-classical set theory.". Review of Symbolic Logic (2022):
    Aceite para publicação
  2. Venturi, Giorgio. "Reflexive-insensitive logics, the box-dot translation, and the modal logic of generic absoluteness.". Notre Dame Journal of Formal Logic (2021):
    Aceite para publicação
  3. Venturi, Giorgio. "On Negation for Non-classical Set Theories". Journal of Philosophical Logic (2020): http://dx.doi.org/10.1007/s10992-020-09576-3.
    10.1007/s10992-020-09576-3
  4. Venturi, Giorgio. "A Non-Standard Kripke Semantics for the Minimal Deontic Logic". Logic and Logical Philosophy (2020): 1-1. http://dx.doi.org/10.12775/llp.2020.016.
    10.12775/llp.2020.016
  5. Venturi, Giorgio. "A note on logics of essence and accident". Logic Journal of the IGPL (2020): http://dx.doi.org/10.1093/jigpal/jzy065.
    10.1093/jigpal/jzy065
  6. Venturi, Giorgio. "On Forms of Justification in Set Theory". The Australasian Journal of Logic 17 4 (2020): 158-158. http://dx.doi.org/10.26686/ajl.v17i4.6579.
    10.26686/ajl.v17i4.6579
  7. Venturi, Giorgio. "Speech acts in mathematics". Synthese (2020): http://dx.doi.org/10.1007/s11229-020-02702-3.
    10.1007/s11229-020-02702-3
  8. S. Jockwich Martinez; G. Venturi. "Non-classical Models of ZF". Studia Logica (2020): https://doi.org/10.1007/s11225-020-09915-0.
    10.1007/s11225-020-09915-0
  9. Venturi, Giorgio. "Tableaux for essence and contingency". Logic Journal of the IGPL (2020): http://dx.doi.org/10.1093/jigpal/jzaa016.
    10.1093/jigpal/jzaa016
  10. Giorgio Venturi. "Infinite Forcing and the Generic Multiverse". Studia Logica 108 2 (2020): 277-290. https://doi.org/10.1007/s11225-019-09851-8.
    10.1007/s11225-019-09851-8
  11. Venturi, Giorgio. "Rejoinder". Journal of Pragmatics 160 (2020): 123-123. http://dx.doi.org/10.1016/j.pragma.2020.02.002.
    10.1016/j.pragma.2020.02.002
  12. Venturi, Giorgio. "At least one black sheep: Pragmatics and mathematical language". Journal of Pragmatics (2020): http://dx.doi.org/10.1016/j.pragma.2020.01.011.
    10.1016/j.pragma.2020.01.011
  13. GIORGIO VENTURI; FELIPE ALBARELLI. "BOOK REVIEW: LINNEBO, Ø., Philosophy of Mathematics (Princeton Universisty Press, 2017, 216, pages)". Manuscrito 42 2 (2019): 113-119. https://doi.org/10.1590/0100-6045.2019.v42n2.gf.
    10.1590/0100-6045.2019.v42n2.gf
  14. Venturi, Giorgio. "Genericity and Arbitrariness". Logique et Analyse (2019): https://doi.org/10.2143/LEA.248.0.3287324.
    10.2143/LEA.248.0.3287324
  15. Venturi, G.; Viale, M.. "New axioms in set theory". Matematica, Cultura e Societa 3 3 (2018): 211-236. http://www.scopus.com/inward/record.url?eid=2-s2.0-85069219496&partnerID=MN8TOARS.
  16. Venturi, Giorgio. "A direct proof of the five element basis theorem". Mathematical Logic Quarterly 63 3-4 (2017): 289-298. http://dx.doi.org/10.1002/malq.201600015.
    10.1002/malq.201600015
  17. Venturi, Giorgio. "Neighborhood Semantics for Logics of Unknown Truths and False Beliefs". The Australasian Journal of Logic 14 1 (2017): http://dx.doi.org/10.26686/ajl.v14i1.4033.
    10.26686/ajl.v14i1.4033
  18. Venturi, G.. "A note on the introduction of Hilbert’s Grundlagen der Geometrie". Manuscrito 40 2 (2017): 5-17. http://www.scopus.com/inward/record.url?eid=2-s2.0-85041808305&partnerID=MN8TOARS.
    10.1590/0100-6045.2017.v40n2.gv
  19. Gilbert, D.R.; Venturi, G.. "REFLEXIVE-INSENSITIVE MODAL LOGICS". Review of Symbolic Logic 9 1 (2016): 167-180. http://www.scopus.com/inward/record.url?eid=2-s2.0-84940099572&partnerID=MN8TOARS.
    10.1017/S175502031500026X
  20. Venturi, G.. "Preservation of suslin trees and side conditions". Journal of Symbolic Logic 81 2 (2016): 483-492. http://www.scopus.com/inward/record.url?eid=2-s2.0-84977080528&partnerID=MN8TOARS.
    10.1017/jsl.2015.14
  21. Venturi, Giorgio. "HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS". Manuscrito 38 2 (2015): 5-38. http://dx.doi.org/10.1590/0100-6045.2015.v38n2.gv.
    10.1590/0100-6045.2015.v38n2.gv
  22. Venturi, G.. "Foundation of mathematics between theory and practice". 18 (2014): http://www.scopus.com/inward/record.url?eid=2-s2.0-84924160319&partnerID=MN8TOARS.
    10.4000/philosophiascientiae.912
  23. Venturi, Giorgio. "Hilbert, completeness and geometry". Rivista Italiana di Filosofia Analitica Junior Vol 2 (2011): No 2 (2011): Filosof-No 2 (2011): Filosof. http://riviste.unimi.it/index.php/rifanalitica/article/view/1497.
    10.13130/2037-4445/1497
Capítulo de livro
  1. Venturi, Giorgio. "Linear models and set theory". In Seminário Permanente Lógica no Avião. 2019.
    Publicado
  2. Venturi, Giorgio. "On the naturalness of new axioms in set theoryLogic and its Philosophy: contempo- rary trends in Latin America and Spain". In Logic and its Philosophy: contempo- rary trends in Latin America and Spain, 117-142. College Publications, 2018.
  3. Venturi, Giorgio. "Forcing, Multiverse and Realism". In Boston Studies in the Philosophy and History of Science, 211-241. Springer International Publishing, 2016.
    10.1007/978-3-319-31644-4_12
  4. Mauro, Luca San; Venturi, Giorgio. "Naturalness in Mathematics". In Boston Studies in the Philosophy and History of Science, 277-313. Springer International Publishing, 2014.
    10.1007/978-3-319-10434-8_14
  5. Velicckovic, Boban; Venturi, Giorgio. "Proper forcing remastered". In Appalachian Set Theory 2006–2012, 331-362. Cambridge University Press, 2013.
    10.1017/cbo9781139208574.012
Edição de livro
  1. Venturi, Giorgio. From Logic to Practice. Springer International Publishing. 2015.
    10.1007/978-3-319-10434-8
Prefácio / Posfácio
  1. Venturi, Giorgio; Marco Panza; Gabriele Lolli. "Introduction". Prefácio para From Logic to Practice. Italian studies in the philosophy of mathematics. Springer. 2015.
    Publicado
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2021/09 Algebra-valued models for non-classical set theory VI Congreso Latinoamericano de Matemáticos
(Montevideo, Paraguai)
2021/07 Complete models of set theory and a semantic solution to the Continuum Hypothesis Logic Colloquium 2020
(Polónia)
2020 The pragmatic structure of mathematics Logic seminar of the Université Catholique de Louvain
Université Catholique de Louvain (Louvain, Bélgica)
2020 On non classical models for set theory Barcelona Set Theory Seminar
University of Barcelona (Barcelona, Espanha)
2020 On non classical models for set theory Seminar of the Equipe de Logique
Université de Paris (Paris, França)
2019 A semantic approach to the problem of independence First Joint Meeting Brazil-France in Mathematics
IMPA (Brasil)
2019 Speech acts in mathematics Workshop on pragmatics in mathematics
Università San Raffaele (Milano, Itália)
2019 Reflexive insensitive logics and the method of generated subframe A case study for non-normal modal logic
Unicamp (Campinas, Brasil)
2019 Paraconsistent models for set theory Logic Seminar
Universidad del Sur (Bahia Blanca, Argentina)
2019 A semantic approach to generalized provability Work in progress seminar
SADAF (Buenos Aires, Argentina)
2019 Infinite forcing and the generic multiverse 7th European Set Theory Conference
University of Vienna (Vienna, Áustria)
2018 Mathematical definitions as declarative speech acts CLIP talk
University of Koeln (Koeln, Alemanha)
2018 Axioms and postulates as speech acts Logic Seminar
University of Sevilla (Sevilla, Espanha)
2018 Speech act theory in mathematics Philmat Seminar
IHPST (Paris, França)
2018 RI-logics and a case study on non-normality LIAMF seminar
University of São Paulo (São Paulo, Brasil)
2018 Speech acts theory and the ontology of mathematics V Conference of the Brazilian Society for Analytic Philosophy
Federal University of Bahia (Salvador, Brasil)
2017 On generic arbitrary models of set theory Foundations of Mathematics and Applications
University of São Paulo (São Paulo, Brasil)
2017 Speech act theory in mathematics. The case of naturalness 3rd Workshop on Philosophy, Logic and Analytical Metaphysics
Federal University of Rio Grande do Norte (Natal, Brasil)
2017 Genericity and arbitrariness Second symposium on set theoretical pluralism
University of Bristol (Bristol, Reino Unido)
2017 RI-logics, Boxdot Conjecture and the modal logic of forcing Work in progress seminar
SADAF (Buenos Aires, Argentina)
2016 Modal and set theoretical tools for the study of the multiverse The first Joint Meeting Brazil - Italy in Mathematics
IMPA (Rio de Janeiro, Brasil)
2016 Genericity and arbitrariness Bristol-Munchen Workshop on Truth and Rationality
University of Bristol (Bristol , Reino Unido)
2016 Theoretical and meta-theoretical virtues of consistency Language and metalanguage, logic and metalanguage. Revisiting Tarski’s hierarchy
Université Catholique de Louvain (Louvain, Bélgica)
2016 Relational and neighborhood semantics for logics of unknown truths Frontiers of Non-Classicality
University of Auckland (Auckland, Nova Zelândia)
2016 On forms of justification in set theory Philosophy of mathematics: truth, existence, and explanation
University of Chieta-Pescara (Chieti, Itália)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2021 - Atual Genericity in the Context of Proofs
Orientador
 Filosofia (Doutoramento)
Universidade Estadual de Campinas, Brasil
2021 - Atual Abstraction and Arbitrariness
Orientador
 Filosofia (Doutoramento)
Universidade Estadual de Campinas, Brasil
2021 - Atual Implication of Large Cardinal Axioms on the Universe of Sets
Orientador
 Filosofia (Mestrado)
Universidade Estadual de Campinas, Brasil
2021 - Atual Mathematics without ontological neutrality
Orientador
 Filosofia (Mestrado)
Universidade Estadual de Campinas, Brasil
2020 - Atual Forcing Axioms and Generic Absoluteness
Orientador
 Matemática (Mestrado)
Universidade de São Paulo, Brasil
2020 - Atual Modal Logics and Ontologies for Possible Worlds
Orientador
 Filosofia (Iniciação científica)
Universidade Estadual de Campinas, Brasil
2020 - Atual A Study on Ontology of Numbers
Orientador
 Filosofia (Iniciação científica)
Universidade Estadual de Campinas, Brasil
2018 - Atual Models of Non-Classical Set Theory
Orientador
 Filosofia (Doutoramento)
Universidade Estadual de Campinas, Brasil
2017 - Atual A Modal Approach to Logical Consistency
Orientador
 Filosofia (Doutoramento)
Universidade Estadual de Campinas, Brasil
2017 - Atual Frege's Act-Based Logical System: a Pragmatic Reading for the Concept-Script Language
Orientador
 Filosofia (Doutoramento)
Universidade Estadual de Campinas, Brasil
2020 - 2020 The Mathematical Limits of the Axiom of Choice and of the Axiom of Determinacy
Orientador
 Filosofia (Iniciação científica)
Universidade Estadual de Campinas, Brasil
2020 - 2020 Arbitrary Objects and the Concept of Infinite
Orientador
 Filosofia (Iniciação científica)
Universidade Estadual de Campinas, Brasil
2019 - 2020 Essence and Arbitrariness
Orientador
 Filosofia (Mestrado)
Universidade Estadual de Campinas, Brasil
2019 - 2020 Origins of Generic Point in Algebraic Geometry and Mathematical Practice
Orientador
 Filosofia (Mestrado)
Universidade Estadual de Campinas, Brasil
2019 - 2019 Provability as Modality
Orientador
 Filosofia (Iniciação científica)
Universidade Estadual de Campinas, Brasil
2018 - 2018 First-Order Modal Logic and RI-Logics
Orientador
 Filosofia (Iniciação científica)
Universidade Estadual de Campinas, Brasil
2017 - 2018 Axiomatic Set Theory. An Introduction to Independence Proofs
Orientador
 Matemática (Iniciação científica)
Universidade Estadual de Campinas, Brasil

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2020 - Atual Organizer of the Workshop in set theory and the philosophy of mathematics, at Universit\'e de Paris, 07-08 January, 2020. (https://philsettheo.wordpress.com) (2020 - 2020)
Conferência (Presidente da Comissão Organizadora)
 Université de Paris, França
2020 - 2020 Organizer of the conference Speaking the unspeakable. Paradoxes between truth and proof, at IFCH Unicamp, 09-10 December, 2019. (https://speaktheunspeakable.wordpress.com) (2020 - 2020)
Conferência (Presidente da Comissão Organizadora)
 Universidade Estadual de Campinas, Brasil
2019 - 2019 Organizer of the conference 1o Workshop ``Studies in Mathematical Logic'', at IME-USP, 05-06 December, 2019. (https://sites.google.com/site/studiesinmathematicallogic/?fbclid=IwAR27OZ_NAKBHtUS4bORFn4AQ_WV0-wAkiksJcxncbdeE2JoQ7ycUm4MZsPQ) (2019 - 2019)
Conferência (Coorganizador)
 Universidade de São Paulo, Brasil
2019 - 2019 Organizer of the workshop A case study on non-normal modal logic, Campinas, 16 May, 2019. (2019 - 2019)
Oficina (workshop) (Presidente da Comissão Organizadora)
 Universidade Estadual de Campinas, Brasil
2019 - 2019 Organizer of the round table "Illocutionary acts in mathematics" at the "XIX Brazilian Logic Conference", João Pessoa 5-10 May, 2019. (2019 - 2019)
Mesa-redonda (Presidente da Comissão Organizadora)
2018 - 2018 Organizer of the conference "Cantor meets Robinson", at IMECC Unicamp, 12-15 December, 2018. (https://cantormeetsrobinson.wordpress.com) (2018 - 2018)
Conferência (Presidente da Comissão Organizadora)
 Universidade de São Paulo, Brasil
2017 - 2017 Organizer of the round table "Genericity and arbitrariness" at the "XVIII Brazilian Logic Conference", Pirenopolis 8-12 May, 2017. (2017 - 2017)
Mesa-redonda (Presidente da Comissão Organizadora)
2016 - 2016 Co-organizer of the conference "Trends in Logic XVI Studia Logica International Conference", Campinas 12-15 September, 2016. (2016 - 2016)
Conferência (Coorganizador)
 Universidade Estadual de Campinas, Brasil

Arbitragem científica em conferência

Nome da conferência Local da conferência
2019 - Atual Second Graduate Conference of theItalian Network for the Philosophy of Mathematics-FilMat Università San Raffaele
2017 - Atual FilMat Symposium on Abstractionism in the Philosophy of Mathematics University of Pavia
2017 - Atual Philosophy of mathematics: history, theories and practice University of Trento
2015 - Atual Symposium on the Foundations of Mathematics II Birbeck College London
2014 - Atual Symposium on the Foundations of Mathematics I University of Vienna

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2020 - Atual Studia Logica
2020 - Atual Notre Dame Journal of Formal Logic
2020 - Atual Philosophical Quarterly
2019 - Atual Journal of Philosophical Logic
2018 - Atual Synthese
2018 - Atual Revista Colombiana de Matematicas
2017 - Atual Review of Symbolic Logic
2017 - Atual Logique et Analyse
2017 - Atual Logic Journal of the IGPL
2017 - Atual Revista Portuguesa de Filosofia
2016 - Atual Journal of Symbolic Logic
2016 - Atual Journal of Logic and Computation
2016 - Atual Manuscrito

Comissão de avaliação

Descrição da atividade
Tipo de assessoria 		Instituição / Organização Entidade financiadora
2020 - Atual Participation to the defense committee of the master thesis "Origins of generic point in algebraic geometry and mathematical practice'' of Renato Reis Leme, supervised by Giorgio Venturi (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2020 - Atual Participation to the defence committee of the master thesis ``Essence and arbitrariness'' of Pedro Yago, supervised by Giorgio Venturi (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2020 - Atual Participation to the defence committee of the undergraduate thesis ``Os limites matem\'aticos do Axioma da Escolha e do Axioma da Determinação'', of Mahan Vaz, supervised by Giorgio Venturi (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2020 - Atual Participation to the qualification committee of the master thesis ``Origins of generic point in algebraic geometry and mathematical practice'' of Renato Reis Leme, supervised by Giorgio Venturi (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2020 - Atual Participation to the qualification committee of the master thesis ``Essence and arbitrariness'' of Pedro Yago, supervised by Giorgio Venturi (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2019 - Atual Participation to the qualification committee of the PhD thesis ``Frege's act-based logical system: a reading for the concept-script language'', of João Vitor Schmidt, supervised by Giorgio Venturi (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2019 - Atual Participation to the defence committee of the undergraduate thesis ``Lógica modal e provabilidade'', of Felipe Albarelli, supervised by Giorgio Venturi (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2019 - Atual Participation to the qualification committee of the PhD thesis ``A modal approach to logical consistency'', of Edson Bezerra, supervised by Giorgio Venturi
Membro
 Universidade Estadual de Campinas, Brasil
2019 - Atual Participation to the qualification committee of the PhD thesis ``Models of non-classical set theories'', of Santiago Jockwich, supervised by Giorgio Venturi (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2019 - Atual Participation to the qualification committee of the master thesis ``Uma investigação da linguagem e do pensamento para a despsicologização da lógica e psicologização da linguagem natural'', of Antônio Francisco, supervised by Marco Ruffino (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2019 - Atual Participation to the defence committee of the master thesis ``Da distinção Fregeana entre conceito e objeto e sua ripercussão semântica'', of Leandro Camargo, supervised by Marco Ruffino (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2019 - Atual Participation to the defence committee of the master thesis ``Indexicalidade nos Casos do Contingente A Priori'', of Rafael Albiero Vieira, supervised by Marco Ruffino (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2019 - Atual Participation to the defence committee of the master thesis ``D-espaços e aplicações'' of Lucas Chiozini de Souza, supervised by Leandro Fiorini Aurichi (USP-SC).
Membro
 Universidade Estadual de Campinas, Brasil
2019 - Atual Participation to the defence committee of the PhD thesis ``Sobre la logica que preserva grados de verdad asociada a las algebras de Stone involutivas'' of Liliana Monica Cantu, supervised by Martin Figallo (Universidad del Sur).
Membro
2019 - Atual Participation to the defence committee of the PhD thesis ``An explication of Frege's procedure of content recarving'' of Vincenzo Ciccarelli, supervised by Marco Ruffino (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2019 - Atual Participation to the defence committee of the PhD thesis ``Contradições Gratuitas: Em Direção a uma Interpretação Nominalista de Teorias Contraditorias'' of Henrique Almeida, supervised by Walter Carnielli (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2018 - Atual Participation to the defence committee of the master thesis ``Reflexive Content and Informativeness'' of Gustavo Bertolino, supervised by Marco Ruffino
Membro
 Universidade Estadual de Campinas, Brasil
2018 - Atual Participation to the qualification committee of the master thesis ``Da distinção fregeana entre conceito e objeto e sua repercussão semântica'' of Leandro Bertolotto Camargo, supervised by Marco Ruffino (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2018 - Atual Participation to the defence committee of the PhD thesis ``An algebraic framework to a theory of sets based on the surreal numbers'' of Dimi Rocha Rangel, supervised by Hugo Mariano (USP).
Membro
 Universidade de São Paulo, Brasil
2018 - Atual Participation to the defence committee of the PhD thesis ``Traditional theory of semantic information without scandal of deduction'' of Bruno Ramos Mendonça, supervised by Walter Carnielli (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2018 - Atual Participation to the qualification committee of the PhD thesis ``Contradiction for Free'' of Henrique Almeida, supervised by Walter Carnielli (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2018 - Atual Participation to the defence committee of the master thesis ``O Problema de Scarborough-Stone'' of Rodrigo Rey Carvalho, supervised by Lúcia Junqueira (USP).
Membro
 Universidade de São Paulo, Brasil
2017 - Atual Participation to the defence committee of the PhD thesis ``Axiomas de esistência em subteorias de ZFC e sistemas axiomáticos relacionados'' of Edgar de Almeida, supervised by Itala D'Ottaviano and Rodrigo Freire (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2017 - Atual Participation to the qualification committee of the master thesis ``Modalidades paraconsistentes como base para lógicas epistêmico-doxásticas'' of Rogerio da Silva Junior, supervised by Itala D'Ottaviano (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2017 - Atual Participation to the qualification committee of the PhD thesis ``Traditional theory of semantic information without scandal of deduction'' of Bruno Ramos Mendonça, supervised by Walter Carnielli (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2017 - Atual Participation to the defence committee of the master thesis ``On Frege's definition of the ancestral relation: logical and philosophical considerations'' of João Victor Schmidt, supervised by Marco Ruffino (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2017 - Atual Participation to the defence committee of the PhD thesis ``Sobre noções de consequência generalizadas e lógicas plurivalentes'' of Carolina Blasio da Silva, supervised by Marco Ruffino (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2017 - Atual Participation to the qualification committee of the PhD thesis ``Axiomas de esistência em subteorias de ZFC e sistemas axiom\'aticos relacionados'' of Edgar de Almeida, supervised by Itala D'Ottaviano and Rodrigo Freire (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil
2017 - Atual Participation to the qualification committee of the PhD thesis ``Foundations and principles of Frege's logical objects'' of Vincenzo Ciccarelli, supervised by Marco Ruffino (UNICAMP).
Membro
 Universidade Estadual de Campinas, Brasil

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2020 - 2020 Set Theory (Master) Universidade Estadual de Campinas, Brasil
2020 - 2020 Non-classical Logics (Bachelor) Universidade Estadual de Campinas, Brasil
2020 - 2020 Set Theory and Applications (Master) Universidade de São Paulo, Brasil
2020 - 2020 Introduction to Logic (Bachelor) Universidade Estadual de Campinas, Brasil
2020 - 2020 Philosophy of mathematics (Master) Universidade Estadual de Campinas, Brasil
2019 - 2019 Logic II (FOL) (Bachelor) Universidade Estadual de Campinas, Brasil
2019 - 2019 Modal Logic (Master) Universidade Estadual de Campinas, Brasil
2019 - 2019 The independence of CH Mathematics (Doctor of Philosophy)
2019 - 2019 Introduction to Set Theory (Bachelor) Universidade Estadual de Campinas, Brasil
2019 - 2019 Model Theory (Master) Universidade Estadual de Campinas, Brasil
2018 - 2018 Set Theory II (Independence of CH) (Master)
2018 - 2018 Non-classical Logics (Bachelor) Universidade Estadual de Campinas, Brasil
2018 - 2018 Modal Logic (neighborhood semantics) (Master) Universidade Estadual de Campinas, Brasil
2018 - 2018 Introduction to Logic (Bachelor) Universidade Estadual de Campinas, Brasil
2017 - 2017 Modal Logic Universidade Estadual de Campinas, Brasil
2017 - 2017 History and Philosophy of Set Thory (Bachelor)
2017 - 2017 Model Theory Universidade Estadual de Campinas, Brasil
2017 - 2017 Philosophy of Mathematics (Master)
2014 - 2014 Meta-mathematics (Master) Universidade Estadual de Campinas, Brasil
Distinções

Prémio

2010 Premio AILA
Associazione Italiana di Logica e sue Applicazioni, Itália
2007 Premio AILA
Associazione Italiana di Logica e sue Applicazioni, Itália
2006 Premio AILA
Associazione Italiana di Logica e sue Applicazioni, Itália

Outra distinção

2020 Bolsa de Produtividade em pesquisa
Conselho Nacional de Desenvolvimento Científico e Tecnológico, Brasil