Bruno Rigonato Mundim
Tem experiência na área de Filosofia, com ênfase em lógica.
Informações coletadas do Lattes em 01/05/2022
Acadêmico
Formação acadêmica
Doutorado em Filosofia
2015 - 2019
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Em Torno da Tese de Church e do Intuicionismo Lógico
Orientador: em Université Paris 1 Pantheon-Sorbonne ( Marco Panza)
com Luiz Carlos Pinheiro Dias Pereira. Coorientador: André da Silva Porto. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Mestrado em Filosofia
2011 - 2013
Universidade Federal de Goiás
Título: Uma Abordagem sobre a Concepção de Proposição da Teoria Intuicionista de Tipos,Ano de Obtenção: 2013
André da Silva Porto.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Teoria Intuicionista de Tipos; Martin-Löf; Proposições como conjuntos/tipos.Grande área: Ciências Humanas
Graduação em Filosofia
2006 - 2010
Universidade Federal de Goiás
Orientador: André da Silva Porto
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Formação complementar
2013 - 2013
Calculus One. (Carga horária: 40h). , Coursera Inc., COURSERA, Estados Unidos.
2012 - 2012
Sociedade Digital. (Carga horária: 8h). , Universidade Federal de Goiás, UFG, Brasil.
2012 - 2012
Computer Science 101. (Carga horária: 8h). , Coursera Inc., COURSERA, Estados Unidos.
2008 - 2008
Logic School. (Carga horária: 24h). , Universidade Estadual de Campinas, UNICAMP, Brasil.
2007 - 2007
A Filosofia do Círculo de Viena. (Carga horária: 8h). , Universidade Federal de Goiás, UFG, Brasil.
2006 - 2006
Como saber tudo o que você sempre quis saber.... (Carga horária: 12h). , Universidade Federal de Goiás, UFG, Brasil.
2006 - 2006
Valor da Vida Humana, Procriação e Suicídio. (Carga horária: 12h). , Universidade Federal de Goiás, UFG, Brasil.
2005 - 2006
Língua Francesa. (Carga horária: 324h). , Aliança Franceça, AF*, Brasil.
1997 - 1998
Língua Inglesa. (Carga horária: 215h). , CCAA, CCAA, Brasil.
Idiomas
Inglês
Compreende Bem, Lê Bem.
Espanhol
Compreende Bem, Lê Bem.
Francês
Compreende Bem, Lê Bem.
Áreas de atuação
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Filosofia da Linguagem.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Filosofia da Matemática.
Participação em eventos
6es Rencontres Doctorales Internationales de Philosophie des Sciences.Mathematical Practice and the Justification of a Logical Principle. 2017. (Encontro).
Rebentos. Time, Subjectivity and Consensus in Intuitionistic Philosophy of Mathematics. 2016. (Congresso).
XVII Semana dos Alunos de Pós-Graduação em Filosofia da PUC- Rio. Garantia da Verdade. 2016. (Congresso).
IX Seminário dos Alunos do Programa de Pós-Graduação em Lógica e Metafísica.Uma Concepção Ontológica e Anti-Realista de Sentido. 2015. (Seminário).
XIX Colóquio Conesul de Filosofia das Ciências. 2015. (Congresso).
V Congresso de Pesquisa, Ensino e Extensão. 2008. (Congresso).
Colóqio Conesul de Filosofia das Ciências Formais - "Negação". 2007. (Congresso).
II Colóqio de Semântica e Filosofia da Lógica. 2007. (Congresso).
I Colóquio de Semântica e Filosofia da Lógica. 2006. (Seminário).
XIII Semana de Filosofia e VIII Semana de Integração Graduação e Pós-Graduação em Filosofia da UFG. 2006. (Congresso).
Aula Inaugural do Curso de Filosofia: O Sentido da Vida. 2005. (Outra).
III Jornada de Pesquisa em Filosofia e Semana de Filosofia e Teologia. 2005. (Seminário).
Aula Inaugural do Curso de Filosoifa: O estudo da filosifa como aprendizagem do pensar. 2004. (Outra).
II Jornada de Pesquisa em Filosofia e Semana de Filosofia e Teologia. 2004. (Seminário).
IV Colóqio Filosofia & Literatura. 2004. (Seminário).
IV Encontro do Fórum Centro-Oeste de Ensino de Filosofia. 2004. (Seminário).
Comissão julgadora das bancas
PORTO, A. S.. Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos. 2013.
PORTO, A. S.PEREIRA, L. C.; CHATEAUBRIAND, O.; RODRIGUES FILHO, A. A.. Em torno da tese de Church e do Intuicionismo Lógico. 2019. Tese (Doutorado em Filosofia) - Pontifícia Universidade Católica do Rio de Janeiro.
PORTO, A. S.VELLOSO, A. R. S.; Rosa, M.. Teoria dos Tipos. 2010. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.
PORTO, A. S.; PEREIRA, L. C.; JOINET, J.;RODRIGUES, A.; CHATEAUBRIAND, O.. Em Torno da Tese de Church e do Intuicionismo Lógico. 2019. Tese (Doutorado em Filosofia) - Pontifícia Universidade Católica do Rio de Janeiro.
VELLOSO, A. R. S.PORTO, A. S.; PEREIRA, L. C. P. D.. Uma Abordagem Sobre a Teoria Intuicionista de Tipos. 2013. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás.
SILVA, G. G.;PORTO, A. S.VELLOSO, A. R. S.. Sobre a Teoria Intuicionista dos Tipos. 2013. Exame de qualificação (Mestrando em Filosofia) - Universidade Federal de Goiás.
PEREIRA, L. C.;LYRA, Edgar; Jorge Filho, E.J.. A Inevitabilidade do Mal. 2016. Exame de qualificação (Doutorando em Filosofia) - Pontíficia Universidade Católica.
ROSA, M. H. S.; Porto, Andre; Velloso, Araceli Rosich. A distinção de Tipos à luz de uma teoria da prediçaão. 2010. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal de Goiás.
Foi orientado por
Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos; 2013; Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: André da Silva Porto;
Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos; 2010; Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: André da Silva Porto;
Em torno da tese de Church e do Intuicionismo Lógico; 2019; Tese (Doutorado em Filosofia) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: André da Silva Porto;
A distinção de Tipos à luz de uma Teoria da Predicação; 2010; Trabalho de Conclusão de Curso; (Graduação em Filosofia) - Universidade Federal de Goiás; Orientador: André da Silva Porto;
O conceito de Espaço como Transformação; 2010; Iniciação Científica; (Graduando em Filosofia) - Universidade Federal de Goiás; Orientador: André da Silva Porto;
A TEORIA SIMPLES DOS TIPOS; 2009; Iniciação Científica; (Graduando em Filosofia) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: André da Silva Porto;
Consenso, Subjetividade e Tempo na Filosofia Intuicionista da Matemática; 2019; Tese (Doutorado em Programa de Pós-graduação em Filosofia) - Pontificia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luiz Carlos Pinheiro Dias Pereira;
Produções bibliográficas
-
MUNDIM, B. R. . O Erro Como Condição de Possibilidade para o Filosofar. Revista Senso Comum , v. 1, p. 86-95, 2009.
-
MUNDIM, B. R. . Demonstracao, Tempo e Verdade na Filosofia da Matematica: Uma Perspectiva Fenomenologica. In: Diego P. Fernandes; Rodrigo Lopez-Orellana. (Org.). El jardín de senderos que se bifurcan y confluyen: Filosofía, Lógica y Matemáticas. 1ed.Valparaíso: Universidad de Valparaíso, 2020, v. 8, p. 107-142.
-
MUNDIM, B. R. . A Análise Lógica do Tractatus. In: VI Jornada de Pesquisa em Filosofia, 2008, Goiânia. Filosofia, Linguagem, Política. Conversações II. Goiânia: Ed. da UCG; Ed. Kelps, 2008. p. 134-152.
-
MUNDIM, B. R. . Análise Como Recuperação da Estrutura Lógica Composicional da Linguagem. In: V Congresso de Ensino, Pesquisa e Extensão, 2008, Goiânia. V CONPEEX, 2008. p. 4349-4363.
-
MUNDIM, B. R. . As cláusulas BHK à luz da correspondência Curry-Howard. In: XIX Semana de Filosofia da UFG, 2012, Goiânia. XIX Semana de Filosofia da UFG. Goiânia, 2012.
-
MUNDIM, B. R. . As Condições da Incompletude e Inexprimibilidade da Verdade na Aritmética de Dedekind-Peano. In: XVIII Semana de Filosofia da UFG, 2011, Goiânia. XVIII Semana de Filosofia da UFG.
-
MUNDIM, B. R. . A Solidez da Maldade. In: XVII Semana de Filosofia da UFG, 2010, Goiânia. XVII Semana de Filosofia da UFG, 2010.
-
MUNDIM, B. R. . A Análise Lógica do Tractatus. In: VI Jornada de Pesquisa em Filosofia, 2008, Goiânia. VI Jornada de Pesquisa em Filosofia - Caderno de Atas. Goiânia: Editora da UCG, 2008. p. 27-27.
-
MUNDIM, B. R. . Análise Lógica e a Ontologia do Tractatus. In: Simpósio Internacional de Iniciação Científica da USP, 2008, São Paulo. 16 SIICUSP, 2008.
-
MUNDIM, B. R. . Mathematical Practice and the Justification of a Logical Principle. 2017. (Apresentação de Trabalho/Congresso).
-
MUNDIM, B. R. . Garantia da Verdade. 2016. (Apresentação de Trabalho/Comunicação).
-
MUNDIM, B. R. . Time, Subjectivity and Consensus in Intuitionistic Philosophy of Mathematics.. 2016. (Apresentação de Trabalho/Conferência ou palestra).
-
MUNDIM, B. R. . Crença Verdadeira Justificada e Inferência Dedutiva. 2015. (Apresentação de Trabalho/Comunicação).
-
MUNDIM, B. R. . Uma Concepção Ontológica e Anti-Realista de Sentido. 2015. (Apresentação de Trabalho/Comunicação).
-
MUNDIM, B. R. . As cláusulas BHK à luz da correspondência Curry-Howard. 2012. (Apresentação de Trabalho/Comunicação).
-
MUNDIM, B. R. . As Condições da Incompletude e Inexprimibilidade da Verdade na Aritmética de Dedekind-Peano. 2011. (Apresentação de Trabalho/Comunicação).
-
MUNDIM, B. R. . A Noção de Juízo na Lógica Intuicionista de Martin-Löf. 2011. (Apresentação de Trabalho/Comunicação).
-
MUNDIM, B. R. . O Erro Como Condição de Possibilidade para o Filosofar. 2010. (Apresentação de Trabalho/Comunicação).
-
MUNDIM, B. R. . A Teoria Simples dos Tipos. 2010. (Apresentação de Trabalho/Comunicação).
-
MUNDIM, B. R. . A Solidez da Maldade. 2010. (Apresentação de Trabalho/Comunicação).
-
MUNDIM, B. R. . Religião Civil: Um Artifício Pedagógico do Legislador. 2009. (Apresentação de Trabalho/Comunicação).
-
MUNDIM, B. R. . A Análise Lógica do Tractatus. 2008. (Apresentação de Trabalho/Comunicação).
-
MUNDIM, B. R. . Análise Lógica e a Ontologia do Tractatus. 2008. (Apresentação de Trabalho/Simpósio).
-
MUNDIM, B. R. . Análise Como Recuperação da Estrutura Lógica Composicional da Linguagem. 2008. (Apresentação de Trabalho/Congresso).
Projetos de pesquisa
-
2008 - 2009
A Teoria Simples dos Tipos, Descrição: Iniciação Científica. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Doutorado: (1) . , Integrantes: Bruno Rigonato Mundim - Coordenador / André da Silva Porto - Integrante.
-
2006 - 2007
Análise como recuperação da estrutura lógica composicional da linguagem, Descrição: Iniciação científica. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Doutorado: (1) . , Integrantes: Bruno Rigonato Mundim - Coordenador / André da Silva Porto - Integrante.
Você é Bruno Rigonato Mundim?
Que tal assumir essas informações?
Basta criar uma conta no Escavador e enviar uma forma de comprovante. São três passos:
Escolha uma dentre três formas de verificação: Facebook, CPF ou Documento com Foto.
O Escavador irá analisar a sua solicitação.
As informações presentes nessa página serão transferidas para a sua página do perfil.
Depois do processo concluído, quem acessar essa página será redirecionado para seu cantinho no Escavador, seunome.escavador.com. Onde você poderá fazer a sua reputação, conhecer gente antenada, se informar e até mesmo ganhar clientes. Tudo isso de graça!
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Bruno Rigonato Mundim e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?