Rodrigo de Alvarenga Freire

  • Endereço para acessar este CV: http://lattes.cnpq.br/4764428833100381
  • Última atualização do currículo em 18/10/2018


Possui graduação em Engenharia Elétrica pela Universidade Estadual Paulista Julio de Mesquita Filho (2004), doutorado em Filosofia pela Universidade Estadual de Campinas (2009) e doutorado em Matemática pela Universidade de São Paulo (2014). Atualmente é Professor Adjunto da Universidade de Brasília. Tem experiência na área de Lógica com ênfase em estudos fundacionais. (Texto informado pelo autor)


Identificação


Nome
Rodrigo de Alvarenga Freire
Nome em citações bibliográficas
FREIRE, RODRIGO A.


Formação acadêmica/titulação


2009 - 2014
Doutorado em Matemática.
Universidade de São Paulo, USP, Brasil.
Título: Teoria das Funções de Primeira Ordem, Ano de obtenção: 2014.
Orientador: Daniel Victor Tausk.
Palavras-chave: funções booleanas; definibilidade.
Grande área: Ciências Humanas
2004 - 2009
Doutorado em Filosofia.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Os Fundamentos do Pensamento Matemático no Século XX e a Relevância Fundacional da Teoria de Modelos, Ano de obtenção: 2009.
Orientador: Walter Alexandre Carnielli.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Palavras-chave: fundamentos da matemática.
Grande área: Ciências Humanas
1999 - 2004
Graduação em Engenharia elétrica.
Universidade Estadual Paulista Júlio de Mesquita Filho, UNESP, Brasil.
Título: Vortices in Superconductors with a Columnar Defect: Finite Size Effects.
Orientador: Edson Sardella.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.


Pós-doutorado


2014 - 2015
Pós-Doutorado.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Humanas
2013 - 2014
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 Humanas
2009 - 2012
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 Humanas


Atuação Profissional



Universidade de Brasília, UnB, Brasil.
Vínculo institucional

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

Atividades

2016 - Atual
Ensino, Filosofia, Nível: Pós-Graduação

Disciplinas ministradas
Lógica Formal Moderna
Seminário de Filosofia (Teoria de Modelos)
02/2015 - Atual
Ensino, Filosofia, Nível: Graduação

Disciplinas ministradas
Filosofia da Lógica
Filosofia da Matemática
Introdução à Filosofia
Lógica
Tópicos Especiais de Lógica (Teoria de Conjuntos)
Lógica 2

Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

2009 - 2015
Vínculo: Bolsista Pós-Doutorado, Enquadramento Funcional: Pesquisador Associado

Atividades

03/2010 - 01/2015
Ensino, Filosofia, Nível: Pós-Graduação

Disciplinas ministradas
Álgebra da Lógica (Álgebra Universal)
Introdução à Lógica
Teoria de Conjuntos I
Teoria de Conjuntos II
Teoria de Modelos

Universidade de São Paulo, USP, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador Colaborador

Atividades

01/2010 - 12/2014
Ensino, Matemática, Nível: Pós-Graduação

Disciplinas ministradas
Introdução à Lógica Matemática (Teoria da Prova)
Teoria dos Conjuntos e Aplicações
Fundamentos da Matemática


Projetos de pesquisa


2012 - Atual
Fundamentos de Teorias Clássicas da Quantificação
Descrição: Neste projeto investigamos as operações lógicas em sistemas clássicos com quantificadores, tais como subsistemas da lógica de primeira ordem e o fragmento existencial da lógica de segunda ordem. Visamos, a partir da introdução noção de função de primeira ordem, desenvolver a quantificação em continuidade com as operações da lógica proposicional..
Situação: Em andamento; Natureza: Pesquisa.
2010 - Atual
Fundamentos de Teorias de Conjuntos e Classes
Descrição: Este projeto é dedicado à análise, comparada e não-comparada, de teorias de conjuntos e classes segundo noções fundamentais para a filosofia da matemática. Estamos especialmente interessados em investigar as noções de verdade, interpretação, importe existencial, consistência relativa e conservatividade nas teorias de Zermelo-Fraenkel, von Neumann-Bernays-Goedel e em sistemas relacionados..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (2) .
Integrantes: Rodrigo de Alvarenga Freire - Coordenador / Edgar Luis Bezerra de Almeida - Integrante / Alfredo Roque de Oliveira Freire - Integrante.
Número de produções C, T & A: 11 / Número de orientações: 1


Revisor de periódico


2014 - Atual
Periódico: Mathematical Reviews
2014 - Atual
Periódico: ZDM. Zentralblatt für Didaktik der Mathematik (Cessou em 2005. Cont. ISSN 1
2014 - Atual
Periódico: Logica Universalis (Print)
2015 - Atual
Periódico: Principia (Florianópolis. Online)
2013 - Atual
Periódico: Logic Journal of the IGPL (Print)


Áreas de atuação


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


Idiomas


Francês
Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.


Prêmios e títulos


2015
Prêmio Newton da Costa de Lógica, Sociedade Brasileira de Lógica.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
FREIRE, RODRIGO A.2016 FREIRE, RODRIGO A.. Grasping Sets Through Ordinals: On a Weak Form of the Constructibility Axiom. SOUTH AMERICAN JOURNAL OF LOGIC, v. 2, p. 347-359, 2016.

2.
FREIRE, RODRIGO A.2015 FREIRE, RODRIGO A.. First-Order Logic and First-Order Functions. Logica Universalis (Online), v. 9, p. 281-329, 2015.

3.
FREIRE, RODRIGO A.2015FREIRE, RODRIGO A.. Funções de Primeira Ordem e n-Tipos. CLE e-Prints (Online), v. 15, p. 1-10, 2015.

4.
FREIRE, RODRIGO A.2015FREIRE, RODRIGO A.. On Existence in Set Theory, Part III: Applications to New Axioms. SOUTH AMERICAN JOURNAL OF LOGIC, v. 1, p. 249-265, 2015.

5.
FREIRE, RODRIGO A.2014 FREIRE, RODRIGO A.. On Existence in Set Theory, Part II: Relative Productivity. Notre Dame Journal of Formal Logic, v. 55, p. 91-105, 2014.

6.
FREIRE, RODRIGO A.2012 FREIRE, RODRIGO A.. On Existence in Set Theory. Notre Dame Journal of Formal Logic, v. 53, p. 525-547, 2012.

7.
FREIRE, RODRIGO A.2011FREIRE, RODRIGO A.. A Short Note on Sacks Generic Extensions. CLE e-Prints (Online), v. 11, p. 1-3, 2011.

8.
TAUSK, D. V.2011TAUSK, D. V. ; FREIRE, RODRIGO A. . Conjuntos Linearmente Independentes e Conjuntos Geradores em Módulos. Matemática Universitária, v. 50/51, p. 24-27, 2011.

9.
ARNDT, P.2007ARNDT, P. ; FREIRE, RODRIGO A. ; LUCIANO, O. O. ; MARIANO, H. L. . A Global Glance on Categories in Logic. Logica Universalis (Print), v. 1, p. 3-39, 2007.

10.
ARNDT, P.2006ARNDT, P. ; FREIRE, RODRIGO A. ; LUCIANO, O. O. ; MARIANO, H. L. . On the Category of Algebraizable Logics. CLE e-Prints (Online), v. 6, p. 1-24, 2006.

11.
SARDELLA, E.2005SARDELLA, E. ; FREIRE, RODRIGO A. ; LISBOA FILHO, P. N. . Vortices in Superconductors with a Columnar Defect: Finite Size Effects. Physica. C, Superconductivity (Print), Amsterdam, v. 421, p. 41-48, 2005.

12.
SARDELLA, E.2002SARDELLA, E. ; FREIRE, RODRIGO A. . Vortex Lattice in a Long Superconducting Wire with a Columnar Deffect. Brazilian Journal of Physics (Impresso), Sao Paulo, v. 32, n.3, p. 695-698, 2002.

Capítulos de livros publicados
1.
FREIRE, RODRIGO A.. Interpretation and Truth in Set Theory. In: Carnielli, W.; Malinowski, J.. (Org.). Contradictions, from Consistency to Inconsistency. 1ed.: Springer International Publishing, 2018, v. 47, p. 183-205.

Apresentações de Trabalho
1.
FREIRE, RODRIGO A.. O Teorema de Herbrand-Hilbert-Ackermann. 2018. (Apresentação de Trabalho/Conferência ou palestra).

2.
FREIRE, RODRIGO A.. O Formal e o Normativo em Matemática. 2018. (Apresentação de Trabalho/Conferência ou palestra).

3.
FREIRE, RODRIGO A.. Princípios de Substituição em Linguagens Infinitárias. 2017. (Apresentação de Trabalho/Conferência ou palestra).

4.
FREIRE, RODRIGO A.. Set-Theoretic Principles and Arbitrariness. 2017. (Apresentação de Trabalho/Comunicação).

5.
FREIRE, RODRIGO A.. Lógica de Primeira Ordem e Funções de Primeira Ordem. 2017. (Apresentação de Trabalho/Conferência ou palestra).

6.
FREIRE, RODRIGO A.. Teoria de Conjuntos com Ordinais em Quantidade Suficiente. 2016. (Apresentação de Trabalho/Conferência ou palestra).

7.
FREIRE, RODRIGO A.. Existential Import in Set Theory. 2016. (Apresentação de Trabalho/Comunicação).

8.
FREIRE, RODRIGO A.. A Weak Form of the Constructibility Axiom. 2016. (Apresentação de Trabalho/Comunicação).

9.
FREIRE, RODRIGO A.. First-Order Logic and First-Order Functions. 2015. (Apresentação de Trabalho/Conferência ou palestra).

10.
FREIRE, RODRIGO A.; ALMEIDA, E. L. B. . Existence Axioms in Second-Order Arithmetic. 2013. (Apresentação de Trabalho/Comunicação).

11.
FREIRE, RODRIGO A.. On Existence in Set Theory. 2012. (Apresentação de Trabalho/Comunicação).

12.
FREIRE, RODRIGO A.. The Existential Requirement of a Valid Sentence in Set Theory. 2012. (Apresentação de Trabalho/Conferência ou palestra).

13.
FREIRE, RODRIGO A.. Degrees of Existence Requirement. 2012. (Apresentação de Trabalho/Comunicação).

14.
FREIRE, RODRIGO A.; SCHWARZ, J. F. ; TAUSK, D. V. . The Axioms of ZFC Set Theory. 2011. (Apresentação de Trabalho/Comunicação).

15.
FREIRE, RODRIGO A.. Paradoxos Semânticos e a Teoria da Verdade de Tarski. 2008. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
FREIRE, RODRIGO A.. Teoria das Funções de Primeira Ordem. Universidade de São Paulo, 2014 (Tese de doutorado em Matemática).

2.
FREIRE, RODRIGO A.. Os Fundamentos do Pensamento Matemático no Século XX e a Relevância Fundacional da Teoria de Modelos. Universidade Estadual de Campinas, 2009 (Tese de doutorado em Filosofia).


Demais tipos de produção técnica
1.
FREIRE, RODRIGO A.. Teoremas de Gödel da Incompletude. 2018. (Curso de curta duração ministrado/Outra).

2.
FREIRE, RODRIGO A.. Isomorfismos Parciais. 2017. (Curso de curta duração ministrado/Outra).

3.
FREIRE, RODRIGO A.. Fundamentos da Matemática. 2015. (Curso de curta duração ministrado/Outra).

4.
FREIRE, RODRIGO A.. Introductory Notes on Back-and-Forth. 2013. (Desenvolvimento de material didático ou instrucional - Material didático).

5.
FREIRE, RODRIGO A.. Teoria de Galois Tradicional. 2011. (Curso de curta duração ministrado/Outra).

6.
FREIRE, RODRIGO A.; TAUSK, D. V. . Ordinals: A Study Guide. 2010. (Desenvolvimento de material didático ou instrucional - Material didático).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
SOUZA, E. G.; COSTA-LEITE, A. F. B.; BACELLAR, R.; FREIRE, RODRIGO A.. Participação em banca de Christian Marcel de Amorim Perret Gentil Dit Maillard. Teoria das Categorias: Uma Semântica Categorial para Linguagens Proposicionais. 2018. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo.

2.
BACELLAR, R.; RUFFINO, M. A. C.; SOUZA, E. G.; FREIRE, RODRIGO A.. Participação em banca de Daniel Nagase. Explicating Logicality. 2017. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo.

3.
D'OTTAVIANO, I. M. L.; FEITOSA, H. A.; FREIRE, RODRIGO A.. Participação em banca de Edgar Luis Bezerra de Almeida. Lógicas Abstratas e o Primeiro Teorema de Lindström. 2013. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

4.
BACELLAR, R.; LOPARIC, A. M. A. C.; FREIRE, RODRIGO A.. Participação em banca de Pedro Alonso Amaral Falcão. Aspectos da Teoria de Funções Modais. 2012. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo.

5.
CARNIELLI, W. A.; CONIGLIO, M. E.; FREIRE, RODRIGO A.. Participação em banca de Pietro Kreitlon Carolino. Polinomização de Lógicas: Problemas e Perspectivas. 2009. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Teses de doutorado
1.
MARIANO, H. L.; BRUNNER, A. B. M.; VENTURI, G.; LUCIANO, O. O.; FREIRE, RODRIGO A.. Participação em banca de Dimi Rocha Rangel. Um Referencial Algébrico para uma Teoria de Conjuntos Baseada nos Números Surreais. 2018. Tese (Doutorado em Matemática) - Universidade de São Paulo.

2.
CONIGLIO, M. E.; SAUTTER, F. T.; VENTURI, G.; SOUZA, E. G.; FREIRE, RODRIGO A.. Participação em banca de Bruno Ramos Mendonça. Traditional Theory of Semantic Information Without Scandal of Deduction: A Moderately Externalist Reassessment of the Topic Based on Urn Semantics and a Paraconsistent Application. 2018. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

3.
BACELLAR, R.; COSTA-LEITE, A. F. B.; SOUZA, E. G.; MARIANO, H. L.; FREIRE, RODRIGO A.. Participação em banca de Pedro Alonso Amaral Falcão. On Pre-Complete Systems of Modal Functions. 2017. Tese (Doutorado em Filosofia) - Universidade de São Paulo.

4.
MARIANO, H. L.; BIANCONI, R.; BRUNNER, A. B. M.; CONIGLIO, M. E.; FREIRE, RODRIGO A.. Participação em banca de Darllan Conceição Pinto. Uma Fundamentação Categorial para uma Teoria de Representação de Lógicas. 2016. Tese (Doutorado em Matemática) - Universidade de São Paulo.

5.
D'OTTAVIANO, I. M. L.; VIANA, J. P.; FREITAS, R.; BIRABEN, R. C. E.; FREIRE, RODRIGO A.. Participação em banca de Lenadro Oliva Suguitani. Sobre a Lógica e a Aritmética das Relações. 2013. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Qualificações de Doutorado
1.
CARNIELLI, W. A.; VENTURI, G.; FREIRE, RODRIGO A.. Participação em banca de Bruno Ramos Mendonça. Traditional Theory of Semantic Information Without Scandal of Deduction: A Moderately Externalist Reassessment of the Topic Based on Urn Semantics and a Paraconsistent Application. 2017. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

2.
D'OTTAVIANO, I. M. L.; FREITAS, R.; FREIRE, RODRIGO A.. Participação em banca de Leandro Oliva Suguitani. Sobre a Lógica e a Aritmética das Relações. 2012. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

3.
LOPARIC, A. M. A. C.; COELHO, A. M. N.; FREIRE, RODRIGO A.. Participação em banca de Luciano Vicente. Alguns Sistemas Formais da Verdade Aritmética Baseados em Definições Parciais de Verdade. 2012. Exame de qualificação (Doutorando em Filosofia) - Universidade de São Paulo.

Qualificações de Mestrado
1.
LECLERC, A.; COSTA-LEITE, A. F. B.; FREIRE, RODRIGO A.. Participação em banca de Diego Felipe Moraes de Souza. Consciência Irredutível: Considerações Acerca da Subjetividade Ante o Paradigma Naturalista. 2018. Exame de qualificação (Mestrando em Filosofia) - Universidade de Brasília.

2.
RODRIGUES, S. J. S.; SANTANA, A. E.; FREIRE, RODRIGO A.. Participação em banca de Arnaldo de Souza Vasconcellos Junior. O Princípio da Conservação da Energia e a Descoberta do Neutrino: uma Análise Lakatosiana. 2018. Exame de qualificação (Mestrando em Filosofia) - Universidade de Brasília.

3.
FREIRE, RODRIGO A.; COSTA-LEITE, A. F. B.; HAHN, A.. Participação em banca de Daniel de Albuquerque Violato. Atualizando Kant: Uma Avaliação da Identidade entre Lógica Transcendental e Lógica Geométrica. 2018. Exame de qualificação (Mestrando em Filosofia) - Universidade de Brasília.

4.
CARNIELLI, W. A.; MARIANO, H. L.; FREIRE, RODRIGO A.. Participação em banca de Alfredo Roque de Oliveira Freire Filho. Provas Finitárias e Infinitárias de Consistência entre Teorias: Estudo da Equiconsistência entre NBG e ZF. 2016. Exame de qualificação (Mestrando em Filosofia) - Universidade Estadual de Campinas.

5.
BACELLAR, R.; SOUZA, E. G.; FREIRE, RODRIGO A.. Participação em banca de Daniel Nagase. Logicality Criteria. 2015. Exame de qualificação (Mestrando em Filosofia) - Universidade de São Paulo.

6.
CARNIELLI, W. A.; RUFFINO, M. A. C.; FREIRE, RODRIGO A.. Participação em banca de Henrique Antunes Almeida. Revisitando o Teorema de Frege. 2013. Exame de qualificação (Mestrando em Filosofia) - Universidade Estadual de Campinas.

7.
D'OTTAVIANO, I. M. L.; FEITOSA, H. A.; FREIRE, RODRIGO A.. Participação em banca de Edgar Luis Bezerra de Almeida. Lógicas Abstratas e o Primeiro Teorema de Lindström. 2012. Exame de qualificação (Mestrando em Filosofia) - Universidade Estadual de Campinas.

8.
BACELLAR, R.; LOPARIC, A. M. A. C.; FREIRE, RODRIGO A.. Participação em banca de Pedro Alonso Amaral Falcão. Aspectos da Teoria de Funções Modais. 2011. Exame de qualificação (Mestrando em Filosofia) - Universidade de São Paulo.

Trabalhos de conclusão de curso de graduação
1.
COSTA-LEITE, A. F. B.; FREIRE, RODRIGO A.. Participação em banca de Gregory Wagner Carneiro de Oliveira.Lógica e Ordem: Um Caso Paraconsistente. 2016. Trabalho de Conclusão de Curso (Graduação em Abi - Filosofia) - Universidade de Brasília.

2.
COSTA-LEITE, A. F. B.; FREIRE, RODRIGO A.. Participação em banca de Marcos Ruben de Oliveira.A Quase Verdade nas Lógicas Polivalentes. 2016.

3.
RODRIGUES, S. J. S.; FREIRE, RODRIGO A.. Participação em banca de Lorena Fiungo.A Matemática em David Hume: do Campo Lógico-Racional ao Embasamento Empírico. 2016. Trabalho de Conclusão de Curso (Graduação em Abi - Filosofia) - Universidade de Brasília.

4.
COSTA-LEITE, A. F. B.; FREIRE, RODRIGO A.. Participação em banca de Hermann Lustosa Friederich.Newton da Costa e o Problema da Indução. 2015. Trabalho de Conclusão de Curso (Graduação em Abi - Filosofia) - Universidade de Brasília.




Eventos



Organização de eventos, congressos, exposições e feiras
1.
FREIRE, RODRIGO A.; COSTA-LEITE, A. F. B. . Seminário Permanente Lógica no Avião. 2015. (Outro).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Daniel Violato. Logica Transcendental e Lógica Geométrica. Início: 2017. Dissertação (Mestrado em Filosofia) - Universidade de Brasília. (Orientador).

2.
Luiza Ramos. Verdade Matemática e Demonstrabilidade. Início: 2016. Dissertação (Mestrado em Metafísica) - Universidade de Brasília. (Orientador).

Tese de doutorado
1.
Alfredo Roque de Oliveira Freire Filho. Conjuntos versus Classes: Demonstrabilidade e Expressividade. Início: 2016. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas. (Coorientador).

Supervisão de pós-doutorado
1.
Edgar Luis Bezerra de Almeida. Início: 2018. Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.

Iniciação científica
1.
Agnes Coimbra. Paradoxos da Vagueza e da Racionalidade. Início: 2018 - Universidade de Brasília, Fundação de Apoio à Pesquisa do Distrito Federal. (Orientador).


Orientações e supervisões concluídas
Tese de doutorado
1.
Edgar Luis Bezerra de Almeida. Análise das Condições de Verdade e dos Requerimentos Existenciais em Axiomatizações da Aritmética. 2017. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Coorientador: Rodrigo de Alvarenga Freire.

Iniciação científica
1.
Mateus de Carvalho Maia. Sobre a Natureza da Metalógica Infinitária. 2017. Iniciação Científica. (Graduando em Abi - Filosofia) - Universidade de Brasília, Fundação de Apoio à Pesquisa do Distrito Federal. Orientador: Rodrigo de Alvarenga Freire.




Página gerada pelo Sistema Currículo Lattes em 20/11/2018 às 12:15:23