Rodrigo de Alvarenga Freire
Professor do Departamento de Filosofia da Universidade de Brasília. Tem experiência na área de Lógica com ênfase em estudos fundacionais.
Informações coletadas do Lattes em 30/10/2024
Acadêmico
Formação acadêmica
Doutorado em Matemática
2009 - 2014
Universidade de São Paulo
Título: Teoria das Funções de Primeira Ordem
, Ano de obtenção: 2014. Daniel Victor Tausk. Palavras-chave: funções booleanas; definibilidade.Grande área: Ciências Humanas
Doutorado em Filosofia
2004 - 2009
Universidade Estadual de Campinas
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. 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
Graduação em Engenharia elétrica
1999 - 2004
Universidade Estadual Paulista Júlio de Mesquita Filho
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
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.
Áreas de atuação
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
Organização de eventos
FREIRE, RODRIGO A. ; COSTA-LEITE, A. F. B. . Seminário Permanente Lógica no Avião. 2019. (Outro).
FREIRE, RODRIGO A. ; JUNQUEIRA, L. R. ; MARIANO, H. L. ; VENTURI, G. . Workshop Studies in Mathematical Logic. 2019. (Outro).
BACELLAR, R. ; SOUZA, E. G. ; COSTA-LEITE, A. F. B. ; FREIRE, RODRIGO A. . Colóquio UnB - USP de Lógica e Filosofia da Lógica. 2018. (Outro).
VENTURI, G. ; MARIANO, H. L. ; FREIRE, RODRIGO A. . Cantor Meets Robinson - Set Theory, Model Theory and Their Philosophy. 2018. (Outro).
LACOUR, P. ; COSTA-LEITE, A. F. B. ; FREIRE, RODRIGO A. . Colóquio As Formas da Razão. 2018. (Outro).
Participação em bancas
VENTURI, G.; BARTON, N. A.; HULSHOF, M.;FREIRE, RODRIGO A.. Perspective and Understanding in Set Theory. 2023. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
COSTA-LEITE, A. F. B.; ALMEIDA, E. L. B.;FREIRE, RODRIGO A.. Sistemas formais como formalizações de conceitos: da desinterpretação aos resultados limitativos. 2023. Dissertação (Mestrado em Filosofia) - Universidade de Brasília.
FREIRE, A. R. O.; Almeida, Edgar;FREIRE, RODRIGO A.. Abordagens da construtividade matemática. 2022. Dissertação (Mestrado em Filosofia) - Universidade de Brasília.
BACELLAR, R.; SOUZA, E. G.; FALCAO, P. A. A.;FREIRE, RODRIGO A.. Tableaux Dedutivos. 2021. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo.
MARANHAO, J. S. A.; COSTA-LEITE, A. F. B.; SOUZA, E. G.;FREIRE, RODRIGO A.. Lógicas Input/Output e os conceitos jurídicos fundamentais de Hohfeld. 2020. Dissertação (Mestrado em Direito) - Universidade de São Paulo.
VENTURI, G.; MENDONCA, B. R.;FREIRE, RODRIGO A.. Origens do ponto genérico em geometria algébrica e na prática matemática. 2020. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
DINUCCI, A.; COSTA-LEITE, A. F. B.; ALMEIDA, E. L. B.;FREIRE, RODRIGO A.. A Demanda por Demonstrações de Consistência nos Fundamentos da Matemática. 2019. Dissertação (Mestrado em METAFÍSICA) - Universidade de Brasília.
COSTA-LEITE, A. F. B.; ALMEIDA, E. L. B.;FREIRE, RODRIGO A.. Lógica da Justificação Normativa: Interpretações e Aplicações Filosóficas. 2019. Dissertação (Mestrado em Filosofia) - Universidade de Brasília.
COSTA-LEITE, A. F. B.; SANZ, W. C.;FREIRE, RODRIGO A.. Atualizando Kant: Avaliação da Identidade entre a Lógica Transcendental e a Lógica Geométrica. 2019. Dissertação (Mestrado em Filosofia) - Universidade de Brasília.
SOUZA, E. G.; COSTA-LEITE, A. F. B.; BACELLAR, R.;FREIRE, RODRIGO A.. Teoria das Categorias: Uma Semântica Categorial para Linguagens Proposicionais. 2018. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo.
BACELLAR, R.; RUFFINO, M. A. C.; SOUZA, E. G.;FREIRE, RODRIGO A.. Explicating Logicality. 2017. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo.
D'OTTAVIANO, I. M. L.; FEITOSA, H. A.;FREIRE, RODRIGO A.. Lógicas Abstratas e o Primeiro Teorema de Lindström. 2013. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
BACELLAR, R.; LOPARIC, A. M. A. C.;FREIRE, RODRIGO A.. Aspectos da Teoria de Funções Modais. 2012. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo.
CARNIELLI, W. A.; CONIGLIO, M. E.;FREIRE, RODRIGO A.. Polinomização de Lógicas: Problemas e Perspectivas. 2009. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
PORTO, A. S.; QUEIROZ, R. J. G. B.; SANTOS, C. F.; CONIGLIO, M. E.;FREIRE, RODRIGO A.. Apenas Setas!?: Teoria das Categorias como linguagem para uma matemática estruturalista. 2023. Tese (Doutorado em Filosofia) - Universidade Federal de Goiás.
VENTURI, G.; TARAFDER, SOURAV; PRIEST, GRAHAM; KUBYSHKINA, EKATERINA;FREIRE, RODRIGO A.. Models of non classical set theory. 2021. Tese (Doutorado em Doutorado em Filosofia) - Universidade Estadual de Campinas.
MARIANO, H. L.; BRUNNER, A. B. M.; VENTURI, G.; LUCIANO, O. O.;FREIRE, RODRIGO A.. 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.
CONIGLIO, M. E.; SAUTTER, F. T.; VENTURI, G.; SOUZA, E. G.;FREIRE, RODRIGO 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.
BACELLAR, R.; COSTA-LEITE, A. F. B.; SOUZA, E. G.;MARIANO, H. L.FREIRE, RODRIGO A.. On Pre-Complete Systems of Modal Functions. 2017. Tese (Doutorado em Filosofia) - Universidade de São Paulo.
MARIANO, H. L.; BIANCONI, R.; BRUNNER, A. B. M.; CONIGLIO, M. E.;FREIRE, RODRIGO A.. Uma Fundamentação Categorial para uma Teoria de Representação de Lógicas. 2016. Tese (Doutorado em Matemática) - Universidade de São Paulo.
D'OTTAVIANO, I. M. L.; VIANA, J. P.; FREITAS, R.; BIRABEN, R. C. E.;FREIRE, RODRIGO A.. Sobre a Lógica e a Aritmética das Relações. 2013. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
CARNIELLI, W. A.; VENTURI, G.;FREIRE, RODRIGO 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.
D'OTTAVIANO, I. M. L.; FREITAS, R.;FREIRE, RODRIGO A.. Sobre a Lógica e a Aritmética das Relações. 2012. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.
LOPARIC, A. M. A. C.; COELHO, A. M. N.;FREIRE, RODRIGO A.. 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.
FREIRE, A. R. O.; ALMEIDA, E. L. B.;FREIRE, RODRIGO A.. Abordagens da construtividade matemática. 2021. Exame de qualificação (Mestrando em Filosofia) - Universidade de Brasília.
COSTA-LEITE, A. F. B.; ALMEIDA, E. L. B.;FREIRE, RODRIGO A.. Lógica Modal Quantificada e Ontologia. 2019. Exame de qualificação (Mestrando em Filosofia) - Universidade de Brasília.
LECLERC, A.; COSTA-LEITE, A. F. B.;FREIRE, RODRIGO A.. 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.
RODRIGUES, S. J. S.; SANTANA, A. E.;FREIRE, RODRIGO A.. 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.
FREIRE, RODRIGO A.; COSTA-LEITE, A. F. B.; HAHN, A.. 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.
CARNIELLI, W. A.;MARIANO, H. L.FREIRE, RODRIGO A.. 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.
BACELLAR, R.; SOUZA, E. G.;FREIRE, RODRIGO A.. Logicality Criteria. 2015. Exame de qualificação (Mestrando em Filosofia) - Universidade de São Paulo.
CARNIELLI, W. A.; RUFFINO, M. A. C.;FREIRE, RODRIGO A.. Revisitando o Teorema de Frege. 2013. Exame de qualificação (Mestrando em Filosofia) - Universidade Estadual de Campinas.
D'OTTAVIANO, I. M. L.; FEITOSA, H. A.;FREIRE, RODRIGO A.. Lógicas Abstratas e o Primeiro Teorema de Lindström. 2012. Exame de qualificação (Mestrando em Filosofia) - Universidade Estadual de Campinas.
BACELLAR, R.; LOPARIC, A. M. A. C.;FREIRE, RODRIGO A.. Aspectos da Teoria de Funções Modais. 2011. Exame de qualificação (Mestrando em Filosofia) - Universidade de São Paulo.
Orientou
Sobre o problema do contínuo; Início: 2023; Dissertação (Mestrado em Filosofia) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);
Sobre a negação em Kant; Início: 2019; Tese (Doutorado em Filosofia) - Universidade de Brasília; (Orientador);
Sistemas formais como formalizações de conceitos: da desinterpretação aos resultados limitativos; 2023; Dissertação (Mestrado em Filosofia) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Rodrigo de Alvarenga Freire;
Abordagens da construtividade matemática; 2022; Dissertação (Mestrado em Filosofia) - Universidade de Brasília, ; Orientador: Rodrigo de Alvarenga Freire;
Atualizando Kant: Avaliação da Identidade entre Lógica Transcendental e Lógica Geométrica; 2019; Dissertação (Mestrado em Filosofia) - Universidade de Brasília, ; Orientador: Rodrigo de Alvarenga Freire;
A Demanda por Demonstrações de Consistência nos Fundamentos da Matemática; 2019; Dissertação (Mestrado em METAFÍSICA) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Rodrigo de Alvarenga Freire;
Estudo Comparado do Comprometimento Ontológico das Teorias de Classes e Conjuntos; 2019; Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Coorientador: Rodrigo de Alvarenga Freire;
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;
2018; Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Rodrigo de Alvarenga Freire;
Paradoxos da Vagueza e da Racionalidade; 2019; Iniciação Científica - Universidade de Brasília, Fundação de Apoio à Pesquisa do Distrito Federal; Orientador: Rodrigo de Alvarenga Freire;
Sobre a Natureza da Metalógica Infinitária; 2018; 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;
Produções bibliográficas
-
FREIRE, RODRIGO A. ; HOLY, PETER . An ordinal-connection axiom as a weak form of global choice under the GCH. ARCHIVE FOR MATHEMATICAL LOGIC , v. 62, p. 321-332, 2023.
-
FREIRE, RODRIGO DE ALVARENGA ; HOLY, PETER . AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING. BULLETIN OF SYMBOLIC LOGIC , v. 28, p. 427-450, 2022.
-
FREIRE, RODRIGO A. . Embeddability between orderings and the GCH. Reports on Mathematical Logic , v. 56, p. 101-109, 2021.
-
FREIRE, RODRIGO A. . An axiomatic approach to forcing and generic extensions. Comptes Rendus. Mathématique , v. 358, p. 757-775, 2020.
-
FREIRE, ALFREDO ROQUE ; FREIRE, RODRIGO DE ALVARENGA . The Ontological Import of Adding Proper Classes. MANUSCRITO (UNICAMP) , v. 42, p. 85-112, 2019.
-
RAMOS, LUIZA S. P. ; FREIRE, RODRIGO A. . Da Semântica para Demonstrações de Consistência e a Volta. REVISTA DE FILOSOFIA MODERNA E CONTEMPORÂNEA , v. 6, p. 37-56, 2018.
-
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.
-
FREIRE, RODRIGO A. . First-Order Logic and First-Order Functions. Logica Universalis (Online) , v. 9, p. 281-329, 2015.
-
FREIRE, RODRIGO A. . Funções de Primeira Ordem e n-Tipos. CLE e-Prints (Online) , v. 15, p. 1-10, 2015.
-
FREIRE, RODRIGO A. . On Existence in Set Theory, Part III: Applications to New Axioms. SOUTH AMERICAN JOURNAL OF LOGIC , v. 1, p. 249-265, 2015.
-
FREIRE, RODRIGO A. . On Existence in Set Theory, Part II: Relative Productivity. Notre Dame Journal of Formal Logic , v. 55, p. 91-105, 2014.
-
FREIRE, RODRIGO A. . On Existence in Set Theory. Notre Dame Journal of Formal Logic , v. 53, p. 525-547, 2012.
-
FREIRE, RODRIGO A. . A Short Note on Sacks Generic Extensions. CLE e-Prints (Online) , v. 11, p. 1-3, 2011.
-
TAUSK, 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.
-
ARNDT, 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.
-
ARNDT, 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.
-
SARDELLA, 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.
-
SARDELLA, 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.
-
FREIRE, RODRIGO A. . Tópicos em Lógica de Primeira Ordem. 1. ed. Brasília: Lógica no Avião, 2019. v. 1. 103p .
-
Almeida, Edgar (Org.) ; Costa-Leite, Alexandre (Org.) ; Freire, Rodrigo (Org.) . Seminário Lógica no Avião. 1. ed. Lógica no Avião, 2019.
-
FREIRE, RODRIGO A. . The Arithmetization-Free Component of Gödel's Proof. In: Edward Hermann Haeusler; Luiz Carlos Pinheiro Dias Pereira; Jorge Petrucio Viana. (Org.). A Question is More Illuminating than an Answer. 1ed.: , 2021, v. 44, p. 112-119.
-
ALMEIDA, E. L. B. ; FREIRE, RODRIGO A. . On Existence in Arithmetic. In: Alexandre Costa-Leite. (Org.). Abstract Consequence and Logics. 1ed.Londres: College, 2020, v. 42, p. 199-219.
-
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.
-
FREIRE, RODRIGO A. . Interpretações entre teorias de ordem. 2024. (Apresentação de Trabalho/Conferência ou palestra).
-
FREIRE, RODRIGO A. . Embeddability between orderings and GCH. 2021. (Apresentação de Trabalho/Conferência ou palestra).
-
FREIRE, RODRIGO A. . An axiomatic approach to forcing in a general setting. 2021. (Apresentação de Trabalho/Conferência ou palestra).
-
FREIRE, RODRIGO A. . Lógica Abstrata e Definibilidade. 2019. (Apresentação de Trabalho/Conferência ou palestra).
-
FREIRE, RODRIGO A. . Avoiding paradoxes of unlimited set-formation and the foundations of set theory. 2019. (Apresentação de Trabalho/Conferência ou palestra).
-
FREIRE, RODRIGO A. . O Teorema de Herbrand-Hilbert-Ackermann. 2018. (Apresentação de Trabalho/Conferência ou palestra).
-
FREIRE, RODRIGO A. . O Formal e o Normativo em Matemática. 2018. (Apresentação de Trabalho/Conferência ou palestra).
-
FREIRE, RODRIGO A. . On the Concept of Generic Extension. 2018. (Apresentação de Trabalho/Conferência ou palestra).
-
FREIRE, RODRIGO A. . Princípios de Substituição em Linguagens Infinitárias. 2017. (Apresentação de Trabalho/Conferência ou palestra).
-
FREIRE, RODRIGO A. . Set-Theoretic Principles and Arbitrariness. 2017. (Apresentação de Trabalho/Comunicação).
-
FREIRE, RODRIGO A. . Lógica de Primeira Ordem e Funções de Primeira Ordem. 2017. (Apresentação de Trabalho/Conferência ou palestra).
-
FREIRE, RODRIGO A. . Teoria de Conjuntos com Ordinais em Quantidade Suficiente. 2016. (Apresentação de Trabalho/Conferência ou palestra).
-
FREIRE, RODRIGO A. . Existential Import in Set Theory. 2016. (Apresentação de Trabalho/Comunicação).
-
FREIRE, RODRIGO A. . A Weak Form of the Constructibility Axiom. 2016. (Apresentação de Trabalho/Comunicação).
-
FREIRE, RODRIGO A. . First-Order Logic and First-Order Functions. 2015. (Apresentação de Trabalho/Conferência ou palestra).
-
FREIRE, RODRIGO A. ; ALMEIDA, E. L. B. . Existence Axioms in Second-Order Arithmetic. 2013. (Apresentação de Trabalho/Comunicação).
-
FREIRE, RODRIGO A. . On Existence in Set Theory. 2012. (Apresentação de Trabalho/Comunicação).
-
FREIRE, RODRIGO A. . The Existential Requirement of a Valid Sentence in Set Theory. 2012. (Apresentação de Trabalho/Conferência ou palestra).
-
FREIRE, RODRIGO A. . Degrees of Existence Requirement. 2012. (Apresentação de Trabalho/Comunicação).
-
FREIRE, RODRIGO A. ; SCHWARZ, J. F. ; TAUSK, D. V. . The Axioms of ZFC Set Theory. 2011. (Apresentação de Trabalho/Comunicação).
-
FREIRE, RODRIGO A. . Paradoxos Semânticos e a Teoria da Verdade de Tarski. 2008. (Apresentação de Trabalho/Conferência ou palestra).
-
FREIRE, RODRIGO A. . Editor´s Preface: About Logic and Logicians. A palimpsest of essays by Georg Kreisel, selected and arranged by Piergiorgio Odifreddi. Brasília, 2019. (Prefácio, Pósfacio/Prefácio)>.
-
ALMEIDA, E. L. B. ; COSTA-LEITE, A. F. B. ; Freire, Rodrigo . Prefácio Editorial: Seminário Lógica no Avião, 2013-2018. Brasília, 2019. (Prefácio, Pósfacio/Prefácio)>.
-
COSTA-LEITE, A. F. B. ; FREIRE, RODRIGO A. . Apresentação: Dossiê Colóquio UnB - USP de Lógica e Filosofia da Lógica, 2018. (Prefácio, Pósfacio/Apresentação)>.
-
FREIRE, RODRIGO A. . Teoria das Funções de Primeira Ordem. Universidade de São Paulo, 2014 (Tese de doutorado em Matemática).
-
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).
Outras produções
ALMEIDA, E. L. B. ; FREIRE, RODRIGO A. . Existência em teoria de conjuntos. 2021. (Programa de rádio ou TV/Entrevista).
FREIRE, RODRIGO A. ; SIMÕES, MARCIO . Ciência, Matemática, ou Filosofia?. 2017. (Programa de rádio ou TV/Entrevista).
MIRAGLIA, F. ; FREIRE, RODRIGO A. . An Introduction to Partially Ordered Structures and Sheaves. 2020. (Editoração/Livro).
KREISEL, G. ; ODIFREDDI, P. ; FREIRE, RODRIGO A. . About Logic and Logicians. A Palimpsest of Essays by Georg Kreisel Selected and Arranged by Piergiorgio Odifreddi. Volume 1: Philosophy. 2019. (Editoração/Livro).
KREISEL, G. ; ODIFREDDI, P. ; FREIRE, RODRIGO A. . About Logic and Logicians. A Palimpsest of Essays by Georg Kreisel Selected and Arranged by Piergiorgio Odifreddi. Volume 2: Mathematics. 2019. (Editoração/Livro).
FREIRE, RODRIGO A. . Tópicos em Lógica de Primeira Ordem. 2019. (Editoração/Livro).
ALMEIDA, E. L. B. ; Costa-Leite, Alexandre ; FREIRE, RODRIGO A. . Seminário Lógica no Avião: 2013 - 2018. 2019. (Editoração/Coletânea).
FREIRE, RODRIGO A. . Teoremas de Gödel da Incompletude. 2018. (Curso de curta duração ministrado/Outra).
FREIRE, RODRIGO A. . Isomorfismos Parciais. 2017. (Curso de curta duração ministrado/Outra).
FREIRE, RODRIGO A. . Fundamentos da Matemática. 2015. (Curso de curta duração ministrado/Outra).
FREIRE, RODRIGO A. . Introductory Notes on Back-and-Forth. 2013. (Desenvolvimento de material didático ou instrucional - Material didático).
FREIRE, RODRIGO A. . Teoria de Galois Tradicional. 2011. (Curso de curta duração ministrado/Outra).
FREIRE, RODRIGO A. ; TAUSK, D. V. . Ordinals: A Study Guide. 2010. (Desenvolvimento de material didático ou instrucional - Material didático).
Projetos de pesquisa
-
2019 - Atual
Fundamentos da Lógica e Teoria de Conjuntos, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Rodrigo de Alvarenga Freire - Coordenador / Edgar Luis Bezerra de Almeida - Integrante / Luiza Silva Porto Ramos - Integrante / Daniel Arvage Nagase - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2018 - Atual
Arbitrariedade e Genericidade, Descrição: Projeto jovem pesquisador que visa investigar os fundamentos da teoria de conjuntos com especial atenção às noções de conjunto arbitrário e conjunto genérico.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Rodrigo de Alvarenga Freire - Integrante / Hugo Luiz Mariano - Integrante / Marco Antonio Caron Ruffino - Integrante / Giorgio Venturi - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
-
2012 - Atual
Fundamentos da Lógica Abstrata, Descrição: Neste projeto investigamos sistemas clássicos com quantificadores, tais como subsistemas da lógica de primeira ordem, lógica infinitária e o fragmento existencial da lógica de segunda ordem. Visamos, a partir da noção de definibilidade, desenvolver uma nova concepção de lógica abstrata que nos leve a caracterizações modelo-teóricas relevantes de sistemas de interesse.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Rodrigo de Alvarenga Freire - Coordenador / Hugo Luiz Mariano - Integrante / Luiza Silva Porto Ramos - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra., Número de produções C, T & A: 6
-
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: (1) . , Integrantes: Rodrigo de Alvarenga Freire - Coordenador / Edgar Luis Bezerra de Almeida - Integrante / Alfredo Roque de Oliveira Freire - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Outra / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra., Número de produções C, T & A: 15
Prêmios
2015
Prêmio Newton da Costa de Lógica, Sociedade Brasileira de Lógica.
Histórico profissional
Endereço profissional
-
Universidade de Brasília, Departamento de Filosofia. , Universidade de Brasília (UnB), Asa Norte, 70910900 - Brasília, DF - Brasil, Telefone: (11) 995827098
Experiência profissional
2015 - Atual
Universidade de Brasília, UnBVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.
Atividades
-
01/2016
Ensino, Filosofia, Nível: Pós-Graduação,Disciplinas ministradas, Lógica Formal Moderna, Seminário de Filosofia (Teoria de Modelos)
-
02/2015
Ensino, Filosofia, Nível: Graduação,Disciplinas ministradas, Filosofia da Lógica, Filosofia da Matemática, Introdução à Filosofia, Lógica, Lógica 2, Tópicos Especiais de Lógica (Teoria de Conjuntos)
2009 - 2015
Universidade Estadual de CampinasVínculo: Colaborador, 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
2010 - 2018
Universidade de São PauloVínculo: Colaborador, Enquadramento Funcional: Pesquisador Colaborador
Atividades
-
01/2010 - 07/2018
Ensino, Matemática, Nível: Pós-Graduação,Disciplinas ministradas, Fundamentos da Matemática, Introdução à Lógica Matemática (Teoria da Prova), Teoremas de Gödel da Incompletude, Teoria dos Conjuntos e Aplicações
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Rodrigo de Alvarenga Freire 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?