Giorgio Venturi

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.

Informações coletadas do Lattes em 04/11/2022

Acadêmico

Formação acadêmica

Doutorado em Perfezionamento in discipline filosofiche

2009 - 2014

Scuola Normale Superiore
Título: Contributions towards the generalization of Forcing Axioms
Orientador: Gabriele Lolli
com Coorientador: Boban Velickovic. Bolsista do(a): Scuola Normale Superiore, SNS, Itália. Palavras-chave: Set theory; Axiom.Grande área: Ciências Humanas

Doutorado em Doctorat en mathématiques

2009 - 2014

Université Paris Diderot
Título: Contributions towards the generalization of Forcing Axioms
Orientador: Boban Velickovic
com Coorientador: Gabriele Lolli.

Mestrado em Corso di laurea in matematica

2007 - 2009

Università degli Studi di Torino PRINCIPALE
Título: Forcing Axioms and the cardinality of the continuum, Ano de Obtenção: 2009
Orientador: Matteo Viale

Graduação em Laurea triennale in matematica

2005 - 2007

Università degli Studi di Torino PRINCIPALE
Título: Forcing e definibilità
Orientador: Gabriele Lolli

Graduação em Laurea triennale in filosofia

2002 - 2005

Università degli Studi di Torino PRINCIPALE
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.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Italiano

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Francês

Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Lógica Matemática.

Grande área: Lingüística, Letras e Artes / Área: Lingüística / Subárea: Filosofia da Linguagem.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Epistemologia.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica modal.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Teoria de conjuntos.

Organização de eventos

VENTURI, GIORGIO ; PETROLO, M. . A case study on non-normal modal logic. 2019. (Outro).

VENTURI, G. ; Freire R. ; JUNQUEIRA, L. ; MARIANO, H. . 1o Workshop: Studies in Mathematical Logic. 2019. (Congresso).

VENTURI, G. ; PETROLO, M. . Speaking the unspeakable. Paradoxes between truth and proof. 2019. (Congresso).

VENTURI, GIORGIO ; Freire R. ; MARIANO, H. . Cantor meets Robinson. 2018. (Congresso).

VENTURI, GIORGIO ; Freire R. ; MARIANO, H. . Minicourses in the foundations of mathematics. 2018. (Outro).

VENTURI, G. . XVIII Brazilian Logic Conference. 2017. (Congresso).

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

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

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

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

Participação em eventos

Logic Seminar.Generalized side conditions. 2013. (Seminário).

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

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

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

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

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

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

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

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

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

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

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

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

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

Participação em bancas

Aluno: Rafael Albiero Vieira

Ruffino M;VENTURI, G.. Indexicalidade nos Casos do Contingente A Priori. 2019. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Leandro Camargo

VENTURI, G.; Ruffino M; ARAUJO, G.. Da distinção Fregeana entre conceito e objeto e sua ripercussão semântica. 2019. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Lucas Chiozini de Souza

VENTURI, G.; AURICHI, L.; JUNQUEIRA, L.. D-espaços e aplicações. 2019. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

Aluno: Rodrigo Rey Carvalho

JUNQUEIRA, L.;VENTURI, GIORGIO. O Problema de Scarborough-Stone. 2018. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.

Aluno: Gustavo Bertolino

VENTURI, GIORGIO; Ruffino M; SOUTIF, L.; BOCCARDI, E.. Reflexive Content and Informativeness. 2018. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Henrique Almeida

VENTURI, GIORGIO; Walter Carnielli; RODRIGUES, A.; ARENHART, J. R. B.; Ruffino M. Contradições Gratuitas: Em Direção a uma Interpretação Nominalista de Teorias Contraditórias. 2019. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Vincenzo Ciccarelli

VENTURI, GIORGIO; Ruffino M; CONIGLIO, M.; SOUZA, E. G.; IMAGUIRE, G.. An explication of Frege's procedure of content recarving. 2019. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Liliana Monica Cantu

VENTURI, G.; FIGALLO, M.. Sobre la logica que preserva grados de verdad asociada a las algebras de Stone involutivas. 2019. Tese (Doutorado em Matematica) - Universidad Nacional del Sur.

Aluno: Bruno Ramos Mendonça

VENTURI, GIORGIO; CONIGLIO, M.; SAUTTER, F. T.; SOUZA, E. G.; Freire R.. Traditional theory of semantic information without scandal of deduction. 2018. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Aluno: Dimi Rocha Rangel

VENTURI, GIORGIO; MARIANO, H.; LUCIANO, O. O.; BRUNNER, A. B. M.; Freire R.. An algebraic framework to a theory of sets based on the surreal numbers. 2018. Tese (Doutorado em Matemática) - Universidade de São Paulo.

Aluno: Edgar Almeida

D'Ottaviano I.; Freire R.; MARIANO, H.;VENTURI, G.. Axiomas de esistência em subteorias de ZFC e sistemas axiomáticos relacionados. 2017.

Aluno: Carolina Blasio da Silva

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

Aluno: Santiago Jockwich

VENTURI, G.; MARIANO, H.; Sourav Tarafder. Models of non-classical set theories. 2019. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Edson Bezerra

VENTURI, G.; PETROLO, M.; BARRIO, E.. A modal approach to logical consistency. 2019. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Henrique Almeida

Walter Carnielli;VENTURI, GIORGIO; Ruffino M. Contradiction for Free. 2018. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Vincenzo Ciccarelli

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

Aluno: Edgar Almeida

D'Ottaviano I.; MARIANO, H.; Freire R.;VENTURI, G.. 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.

Aluno: Bruno Ramos Mendonça

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

Aluno: Carolina Blasio

Ruffino M;VENTURI, G.. 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.

Aluno: Antonio Francisco

Ruffino M;VENTURI, G.. Uma investigação da linguagem e do pensamento para a despsicologização da lógica e psicologização da linguagem natural. 2019. Exame de qualificação (Mestrando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Leandro Bertolotto Camargo

VENTURI, GIORGIO; Ruffino M; GREIMANN, D.. Da distinção fregeana entre conceito e objeto e sua repercussão semântica. 2018. Exame de qualificação (Mestrando em Filosofia) - Universidade Estadual de Campinas.

Aluno: Rogério da Silva Junior

D'Ottaviano I.;VENTURI, G.; SOLER, J. B.. Modalidades paraconsistentes como base para lógicas epistêmico-doxásticas. 2017. Exame de qualificação (Mestrando em Filosofia) - Universidade Estadual de Campinas.

Aluno: João Vitor Smith

Ruffino M;VENTURI, G.. 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.

Aluno: Edson Vinicius Bezerra

VENTURI, G.; Walter Carnielli. 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.

Aluno: Henrique Almeida

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

VENTURI, G.. Premio AILA 2017. 2017. Associazione di Logica Italiana e sue Applicazioni.

Orientou

Petro Yago

Essência e a lógica moderna; Início: 2019; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Renato Reis Leme

Origins of generic point in algebraic geometry and mathematical practice; Início: 2018; Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; (Orientador);

Santiago Jockwich

Arbitrariedade e definibilidade; Início: 2018; Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; (Orientador);

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);

Edson Vinicius 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);

Felipe Albarelli

Lógica da provabilidade; Início: 2018; Iniciação científica (Graduando em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; (Orientador);

Giulia Terzian

2017; Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Giorgio Venturi;

Caio Laurenti

Teoria Axiomática de Conjuntos - Introdução às Demonstrações de Indepêndencia; 2018; Iniciação Científica; (Graduando em Matemática) - Universidade Estadual de Campinas, Fundo de Apoio ao Ensino, à Pesquisa e à Extensão; Orientador: Giorgio Venturi;

Pedro Teixeira Yago

Lógica modal de primeira orderm; 2018; Iniciação Científica; (Graduando em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Giorgio Venturi;

Produções bibliográficas

JOCKWICH, SANTIAGO ; TARAFDER, SOURAV ; VENTURI, GIORGIO . Ideal Objects for Set Theory. Journal of Philosophical Logic , v. 1, p. 1, 2022.
VENTURI, G. ; Sourav Tarafder . INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES. Review of Symbolic Logic , v. 1, p. 1-32, 2021.
SAN MAURO, LUCA ; VENTURI, G. . What is it to believe in a mathematical assertion?. Rivista Italiana Di Filosofia Del Linguaggio , v. 15, p. 154-157, 2021.
BEZERRA, EDSON ; VENTURI, G. . Squeezing arguments and the plurality of informal notions.. Journal of Applied Logic , v. 15, p. 1899, 2021.
GILBERT, DAVID ; KUBYSHKINA, EKATERINA ; PETROLO, MATTIA ; VENTURI, GIORGIO . Logics of Ignorance and Being Wrong. LOGIC JOURNAL OF THE IGPL , v. 1, p. 1, 2021.
TARAFDER, SOURAV ; VENTURI, GIORGIO . $$mathrm {ZF}$$ Between Classicality and Non-classicality. Studia Logica , v. 1, p. 1, 2021.
PLEBANI, MATTEO ; SAN MAURO, LUCA ; VENTURI, GIORGIO . Thin Objects Are Not Transparent. Theoria (Lund) , v. 1, p. 1, 2021.
VENTURI, GIORGIO ; GILBERT, DAVID R. . A note on logics of essence and accident. LOGIC JOURNAL OF THE IGPL , v. jzy065, p. 1-11, 2020.
VENTURI, GIORGIO . Infinite Forcing and the Generic Multiverse. Studia Logica , v. 108, p. 277-290, 2020.
RUFFINO, MARCO ; SAN MAURO, LUCA ; VENTURI, GIORGIO . Rejoinder. JOURNAL OF PRAGMATICS , v. 160, p. 123, 2020.
RUFFINO, MARCO ; SAN MAURO, LUCA ; VENTURI, GIORGIO . At least one black sheep: Pragmatics and mathematical language. JOURNAL OF PRAGMATICS , v. 160, p. 114-119, 2020.
BARTON, NEIL ; TERNULLO, CLAUDIO ; VENTURI, GIORGIO . On Forms of Justification in Set Theory. The Australasian Journal of Logic , v. 17, p. 158, 2020.
VENTURI, GIORGIO ; TEIXEIRA YAGO, PEDRO . Tableaux for essence and contingency. LOGIC JOURNAL OF THE IGPL , v. 1, p. 1, 2020.
JOCKWICH MARTINEZ, S. ; VENTURI, G. . Non-classical Models of ZF. Studia Logica , v. 1, p. 1, 2020.
RUFFINO, MARCO ; SAN MAURO, LUCA ; VENTURI, GIORGIO . Speech acts in mathematics. SYNTHESE , v. 1, p. 1, 2020.
BEZERRA, EDSON ; VENTURI, GIORGIO . A Non-Standard Kripke Semantics for the Minimal Deontic Logic. LOGIC AND LOGICAL PHILOSOPHY , v. 1, p. 1, 2020.
JOCKWICH MARTINEZ, S. ; VENTURI, G. . On Negation for Non-classical Set Theories. Journal of Philosophical Logic , v. 1, p. 1, 2020.
VENTURI, G. ; LEME, R. R. . De Platão a Weil e além: Genericidade através da história da matemática. KHRONOS: REVISTA DE HISTÓRIA DA CIÊNCIA , v. 10, p. 140-158, 2020.
VENTURI, G. . Genericity and arbitrariness. LOGIQUE ET ANALYSE , v. 248, p. 435-452, 2019.
VENTURI, GIORGIO ; Matteo Viale . New axioms in set theory. Matematica, Cultura e Società. Rivista dell'Unione Matematica Italiana , v. 3, p. 211-236, 2018.
VENTURI, GIORGIO . Cantor e l'infinito. Lettera Pristem , v. 107, p. 61-69, 2018.
VENTURI, GIORGIO . Hilbert, completeness and geometry. Rivista Italiana di Filosofia Analitica Junior , v. 9, p. 152-180, 2018.
B. Velickvoic ; VENTURI, G. . A direct proof of the five element basis theorem. MATHEMATICAL LOGIC QUARTERLY , v. 63, p. 289-298, 2017.
GILBERT, 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.
VENTURI, G. . A note on the introduction of Hilbert's Grundlagen der Geometrie. MANUSCRITO (UNICAMP) , v. 40, p. 5-17, 2017.
GILBERT, DAVID R. ; VENTURI, GIORGIO . REFLEXIVE-INSENSITIVE MODAL LOGICS. The Review of Symbolic Logic , v. 9, p. 167-180, 2016.
VENTURI, G. . Souslin trees and side conditions. JOURNAL OF SYMBOLIC LOGIC , v. 8, p. 483-492, 2016.
VENTURI, GIORGIO . HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS. Manuscrito , v. 38, p. 5-38, 2015.
VENTURI, G. . Foundation of mathematics between theory and practice. Philosophia Scientiae , v. 18, p. 45-80, 2014.
VENTURI, G. . Hilbert, completeness and geometry. Italian Journal of Analytic Philosophy Junior , v. 2, p. 80-102, 2011.
VENTURI, G. ; LOLLI G. ; PANZA, M. . From Logic to Practice. 1. ed. New York: Springer, 2015. v. 1. 336p .
Jockwich Martinez, Santiago ; VENTURI, GIORGIO . Linear models and set theory. In: E. Almeida, A. Costa-Leite, and R. Freire. (Org.). Seminário Lógica no Avião. 1ed.Brasília: Lógica no Avião, 2019, v. 1, p. 9-21.
VENTURI, GIORGIO . On the naturalness of new axioms in set theory. In: Fernández de Castro, Freund, Ruffino. (Org.). Logic and its Philosophy: contemporary trends in Latin America and Spain. 100ed.Londres: College Publications, 2018, v. 78, p. 117-142.
VENTURI, G. . Forcing, multiverse and realism. In: Boccuni; Sereni. (Org.). Objectivity, Realism, and Proof. 1ed.New York: Springer, 2016, v. 1, p. 205-240.
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.
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.
VENTURI, G. ; GILBERT, DAVID R. . Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness. Notre Dame Journal of Formal Logic , 2021.
VENTURI, GIORGIO . Infinite forcing and the generic multiverse. 2019. (Apresentação de Trabalho/Comunicação).
VENTURI, GIORGIO . Axioms and postulates as speech acts. 2019. (Apresentação de Trabalho/Comunicação).
VENTURI, GIORGIO ; BEZERRA, E. . A semantic approach to generalized provability. 2019. (Apresentação de Trabalho/Comunicação).
VENTURI, GIORGIO ; JOCKWICH, S.Jockwich . Models for paraconsistent set theory. 2019. (Apresentação de Trabalho/Comunicação).
VENTURI, GIORGIO . Reflexive insensitive logics and the method of generated subframe. 2019. (Apresentação de Trabalho/Conferência ou palestra).
VENTURI, GIORGIO . A general characterization method for non-normal modal logics. 2019. (Apresentação de Trabalho/Seminário).
VENTURI, GIORGIO . Paraconsistent models for set theory. 2019. (Apresentação de Trabalho/Comunicação).
VENTURI, G. . Speech acts in mathematics. 2019. (Apresentação de Trabalho/Seminário).
VENTURI, G. . A semantic approach to the problem of independence. 2019. (Apresentação de Trabalho/Conferência ou palestra).
VENTURI, G. . O problema do contínuo e novos axiomas em teoria dos conjuntos. 2019. (Apresentação de Trabalho/Seminário).
VENTURI, G. . Infinite forcing and the generic multiverse. 2019. (Apresentação de Trabalho/Comunicação).
VENTURI, G. . A semantic approach to independence in set theory. 2019. (Apresentação de Trabalho/Comunicação).
VENTURI, GIORGIO . Speech act theory in mathematics. 2018. (Apresentação de Trabalho/Conferência ou palestra).
VENTURI, GIORGIO . Cent'anni dalla morte di Cantor: concetti e prospettive in teoria degli insiemi. 2018. (Apresentação de Trabalho/Conferência ou palestra).
VENTURI, GIORGIO . RI-logics and a case study on non-normality. 2018. (Apresentação de Trabalho/Conferência ou palestra).
VENTURI, GIORGIO ; JOCKWICH, S.Jockwich . Paraconsistent value models and LFI's. 2018. (Apresentação de Trabalho/Seminário).
VENTURI, GIORGIO . Speech acts in mathematics. 2018. (Apresentação de Trabalho/Conferência ou palestra).
VENTURI, GIORGIO . Axioms and postulates as speech acts. 2018. (Apresentação de Trabalho/Seminário).
VENTURI, GIORGIO . Mathematical definitions as declarative speech acts. 2018. (Apresentação de Trabalho/Seminário).
VENTURI, GIORGIO . Mathematical definitions as declarative speech acts. 2018. (Apresentação de Trabalho/Seminário).
VENTURI, GIORGIO ; SAN MAURO L. . Speech acts theory and the ontology of mathematics. 2018. (Apresentação de Trabalho/Comunicação).
VENTURI, GIORGIO . On arbitrary generic models of set theory. 2018. (Apresentação de Trabalho/Comunicação).
VENTURI, GIORGIO . Speech acts theory and the ontology of mathematics. 2018. (Apresentação de Trabalho/Comunicação).
VENTURI, GIORGIO . Speech acts theory and the ontology of mathematics. 2018. (Apresentação de Trabalho/Comunicação).
VENTURI, G. . Genericity and arbitrariness. 2017. (Apresentação de Trabalho/Seminário).
VENTURI, G. ; Barton N. ; Ternullo C. . On forms of justification in set theory. 2017. (Apresentação de Trabalho/Simpósio).
VENTURI, G. . Genericity and arbitrariness. 2017. (Apresentação de Trabalho/Simpósio).
VENTURI, G. . Genericity and arbitrariness. 2017. (Apresentação de Trabalho/Congresso).
VENTURI, G. . Speech act theory in mathematics. 2017. (Apresentação de Trabalho/Conferência ou palestra).
VENTURI, G. . RI-logics. 2017. (Apresentação de Trabalho/Seminário).
VENTURI, G. . RI-logics, Boxdot Conjecture and the modal logic of forcing. 2017. (Apresentação de Trabalho/Seminário).
VENTURI, G. ; SAN MAURO L. . One black sheep: pragmatics in mathematics. 2017. (Apresentação de Trabalho/Seminário).
VENTURI, G. ; GILBERT, DAVID R. . Relational and neighborhood semantics for logics of unknown truths. 2016. (Apresentação de Trabalho/Congresso).
VENTURI, G. . Theoretical and meta-theoretical vir- tues of consistency. 2016. (Apresentação de Trabalho/Conferência ou palestra).
VENTURI, G. . Genericity and arbitrariness. 2016. (Apresentação de Trabalho/Conferência ou palestra).
VENTURI, G. . Modal and set theoretical tools for the study of the multiverse. 2016. (Apresentação de Trabalho/Conferência ou palestra).
VENTURI, G. ; SAN MAURO L. . Naturalness in the philosophy of mathematical practice and speech acts. 2016. (Apresentação de Trabalho/Seminário).
VENTURI, G. . How to speak of the unspeakable. 2016. (Apresentação de Trabalho/Conferência ou palestra).
VENTURI, G. ; GILBERT, DAVID R. . Characterizing logics of essence and accident. 2015. (Apresentação de Trabalho/Congresso).
VENTURI, G. ; GILBERT, DAVID R. . Reflexive insensitive modal logics. 2015. (Apresentação de Trabalho/Conferência ou palestra).
GILBERT, DAVID R. ; VENTURI, G. . Reflexive insensitive modal logics. 2015. (Apresentação de Trabalho/Congresso).
VENTURI, G. ; GILBERT, DAVID R. . Reflexive insensitive modal logics. 2015. (Apresentação de Trabalho/Congresso).
VENTURI, G. . On the naturalness of new axioms in set theory. 2015. (Apresentação de Trabalho/Congresso).
VENTURI, G. . Forcing, multiverse and realism. 2015. (Apresentação de Trabalho/Congresso).
VENTURI, G. . Mathematical explanation and its practice. 2015. (Apresentação de Trabalho/Congresso).
VENTURI, G. . On the naturalness of new axioms in set theory. 2015. (Apresentação de Trabalho/Congresso).
VENTURI, G. . Mathematical explanation and its practice. 2015. (Apresentação de Trabalho/Conferência ou palestra).
VENTURI, G. . Hilbert on the notion of axiom: between the formal and the informal side of axiomatization. 2014. (Apresentação de Trabalho/Congresso).
VENTURI, G. ; SAN MAURO L. . Aspects of naturalness in mathematics. 2013. (Apresentação de Trabalho/Congresso).
VENTURI, G. . Proper forcing remastered. 2013. (Apresentação de Trabalho/Congresso).
VENTURI, G. . Set theory as unity of mathematical practice. 2013. (Apresentação de Trabalho/Congresso).
VENTURI, G. . The concept of axiom in Hilbert?s thought. 2013. (Apresentação de Trabalho/Congresso).
VENTURI, G. . Generalized side conditions. 2013. (Apresentação de Trabalho/Conferência ou palestra).
VENTURI, G. . Forcing Axioms and the foundation of mathematics. 2013. (Apresentação de Trabalho/Conferência ou palestra).
VENTURI, G. . What is forcing?. 2013. (Apresentação de Trabalho/Seminário).
VENTURI, G. . L?unità della matematica tra teoria e pratica. 2012. (Apresentação de Trabalho/Congresso).
VENTURI, G. . The unity of mathematics: the interplay between mathematical practice and foundational issues. 2012. (Apresentação de Trabalho/Congresso).
VENTURI, G. . Generalized side conditions. 2012. (Apresentação de Trabalho/Seminário).
VENTURI, G. . Le concept d?axiome dans l?oeuvre de Hilbert. 2011. (Apresentação de Trabalho/Seminário).
VENTURI, G. . The concept of axiom between Hilbert and set theory. 2011. (Apresentação de Trabalho/Congresso).
VENTURI, G. . L?assioma di completezza nei Grundlagen der Geometrie: assiomatica moderna e contemporanea a confronto. 2011. (Apresentação de Trabalho/Congresso).
VENTURI, G. . Introduzione agli assiomi di forcing. 2010. (Apresentação de Trabalho/Seminário).
VENTURI, G. . A new, direct, proof of the five element basis theorem. 2010. (Apresentação de Trabalho/Seminário).
VENTURI, GIORGIO . Review of R. Kahle Sets, truth and recursion. Mathematical Review, 2018 (Review).
VENTURI, GIORGIO . Review of Golshani and Hayut's On Foreman's Maximality Principle. Mathematical Review, 2018 (Review).
VENTURI, G. . Review of J. Leo, Coordinate-free logic. Review of Symbolic Logic 9(3):522--555, 2016.. Mathematical review, 2017 (Review).
VENTURI, G. . Review of A. Blum, An aspect of necessity. Metalogicon (N.S.)( 1), pp. 31--36, 2016.. Mathematical review, 2017 (Review).
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).
VENTURI, GIORGIO . Review of Z. Weber On Paraconsistent Downward Lowenheim-Skolem Theorems. New York: Mathematical Review, 2017 (Review).
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).
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).
VENTURI, GIORGIO ; LOLLI G. ; PANZA, M. . Introduction. New York, 2015. (Prefácio, Pósfacio/Introdução)>.
VENTURI, G. ; Sbardolini G. . Filosofia della Matematica, 2011. (Prefácio, Pósfacio/Introdução)>.

Projetos de pesquisa

2019 - Atual

Modelos a valores algébricos para teorias de conjuntos não classicas., Descrição: Pretendemos desenvolver a teoria dos modelos de teorias de conjuntos não claassicas, em particular para-consistentes. Em trabalhos anteriores, o pesquisador visitante desenvolveu um modelo paraconsistente de teoria de conjuntos, que valida o fragmento de ZF que consiste de formulas sem negação. Foi mostrado que neste modelo a lei de Leibniz de indiscernibilidade dos identicos não vale. Neste projeto pretendemos melhorar estes resultados encontrando modelos não classicos que tornem verdadeiros fragmentos maiores de ZF, bem como pretendemos estudar neste modelos a relação entre a paraconsistência e a lei de Leibniz (Objectivo A). Estudaremos também como desenvolver noções de ordinais e cardais dentro destes modelos (Objectivo B) bem como as noções básicas analiticas e algebricas dos espaços topológicos, espaços métricos, grupos, espaços vectoriais, etc. (Objectivo C).. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Giorgio Venturi - Coordenador / Sourav Tarafder - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de SP - Remuneração.
2019 - Atual

Um caso de estudo sobre logica modal não-normal, Descrição: Este projeto mira a estudar lógicas modais não normais com os recursos da lógica modal normal. A hipótese de trabalho deste projeto é que as lógicas não-normal possam ser reduzida, em um sentido a ser explicado, às lógicas normais. O projeto é dividido em dois eixos complementáres: o semântico e o sintatico. Na primeira parte do projeto lidaremos com a possibilidade de transferir resultados de caracterização (correção e completude) do caso normal ao caso não normal; alguns casos particulares deste fenomeno foram monstrados no trabalho do Prof. Gilbert e do Prof. Venturi. Na segunda parte do projeto tentaremos charaterizar as differências entre lógica modal normal e lógica modal não normal de uma perspectiva pura de teoria da prova.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Giorgio Venturi - Coordenador / GILBERT, DAVID R. - Integrante / Mattia Petrolo - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 6
2018 - Atual

Genericity and arbitrariness. Or how to speak of the unspeakable, Descrição: The project deals with the interplay of language, logic, and mathematics. The main theme of the project is the study of the expressivity of our language when applied to mathematics concepts. The chosen perspective is that of the notion of arbitrariness, specifically in the context of set theory. The goal of this project is to investigate how modern set theory, by means of the notion of genericity can formalize and capture the notion of arbitrariness. The project is divided in three main sections: historical, philosophical, and logical. The historical part deals with the origin of the notion of arbitrariness in the scientific, mathematical environment, of the XX century. We propose to use tools from the history of mathematics and the philosophy of language to analyze the expressive power of language. Specifically we propose to apply speech act theory to the study of mathematical language. The philosophical part deals with the concept of set and the notion of arbitrariness. The main goal is to analyze to what extent the modern concept of set, we inherited from the axiomatic period, is capable of expressing and capturing the notion of arbitrariness. We intend to connect the notion of genericity and arbitrariness in discussing the important problem of justification of new axioms in set theory. The logical part of the project intends to apply tools from modal logic and mathematical logic to the study of a generic perspective in set theory. This will done on the one hand developing an extensive study of the Reflexive Insensitive modal logic (RI-logic) and then applying these results in the study of the logic of generic absoluteness. On the other hand we will apply tools from model theory and set theory to the study of the models of ZFC obtained by Cohen?s method of forcing. This project intends to coordinate the study of set theory and the foundations of mathematics between USP, UnB, UFABC, and Unicamp, together with the respective international partners.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (3) . , Integrantes: Giorgio Venturi - Coordenador / Marco Ruffino - Integrante / Freire Rodrigo - Integrante / Hugo Mariano - Integrante / Mattia Petrolo - Integrante / Santiago Jockwich - Integrante / Edson Bezerra - Integrante / João Vitor Schmidt - Integrante / Ekaterina Kubyshkina - Integrante / Renato Reis Leme - Integrante / Pedro Teixiera Yago - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro., Número de produções C, T & A: 22 / Número de orientações: 4

Prêmios

2021

Premio Paolo Gentilini per la Logica e la Didattica della Matematica., Associazione Italiana di Logica e sue Applicazioni.

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).

Histórico profissional

Endereço profissional

Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas. , Rua Cora Coralina, Cidade Universitária, 13083896 - Campinas, SP - Brasil, Telefone: (19) 35211574

Experiência profissional

2013 - 2014

Université Paris Diderot

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

2017 - Atual

Universidade Estadual de Campinas

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

Atividades

03/2018
Direção e administração, Instituto de Filosofia e Ciências Humanas, Departamento de Filosofia.,Cargo ou função, Coodenador adjunto de graduação.
08/2019 - 12/2019
Ensino, Filosofia, Nível: Pós-Graduação,Disciplinas ministradas, HF103-A - Teoria de Modelos
08/2019 - 12/2019
Ensino, Filosofia, Nível: Graduação,Disciplinas ministradas, HG605-A - Introdução à teoria de conjuntos