???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.
Identification

Personal identification

Full name
Giorgio Venturi

Citation names

  • Venturi, Giorgio

Author identifiers

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

Websites

Knowledge fields

  • Humanities - Philosophy, Ethics and Religion - Philosophy
  • Exact Sciences - Mathematics

Languages

Language Speaking Reading Writing Listening Peer-review
Italian (Mother tongue)
Portuguese Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
French Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Spanish; Castilian Elementary (A2) Proficiency (C2) Elementary (A2) Upper intermediate (B2) Proficiency (C2)
German Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1)
Education
Degree Classification
2010 - 2014
Concluded
 Matemática (Doctor of Philosophy)
Université de Paris, France
 Trés honorable
2009 - 2014
Concluded
 Filosofia (Doctor of Philosophy)
Scuola Normale Superiore Classe di Lettere e Filosofia, Italy
 70/70 cum laude
2007 - 2009
Concluded
 Matemática (Master)
Università degli Studi di Torino Dipartimento di Matematica Giuseppe Peano, Italy
 110/110 cum laude
2005 - 2007
Concluded
 Matemática (Bachelor)
Università degli Studi di Torino Dipartimento di Matematica Giuseppe Peano, Italy
 110/110 cum laude
2002/09/01 - 2005/06/01
Concluded
 Filosofia (Bachelor)
Università degli Studi di Torino Dipartimento di Filosofia e Scienze dell'Educazione, Italy
"I teoremi di Goedel, dal paradosso alla dimostrazione" (THESIS/DISSERTATION)
 110/110 cum laude
Affiliation

Science

Category
Host institution 		Employer
2014 - 2017 Postdoc (Research) Fundação de Amparo à Pesquisa do Estado de São Paulo, Brazil
Universidade Estadual de Campinas Centro de Lógica Epistemologia e História da Ciência, Brazil
2015 - 2016 Visiting Researcher (Research) Fundação de Amparo à Pesquisa do Estado de São Paulo, Brazil
Institut d'Histoire et de Philosophie des Sciences et des Techniques, France

Teaching in Higher Education

Category
Host institution 		Employer
2017 - Current Assistant Professor (University Teacher) Universidade Estadual de Campinas, Brazil
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
2013 - 2014 Assistant (University Teacher) Université de Paris, France
Projects

Grant

Designation Funders
2020 - Current A Study on Ontology of Numbers
2020/08214-3
Supervisor
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Ongoing
2020 - Current Modal logics and ontologies for possible worlds
2020/07998-0
Supervisor
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Ongoing
2018 - Current Arbitrariness and definability in non-classical logic
2017/23853-0
Supervisor
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Ongoing
2020 - 2021 Reasons for and against arbitrary objects
2019/17407-2
Supervisor
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluded
2019 - 2021 Origins of generic point in algebraic geometry and mathematical practice
2019/01580-7
Supervisor
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
 Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas
Concluded
2018 - 2021 Models of Non-Classical Set Theory
2017/23853-0
Supervisor
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
Supervisor
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
 Conselho Nacional de Desenvolvimento Científico e Tecnológico
2019 - 2020 Essence and Arbitrariness
2019/17407-2
Supervisor
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluded
2019 - 2020 Origins of Generic Point in Algebraic Geometry and Mathematical Practice
2019/01580-7
Supervisor
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
 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
Supervisor
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluded
2019 - 2020 Arbitrary Objects and the Concept of Infinite
2019/21647-9
Supervisor
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluded
2019 - 2019 Provability as Modality
2018/22896-0
Supervisor
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluded
2014 - 2017 Set theory and its internal logic
2013/25095-4
Post-doc Fellow
Universidade Estadual de Campinas Centro de Lógica Epistemologia e História da Ciência, Brazil
 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
Post-doc Fellow
Institut d'Histoire et de Philosophie des Sciences et des Techniques, France
 Fundação de Amparo à Pesquisa do Estado de São Paulo

Contract

Designation Funders
2020 - 2021 Slurs Semantics and Illocutionary Acts
2018/17011-9
Researcher
Universidade Estadual de Campinas Centro de Lógica Epistemologia e História da Ciência, Brazil
 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
Principal investigator
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Ongoing
2019 - 2020 Algebra-valued models of non-classical set theories
2019/12527-0
Principal investigator
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluded
2018 - 2020 Um caso de estudo sobre logica modal não-normal
403272/2019-0
Principal investigator
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
 Conselho Nacional de Desenvolvimento Científico e Tecnológico
Concluded
2019 - 2019 Speaking the unspeakable. Paradoxes between truth and proof
2019/14825-8
Principal investigator
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluded
2018 - 2018 Cantor meets Robinson
2018/07577-5
Principal investigator
Universidade Estadual de Campinas Instituto de Filosofia e Ciências Humanas, Brazil
 Fundação de Amparo à Pesquisa do Estado de São Paulo
Concluded
Outputs

Publications

Book chapter
  1. Venturi, Giorgio. "Linear models and set theory". In Seminário Permanente Lógica no Avião. 2019.
    Published
  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
Edited book
  1. Venturi, Giorgio. From Logic to Practice. Springer International Publishing. 2015.
    10.1007/978-3-319-10434-8
Journal article
  1. Venturi, Giorgio; Sourav Tarafder. "Independence proofs in non-classical set theory.". Review of Symbolic Logic (2022):
    Accepted
  2. Venturi, Giorgio. "Reflexive-insensitive logics, the box-dot translation, and the modal logic of generic absoluteness.". Notre Dame Journal of Formal Logic (2021):
    Accepted
  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
Preface / Postscript
  1. Venturi, Giorgio; Marco Panza; Gabriele Lolli. "Introduction". Preface to From Logic to Practice. Italian studies in the philosophy of mathematics. Springer. 2015.
    Published
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2021/09 Algebra-valued models for non-classical set theory VI Congreso Latinoamericano de Matemáticos
(Montevideo, Paraguay)
2021/07 Complete models of set theory and a semantic solution to the Continuum Hypothesis Logic Colloquium 2020
(Poland)
2020 The pragmatic structure of mathematics Logic seminar of the Université Catholique de Louvain
Université Catholique de Louvain (Louvain, Belgium)
2020 On non classical models for set theory Barcelona Set Theory Seminar
University of Barcelona (Barcelona, Spain)
2020 On non classical models for set theory Seminar of the Equipe de Logique
Université de Paris (Paris, France)
2019 A semantic approach to the problem of independence First Joint Meeting Brazil-France in Mathematics
IMPA (Brazil)
2019 Speech acts in mathematics Workshop on pragmatics in mathematics
Università San Raffaele (Milano, Italy)
2019 Reflexive insensitive logics and the method of generated subframe A case study for non-normal modal logic
Unicamp (Campinas, Brazil)
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, Austria)
2018 Mathematical definitions as declarative speech acts CLIP talk
University of Koeln (Koeln, Germany)
2018 Axioms and postulates as speech acts Logic Seminar
University of Sevilla (Sevilla, Spain)
2018 Speech act theory in mathematics Philmat Seminar
IHPST (Paris, France)
2018 RI-logics and a case study on non-normality LIAMF seminar
University of São Paulo (São Paulo, Brazil)
2018 Speech acts theory and the ontology of mathematics V Conference of the Brazilian Society for Analytic Philosophy
Federal University of Bahia (Salvador, Brazil)
2017 On generic arbitrary models of set theory Foundations of Mathematics and Applications
University of São Paulo (São Paulo, Brazil)
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, Brazil)
2017 Genericity and arbitrariness Second symposium on set theoretical pluralism
University of Bristol (Bristol, United Kingdom)
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, Brazil)
2016 Genericity and arbitrariness Bristol-Munchen Workshop on Truth and Rationality
University of Bristol (Bristol , United Kingdom)
2016 Theoretical and meta-theoretical virtues of consistency Language and metalanguage, logic and metalanguage. Revisiting Tarski’s hierarchy
Université Catholique de Louvain (Louvain, Belgium)
2016 Relational and neighborhood semantics for logics of unknown truths Frontiers of Non-Classicality
University of Auckland (Auckland, New Zealand)
2016 On forms of justification in set theory Philosophy of mathematics: truth, existence, and explanation
University of Chieta-Pescara (Chieti, Italy)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2021 - Current Genericity in the Context of Proofs
Supervisor
 Filosofia (PhD)
Universidade Estadual de Campinas, Brazil
2021 - Current Abstraction and Arbitrariness
Supervisor
 Filosofia (PhD)
Universidade Estadual de Campinas, Brazil
2021 - Current Implication of Large Cardinal Axioms on the Universe of Sets
Supervisor
 Filosofia (Master)
Universidade Estadual de Campinas, Brazil
2021 - Current Mathematics without ontological neutrality
Supervisor
 Filosofia (Master)
Universidade Estadual de Campinas, Brazil
2020 - Current Forcing Axioms and Generic Absoluteness
Supervisor
 Matemática (Master)
Universidade de São Paulo, Brazil
2020 - Current Modal Logics and Ontologies for Possible Worlds
Supervisor
 Filosofia (Scientific initiation)
Universidade Estadual de Campinas, Brazil
2020 - Current A Study on Ontology of Numbers
Supervisor
 Filosofia (Scientific initiation)
Universidade Estadual de Campinas, Brazil
2018 - Current Models of Non-Classical Set Theory
Supervisor
 Filosofia (PhD)
Universidade Estadual de Campinas, Brazil
2017 - Current A Modal Approach to Logical Consistency
Supervisor
 Filosofia (PhD)
Universidade Estadual de Campinas, Brazil
2017 - Current Frege's Act-Based Logical System: a Pragmatic Reading for the Concept-Script Language
Supervisor
 Filosofia (PhD)
Universidade Estadual de Campinas, Brazil
2020 - 2020 The Mathematical Limits of the Axiom of Choice and of the Axiom of Determinacy
Supervisor
 Filosofia (Scientific initiation)
Universidade Estadual de Campinas, Brazil
2020 - 2020 Arbitrary Objects and the Concept of Infinite
Supervisor
 Filosofia (Scientific initiation)
Universidade Estadual de Campinas, Brazil
2019 - 2020 Essence and Arbitrariness
Supervisor
 Filosofia (Master)
Universidade Estadual de Campinas, Brazil
2019 - 2020 Origins of Generic Point in Algebraic Geometry and Mathematical Practice
Supervisor
 Filosofia (Master)
Universidade Estadual de Campinas, Brazil
2019 - 2019 Provability as Modality
Supervisor
 Filosofia (Scientific initiation)
Universidade Estadual de Campinas, Brazil
2018 - 2018 First-Order Modal Logic and RI-Logics
Supervisor
 Filosofia (Scientific initiation)
Universidade Estadual de Campinas, Brazil
2017 - 2018 Axiomatic Set Theory. An Introduction to Independence Proofs
Supervisor
 Matemática (Scientific initiation)
Universidade Estadual de Campinas, Brazil

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2020 - Current 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)
Conference (President of the Organising Committee)
 Université de Paris, France
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)
Conference (President of the Organising Committee)
 Universidade Estadual de Campinas, Brazil
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)
Conference (Co-organisor)
 Universidade de São Paulo, Brazil
2019 - 2019 Organizer of the workshop A case study on non-normal modal logic, Campinas, 16 May, 2019. (2019 - 2019)
Workshop (President of the Organising Committee)
 Universidade Estadual de Campinas, Brazil
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)
Round table (President of the Organising Committee)
2018 - 2018 Organizer of the conference "Cantor meets Robinson", at IMECC Unicamp, 12-15 December, 2018. (https://cantormeetsrobinson.wordpress.com) (2018 - 2018)
Conference (President of the Organising Committee)
 Universidade de São Paulo, Brazil
2017 - 2017 Organizer of the round table "Genericity and arbitrariness" at the "XVIII Brazilian Logic Conference", Pirenopolis 8-12 May, 2017. (2017 - 2017)
Round table (President of the Organising Committee)
2016 - 2016 Co-organizer of the conference "Trends in Logic XVI Studia Logica International Conference", Campinas 12-15 September, 2016. (2016 - 2016)
Conference (Co-organisor)
 Universidade Estadual de Campinas, Brazil

Conference scientific committee

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

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2020 - 2020 Set Theory (Master) Universidade Estadual de Campinas, Brazil
2020 - 2020 Non-classical Logics (Bachelor) Universidade Estadual de Campinas, Brazil
2020 - 2020 Set Theory and Applications (Master) Universidade de São Paulo, Brazil
2020 - 2020 Introduction to Logic (Bachelor) Universidade Estadual de Campinas, Brazil
2020 - 2020 Philosophy of mathematics (Master) Universidade Estadual de Campinas, Brazil
2019 - 2019 Logic II (FOL) (Bachelor) Universidade Estadual de Campinas, Brazil
2019 - 2019 Modal Logic (Master) Universidade Estadual de Campinas, Brazil
2019 - 2019 The independence of CH Mathematics (Doctor of Philosophy)
2019 - 2019 Introduction to Set Theory (Bachelor) Universidade Estadual de Campinas, Brazil
2019 - 2019 Model Theory (Master) Universidade Estadual de Campinas, Brazil
2018 - 2018 Set Theory II (Independence of CH) (Master)
2018 - 2018 Non-classical Logics (Bachelor) Universidade Estadual de Campinas, Brazil
2018 - 2018 Modal Logic (neighborhood semantics) (Master) Universidade Estadual de Campinas, Brazil
2018 - 2018 Introduction to Logic (Bachelor) Universidade Estadual de Campinas, Brazil
2017 - 2017 Modal Logic Universidade Estadual de Campinas, Brazil
2017 - 2017 History and Philosophy of Set Thory (Bachelor)
2017 - 2017 Model Theory Universidade Estadual de Campinas, Brazil
2017 - 2017 Philosophy of Mathematics (Master)
2014 - 2014 Meta-mathematics (Master) Universidade Estadual de Campinas, Brazil

Evaluation committee

Activity description
Role 		Institution / Organization Funding entity
2020 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2020 - Current Participation to the defence committee of the master thesis ``Essence and arbitrariness'' of Pedro Yago, supervised by Giorgio Venturi (UNICAMP).
Member
 Universidade Estadual de Campinas, Brazil
2020 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2020 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2020 - Current Participation to the qualification committee of the master thesis ``Essence and arbitrariness'' of Pedro Yago, supervised by Giorgio Venturi (UNICAMP).
Member
 Universidade Estadual de Campinas, Brazil
2019 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2019 - Current Participation to the defence committee of the undergraduate thesis ``Lógica modal e provabilidade'', of Felipe Albarelli, supervised by Giorgio Venturi (UNICAMP).
Member
 Universidade Estadual de Campinas, Brazil
2019 - Current Participation to the qualification committee of the PhD thesis ``A modal approach to logical consistency'', of Edson Bezerra, supervised by Giorgio Venturi
Member
 Universidade Estadual de Campinas, Brazil
2019 - Current Participation to the qualification committee of the PhD thesis ``Models of non-classical set theories'', of Santiago Jockwich, supervised by Giorgio Venturi (UNICAMP).
Member
 Universidade Estadual de Campinas, Brazil
2019 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2019 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2019 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2019 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2019 - Current 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).
Member
2019 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2019 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2018 - Current Participation to the defence committee of the master thesis ``Reflexive Content and Informativeness'' of Gustavo Bertolino, supervised by Marco Ruffino
Member
 Universidade Estadual de Campinas, Brazil
2018 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2018 - Current 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).
Member
 Universidade de São Paulo, Brazil
2018 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2018 - Current Participation to the qualification committee of the PhD thesis ``Contradiction for Free'' of Henrique Almeida, supervised by Walter Carnielli (UNICAMP).
Member
 Universidade Estadual de Campinas, Brazil
2018 - Current Participation to the defence committee of the master thesis ``O Problema de Scarborough-Stone'' of Rodrigo Rey Carvalho, supervised by Lúcia Junqueira (USP).
Member
 Universidade de São Paulo, Brazil
2017 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2017 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2017 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2017 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2017 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2017 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil
2017 - Current 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).
Member
 Universidade Estadual de Campinas, Brazil

Journal scientific committee

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

Award

2010 Premio AILA
Associazione Italiana di Logica e sue Applicazioni, Italy
2007 Premio AILA
Associazione Italiana di Logica e sue Applicazioni, Italy
2006 Premio AILA
Associazione Italiana di Logica e sue Applicazioni, Italy

Other distinction

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