Logo SIPEX
Logotipo UNICAMP
Informações Curriculares do Pesquisador na UNICAMP
Dados do Pesquisador
Nome: VENTURI, Giorgio
E-Mail:  
Tipo/Função: Docente - Professor Doutor II - MS3.2
Unidade: INSTITUTO DE FILOSOFIA E CIENCIAS HUMANAS
Departamento: DEPARTAMENTO DE FILOSOFIA

Formação Acadêmica
Data Título Instituição Unidade
02/2014 DOUTOR EM FILOSOFIA SCUOLA NORMALE SUPERIORE  
02/2014 DOUTOR EM MATEMÁTICA UNIVERSITE PARIS DIDEROT  
07/2009 MESTRE EM MATEMÁTICA UNIVERSITA DEGLI STUDI DI TORINO  
07/2007 MATEMÁTICA UNIVERSITA DEGLI STUDI DI TORINO  


Cursos de Curta Duração
*** NADA CONSTA ***


Especialidade
Área: CIÊNCIAS EXATAS E DA TERRA
Especialidade: Matemática - Conjuntos; Filosofia - Lógica Matemática

Tabela dos Assuntos
Artigos publicados em periódicos especializados arbitrados de circulação Trabalhos completos e resumos publicados em anais de congressos Artigos e trabalhos completos aceitos para publicação Participações em eventos científicos internacionais Participações em eventos científicos nacionais
Desenvolvimento ou geração de trabalhos técnicos Livros Seminários, palestras, conferências e mesas-redondas proferidas em instituições Organização de eventos científicos, culturais e artísticos, vinculados ao Ensino Atividades de extensão e serviço à comunidade
Atividades de Orientação e Supervisão Projetos de Pesquisa Linhas de Pesquisa Participação em bancas examinadoras Indicadores Quantitativos de Produção e Pesquisa
Grupos de Pesquisa
*** NADA CONSTA ***



topo da página
Artigos publicados em periódicos especializados arbitrados de circulação
            Internacional
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


            Nacional
VENTURI, Giorgio; A note on the introduction of Hilbert's Grundlagen der Geometrie, 06/2017, Manuscrito (UNICAMP), Vol. 40, Fac. 2, pp.5-17, Campinas, SP, BRASIL, 2017

VENTURI, Giorgio; HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS, 08/2015, Manuscrito (UNICAMP), Vol. 38, Fac. 2, pp.5-38, Campinas, SP, BRASIL, 2015



topo da página
Trabalhos completos e resumos publicados em anais de congressos
            Resumo - Internacional
VENTURI, Giorgio; A semantic approach to independence, 07/2019, Científico Internacional, Set Theory: Bridging Set Theory and Philosophy - Forcing Project Networking Conference (FPNC 2019), Vol. 0, pp.15-16, Konstanz, ALEMANHA, 2019. Resumo expandido

VENTURI, Giorgio; Towards a theory of speech acts in mathematics: The case of naturalness, 08/2017, Científico Internacional, 3rd Filomena - Workshop on Philosophy, Logic, and Analytical Metaphysics, Vol. ., pp.6-6, Natal, RN, BRASIL, 2017

VENTURI, Giorgio; Genericity and arbitrariness, 06/2017, Científico Internacional, The second Set Theoretic Pluralism Symposium, Vol. 1, pp.1-1, Bristol, REINO UNIDO, 2017

FREIRE, Rodrigo de Alvarenga; MARIANO, Hugo Luiz; VENTURI, Giorgio; Genericidade e arbitrariedade em teoria dos conjuntos, 05/2017, Científico Internacional, XVIII EBL - 18th Brazilian Logic Conference, Vol. 1, pp.42-42, Pirenopolis, GO, BRASIL, 2017

VENTURI, Giorgio; Genericidade e a extensão do universo conjuntista, 05/2017, Científico Internacional, XVIII EBL - 18th Brazilian Logic Conference, Vol. 1, pp.45-45, Pirenopolis, GO, BRASIL, 2017



topo da página
Artigos e trabalhos completos aceitos para publicação
            Em periódicos arbitrados (internacional)
VENTURI, Giorgio; Genericity and arbitrariness, Logique et Analyse, Wilsele, BELGICA

VENTURI, Giorgio; Infinite forcing and the generic multiverse, Studia Logica, Dordrecht, HOLANDA

VENTURI, Giorgio; Cantor and the infinite, Lettera Matematica Pristem, Milan, ITALIA

VENTURI, Giorgio; VIALE, Matteo; New axioms in set theory, Matematica, cultura e societa: rivista dell'Unione Matematica Italiana, Bologna, ITALIA



topo da página
Participações em eventos científicos internacionais
            Trabalhos apresentados (oralmente)
VENTURI, Giorgio (Expositor); Semana Temática de Lógica, Conjuntos e Topologia 2020, (02/03/2020 a 06/03/2020), Salvador, BA, BRASIL, Oral: A Hipótese do Continuo e Novos Axiomas em Teoria de Conjuntos

VENTURI, Giorgio (Expositor); 1 1st Joint Meeting Brazil-France in Mathematics, (15/07/2019 a 19/07/2019), Rio de Janeiro, RJ, BRASIL, Oral: A semantic approach to the problem of independence

VENTURI, Giorgio (Expositor); 7th European Set Theory Conference, (01/07/2019 a 05/07/2019), Vienna, AUSTRIA, Oral: A semantic approach to independence in set theory

VENTURI, Giorgio (Expositor); Set Theory: Bridging Set Theory and Philosophy - Forcing Project Networking Conference (FPNC 2019), (29/07/2019 a 31/07/2019), Konstanz, ALEMANHA, Oral: A semantic approach to independence

VENTURI, Giorgio (Expositor); IX Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (SLMFCE), (13/11/2018 a 16/11/2018), Madri, ESPANHA, Oral: Expositor no Symposium Illocutionary Acts in Mathematics. Participantes: Marco Ruffino (Df-Ifch-Unicamp) e Luca San Mauro

VENTURI, Giorgio (Expositor); V Conference of the Brazilian Society for Analytic Philosophy, (10/09/2018 a 14/09/2018), Salvador, BA, BRASIL, Oral: An illocutionary distinction between axioms and postulates

VENTURI, Giorgio (Expositor); Conference on Mathematical Logic as a satellite conference of the International Congress of Mathematicians 2018 (ICM 2018), (01/08/2018 a 09/08/2018), Niterói, RJ, BRASIL, Oral: Modelos genéricos arbitrários de teoria dos conjuntos

VENTURI, Giorgio (Expositor); ALFAn - V Conference of the Latin American Association for Analytic Philosophy & Philogica and V Colombian Conference on Logic, Epistemology and Philosophy of Science, (16/05/2018 a 18/05/2018), Villa de Leyva, COLOMBIA, Oral: Speech act theory and the philosophy of mathematics

RUFFINO, Marco A. Caron (Expositor); VENTURI, Giorgio (Expositor); ALFAn - V Conference of the Latin American Association for Analytic Philosophy & Philogica and V Colombian Conference on Logic, Epistemology and Philosophy of Science, (16/05/2018 a 18/05/2018), Villa de Leyva, COLOMBIA, Oral: Illocutionary Acts in Mathematics

VENTURI, Giorgio (Expositor); Sadaf Research seminar, (17/11/2017 a 17/11/2017), Buenos Aires, ARGENTINA, Oral: RI-logics, provability logic and the modal logic of generic absoluteness

VENTURI, Giorgio (Expositor); 3rd Filomena - Workshop on Philosophy, Logic, and Analytical Metaphysics, (21/08/2017 a 23/08/2017), Natal, RN, BRASIL, Oral: Towards a theory of speech acts in mathematics: The case of naturalness

VENTURI, Giorgio (Docente); The second Set Theoretic Pluralism Symposium, (21/06/2017 a 25/06/2017), Bristol, REINO UNIDO, Oral: Genericity and arbitrariness

FREIRE, Rodrigo de Alvarenga (Expositor); MARIANO, Hugo Luiz (Expositor); VENTURI, Giorgio (Expositor); XVIII EBL - 18th Brazilian Logic Conference, (08/05/2017 a 12/05/2017), Pirenopolis, GO, BRASIL, Oral: Genericidade e arbitrariedade em teoria dos conjuntos

VENTURI, Giorgio (Expositor); XVIII EBL - 18th Brazilian Logic Conference, (08/05/2017 a 12/05/2017), Pirenopolis, GO, BRASIL, Oral: Genericidade e a extensão do universo conjuntista


            Outras formas de participação(Coordenador de mesa redonda, debatedor de mesa redonda, debatedor de painel, coordenador de sessão técnica, outra)
VENTURI, Giorgio; (Debatedor de Mesa Redonda) , Sessão 15 – Mathematical Logic, 1st Joint Meeting Brazil-France in Mathematics, (14/07/2019 a 19/07/2019), Rio de Janeiro, RJ, BRASIL



topo da página
Participações em eventos científicos nacionais
            Trabalhos apresentados (oralmente)
VENTURI, Giorgio (Expositor); WIP seminar - Buenos Aires Logic Group, (01/06/2019 a 01/06/2019), Buenos Aires, ARGENTINA, Oral: A Modal Semantic Approach to Generalized Provability

MARTINEZ, D. S. J. (Expositor); VENTURI, Giorgio (Expositor); GALLEGOS, Jair (Expositor); 19th Brazilian Logic Conference - EBL2019, (06/05/2019 a 10/05/2019), João Pessoa, PB, BRASIL, Oral: Back to Da Costa: a comparative study of the C-systems and the Vhierarchy

VENTURI, Giorgio (Expositor); 19th Brazilian Logic Conference - EBL2019, (06/05/2019 a 10/05/2019), João Pessoa, PB, BRASIL, Oral: Infinite forcing and the generic multiverse

BEZERRA, E. W. (Expositor); VENTURI, Giorgio (Expositor); 19th Brazilian Logic Conference - EBL2019, (06/05/2019 a 10/05/2019), João Pessoa, PB, BRASIL, Oral: Strong necessity and consistency

VENTURI, Giorgio (Expositor); RUFFINO, Marco A. Caron (Expositor); SCHMIDT, João Vítor (Expositor); 19th Brazilian Logic Conference - EBL2019, (06/05/2019 a 10/05/2019), João Pessoa, PB, BRASIL, Oral: Speech Acts in Mathematics

VENTURI, Giorgio (Expositor); XX Encontro de Pesquisa na Graduação em Filosofia da Unicamp, (29/10/2018 a 01/11/2018), Campinas, SP, BRASIL, Oral: Atos de Fala na Matemática (Palestra de Encerramento)


            Outras formas de participação(Coordenador de mesa redonda, debatedor de mesa redonda, debatedor de painel, coordenador de sessão técnica, outra)
VENTURI, Giorgio; (Coordenador de Sessão Técnica) , Session 1: Modal Logics I, 19th Brazilian Logic Conference - EBL2019, (06/05/2019 a 10/05/2019), João Pessoa, PB, BRASIL



topo da página
Desenvolvimento ou geração de trabalhos técnicos
            Outros - Sem ítens Registrados
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



topo da página
Livros
            Capítulos de livros aceitos para publicação
MARTINEZ, D. S. J.; VENTURI, Giorgio; Linear models and set theory, "Seminário Lógica no Avião", Capítulo, ed. 1, Lógica no Avião, Vol. 1, pp. 13, pp.9-21



topo da página
Seminários, palestras, conferências e mesas-redondas proferidas em instituições
            Internacionais
Sigla da instituição Local Data Título da palestra Natureza da participação
UNS Anfiteatro 06/2019 Linear models and set theory. Atividade em 04 de junho de 2019 Palestra
UNIMIB Auditorium 06/2019 Pragmatics in mathematics. Atividade realizada em 29 de junho de 2019 Palestra
CONICET Auditorium 05/2019 Generalized provability logic. Atividade realizada em 31 de maio de 2019 Palestra
US Auditorium 11/2018 Illocutionary Acts in Mathematics, realizada com a participação dos professores Marco Ruffino (Df-Ifch-Unicamp) e Luca San Mauro, em 12 de novembro de 2018 Palestra
UNIZUKOL Auditorium 11/2018 Illocutionary Acts in Mathematics, realizada com a participação dos professores Marco Ruffino (Df-Ifch-Unicamp) e Luca San Mauro, em 22 de novembro de 2018 Palestra



topo da página
Organização de eventos científicos, culturais e artísticos, vinculados ao Ensino
            Organização de eventos científicos, culturais e artísticos, vinculados ao Ensino
Evento Local Período Agência/N.Processo Valor do auxílio (US$)
Speaking the Unspeakable: Paradoxes between Truth and Proof Sala Multiuso - Ifch 09/12/2019 a 10/12/2019    
1o Workshop “Studies in Mathematical Logic” Auditório IME 05/12/2019 a 06/12/2019    
18 Encontro Brasileiro de Lógica/Escola de Lógica (EBL) Pousada dos Pireneus Resort 08/05/2017 a 12/05/2017    



topo da página
Atividades de extensão e serviço à comunidade
            Outros Serviços
Tipo de atividade Entidade Período
Parecer / Comissão de Especialista, c/ base artigos 10-11 Deliberação Consu-A-021/2013 p/ análise dos Relatórios das candidaturas: Lucilene Reginaldo (Dh), Roberto L. do Carmo (Dd) e Susana Durão (Da) ao Prêmio de Reconhecimento Docente pela Dedicação ao Ensino Instituto de Filosofia e Ciências Humanas da Unicamp 09/2019
Parecer / Relatório de Atividades Docentes (Rad) de Enéias Júnior Forlin, no período de fevereiro de 2014 a janeiro de 2018. Parecer pela Comissão de Graduação em Filosofia - Ifch Instituto de Filosofia e Ciências Humanas da Unicamp 08/2018
Parecer / Reconhecimento do Diploma de Doutorado em Filosofia, obtido no exterior por Mattia Petrolo, na Université Paris Diderot, Paris, França para fins de reconhecer o Diploma de Doutor em Filosofia, no Brasil. Processo 11445/2017 Instituto de Filosofia e Ciências Humanas da Unicamp 08/2017



topo da página
Atividades de Orientação e Supervisão
            Mestrado / Doutorado
Orientando Ingresso       Data de Defesa Tipo Título do Projeto
Mahan Vaz Silva 15/03/2021       02/02/2023 Mestrado  Perspective and Understanding in Set Theory
Edson Vinicius Bezerra 02/03/2017       17/12/2021 Doutorado  Uma abordagem modal para a consistência lógica
João Vitor Schmidt 02/03/2017       16/12/2021 Doutorado  Como Provar Coisas Com Sinais: Sobre a Lógica Performativa de Frege
Daniel Santiago Jockwich Martinez 01/03/2018       15/12/2021 Doutorado  Modelos da teoria de conjuntos não clássicas
Renato Reis Leme 01/03/2019       18/12/2020 Mestrado  Origens do ponto genérico em geometria algébrica e na prática matemática
Pedro Teixeira Yago 01/03/2019       17/12/2020 Mestrado  Essência e Arbitrariedade



topo da página
Projetos de Pesquisa
            Com financiamento
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


            Sem financiamento
Título do projeto Situação
Teoria Paraconsistente da Verdade: uma abordagem pelas Lógicas da Inconsistência Formal. Orientado: Edson Vinícius Bezerra Concluído
Frege, informatividade e lógica de segunda ordem. Orientado: João Vitor Schmidt Concluído



topo da página
Linhas de Pesquisa
            Ativas nas produções, projetos, grupos e trabalhos de conclusão graduação/livre docência
Título Ano de Início Capes
História da Filosofia (Antiga, Medieval, Moderna e Contemporânea) 2003 Sim
Interinstitucional 2017 Não
Lógica (Não-Clássicas, Semânticas Formais) 2003 Sim



topo da página
Participação em bancas examinadoras
            Natureza: exames de qualificação de mestrado ou doutorado, defesas de tese de mestrado ou doutorado, concurso para a carreira docente
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


topo da página
Indicadores Quantitativos de Produção e Pesquisa
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
© 2023 UNICAMP / Centro de Computação (CCUEC). Todos os direitos reservados.