David Gomes Costa

Possui graduação em Filosofia (2007), mestrado em Lógica e Filosofia Formal (2010) e Doutorado em Filosofia (2020) todos pela Universidade Federal do Rio Grande do Norte (UFRN). Atualmente é professor efetivo do Instituto Federal de Alagoas - Matriz, atuando principalmente nos seguintes temas: lógica, sintaxe, modal, axiomas e semântica.

Informações coletadas do Lattes em 31/07/2024

Acadêmico

Formação acadêmica

Doutorado em Filosofia

2015 - 2020

Universidade Federal do Rio Grande do Norte
Título: Uma Abordagem Semântico-Pragmática Para Classificação e Definição de Quantificadores
Daniel Durante. Palavras-chave: quantificação; Formalização; semântica; Pragmática.Grande área: Lingüística, Letras e ArtesGrande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica. Grande Área: Lingüística, Letras e Artes / Área: Lingüística.

Mestrado em Filosofia

2008 - 2010

Universidade Federal do Rio Grande do Norte
Título: Lógica Modal em Dedução Natural, Ano de Obtenção: 2010
Maria da Paz Nunes de Medeiros.Palavras-chave: Dedução Natural; axiomas; Proposicional; sintaxe; Lógica; Modal. Grande área: Ciências HumanasSetores de atividade: Pesquisa e desenvolvimento científico.

Graduação em Filosofia

2004 - 2007

Universidade Federal do Rio Grande do Norte
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Formação complementar

2008 - 2008

Extensão universitária em Tópicos de História e Filosofia da Física. (Carga horária: 16h). , Universidade Federal do Rio Grande do Norte, UFRN, Brasil.

2004 - 2006

Técnico em Geologia e Mineração. , Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, IFRN, Brasil.

2005 - 2005

Extensão universitária em Da Retórica à Teoria da Argumentação. (Carga horária: 16h). , Universidade Federal do Rio Grande do Norte, UFRN, Brasil.

2004 - 2004

Ferramentas Computacionais Para o Estudo da Lógica. (Carga horária: 16h). , Universidade Federal do Rio Grande do Norte, UFRN, Brasil.

Idiomas

Inglês

Compreende Pouco, Fala Pouco, Lê Razoavelmente.

Espanhol

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

Português

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

Áreas de atuação

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

Organização de eventos

COSTA, C. F. ; COSTA, D. G. . I Seminário Internacional de Filosofia Analítica Contemporânea. 2007. (Outro).

Participação em eventos

I EITIC - IFAL.Avaliador interno da Área de Ciências Humanas. 2013. (Encontro).

XXV Encontro Nacional de Pró-Reitores de Graduação. 2012. (Encontro).

Seminários de Lógica e Filosofia Formal. 2009. (Seminário).

VII Encontro Interinstitucional de Filosofia.Um novo Sistema T em Dedução Natural. 2009. (Encontro).

Seminários de Lógica e Filosofia Formal. 2008. (Seminário).

Seminários de Lógica e Filosofia. 2007. (Seminário).

XVIII Congresso de Iniciação Científica da UFRN. Completude e Correção em Sistemas Modais. 2007. (Congresso).

XIV Semana de Humanidades.Relações Sintático-Semânticas em Lógica Modal. 2006. (Encontro).

XVII Congresso de Iniciação Científica da UFRN. Relações Sintático-Semânticas em Lógica Modal. 2006. (Congresso).

XVI Semana de Filosofia: O Universal e o Particular Hoje.O Universal e o Particular em Sentenças Declarativas. 2006. (Encontro).

V ERMAC.O mundo de Tarski e o ensino da lógica. 2005. (Encontro).

XVI Congresso de Iniciação Científica da UFRN. Uma Apresentação da Semântica da Lógica Modal Alética. 2005. (Congresso).

XV Semana de Filosofia.Estudo Sobre Lógica Modal. 2005. (Encontro).

XIV Semana de Filosofia. 2004. (Encontro).

Participação em bancas

Aluno: Daniel Oliveira da Silva

Castilho, F. F. A.; GOMES, J. M.;COSTA, D. G.; SANTOS, J. P. L. S.. O ensino de filosofia na Educação Profissional e Tecnológica: produção de uma história em quadrinhos para o ensino de lógica. 2021.. 2021. Dissertação (Mestrado em Mestrado Profissional em Educação Profissional e Tecnológica) - Ifal Benedito Bentes.

Aluno: Daniel Oliveira da Silva

Castilho, F. F. A.; GOMES, J. M.;COSTA, D. G.; SANTOS, J. P. L. S.. O ensino de filosofia na Educação Profissional e Tecnológica: produção de uma história em quadrinhos para o ensino de lógica. 2021.. 2020. Exame de qualificação (Mestrando em Mestrado Profissional em Educação Profissional e Tecnológica) - Ifal Benedito Bentes.

Produções bibliográficas

COSTA, D. G. . Sobre controvérsias na concepção de termos sortais. In: Marcelo Coniglio; Adriano Correia; Dirk Greimman; Felipe Matos Müller; João Carlos Salles. (Org.). Filosofia da Linguagem e da Lógica - COLEÇÃO XVII ENCONTRO ANPOF. 1ed.São Paulo: ANPOF, 2017, v. , p. 292-305.
COSTA, D. G. . Elementos da Imprecisão na Linguagem e Múltiplas Abordagens. In: Marcus José Alves de Souza; Maxwell Morais de Lima Filho. (Org.). Escritos de Filosofia II Linguagem e Cognição. 1ed.Maceió: Edufal, 2017, v. , p. 199-220.
COSTA, D. G. . Uma Nova Hierarquia de Sistemas Modais em Dedução Natural. In: II Congresso da Sociedade Brasileira de Filosofia Analítica, 2012, Fortaleza. II Congresso 2012 Caderno de Resumos, 2012. p. 56-57.
COSTA, D. G. . Um novo sistema T Modal em Dedução Natural. 2009. (Apresentação de Trabalho/Conferência ou palestra).
COSTA, D. G. . Completude e Correção em sistemas modais. 2007. (Apresentação de Trabalho/Congresso).
COSTA, D. G. . Relações sintatico-semânticas em lógica modal. 2006. (Apresentação de Trabalho/Comunicação).
COSTA, D. G. . Uma apresentação da semântica de lógica modal. 2005. (Apresentação de Trabalho/Comunicação).

Projetos de pesquisa

2004 - 2008

Aspectos intuicionistas da Lógica da Provabilidade, Descrição: Neste trabalho, desenvolveremos uma versão intuicionista da Lógica da Provabilidade, GL, que reflita as propriedades de um predicado de provabilidade da Aritmética de Heyting. Mais precisamente, pretendemos construir uma Lógica modal intuicionista e um modelo de Kripke que a torne correta e completa com respeito a esse modelo. Além disso, mostraremos que o sistema dedutivo satisfaz o teorema de normalização e corolários.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: David Gomes Costa - Coordenador / Maria da Paz Nunes de Medeiros - Integrante / MARIA IZABEL DOS SANTOS GOMES - Integrante / Alberto Leopoldo Batista Neto - Integrante.

Prêmios

2020

Indicação ao prêmio ANPOF de melhor tese de 2020, UFRN.

Histórico profissional

Experiência profissional

2010 - 2010

Instituto Natalense de Educação Superior

Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 3

2010 - 2010

Universidade Federal do Rio Grande do Norte

Vínculo: , Enquadramento Funcional: Professor substituto, Carga horária: 40

Atividades

03/2010 - 09/2010
Ensino, Filosofia, Nível: Graduação,Disciplinas ministradas, Lógica, Filosofia I, Ideias Filosóficas Contemporâneas, Metodologia da Ciência

2010 - Atual

Instituto Federal de Alagoas - Matriz

Vínculo: Servidor Público, Enquadramento Funcional: Professor Efetivo, Carga horária: 40

Atividades

03/2012 - 12/2012
Conselhos, Comissões e Consultoria, REITORIA.,Cargo ou função, Membro da Comissão de Elaboração do Curso de Especialização em Docência da Educação Profissional.
05/2012 - 08/2012
Conselhos, Comissões e Consultoria, REITORIA.,Cargo ou função, Comissão Permanente do Programa Ciência Sem Fronteiras.
12/2011 - 08/2012
Direção e administração, REITORIA.,Cargo ou função, Coordenador Institucional do Programa Ciência Sem Fronteiras.
11/2011 - 08/2012
Direção e administração, REITORIA, PROEN.,Cargo ou função, Coordenador de Cursos Tecnológicos e Bacharelados.
12/2011 - 07/2012
Ensino, Sistema de Informação, Nível: Graduação,Disciplinas ministradas, Lógica Matemática e Matemática Discreta
12/2010 - 06/2012
Conselhos, Comissões e Consultoria, REITORIA.,Cargo ou função, Membro do Comitê de Tecnologia da Informação.
11/2011 - 11/2011
Conselhos, Comissões e Consultoria, Instituto Federal de Alagoas - Campus Murici.,Cargo ou função, Membro da Comissão de Avaliação de Projetos de Extensão do Campus Murici.
03/2011 - 07/2011
Ensino, Sistema de Informação, Nível: Graduação,Disciplinas ministradas, Lógica Matemática e Matemática Discreta
03/2010 - 07/2010
Ensino, Hotelaria, Nível: Graduação,Disciplinas ministradas, Introdução à Filosofia

2008 - 2009

Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte

Vínculo: Contrato temporário, Enquadramento Funcional: Professor Substituto, Carga horária: 40