VENTURI, Giorgio; MAURO, Luca San; RUFFINO, Marco A. Caron; Speech acts in mathematics, 10/2020, Synthese: an international journal for epistemology, methodology and philosophy of science, Vol. 198, Fac. 10, pp.10063-10087, Dordrecht, HOLANDA, 2020
|
VENTURI, Giorgio; Infinite forcing and the generic multiverse, 04/2020, Studia Logica, Vol. 108, Fac. 2, pp.277-290, Dordrecht, HOLANDA, 2020
|
RUFFINO, Marco A. Caron; MAURO, Luca San; VENTURI, Giorgio; At least one black sheep: Pragmatics and mathematical language, 04/2020, Journal of Pragmatics, Vol. 160, Fac. 2, pp.114-119, Amsterdam, HOLANDA, 2020
|
MAURO, Luca San; VENTURI, Giorgio; RUFFINO, Marco A. Caron; Rejoinder. (Reply to Ranta, A. (2020). Some remarks on pragmatics in the language of mathematics: Comments to the paper ?At least one black sheep: Pragmatics and mathematical language? by Luca San Mauro, Marco Ruffino and Giorgio Venturi.), 04/2020, Journal of Pragmatics, Vol. 160, pp.120-122, Amsterdam, HOLANDA, 2020
|
VENTURI, Giorgio; GILBERT, David Robert; A note on logics of essence and accident, 11/2018, Logic Journal of the IGPL (Print), Vol. 2, pp.12-15, Oxford, INGLATERRA, 2018
|
VELICKOVIC, Boban; VENTURI, Giorgio; A direct proof of the five element basis theorem, 11/2017, Mathematical Logic Quarterly, Vol. 63, Fac. 3-4, pp.289-298, Weinheim, ALEMANHA, 2017
|
GILBERT, David Robert; VENTURI, Giorgio; Neighborhood Semantics for Logics of Unknown Truths and False Beliefs, 04/2017, The Australasian Journal of Logic, Vol. 14, Fac. 1, pp.246-267, Carlton, AUSTRALIA, 2017
|
VENTURI, Giorgio (Pesquisador); Visitar o Grupo Lógico no Institut de Mathematiques de Jussieu-Paris Gauche, a convite do Boban Velickovic (responsable du projet Logique Mathématique de I´IMJ-PRG), como parte do meu projeto de pesquisa Multiverso Genérico, na cidade de Grands Moulins - Bátiment Sophie Germain, de 16 de janeiro a 21 de fevereiro de 2020, Visitar o Grupo Lógico no Institut de Mathematiques de Jussieu-Paris Gauche, a convite do Boban Velickovic (responsable du projet Logique Mathématique, 02/2020
|
VENTURI, Giorgio (Pesquisador); Pesquisa de Campo no IMPA - Instituto de Matemática Pura e Aplicada, no Rio de Janeiro, no período de 07 a 10 de julho de 2019, Pesquisa de Campo no IMPA - Instituto de Matemática Pura e Aplicada, no Rio de Janeiro, no período de 07 a 10 de julho de 2019, 07/2019
|
VENTURI, Giorgio (Pesquisador); Pesquisa de Campo na Univeristé Paris 7, na cidade de Paris, França, no período de 24 a 28 de julho de 2019, Pesquisa de Campo na Univeristé Paris 7, na cidade de Paris, França, no período de 24 a 28 de julho de 2019, 07/2019
|
VENTURI, Giorgio (Pesquisador); Pesquisa de Campo na Universidad Nacional del Sur, na cidade de Bahía Blanca, no período de 03 a 09 de junho de 2019, Pesquisa de Campo na Universidad Nacional del Sur, na cidade de Bahía Blanca, no período de 03 a 09 de junho de 2019, 06/2019
|
VENTURI, Giorgio (Coordenador); Pesquisa de Campo na Conicet, em Buenos Aires, no período de 30 de maio a 02 de junho de 2019, Pesquisa de Campo na Conicet, em Buenos Aires, no período de 30 de maio a 02 de junho de 2019, 06/2019
|
VENTURI, Giorgio (Pesquisador); Pesquisa de Campo na Universita Degli Studi di Torino, Turim, Itália, no período de 23 a 28 de junho de 2019, Pesquisa de Campo na Universita Degli Studi di Torino, Turim, Itália, no período de 23 a 28 de junho de 2019, 06/2019
|
|
Título do projeto
|
Agência/Tipo financiamento/Complemento/Valor/Processo
|
Situação
|
|
METAONTOLOGIA MEINONGIANA E O PARADOXO DOS EXISTENCIAIS NEGATIVOS (Estágio de Pesquisa no Exterior. Supervisor: Matteo Plebani. Università degli Studi di Torino (UNITO), Itália. Vinculada a bolsa de mestrado no país. Processo: 22/00112-2 Orientado: Renato Semaniuc Valvassori)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Mestrado MS / BOLSA NO EXTERIOR - ESTAGIO PESQUISA MS / R$69741,71 - Processo: 2022/13928-0
aluno:Renato Semaniuc Valvassori
orientador:Giorgio Venturi
|
Concluído
|
|
ESTRATEGIAS META-ONTOLOGICAS COMO SAIDA AO DEBATE DE ONTOLOGIA DOS OBJETOS MATEMATICOS (Orientado: Gabriel Andersen Eugênio (Orientado pelo Prof. Giorgio Venturi de 14 de mar. a 16 de nov. de 2022 e pelo prof. Marco Ruffino a partir de 17 de nov de 2022))
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Mestrado MS / BOLSA NO PAIS-MS-I / R$41989,20 - Processo: 2022/00215-6
aluno:Gabriel Andersen Eugênio
aluno:Giorgio Venturi
orientador:Marco Antonio Caron Ruffino
|
Concluído
|
|
METAONTOLOGIA MEINONGIANA E O PARADOXO DOS EXISTENCIAIS NEGATIVOS (Vinculada ao estágio pesquisa no exterior. Processo: 22/13928-0. Orientado: Renato Semaniuc Valvassori (Orientado pelo Prof. Prof. Giorgio Venturi de 14 de março a 16 de novembro de 2022, a partir de 17 de novembro Prof. Marco Ruffino)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Mestrado MS / BOLSA NO PAIS-MS-I / R$15585,68 - Processo: 2022/00112-2
aluno:Giorgio Venturi
aluno:Renato Semaniuc Valvassori
orientador:Marco Antonio Caron Ruffino
|
Em Andamento
|
|
FUNDAMENTOS AXIOMATICOS PARA O FORCING DE CLASSES E EXTENSOES SIMETRICAS. (Auxílio à Pesquisa - Pesquisador Visitante - Brasil. Rodrigo de Alvarenga Freire - Universidade de Brasília)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio prof visitante / AUXILIO-VISITANTE-BRASIL / R$147960,00 - Processo: 2021/11766-0
|
Concluído
|
GENERICIDADE NO CONTEXTO DA DEMONSTRACAO DE TEOREMAS: UM ASSISTENTE DE PROVA BASEADO EM NUVEM PARA LINGUAGENS ORIENTADAS A FLUXO (Orientado: Renato Reis Leme
)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO PAIS-DR-I / R$217398,60 - Processo: 2021/01025-3
aluno:Renato Reis Leme
orientador:Giorgio Venturi
|
Em Andamento
|
|
ATOS DE FALA EM MATEMATICA: ILOCUCOES HIPOTETICAS (Orientado: Tiago Rezende de Castro Alves)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Pos doutorado no país PD / BOLSA NO PAIS-PD / R$181693,36 - Processo: 2020/08016-7
|
Concluído
|
|
LOGICAS MODAIS E ONTOLOGIAS PARA MUNDOS POSSIVEIS (Orientado: Renato Semaniuc Valvassori)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Iniciação Científica IC / BOLSA NO PAIS-IC / R$10435,50 - Processo: 2020/07998-0
aluno:Renato Semaniuc Valvassori
orientador:Giorgio Venturi
|
Concluído
|
|
UM ESTUDO EM ONTOLOGIA DOS NUMEROS (Orientado: Gabriel Andersen Eugênio)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Iniciação Científica IC / BOLSA NO PAIS-IC / R$8348,40 - Processo: 2020/08214-3
aluno:Gabriel Andersen Eugênio
orientador:Giorgio Venturi
|
Concluído
|
|
OS LIMITES MATEMATICOS DO AXIOMA DA ESCOLHA E DO AXIOMA DA DETERMINACAO (Orientado: Mahan Vaz Silva)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Iniciação Científica IC / BOLSA NO PAIS-IC / R$6261,30 - Processo: 2019/26495-2
aluno:Mahan Vaz Silva
orientador:Giorgio Venturi
|
Concluído
|
|
RAZOES EM FAVOR E CONTRA OBJETOS ARBITRARIOS (Orientado: Pedro Teixeira Yago)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Mestrado MS / BOLSA NO PAIS-MS-II / R$25773,00 - Processo: 2019/17407-2
aluno:Pedro Teixeira Yago
orientador:Giorgio Venturi
|
Concluído
|
|
SPEAKING THE UNSPEAKABLE. PARADOXES BETWEEN TRUTH AND PROOF (Auxílio Organização de Reunião Científica)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio organiz reunião / AUXILIO-ORGANIZACAO-REUNIAO / R$13815,78 - Processo: 2019/14825-8
|
Concluído
|
|
OBJETOS ARBITRARIOS E O CONCEITO DE INFINITO (Orientada: Ívore Campos de Mira)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Iniciação Científica IC / BOLSA NO PAIS-IC / R$8348,40 - Processo: 2019/21647-9
aluno:Ívore Campos de Mira
orientador:Giorgio Venturi
|
Concluído
|
|
MODELOS A VALORES ALGEBRICOS PARA TEORIAS DE CONJUNTOS NAO CLASSICAS. (Auxílio à Pesquisa - Pesquisador Visitante - Internacional. Sourav Tarafder. St. Xavier's College (SXC), Índia)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio prof visitante / AUXILIO-VISITANTE-EXTERIOR / R$142023,20 - Processo: 2019/12527-0
|
Concluído
|
|
ORIGENS DO PONTO GENERICO EM GEOMETRIA ALGEBRICA E NA PRATICA MATEMATICA (Orientado: Renato Reis Leme)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Mestrado MS / BOLSA NO PAIS-MS-II / R$52433,87 - Processo: 2019/01580-7
aluno:Renato Reis Leme
orientador:Giorgio Venturi
|
Concluído
|
|
DINTER - Doutorado Interinstitucional entre PPGF/UNICAMP e UFAM
|
Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Outras bolsas / Convênio CAPES/DINTER/UFAM / null -
|
Concluído
|
|
ATOS ILOCUCIONARIOS NA MATEMATICA (Auxílio de Pesquisa Regular)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / AUXILIO-PESQUISA / R$37316,20 - Processo: 2018/17011-9
|
Concluído
|
|
PROVABILIDADE COMO MODALIDADE (Orientado: Felipe de Souza Albarelli)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Iniciação Científica IC / BOLSA NO PAIS-IC / R$9351,06 - Processo: 2018/22896-0
aluno:Felipe de Souza Albarelli
orientador:Giorgio Venturi
|
Concluído
|
|
CANTOR MEETS ROBINSON. SET THEORY, MODEL THEORY AND THEIR PHILOSOHY (Organização de Reunião Científica)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio organiz reunião / AUXILIO-ORGANIZACAO-REUNIAO / R$15710,89 - Processo: 2018/07577-5
|
Concluído
|
|
As Transformações da Filosofia (CAPES/PRINT)
|
Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Auxílio Pesquisa / CAPES PRINT / R$10000,00 -
|
Concluído
|
|
ARBITRARIEDADE E DEFINIBILIDADE EM LOGICAS NAO-CLASSICAS (Vinculado ao Processo 16/25891-3 - Arbitrariness and genericity: or on how to speak of the unspeakable - Auxílio à Pesquisa - Jovem Pesquisador. Orientado: Daniel Santiago Jockwich Martínez)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO PAIS-DD-4 / R$163975,52 - Processo: 2017/23853-0
aluno:DANIEL SANTIAGO JOCKWICH MARTINEZ
orientador:Giorgio Venturi
|
Concluído
|
|
ARBITRARIEDADE E GENERICIDADE. OU SOBRE COMO FALAR DO INDIZIVEL (Auxílio à Pesquisa - Jovem Pesquisador)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / AUXILIO-PESQUISA (JOVEM PESQUISADOR) / R$124806,99 - Processo: 2016/25891-3
|
Concluído
|
|
LOGICA MODAL DE PRIMEIRA ORDEM E RI-LOGICS (Vinculado ao Processo 16/25891-3 - Arbitrariness and genericity: or on how to speak of the unspeakable - Auxílio à Pesquisa - Jovem Pesquisador. Orientado: Pedro Teixeira Yago)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Iniciação Científica IC / BOLSA NO PAIS-IC / R$9824,61 - Processo: 2017/23602-7
aluno:Pedro Teixeira Yago
orientador:Giorgio Venturi
|
Concluído
|
|
Nome do candidato
|
Instituição
|
Natureza
|
Titular/Suplente
|
|
Edson Wilson Bezerra
|
Universidade Estadual de Campinas
|
Exame de qualificação Geral (MESTRADO)
|
Titular
|
|
João Vítor Schmidt
|
Universidade Estadual de Campinas
|
Exame de qualificação Geral (MESTRADO)
|
Titular
|
|
Lucas Chiozini de Souza
|
Universidade de São Paulo
|
Mestrado fora da Unicamp
|
Titular
|
|
Liliana Monica Cantu
|
Universidad Nacional del Sur
|
Doutorado fora da Unicamp
|
Titular
|
|
70 candidatos(as) inscritos(as) p/ 2022
|
Universidade Estadual de Campinas
|
Seleção de Mestrado
|
Titular
|
|
80 candidatos(as) inscritos(as) p/ 2022
|
Universidade Estadual de Campinas
|
Seleção de Doutorado
|
Titular
|
|
Edgar Luis Bezerra de Almeida
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Membro
|
|
Gustavo Bertolino Ferreira
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Membro
|
|
Carolina Blasio da Silva
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Membro
|
|
Henrique Antunes Almeida
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Membro
|
|
Thainá Coltro Demartini
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Membro
|
|
Leandro Bortolotto Camargo
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Membro
|
|
Rafael Albiero Vieira
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Membro
|
|
Bruno Ramos Mendonça
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Membro
|
|
João Vitor Schmidt
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Presidente
|
|
Edson Vinicius Bezerra
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Presidente
|
|
Vincenzo Ciccarelli
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Membro
|
|
Daniel Santiago Jockwich Martinez
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Presidente
|
|
Renato Reis Leme
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Pedro Teixeira Yago
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Sofia Abelha Meirelles
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Membro
|
|
Artigos publicados em periódicos especializados arbitrados de circulação
|
9
|
|
Internacional
|
7
|
|
Nacional
|
2
|
|
Trabalhos completos e resumos publicados em anais de congressos
|
5
|
|
Resumo - Internacional
|
5
|
|
Artigos e trabalhos completos aceitos para publicação
|
4
|
|
Em periódicos arbitrados (internacional)
|
4
|
|
Participações em eventos científicos internacionais
|
15
|
|
Trabalhos apresentados (oralmente)
|
14
|
|
Outras formas de participação(Coordenador de mesa redonda, debatedor de mesa redonda, debatedor de painel, coordenador de sessão técnica, outra)
|
1
|
|
Participações em eventos científicos nacionais
|
7
|
|
Trabalhos apresentados (oralmente)
|
6
|
|
Outras formas de participação(Coordenador de mesa redonda, debatedor de mesa redonda, debatedor de painel, coordenador de sessão técnica, outra)
|
1
|
|
Desenvolvimento ou geração de trabalhos técnicos
|
6
|
|
Outros - Sem ítens Registrados
|
6
|
|
Livros
|
1
|
|
Capítulos de livros aceitos para publicação
|
1
|
|
Seminários, palestras, conferências e mesas-redondas proferidas em instituições
|
5
|
|
Internacionais
|
5
|
|
Organização de eventos científicos, culturais e artísticos, vinculados ao Ensino
|
3
|
|
Organização de eventos científicos, culturais e artísticos, vinculados ao Ensino
|
3
|
|
Atividades de extensão e serviço à comunidade
|
3
|
|
Outros Serviços
|
3
|
|
Atividades de Orientação e Supervisão
|
6
|
|
Mestrado / Doutorado
|
6
|
|
Projetos de Pesquisa
|
24
|
|
Com financiamento
|
22
|
|
Sem financiamento
|
2
|
|
Linhas de Pesquisa
|
3
|
|
Ativas nas produções, projetos, grupos e trabalhos de conclusão graduação/livre docência
|
3
|
|
Participação em bancas examinadoras
|
21
|
|
Natureza: exames de qualificação de mestrado ou doutorado, defesas de tese de mestrado ou doutorado, concurso para a carreira docente
|
21
|
