Giorgio Venturi

  • Endereço para acessar este CV: http://lattes.cnpq.br/9400649573488120
  • Última atualização do currículo em 18/09/2018


Bachelor degree in philosophy from from the Università degli Studi di Torino (2005), bachelor in mathemaitcs from the Università degli Studi di Torino (2007) and master in mathematics from Università degli Studi di Torino (2009). PhD thesis in philosophy (2014) Scuola Normale Superiore di Pisa (under the supervision of Profesor Gabriele Lolli). PhD in mathematics (2014) Université Paris Diderot (under the supervision of Professor Boban Velickovic). In 2014-2017 post-doc at Unicamp (CLE) with a projected founded by FAPESP. In 2015-2016 visiting post-doc at the Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST) in Paris. Since 2017, assitant professor at Unicamp. Areas of specializations: mathematical logic, set theory, modal logic, history of logic, philosophy of mathematics and philosophy of language. (Texto informado pelo autor)


Identificação


Nome
Giorgio Venturi
Nome em citações bibliográficas
VENTURI, G.;VENTURI, GIORGIO

Endereço


Endereço Profissional
Universidade Estadual de Campinas, Centro de Lógica Epistemologia e História da Ciência.
Rua Sérgio Buarque de Holanda
Cidade Universitária
13083859 - Campinas, SP - Brasil
Telefone: (019) 35216517


Formação acadêmica/titulação


2009 - 2014
Doutorado em Perfezionamento in discipline filosofiche.
Scuola Normale Superiore, SNS, Itália.
com período co-tutela em Université Paris Diderot (Orientador: Boban Velickovic).
Título: Contributions towards the generalization of Forcing Axioms, Ano de obtenção: 2014.
Orientador: Gabriele Lolli.
Coorientador: Boban Velickovic.
Bolsista do(a): Scuola Normale Superiore, SNS, Itália.
Palavras-chave: Set theory; Axiom.
Grande área: Ciências Humanas
2009 - 2014
Doutorado em Doctorat en mathématiques.
Université Paris Diderot, PARIS 7, França.
com período co-tutela em Scuola Normale Superiore (Orientador: Gabriele Lolli).
Título: Contributions towards the generalization of Forcing Axioms, Ano de obtenção: 2014.
Orientador: Boban Velickovic.
Coorientador: Gabriele Lolli.
2007 - 2009
Mestrado em Corso di laurea in matematica.
Università degli Studi di Torino PRINCIPALE, UNITO, Itália.
Título: Forcing Axioms and the cardinality of the continuum,Ano de Obtenção: 2009.
Orientador: Matteo Viale.
2005 - 2007
Graduação em Laurea triennale in matematica.
Università degli Studi di Torino PRINCIPALE, UNITO, Itália.
Título: Forcing e definibilità.
Orientador: Gabriele Lolli.
2002 - 2005
Graduação em Laurea triennale in filosofia.
Università degli Studi di Torino PRINCIPALE, UNITO, Itália.
Título: L'incompletezza di Goedel, dal paradosso alla dimostrazione.
Orientador: Gabriele Lolli.


Pós-doutorado


2014 - 2017
Pós-Doutorado.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Grande área: Ciências Exatas e da Terra
2015 - 2016
Pós-Doutorado.
Institut d'Histoire et de Philosophie des Sciences et des Techniques, IHPST, França.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Grande área: Ciências Humanas
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Philosophy of mahtematics.


Atuação Profissional



Université Paris Diderot, PARIS 7, França.
Vínculo institucional

2013 - 2014
Vínculo: ATER, Enquadramento Funcional: Temporary position for teaching and research


Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

2017 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: MS-3.1, Carga horária: 40, Regime: Dedicação exclusiva.



Revisor de periódico


2016 - Atual
Periódico: The Journal of Symbolic Logic
2015 - Atual
Periódico: Journal of Logic and Computation (Print)
2015 - Atual
Periódico: Principia (UFSC)
2016 - Atual
Periódico: Logic Journal of the IGPL (Print)
2016 - Atual
Periódico: Logique et Analyse
2016 - Atual
Periódico: Mathematical Reviews
2016 - Atual
Periódico: Synthese (Dordrecht)


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Lógica Matemática.
2.
Grande área: Lingüística, Letras e Artes / Área: Lingüística / Subárea: Filosofia da Linguagem.
3.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
4.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Epistemologia.
5.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica modal.
6.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Teoria de conjuntos.


Idiomas


Italiano
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.


Prêmios e títulos


2009
Premio AILA, Associazione Italiana di Logica e sue Applicazioni (AILA).
2007
Premio AILA, Associazione Italiana di Logica e sue Applicazioni (AILA).
2006
Premio AILA, Associazione Italiana di Logica e sue Applicazioni (AILA).


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
B. Velickvoic2017B. Velickvoic ; VENTURI, G. . A direct proof of the five element basis theorem. MATHEMATICAL LOGIC QUARTERLY, v. 63, p. 289-298, 2017.

2.
GILBERT, DAVID R.2017GILBERT, DAVID R. ; VENTURI, G. . A neighborhood semantics for the logics of unknown truths and of false beliefs. Australasian Journal of Logic, v. 14, p. 246-267, 2017.

3.
VENTURI, G.2017VENTURI, G.. A note on the introduction of Hilbert's Grundlagen der Geometrie. MANUSCRITO (UNICAMP), v. 40, p. 5-17, 2017.

4.
GILBERT, DAVID R.2016 GILBERT, DAVID R. ; VENTURI, GIORGIO . REFLEXIVE-INSENSITIVE MODAL LOGICS. The Review of Symbolic Logic, v. 9, p. 167-180, 2016.

5.
VENTURI, G.;VENTURI, GIORGIO2016 VENTURI, G.. Souslin trees and side conditions. JOURNAL OF SYMBOLIC LOGIC, v. 8, p. 483-492, 2016.

6.
VENTURI, GIORGIO2015VENTURI, GIORGIO. HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS. Manuscrito, v. 38, p. 5-38, 2015.

7.
VENTURI, G.;VENTURI, GIORGIO2014VENTURI, G.. Foundation of mathematics between theory and practice. Philosophia Scientiae, v. 18, p. 45-80, 2014.

8.
VENTURI, G.;VENTURI, GIORGIO2011VENTURI, G.. Hilbert, completeness and geometry. Italian Journal of Analytic Philosophy Junior, v. 2, p. 80-102, 2011.

Livros publicados/organizados ou edições
1.
VENTURI, G.; LOLLI G. ; PANZA, M. . From Logic to Practice. 1. ed. New York: Springer, 2015. v. 1. 336p .

Capítulos de livros publicados
1.
VENTURI, G.. Forcing, multiverse and realism. In: Boccuni; Sereni. (Org.). Objectivity, Realism, and Proof. 1ed.New York: Springer, 2016, v. 1, p. 205-240.

2.
SAN MAURO L. ; VENTURI, G. . Naturalness in mathematics. In: Lolli; Panza; Venturi. (Org.). Naturalness in mathematics. 1ed.New York: Springer, 2015, v. 1, p. 277-314.

3.
VENTURI, G.; B. Velickvoic . Proper forcing remastered. In: J. Cummings; E. Schimmerling. (Org.). Appalachian Set Theory 2006?2012. 1ed.Cambridge: Cambridge University Press, 2012, v. , p. 331-362.

Artigos aceitos para publicação
1.
VENTURI, GIORGIO; GILBERT, DAVID R. . A note on logics of essence and accident. LOGIC JOURNAL OF THE IGPL, 2018.

2.
VENTURI, GIORGIO. Cantor and the infinite. Lettera Pristem, 2018.

3.
VENTURI, GIORGIO; Matteo Viale . New axioms in set theory. Matematica, Cultura e Società. Rivista dell'Unione Matematica Italiana, 2018.

Apresentações de Trabalho
1.
VENTURI, G.. Genericity and arbitrariness. 2017. (Apresentação de Trabalho/Seminário).

2.
VENTURI, G.; Barton N. ; Ternullo C. . On forms of justification in set theory. 2017. (Apresentação de Trabalho/Simpósio).

3.
VENTURI, G.. Genericity and arbitrariness. 2017. (Apresentação de Trabalho/Simpósio).

4.
VENTURI, G.. Genericity and arbitrariness. 2017. (Apresentação de Trabalho/Congresso).

5.
VENTURI, G.. Speech act theory in mathematics. 2017. (Apresentação de Trabalho/Conferência ou palestra).

6.
VENTURI, G.. RI-logics. 2017. (Apresentação de Trabalho/Seminário).

7.
VENTURI, G.. RI-logics, Boxdot Conjecture and the modal logic of forcing. 2017. (Apresentação de Trabalho/Seminário).

8.
VENTURI, G.; SAN MAURO L. . One black sheep: pragmatics in mathematics. 2017. (Apresentação de Trabalho/Seminário).

9.
VENTURI, G.; GILBERT, DAVID R. . Relational and neighborhood semantics for logics of unknown truths. 2016. (Apresentação de Trabalho/Congresso).

10.
VENTURI, G.. Theoretical and meta-theoretical vir- tues of consistency. 2016. (Apresentação de Trabalho/Conferência ou palestra).

11.
VENTURI, G.. Genericity and arbitrariness. 2016. (Apresentação de Trabalho/Conferência ou palestra).

12.
VENTURI, G.. Modal and set theoretical tools for the study of the multiverse. 2016. (Apresentação de Trabalho/Conferência ou palestra).

13.
VENTURI, G.; SAN MAURO L. . Naturalness in the philosophy of mathematical practice and speech acts. 2016. (Apresentação de Trabalho/Seminário).

14.
VENTURI, G.. How to speak of the unspeakable. 2016. (Apresentação de Trabalho/Conferência ou palestra).

15.
VENTURI, G.; GILBERT, DAVID R. . Characterizing logics of essence and accident. 2015. (Apresentação de Trabalho/Congresso).

16.
VENTURI, G.; GILBERT, DAVID R. . Reflexive insensitive modal logics. 2015. (Apresentação de Trabalho/Conferência ou palestra).

17.
VENTURI, G.. Mathematical explanation and its practice. 2015. (Apresentação de Trabalho/Conferência ou palestra).

18.
GILBERT, DAVID R. ; VENTURI, G. . Reflexive insensitive modal logics. 2015. (Apresentação de Trabalho/Congresso).

19.
VENTURI, G.; GILBERT, DAVID R. . Reflexive insensitive modal logics. 2015. (Apresentação de Trabalho/Congresso).

20.
VENTURI, G.. On the naturalness of new axioms in set theory. 2015. (Apresentação de Trabalho/Congresso).

21.
VENTURI, G.. Forcing, multiverse and realism. 2015. (Apresentação de Trabalho/Congresso).

22.
VENTURI, G.. Mathematical explanation and its practice. 2015. (Apresentação de Trabalho/Congresso).

23.
VENTURI, G.. On the naturalness of new axioms in set theory. 2015. (Apresentação de Trabalho/Congresso).

24.
VENTURI, G.. Hilbert on the notion of axiom: between the formal and the informal side of axiomatization. 2014. (Apresentação de Trabalho/Congresso).

25.
VENTURI, G.; SAN MAURO L. . Aspects of naturalness in mathematics. 2013. (Apresentação de Trabalho/Congresso).

26.
VENTURI, G.. Proper forcing remastered. 2013. (Apresentação de Trabalho/Congresso).

27.
VENTURI, G.. Set theory as unity of mathematical practice. 2013. (Apresentação de Trabalho/Congresso).

28.
VENTURI, G.. The concept of axiom in Hilbert?s thought. 2013. (Apresentação de Trabalho/Congresso).

29.
VENTURI, G.. Generalized side conditions. 2013. (Apresentação de Trabalho/Conferência ou palestra).

30.
VENTURI, G.. Forcing Axioms and the foundation of mathematics. 2013. (Apresentação de Trabalho/Conferência ou palestra).

31.
VENTURI, G.. What is forcing?. 2013. (Apresentação de Trabalho/Seminário).

32.
VENTURI, G.. L?unità della matematica tra teoria e pratica. 2012. (Apresentação de Trabalho/Congresso).

33.
VENTURI, G.. The unity of mathematics: the interplay between mathematical practice and foundational issues. 2012. (Apresentação de Trabalho/Congresso).

34.
VENTURI, G.. Generalized side conditions. 2012. (Apresentação de Trabalho/Seminário).

35.
VENTURI, G.. Le concept d?axiome dans l?oeuvre de Hilbert. 2011. (Apresentação de Trabalho/Seminário).

36.
VENTURI, G.. The concept of axiom between Hilbert and set theory. 2011. (Apresentação de Trabalho/Congresso).

37.
VENTURI, G.. L?assioma di completezza nei Grundlagen der Geometrie: assiomatica moderna e contemporanea a confronto. 2011. (Apresentação de Trabalho/Congresso).

38.
VENTURI, G.. Introduzione agli assiomi di forcing. 2010. (Apresentação de Trabalho/Seminário).

39.
VENTURI, G.. A new, direct, proof of the five element basis theorem. 2010. (Apresentação de Trabalho/Seminário).

Outras produções bibliográficas
1.
VENTURI, G.. Review of J. Leo, Coordinate-free logic. Review of Symbolic Logic 9(3):522--555, 2016.. Mathematical review, 2017 (Review).

2.
VENTURI, G.. Review of A. Blum, An aspect of necessity. Metalogicon (N.S.)( 1), pp. 31--36, 2016.. Mathematical review, 2017 (Review).

3.
VENTURI, G.. Review of of J. Burgess, Intuition of three kinds in Goedel's view on the continuum, in ``Interpreting G\'odel. Critical Essays'' (J. Kennedy ed.) Cambridge University Press, 2016.. Mathematical review, 2017 (Review).

4.
VENTURI, G.. Reviews of W. Ewald and W. Sieg eds. David Hilbert's lectures on the foundations of arithmetic and logic (1917--1933), Springer, 2013. Mathematical review, 2017 (Review).

5.
VENTURI, G.. Review of V. Dimonte and L. Wu, A general tool for consistency results related to I1, European Journal of Mathematics 2(2), 474-492, 2016.. Mathematical review, 2016 (Review).

6.
VENTURI, G.; Sbardolini G. . Filosofia della Matematica, 2011. (Prefácio, Pósfacio/Introdução)>.



Bancas



Participação em bancas de trabalhos de conclusão
Teses de doutorado
1.
D'Ottaviano I.; Freire R.; MARIANO, H.; VENTURI, G.. Participação em banca de Edgar Almeida. Axiomas de esistência em subteorias de ZFC e sistemas axiomáticos relacionados. 2017.

2.
VENTURI, G.; Ruffino M; RODRIGUES, A.; ARAUJO, G.; FINGER, M.. Participação em banca de Carolina Blasio da Silva. Sobre noções de consequência generalizadas e lógicas plurivalentes. 2017. Tese (Doutorado em Doutorado) - Universidade Estadual de Campinas.

Qualificações de Doutorado
1.
Ruffino M; VENTURI, G.. Participação em banca de Vincenzo Ciccarelli. Foundations and principles of Frege's logical objects. 2017. Exame de qualificação (Doutorando em Doutorado) - Universidade Estadual de Campinas.

2.
VENTURI, G.; Walter Carnielli; Freire R.. Participação em banca de Bruno Ramos Mendonça. `Traditional theory of semantic information without scandal of deduction. 2017. Exame de qualificação (Doutorando em Doutorado) - Universidade Estadual de Campinas.

3.
D'Ottaviano I.; MARIANO, H.; Freire R.; VENTURI, G.. Participação em banca de Edgar Almeida. Axiomas de esistência em subteorias de ZFC e sistemas axiomáticos relacionados. 2017. Exame de qualificação (Doutorando em Doutorado) - Universidade Estadual de Campinas.

4.
Ruffino M; VENTURI, G.. Participação em banca de Carolina Blasio. Não tenha medo do desconhecido. Sobre as relações de consequnência não-standard e a B-consequence. 2015. Exame de qualificação (Doutorando em Doutorado) - Universidade Estadual de Campinas.

Qualificações de Mestrado
1.
D'Ottaviano I.; VENTURI, G.; SOLER, J. B.. Participação em banca de Rogério da Silva Júnior. Modalidades paraconsistentes como base para lógicas epistêmico-doxásticas. 2017. Exame de qualificação (Mestrando em Filosofia) - Universidade Estadual de Campinas.

2.
Ruffino M; VENTURI, G.. Participação em banca de João Vitor Smith. On Frege's definition of the ancestral relation: logical and philosophical considerations. 2016. Exame de qualificação (Mestrando em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

3.
VENTURI, G.; Walter Carnielli. Participação em banca de Edson Vinícius Bezerra. A multiplicação de valores de verdade é uma má idea: um estudo das bivalorações do punto de vista da semântica de sociedades. 2016. Exame de qualificação (Mestrando em Lógica e Filosofia da Ciência) - Universidade Estadual de Campinas.

4.
VENTURI, G.; Walter Carnielli. Participação em banca de Henrique Almeida. Revisitando o Teorema de Frege. 2014. Exame de qualificação (Mestrando em Filosofia) - Universidade Estadual de Campinas.



Participação em bancas de comissões julgadoras
Outras participações
1.
VENTURI, G.. Premio AILA 2017. 2017. Associazione di Logica Italiana e sue Applicazioni.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Logic Seminar.Generalized side conditions. 2013. (Seminário).

2.
MALOA Conference. Proper forcing remastered. 2013. (Congresso).

3.
Philosophy Seminar.Forcing Axioms and the foundation of mathematics. 2013. (Seminário).

4.
Seminaire des philosophies des mathématiques.What is forcing?. 2013. (Seminário).

5.
World congress and school in universal logic. Set theory as unity of mathematical practice. 2013. (Congresso).

6.
XI Seminario National de Historia da Matematica.The concept of axiom in Hilbert s though. 2013. (Seminário).

7.
Filosofia della matematica: dalla logica alla pratica. Giovani studiosi a confronto. L unità della matematica tra teoria e pratica. 2012. (Congresso).

8.
Seminario di teoria degli insiemi.Generalized side conditions. 2012. (Seminário).

9.
The answers of philosophy: SIFA 20th anniversary conferenc. The unity of mathematics: the interplay between mathematical practice and foundational issues. 2012. (Congresso).

10.
Due giornate di studio sulla fiosofia della matematica.L assioma di completezza nei Grundlagen der Geometrie: assiomatica moderna e contemporanea a confronto.. 2011. (Oficina).

11.
Final meeting for the project Verité et Preuves.The concept of axiom between Hilbert and set theory. 2011. (Oficina).

12.
Seminar for the second meeting of the project Verité et Preuves.Le concept d'axiome dans l'oeuvre de Hilbert. 2011. (Encontro).

13.
Seminario di Logica a Pisa.Introduzione agli assiomi di forcing. 2010. (Seminário).

14.
Workshop on forcing axioms.A new, direct, proof of the five element basis theorem. 2010. (Oficina).


Organização de eventos, congressos, exposições e feiras
1.
VENTURI, G.. XVIII Brazilian Logic Conference. 2017. (Congresso).

2.
VENTURI, G.. Trends in Logic XVI Studia Logica International Conference. 2016. (Congresso).

3.
VENTURI, G.. Insiemi, Linguaggi, Dimostrazioni. Una giornata di studio in onore di Gabriele Lolli. 2013. (Congresso).

4.
VENTURI, G.; LOLLI G. . Filosofia della matematica: dalla logica alla pratica. Giovani studiosi a confronto.. 2012. (Congresso).

5.
VENTURI, G.. Due giornate di studio sulla filosofia della matematics. 2011. (Congresso).



Orientações



Orientações e supervisões em andamento
Tese de doutorado
1.
Edson Vinícius Bezerra. Teoria Paraconsistente da Verdade: uma abordagem pelas Lógicas da Inconsistência Formal. Início: 2017. Tese (Doutorado em Doutorado) - Universidade Estadual de Campinas. (Orientador).

2.
João Vitor Smith. Informatividade e lógica de segunda ordem na filosofia da matemática de Frege. Início: 2017. Tese (Doutorado em Doutorado) - Universidade Estadual de Campinas. (Orientador).

Supervisão de pós-doutorado
1.
Giulia Terzian. Início: 2017. Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.




Página gerada pelo Sistema Currículo Lattes em 15/10/2018 às 7:27:24