Bruno Bentzen Aguiar

Atualmente é Professor Adjunto no Departmento de Filosofia da Zhejiang University, China. É graduado em Ciência da Computação pela Universidade Católica de Pernambuco (2011) com mestrado em Filosofia pela Universidade Federal de Pernambuco (2014), doutorado em Lógica pela Sun Yat-sen University (2019) e pós-doutorado pela Carnegie Mellon University (2020) e Czech Academy of Sciences (2021). Pesquisa na área de Filosofia e Lógica, com ênfase nos fundamentos da matemática e construtivismo matemático. Atua principalmente nos seguintes temas: filosofia da matemática, intuicionismo, lógica construtiva e teoria dos tipos.

Informações coletadas do Lattes em 08/08/2025

Acadêmico

Formação acadêmica

Doutorado em Lógica

2015 - 2019

Sun Yat-Sen University
Título: Constructive mathematics and equality
Orientador: Yimu Yin
Bolsista do(a): China Scholarship Council, CSC, China. Palavras-chave: teoria de tipos; teoria de tipos homotópica; enigma de Frege; igualdade.Grande área: Ciências HumanasGrande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.

Mestrado em Filosofia

2012 - 2014

Universidade Federal de Pernambuco
Título: Value-ranges, Julius Caesar and Indeterminacy
, Ano de Obtenção: 2014.Fernando Raul de Assis Neto.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Percurso de Valores; Indeterminação da Referência; Problema Júlio Cesar.Grande área: Ciências HumanasGrande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.

Graduação em Ciência da Computação

2007 - 2011

Universidade Católica de Pernambuco
Título: Uma Proposta de Sistema de Apoio Clínico ao Diagnóstico de Doenças Neuromusculares Utilizando Lógica Nebulosa
Orientador: Clarissa Daisy da Costa Albuquerque
Bolsista do(a): Fundação APLUB de Crédito Educativo, FUNDAPLUB, Brasil.

Pós-doutorado

2021 - 2021

Pós-Doutorado. , Czech Academy of Sciences, CAS, República Tcheca. , Grande área: Ciências Humanas, Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Filosofia da Matemática.

2019 - 2020

Pós-Doutorado. , Carnegie Mellon University, CMU, Estados Unidos. , Grande área: Ciências Humanas, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.

Formação complementar

2011 - 2011

História da Matemática. (Carga horária: 15h). , Universidade Federal de Pernambuco, UFPE, Brasil.

2011 - 2011

História da matemática com interesse filosófico. (Carga horária: 10h). , Universidade Federal de Pernambuco, UFPE, Brasil.

Idiomas

Inglês

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

Chinês

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

Espanhol

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

Italiano

Lê Pouco, Escreve Pouco.

Francês

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

Alemão

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

Áreas de atuação

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Filosofia da Matemática.

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

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Filosofia Analítica.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.

Participação em eventos

Formal Methods in Mathematics / Lean Together 2020. 2020. (Congresso).

Geometry in Modal Homotopy Type Theory. 2019. (Congresso).

Lean Together.A Formalization of a Henkin-style Completeness Proof. 2019. (Oficina).

The International Conference on Homotopy Type Theory. Informal cubical type theory. 2019. (Congresso).

Chinese Mathematical Conference. Applications of homotopy type theory to Frege's puzzle. 2017. (Congresso).

Logic Colloquium. A solution to Frege's puzzle in homotopy type theory. 2017. (Congresso).

Seminario em Lingnan University.On different ways of being the same: a constructive approach to Frege's puzzle. 2017. (Seminário).

The 15th Asian Logic Conference. Frege's puzzle and homotopy type theory. 2017. (Congresso).

2016 Workshop on the Intersection between Logic, Mathematics and Philosophy.A homotopy type-theoretical solution to Frege's puzzle. 2016. (Oficina).

4th World Congress on Universal Logic. What is not Frege's Julius Caesar Problem?. 2013. (Congresso).

4th World School on Universal Logic. 2013. (Outra).

65ª Reunião Anual da Sociedade Brasileira Para o Progresso da Ciência. O Lugar dos Objetos Sensíveis em Grundgesetze. 2013. (Congresso).

Introduction to Logic. 2013. (Outra).

XVII Congresso Interamericano de Filosofia. Frege: platônico ou logicista?. 2013. (Congresso).

I Colóquio Mercosul sobre Teoria kantiana do Esquematismo Transcendental. 2012. (Congresso).

Mini-curso em Autoconsciência e Autoconhecimento. 2012. (Outra).

Mini-curso em Linguagem e Ser. 2012. (Outra).

Mini-curso em O Tratado da Lei em Tomás de Aquino. 2012. (Outra).

VIII Encontro Interinstitucional de Filosofia.Frege deve confrontar César?. 2012. (Encontro).

VII Jornada Tomista de Pernambuco. 2012. (Encontro).

XV Encontro Nacional da ANPOF. Frege versus Júlio César: Uma disputa necessária?. 2012. (Congresso).

XXXIII Semana de Filosofia da UNICAP.É possível reconhecer objetos lógicos sem conhecê-los? O problema Júlio César em viés epistêmico. 2012. (Encontro).

XI Simpósio Internacional da Sociedade Brasileira de Platonistas e VII Seminário Internacional Archai. 2011. (Simpósio).

XII Congresso Brasileiro de Informática em Saúde (CBIS). 2010. (Congresso).

Participação em bancas

Aluno: Jianwei Kong

BENTZEN, B.; LIAO, B.; JIN, L.; XU, C.; LUO, J.. A Study on Buridan's Theory of Supposition and its Applications. 2023. Dissertação (Mestrado em Logic) - Zhejiang University.

Aluno: Chenru Yin

BENTZEN, B.; LIAO, B.; LUO, J.; JIN, L.; XU, C.. Plausible Reasoning: A Synthetic Type of Reasoning. 2023. Dissertação (Mestrado em Logic) - Zhejiang University.

Aluno: Xiaolin Pang

LIAO, B.; JIN, L.; XU, C.;BENTZEN, B.; LUO, J.. A Study of Argumentative Patterns with Pragmatic Argumentation as the Main Argument in Vaccination Initiatives of Children. 2023. Dissertação (Mestrado em Logic) - Zhejiang University.

Orientou

Huayu Guo

Martin-Löf's distinction between sense and reference; Início: 2022; Dissertação (Mestrado em Logic) - Zhejiang University; (Orientador);

Zixin Fang

Inquiry on the completeness of many-valued logical connectives; 2023; Trabalho de Conclusão de Curso; (Graduação em Philosophy) - Zhejiang University; Orientador: Bruno Bentzen Aguiar;

Produções bibliográficas

BENTZEN, BRUNO . An intuitionistic interpretation of Bishop?s philosophy. Philosophia Mathematica , v. online, p. 1-25, 2024.
BENTZEN, BRUNO . Propositions as Intentions. Husserl Studies , v. 39, p. 143-160, 2023.
BENTZEN, BRUNO . Brouwer's Intuition of Twoity and Constructions in Separable Mathematics. HISTORY AND PHILOSOPHY OF LOGIC , v. online, p. 1-21, 2023.
BENTZEN, BRUNO . Analyticity and syntheticity in type theory revisited. Review of Symbolic Logic , v. 1, p. 1-29, 2023.
BENTZEN, BRUNO . Naive cubical type theory. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE , v. 31, p. 1205-1231, 2021.
BENTZEN, B. . Sense, reference, and computation. REVISTA PERSPECTIVA FILOSÓFICA , v. 47, p. 179-203, 2020.
BENTZEN, BRUNO . On Different Ways of Being Equal. Erkenntnis (Dordrecht. Print) , v. 87, p. 1809-1830, 2020.
BENTZEN, BRUNO . What Types Should Not Be¿. Philosophia Mathematica , v. 1, p. 1-17, 2019.
BENTZEN, BRUNO . Frege on Referentiality and Julius Caesar in Grundgesetze Section 10. Notre Dame Journal of Formal Logic , v. 60, p. 617-637, 2019.
BENTZEN, B. ; ASSIS NETO, F. R. . O conceito de número (tradução). REVISTA PERSPECTIVA FILOSÓFICA , v. 2, p. 140-178, 2013.
FITTIPALDI, I. ; FERREIRA, M. ; PAVÃO, A. C. ; DUPUIS, F. A. R. ; NÓBREGA, F. ; ASSIS NETO, F. R. ; COELHO, L. C. B. B. ; PAIVA, P. M. G. ; BENTZEN, B. ; SILVA, B. I. M. ; SOUZA, F. A. C. ; OLIVEIRA, R. S. ; STOSIC, B. D. . Caravana dos Notáveis Cientistas Pernambucanos. 2. ed. Recife: , 2012. v. 01. 94p .
FITTIPALDI, I. ; FERREIRA, M. ; PAVÃO, A. C. ; DUPUIS, F. A. R. ; NÓBREGA, F. ; ASSIS NETO, F. R. ; PAIVA, P. M. G. ; COELHO, L. C. B. B. ; BENTZEN, B. ; OLIVEIRA, R. S. ; SILVA, B. I. M. . Caravana dos Notáveis Cientistas Pernambucanos. 1. ed. Recife: , 2011. v. 01. 80p .
BENTZEN, B. . A Henkin-style completeness proof for the modal logic S5. In: P. Baroni; C. Benzmüller; Y. N. Wáng. (Org.). Logic and Argumentation: Fourth International Conference, CLAR 2021, Hangzhou, China, October 20?22. 4ed.Cham: Springer, 2021, v. , p. 459-467.
BENTZEN, B. . Revisiting Grundgesetze: How wrong was Frege?. In: G. F. de Arruda Júnior; J. M. de Luna. (Org.). Revisiting Grundgesetze: How wrong was Frege?. 1ed.Porto Alegre: Fi, 2019, v. 1, p. 1-228.
ASSIS NETO, F. R. ; BENTZEN, B. . ?Substanzbegriff und Funkionsbegrif ? de Ernst Cassirer Tradução do capítulo 2 - O Conceito de Número. In: Fernando Raul Neto; Hernán Pringe. (Org.). Investigações Kantianas - Homenagem a Juan Bonaccini. 1ed.Recife: Ed. UFPE, 2018, v. 1., p. 61-106.
BENTZEN, B. . Frege versus Júlio César: uma disputa necessária?. In: Marcelo Carvalho; Vinicius Figueiredo. (Org.). Filosofia contemporânea: lógica, linguagem e ciência. 1ed.São Paulo: ANPOF, 2013, v. , p. 111-119.
BENTZEN, B. ; ALBUQUERQUE, C. D. C. . Um sistema Fuzzy para o diagnóstico diferencial de Doenças Neuromusculares. In: XIII Congresso Brasileiro de Informática em Saúde, 2012, Curitiba. Anais do XIII Congresso Brasileiro de Informática em Saúde. São Paulo: SBIS, 2012. v. 1.
BENTZEN, B. . Frege's puzzle and homotopy type theory. In: 15th Asian Logic Conferences, 2017, Daejeon. Proceedings of the 14th and 15th Asian Logic Conferences, 2017.
BENTZEN, B. . What is not Frege's Julius Caesar Problem?. In: 4th World Congress on Universal Logic, 2013, Rio de Janeiro. 4th World Congress and School on Universal Logic. Goiânia: Kelps, 2013. p. 1-376.
SALLES, J. C. ; DIETERLEN, P. ; CARVALHO, M. ; GIUSTI, M. ; FIGUEIREDO, V. ; EVORA, F. ; MARQUES, E. ; VALLS, A. ; BENTZEN, B. . Frege: platônico ou logicista?. In: XVII Congresso Internamericano de Filosofia, 2013, Salvador. XVII Congresso da Sociedade Interamericana de Filosofia: Livro de Resumos. Salvador: Quarteto, 2013. v. 1. p. 7-556.
BENTZEN, B. . Frege versus Júlio César: Uma disputa necessária?. In: XV Encontro Nacional da ANPOF, 2012, Curitiba. Anais de Resumos do XV Encontro Nacional de Filosofia da ANPOF. São Paulo: ANPOF, 2012. p. 1-799.
BENTZEN, BRUNO . Untyped and typed evaluation in the meaning explanations. 2024. (Apresentação de Trabalho/Comunicação).
BENTZEN, BRUNO . Should objects be intrinsically typed?. 2024. (Apresentação de Trabalho/Conferência ou palestra).
BENTZEN, BRUNO . Bishop's view of mathematical constructions. 2024. (Apresentação de Trabalho/Seminário).
BENTZEN, BRUNO . Intuition in Bishop's constructive mathematics. 2024. (Apresentação de Trabalho/Conferência ou palestra).
BENTZEN, B. . Bishop's mathematical intuitionism. 2023. (Apresentação de Trabalho/Congresso).
BENTZEN, B. . Analytic and synthetic judgments in constructive semantics. 2023. (Apresentação de Trabalho/Seminário).
BENTZEN, B. . Mathematical intuition and the phenomenological turn in intuitionism. 2023. (Apresentação de Trabalho/Seminário).
BENTZEN, B. . Can propositions be intentions, intuitionistically?. 2022. (Apresentação de Trabalho/Congresso).
BENTZEN, B. . Against the propositions-as-intentions interpretation. 2022. (Apresentação de Trabalho/Conferência ou palestra).
BENTZEN, B. . How do we intuit mathematical constructions?. 2021. (Apresentação de Trabalho/Conferência ou palestra).
BENTZEN, B. . Frege's hierarchy of function levels in simple type theory. 2021. (Apresentação de Trabalho/Seminário).
BENTZEN, B. . What went wrong with Frege's theory of types?. 2021. (Apresentação de Trabalho/Seminário).
BENTZEN, B. . A Formalization of a Henkin-style Completeness Proof for Propositional Modal Logic in Lean. 2019. (Apresentação de Trabalho/Conferência ou palestra).
BENTZEN, B. . Informal cubical type theory. 2019. (Apresentação de Trabalho/Conferência ou palestra).
BENTZEN, B. . Frege's puzzle and homotopy type theory. 2017. (Apresentação de Trabalho/Congresso).
BENTZEN, B. . Applications of homotopy type theory to Frege's puzzle. 2017. (Apresentação de Trabalho/Congresso).
BENTZEN, B. . A solution to Frege's puzzle in homotopy type theory. 2017. (Apresentação de Trabalho/Conferência ou palestra).
BENTZEN, B. . What is not Frege's Julius Caesar problem?. 2013. (Apresentação de Trabalho/Comunicação).
BENTZEN, B. . O lugar dos objetos sensíveis em Grundgesetze. 2013. (Apresentação de Trabalho/Outra).
BENTZEN, B. . Frege: platônico ou logicista?. 2013. (Apresentação de Trabalho/Comunicação).
BENTZEN, B. . Frege deve confrontar César?. 2012. (Apresentação de Trabalho/Comunicação).
BENTZEN, B. . É possível reconhecer objetos lógicos sem conhecê-los? O problema Júlio César em viés epistêmico. 2012. (Apresentação de Trabalho/Comunicação).
BENTZEN, B. . Frege versus Júlio César: Uma disputa necessária?. 2012. (Apresentação de Trabalho/Comunicação).
BENTZEN, B. ; ASSIS NETO, F. R. . O conceito de número. Recife: Perspectiva Filosófica, 2015. (Tradução/Artigo).

Outras produções

BENTZEN, B. . The Cubo prover. 2019.

BENTZEN, B. . Cubicalean. 2019.

BENTZEN, B. . MPL. 2019.

BENTZEN, B. . HoTT Book in Lean. 2015.

BENTZEN, B. . Visita Acadêmica à Fudan University (China). 2017. (Visita Acadêmica).

Projetos de pesquisa

2023 - Atual

Philosophy of Mathematics Research, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Bruno Bentzen Aguiar - Coordenador., Financiador(es): Zhejiang Federation of Humanities and Social Sciences - Auxílio financeiro., Número de produções C, T & A: 2
2021 - Atual

Meaningful formalism: a philosophy of mathematics for type theory, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Bruno Bentzen Aguiar - Integrante / Ansten Klev - Coordenador / William Stafford - Integrante.
2018 - Atual

Constructive Methods and Formal Verification in Analysis, Descrição: Pesquisa relacionada a metodos construtivos e verificacao formal de teoremas.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Bruno Bentzen Aguiar - Coordenador / Jeremy Avigad - Integrante., Financiador(es): U.S. Air Force - Outra., Número de produções C, T & A: 8
2015 - 2018

Homotopy type theory and Frege's puzzle, Descrição: Esta pesquisa visa oferecer uma solução construtiva para o enigma de Frege (Frege 1892), entendido em um contexto puramente matemático, utilizando a teoria homotópica de tipos (homotopy type theory) como ferramenta para a análise lógica do problema. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Bruno Bentzen Aguiar - Coordenador., Número de produções C, T & A: 9
2012 - 2014

Value-ranges, Julius Caesar and Indeterminacy, Descrição: Esta pesquisa tem por objetivo investigar as Grundgesetze der Arithmetik I (Frege 1893) e relacionar o problema da indeterminação, encontrado na seção 10 do livro, com a indeterminação levantada pelo problema Júlio César, a mais fundamental questão filosófica encontrada pelo logicismo de Frege. Estudamos a sua solução para o problema da indeterminação, a saber, a identificação trans-sortal. Primeiro, queremos propor uma interpretação, também sugerida por Greimann (2003), para conciliar a identificação trans-sortal com o comprometimento de Frege com o princípio da completa determinação. Segundo, queremos concluir, acompanhando Ruffino (2002), que não há problema Júlio César para percurso de valores. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Bruno Bentzen Aguiar - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa., Número de produções C, T & A: 15

Prêmios

2017

Research Travel Award, Sun Yat-sen University.

2017

Student Travel Award, Association for Symbolic Logic.

2014

Aprovação na seleção do Programa de Bolsas de Estudo do Governo Chinês, China Scholarship Council.

Histórico profissional

Endereço profissional

Zhejiang University, School of Philosophy. , 866 Yuhangtang Rd, West Lake District, 310058 - Hangzhou, - China, Telefone: (86) 5718827335, URL da Homepage:

Experiência profissional

2019 - 2020

Carnegie Mellon University

Vínculo: Celetista, Enquadramento Funcional: Pós-doutorado, Regime: Dedicação exclusiva.

Atividades

01/2019 - 07/2020
Pesquisa e desenvolvimento, Department of Philosophy.,Linhas de pesquisa

2014 - 2018

Sun Yat-Sen University

Vínculo: Bolsista, Enquadramento Funcional: Estudante de pós-graduação, Regime: Dedicação exclusiva.

Atividades

08/2015
Pesquisa e desenvolvimento, Institute of Logic and Cognition.,Linhas de pesquisa

2012 - 2014

Universidade Federal de Pernambuco

Vínculo: Bolsista, Enquadramento Funcional: Estudante de Pós-graduação, Regime: Dedicação exclusiva.

2011 - 2014

Universidade Federal de Pernambuco

Vínculo: Outro, Enquadramento Funcional: Discente, Carga horária: 20

Atividades

05/2013 - 02/2014
Estágios , Centro de Filosofia e Ciências Humanas, Departamento de Filosofia.,Estágio realizado, Estágio Docência na disciplina Lógica Modal (FL533).
05/2013 - 02/2014
Outras atividades técnico-científicas , Centro de Filosofia e Ciências Humanas, Centro de Filosofia e Ciências Humanas.,Atividade realizada, Lógica FL517 (Monitoria).
03/2012 - 02/2014
Pesquisa e desenvolvimento, Centro de Filosofia e Ciências Humanas, Departamento de Filosofia.,Linhas de pesquisa
10/2011 - 02/2012
Extensão universitária , Espaço Ciência.,Atividade de extensão realizada, Caravana dos Notáveis Cientistas Pernambucanos.

2007 - 2011

Universidade Católica de Pernambuco

Vínculo: Outro, Enquadramento Funcional: Discente, Carga horária: 20

Atividades

09/2010 - 12/2010
Estágios , Centro de Ciências e Tecnologia, Departamento de Estatistica e Informatica.,Estágio realizado, Setor de Apoio Acadêmico da Coordenação de Tecnologia e Informação.

2011 - 2012

Faculdade de Tecnologia e Ciências de Pernambuco

Vínculo: Contrato, Enquadramento Funcional: Professor, Carga horária: 4

Atividades

08/2011 - 02/2012
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Lógica Aplicada à Computação

2012 - 2012

Faculdade de Formação de Professores Belo Jardim

Vínculo: Outro, Enquadramento Funcional: Professor colaborador, Carga horária: 15

Atividades

02/2012 - 02/2012
Ensino, Ensino de Matemática e Novas Tecnologias, Nível: Especialização,Disciplinas ministradas, Aritmética dos Inteiros

2021 - 2021

Czech Academy Of Sciences

Vínculo: Celetista, Enquadramento Funcional: Pós-doutorado, Regime: Dedicação exclusiva.

Atividades

12/2020
Pesquisa e desenvolvimento, Institute of Philosophy.,Linhas de pesquisa

2021 - Atual

Zhejiang University

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.

Atividades

11/2022
Ensino, Philosophy, Nível: Graduação,Disciplinas ministradas, Philosophical logic
03/2022
Ensino, Logic, Nível: Pós-Graduação,Disciplinas ministradas, Foundations of mathematical logic, LaTeX in academic writing
11/2021
Pesquisa e desenvolvimento, Department of Philsophy.,Linhas de pesquisa