Edgar Luis Bezerra de Almeida

Pós-doutorado

Formação complementar

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• ALMEIDA, EDGAR LUIS BEZERRA DE . Análise de uma Fundamentação da Verdade de Sentenças Aritméticas. REVISTA DE FILOSOFIA MODERNA E CONTEMPORÂNEA , v. 6, p. 57-94, 2019.

• ALMEIDA, EDGAR L.B. . Book Reviews. LOGIC AND LOGICAL PHILOSOPHY , v. 23, p. 239-242, 2013.

• Almeida, Edgar ; Costa-Leite, Alexandre (Org.) ; Freire, Rodrigo (Org.) . Seminário Lógica no Avião. 1. ed. Brasília: Lógica no Avião, 2019. v. 1. 193p .

• ALMEIDA, EDGAR L.B. ; Freire, Rodrigo . On existence in arithmetic. In: Alexandre Costa-Leite. (Org.). Abstract Consequence and Logics: Essays in Honor of Edelcio G. de Souza. 1ed.: College Publications, 2020, v. 42, p. 199-220.

• ALMEIDA, E. L. B. . Uma lógica proposicional para a noção de muitos, em cálculo de sequentes. In: XXII Congresso de iniciação científica da unesp, 2010, Bauru. Livro de resumos do XXII congresso de iniciação científica da unesp, 2010.

• ALMEIDA, E. L. B. . Uma estrutura matemática para o operador generalizado 'muitos'. In: XXI Congresso de iniciação científica da unesp, 2009, São José do Rio Preto. Caderno de resumos do XXI Congresso de Iniciação Científica da unesp, 2009.

• ALMEIDA, E. L. B. . Importe existencial de sentenças aritméticas. In: XVIII Brazilian Logic Conference, 2017, Pirenópolis. Livro de resumos, 2017.

• ALMEIDA, E. L. B. ; FREIRE, R. A. . Fixing truth values for arithmetical sentences. In: 5th World Congress and School on Universal Logic, 2015, Istambul. Handbook, 2015.

• ALMEIDA, E. L. B. ; FREIRE, R. A. . Existence Axioms in Second-Order Arithmetic. In: 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro. Handbook. Goiania: Kelps, 2013.

• ALMEIDA, E. L. B. ; FREIRE, A. R. . On the strenght of first-order theories. 2022. (Apresentação de Trabalho/Comunicação).

• ALMEIDA, E. L. B. . Existência e verdade em matemática. 2022. (Apresentação de Trabalho/Conferência ou palestra).

• ALMEIDA, E. L. B. . Interpretações entre aritmética e teoria de conjuntos. 2017. (Apresentação de Trabalho/Comunicação).

• ALMEIDA, E. L. B. . Investigações sobre os fundamentos da aritmética. 2017. (Apresentação de Trabalho/Comunicação).

• ALMEIDA, E. L. B. . Existential import of arithmetical sentences. 2017. (Apresentação de Trabalho/Comunicação).

• ALMEIDA, E. L. B. . A interpretação da matemática na teoria de conjuntos. 2017. (Apresentação de Trabalho/Conferência ou palestra).

• ALMEIDA, E. L. B. . Importe existencial no âmbito aritmético. 2016. (Apresentação de Trabalho/Comunicação).

• ALMEIDA, E. L. B. ; FREIRE, R. A. . Fixing truth-value for arithmetical sentences. 2015. (Apresentação de Trabalho/Comunicação).

• ALMEIDA, E. L. B. . Bases à verdade de sentenças aritméticas. 2015. (Apresentação de Trabalho/Seminário).

• ALMEIDA, E. L. B. . Bases à verdade de proposições aritméticas. 2014. (Apresentação de Trabalho/Comunicação).

• ALMEIDA, E. L. B. . Acerca dos teoremas da completude e incompletude. 2012. (Apresentação de Trabalho/Comunicação).

• ALMEIDA, E. L. B. . Introdução aos subconjuntos fuzzy. 2010. (Apresentação de Trabalho/Conferência ou palestra).

• ALMEIDA, E. L. B. . Uma lógica proposicional para o quantificador 'muitos' em cálculo de sequentes. 2010. (Apresentação de Trabalho/Comunicação).

• ALMEIDA, E. L. B. . Uma estrutura matemática para o operador generalizado 'muitos'. 2009. (Apresentação de Trabalho/Outra).

• ALMEIDA, E. L. B. ; COSTA-LEITE, A. ; FREIRE, R. A. . Prefácio editorial: Seminário Lógica no Avião, 2013-2018. Brasília, 2019. (Prefácio, Pósfacio/Prefácio)>.

• ALMEIDA, E. L. B. . Análise das condições de verdade e dos requerimentos existenciais em axiomatizações da aritmética 2017 (Tese de Doutorado).

• ALMEIDA, E. L. B. . Lógicas abstratas e o primeiro teorema de Lindström 2013 (Dissertação de Mestrado).

• ALMEIDA, E. L. B. . Lógicas moduladas: uma estrutura matemática para o operador generalizado 'muitos' 2009 (Relatório Científico).

Outras produções

Projetos de pesquisa

• 2024 - Atual

  Requerimentos existenciais e robustez de teorias fundacionais, Descrição: Este projeto de pesquisa investiga os aspectos ontológicos e epistemológicos de teorias matemáticas, focando nos compromissos existenciais e na robustez de teorias fundamentais. O projeto revisará e expandirá pesquisas anteriores sobre o conceito de axioma de existência na aritmética de primeira e segunda ordem, aplicando a noção de bi-interpretação para analisar teorias fundamentais como ZFC e a teoria de conjuntos de Kripke-Platek. O objetivo final é analisar sistematicamente os requisitos existenciais dessas teorias e determinar a robustez de teorias monádicas de primeira ordem.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Edgar Luis Bezerra de Almeida - Coordenador / Rodrigo de Alvarenga Freire - Integrante.

• 2019 - Atual

  Normatividade, verdade e existência em variações da teoria de conjuntos ZFC, Descrição: Este projeto investiga sistematicamente as noções de verdade e existência em sistemas axiomáticos. No que concerne à existência, expandirá o trabalho anterior, deslocando o foco da aritmética para teorias de conjuntos derivadas de ZF, incluindo aquelas com versões enfraquecidas do axioma da escolha ou princípios conjuntos inconsistentes com ZFC. Quanto à verdade, aprofundará as investigações preexistentes, analisando sistematicamente os componentes do pressuposto subjacente às investigações sobre a verdade de sentenças aritméticas, sob uma perspectiva conceitual normativa.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Edgar Luis Bezerra de Almeida - Coordenador., Número de produções C, T & A: 1

• 2013 - 2017

  Análise das noções de verdade e existência em aritmética, Descrição: Este projeto de doutorado investiga duas noções centrais para a filosofia da matemática: a verdade de proposições matemáticas e a existência em aritmética. Quanto à verdade, explora-se as consequências de um pressuposto que define as condições de verdade de proposições aritméticas por um padrão normativo estabelecido pela prática matemática. O foco é determinar, precisamente, se e como o modelo padrão da aritmética é fixado por esse pressuposto analítico. Em relação à existência, desenvolver-se-á uma proposta para avaliar os requerimentos existenciais de sentenças aritméticas, visando motivar uma definição precisa e fundamentada, no contexto do programa de matemática reversa, para o conceito de axioma de existência de conjunto.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Edgar Luis Bezerra de Almeida - Integrante / Itala Maria L'offredo D'otaviano - Integrante / Rodrigo de Alvarenga Freire - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa., Número de produções C, T & A: 10

• 2011 - 2013

  Teoremas de Lindström e de Rijke, Descrição: Este projeto de mestrado visa desenvolver uma apresentação didática, autocontida e contextualizada dos teoremas de Lindström e de Rijke que caracterizam a expressividade das lógicas de primeira ordem e modal, respectivamente.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Edgar Luis Bezerra de Almeida - Integrante / Itala Maria L'offredo D'otaviano - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 4