Rede de Colaboração
Diretório de grupos de pesquisa

Maria da Paz Nunes de Medeiros

possui graduação em Matemática pela Universidade Federal do Rio Grande do Norte (1985) , graduação em Filosifia pela Universidade Federal do Rio Grande do Norte (1989) , mestrado em Logica e Filosofia da Ciência pela Universidade Estadual de Campinas (1994) , doutorado em Filosofia pela Pontifícia Universidade Católica do Rio de Janeiro (2001) e pós-doutorado pela Università di Siena (2006) . Atualmente é Professor Adjdunto da Universidade Federal do Rio Grande do Norte. Tem experiência na área de Filosofia , com ênfase em Lógica. Atuando principalmente nos seguintes temas: Teoria a Prova, Traduções, Lógica linear.
(Texto gerado automaticamente pela aplicação CVLattes)

Última atualização do currículo em 16/06/2011
Endereço para acessar este CV:
http://lattes.cnpq.br/1201435944432572
Dados pessoais
NomeMaria da Paz Nunes de Medeiros
Nome em citações bibliográficasMEDEIROS, M. P. N.
SexoFeminino
Endereço profissionalUniversidade Federal do Rio Grande do Norte, Centro de Ciências Humanas Letras e Artes, Departamento de Filosofia.
Campus Universitário,
Lagoa Nova
59072-970 - Natal, RN - Brasil
Telefone: (84) 32153566 Fax: (84) 32153565
URL da Homepage: http://www.cchla.ufrn.br

Formação acadêmica/Titulação
2005 - 2006Pós-Doutorado .
Università di Siena.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior .
1997 - 2001Doutorado em Filosofia .
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Traduções entre lógicas: aplicações à lógica linear, Ano de Obtenção: 2001.
Orientador: Luiz Carlos P D. Pereira.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior .
Palavras-chave: Teoria a Prova; Traduções; Lógica linear.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Teoria da Prova.
1990 - 1994Mestrado em Logica e Filosofia da Ciência .
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Os Teoremas de incompletude de Godel, Ano de Obtenção: 1994.
Orientador: José Alexandre D Guerzoni.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico .
Palavras-chave: Demonstrabilidade.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Teoria da Prova.
1987 - 1989Graduação em Filosifia .
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
1981 - 1985Graduação em Matemática .
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.

Atuação profissional
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Vínculo institucional
1993 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjdunto, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
6/2004 - AtualPesquisa e desenvolvimento , Centro de Ciências Humanas Letras e Artes, Departamento de Filosofia.
Linhas de pesquisa
logjica da Povabilidade
8/2003 - AtualEnsino, Filosofia, Nível: Pós-Graduação.
Disciplinas ministradas
Problemas de Metafísica III
Seminários de Problemas de Metafísica II
4/2003 - AtualEnsino, Filosifia, Nível: Graduação.
Disciplinas ministradas
Logica
Topicos Especiais de Logica III
Filosofia da Ciência I
Topicos especiais de lógica I
Metodologia da Ciênica
4/2003 - AtualExtensão universitária , Centro de Ciências Humanas Letras e Artes, Departamento de Filosofia.
Atividade de extensão realizada
Seminários de Lógica Epistemologia e Filosofia da Linguagem.
12/2002 - AtualConselhos, Comissões e Consultoria, Centro de Ciências Humanas Letras e Artes, Departamento de Filosofia.
Cargo ou função
Membro de conselho de centro.
6/2002 - 6/2004Pesquisa e desenvolvimento , Centro de Ciências Humanas Letras e Artes, Departamento de Filosofia.
Linhas de pesquisa
Logica linear
9/2003 - 10/2003Conselhos, Comissões e Consultoria, Centro de Ciências Humanas Letras e Artes, Departamento de Filosofia.
Cargo ou função
Membro de comissão temporária.
8/2001 - 8/2003Conselhos, Comissões e Consultoria, Centro de Ciências Humanas Letras e Artes, Departamento de Filosofia.
Cargo ou função
Membro de conselho de unidade.
5/2002 - 2/2003Extensão universitária , Centro de Ciências Humanas Letras e Artes, Departamento de Filosofia.
Atividade de extensão realizada
Seminários de Lógica Epistemologia e Filosofia da Linguagem.
8/2002 - 12/2002Ensino, Programa de Pós Graduação Em Filosofia, Nível: Pós-Graduação.
Disciplinas ministradas
Problemas de lógica e Metafísica II
8/2000 - 12/2001Ensino, Filosifia, Nível: Graduação.
Disciplinas ministradas
Monografia I
Metodologia da Ciência
Filosofia da Ciência I
Teoria do Conhecimento
Filosofia I
Logica
Filosofica da Lógica
Tópicos especiais de lógica
6/2000 - 6/2001Pesquisa e desenvolvimento , Centro de Ciências Humanas Letras e Artes, Departamento de Filosofia.
Linhas de pesquisa
lógicas clássicas e não clássicas
8/1993 - 12/1995Ensino, Filosifia, Nível: Graduação.
Disciplinas ministradas
Filosofia da lógica
Teoria do Conhecimento
Filosofia da Ciência I
Lógica
Metodologia da Ciência

Linhas de Pesquisa
1. lógicas clássicas e não clássicas
2. Logica linear
3. logjica da Povabilidade

Áreas de atuação
1. Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Teoria da Prova.
2. Grande área: Ciências Humanas / Área: Filosofia.
3. Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.

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


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1. Pereira, L.C. ; Haeusler, E. H. ; MEDEIROS, M. P. N. . Alguns resultados sobre fragmentos com negação clássica. O Que nos Faz Pensar, v. 23, p. 105-1111, 2008.
2.   MEDEIROS, M. P. N. . A new S4 classical modal logic in natural deduction. Journal of Symbolic Logic, v. 71, p. 799-809, 2006.
3. MEDEIROS, M. P. N. . Cosideraciones generales acerca de la lógica lineal. Revista Internacional de Filosofia y Epistemologia de Las Ciencias Económicas, Buenos Aires, v. 1, n. 2, p. 217-230, 2002.
4. MEDEIROS, M. P. N. . Investigações acerca de uma versão modal para a lógica intermediária dos domínios constantes. Princípios ((UFRN), Natal-Rn, v. 8, n. 10, p. 121-137, 2001.
Livros publicados/organizados ou edições
1. MEDEIROS, M. P. N. (Org.) ; BONACCINI, J. A (Org.) ; SILVA, Markus Figueira (Org.) ; BAUCHWITZ, O. F. (Org.) . Metafísica: História e problemas. Natal: EDUFRN, 2006. v. 1. 332 p.
2.   MEDEIROS, M. P. N. . Traduções via teoria da Prova: aplicações à lógica linear. Natal: Edufr, 2002. v. 01.
Resumos expandidos publicados em anais de congressos
1.   MEDEIROS, M. P. N. . Uma Versão Intuicionista para a Lógica da Provabilidade. In: XII Encontro Brasileiro de Lógica, SBL, 1999, Parque Nacional de Itatiaia, 1999.
Resumos publicados em anais de congressos
1. MEDEIROS, M. P. N. . A rewised syntatical proof of Gôdel interpretatiopn of intuitionistic logic into S4. In: Logic Colloquium 2009, 2010, Sofia. The bulletin of symbolic logic. Nova York : ASl, 2009. v. 16.
2. ALVES, Daniel Durante P ; MEDEIROS, M. P. N. . Introdução a uma Proposta para Simular 'Positivamente' a negação. In: XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty. Anals of CLE 30 Years- XV EBL - XIV SLALM, 2008.
3. MEDEIROS, M. P. N. . Aspectos intuicionistas de sistemas modais proposicionais. In: XIII encontro Nacional de Filosofia da ANPOF, 2006, Salvador. Livro de atas do XIII encontro Nacional de Filosofia da ANPOF. Salvador : ANPOF, 2006.
4. MEDEIROS, M. P. N. . A Discussão acerca da Disjunção Linear Multiplicativa em Dedução Natural. In: XI Encontro Nacional de Filosofia, 2004, Salvador. Atas do XI Encontro Nacional de Filosofia -ANPOF, 2004. p. 236-236.
5. MEDEIROS, M. P. N. . Modal Logic Systems in Natural Deduction. In: Logic Colloquium 2003, 2003, Helsinki, 2003.
6.   MEDEIROS, M. P. N. ; PEREIRA, L. C. P. D. . Translations and Normalization Procedures. In: Logic Colloquium 2000, 2001, Paris. Bulletin of Symbolic Logic, 2001. v. 7. p. 135-137.
7. MEDEIROS, M. P. N. . Traduções entre lógicas lineares. In: IX Encontro Nacional de Filosofia, ANPOF, 2000, Poços de Caldas. IX Encontro Nacional de Filosofia, 2000.
Resumos publicados em anais de congressos(artigos)
1. MEDEIROS, M. P. N. . Modal Logic Systems in Natural Deduction. Bulletin of Symbolic Logic, v. 10, n. 2, p. 265-266, 2004.
2. MEDEIROS, M. P. N. . Dedução Natural para a Lógica Modal S4. Atas do X Encontro Nacional de Filosofia, Campinas -Sp, 2002.
Apresentações de Trabalho
1. MEDEIROS, M. P. N. . A reviewed syntatic proof of Gödel interpretacion of intuitionistic logic into S4. 2009. (Apresentação de Trabalho/Comunicação).
2. MEDEIROS, M. P. N. . Uma prova sintática revisada da interpretação de Gödel da lógica intuicionista em S4. 2008. (Apresentação de Trabalho/Comunicação).
3. MEDEIROS, M. P. N. . Discussões acerca do aspecto intuicionistas da lógica da provabilidade. 2005. (Apresentação de Trabalho/Conferência ou palestra).
Demais tipos de produção bibliográfica
1. MEDEIROS, M. P. N. . Teoria da Prova 2003 (Artigo).
Produção técnica
Demais tipos de produção técnica
1. MEDEIROS, M. P. N. . A lógica Modal S4 em dedução Natural e sua normalização. 2006. (Palestra).
2. MEDEIROS, M. P. N. . La Logica Modale S4 in deduzione naturale. 2006. (Conferêcia).

Bancas
Participação em bancas examinadoras
Dissertações
1. MEDEIROS, M. P. N.. Participação em banca de David Gomes Costa. Sistemas de lógica Modal em dedução natural. 2010. Dissertação (Mestrado em Filosofia) - Universidade Federal do Rio Grande do Norte.
2. MEDEIROS, M. P. N.; MOURA, J. E. A.; Queiroz, G. S.. Participação em banca de Stanley Kreiter B. Medeiros. O problema da Onisciência Lógica : uma discussão sobre solucões e novos problemas. 2008. Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.
3. Santiago, R .H. N.; Bedregal, B. R. C.; Costa, A. C. R.; Canuto, A.M.P.; MEDEIROS, M. P. N.. Participação em banca de Anderson Paiva Cruz. Logicas BDI Fuzzy. 2008. Dissertação (Mestrado em Programa de Pos-graduação em Sistema e Computação) - Universidade Federal do Rio Grande do Norte.
4. MEDEIROS, M. P. N.; FIGUEIRA, Markus; GARCIA, Elena Morais. Participação em banca de Rodrigo Vidal do Nascimento. Corpo e Conhecimento em Epicuro. 2004 - Universidade Federal do Rio Grande do Norte.
Teses de doutorado
1. PEREIRA, L. C. P. D.; Chateaubriand, Oswaldo; Haeusler, E. H.; MEDEIROS, M. P. N.; SANZ, Wagner. Participação em banca de Maria Fernanda Pallares Colomar. Cálculo de sequentes de sucedente múltiplo para lógica intuicionista de primeira ordem. 2007. Tese (Doutorado em Filosofia) - Pontifícia Universidade Católica do Rio de Janeiro.
2. MEDEIROS, M. P. N.; COSTA, Nilton Carneiro da; ALVES, Daniel Durante P; D'OTTAVIANO, Ítala M L; FEITOSA, Hercules Araújo. Participação em banca de Milton Augustinis de Castro. Hierarquias de sistemas de dedução natural e de sistemas de tableaux analíticos para os sistemas Cn de da Costa. 2004. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
3. MEDEIROS, M. P. N.; FOSSA, John A; CRUZ, Angela Maria Paiva; ERICKSON, Glenn. Participação em banca de Tassos Lycurgo. A respeito da existência da educação. 2002. Tese (Doutorado em Educação) - Universidade Federal do Rio Grande do Norte.
Monografias de cursos de aperfeiçoamento/especialização
1. MEDEIROS, M. P. N.; COSTA, Cláudio Ferreira. Participação em banca de Cristiane Fianco. A natureza do tempo no argumento de Mctaggat. 2002. Monografia (Aperfeiçoamento/Especialização em Especialização em Problemas de Metafísica) - Universidade Federal do Rio Grande do Norte.
Trabalhos de Conclusão de Curso de graduação
1. ALVES, Daniel Durante P; MEDEIROS, M. P. N.; MOURA, J. E. A.. Participação em banca de Patrick Cesar Alves Terremate. Negação e Sistemas Formais. 2007. Trabalho de Conclusão de Curso (Graduação em Filosifia) - Universidade Federal do Rio Grande do Norte.
2. MEDEIROS, M. P. N.; CRUZ, Angela Maria Paiva; ALVES, Daniel Durante P. Participação em banca de Daniel Liberiano Monte. Perspectiva de Formalização do senso comum a partir da logica paraconsistente. 2005. Trabalho de Conclusão de Curso (Graduação em Filosifia) - Universidade Federal do Rio Grande do Norte.
3. MEDEIROS, M. P. N.; CRUZ, Angela Maria Paiva; ALVES, Daniel Durante P. Participação em banca de Alberto Leopoldo Batista Neto. Questões sobre lógica modal. 2005. Trabalho de Conclusão de Curso (Graduação em Filosifia) - Universidade Federal do Rio Grande do Norte.
4. MEDEIROS, M. P. N.; FIGUEIRA, Markus; BIELA, J.. Participação em banca de Ricardo Luiz de Medeiros Lima. Dualismo em Platão. 2005. Trabalho de Conclusão de Curso (Graduação em Filosifia) - Universidade Federal do Rio Grande do Norte.
5. MEDEIROS, M. P. N.; ALVES, Daniel Durante Pereira; CRUZ, Angela Maria Paiva. Participação em banca de Rosa Danielle Medeiros dos Santos. Do Método indutivista pra o método da refutabilidade de Popper. 2004. Trabalho de Conclusão de Curso (Graduação em Filosifia) - Universidade Federal do Rio Grande do Norte.
6. MEDEIROS, M. P. N.. Participação em banca de Jurandir Bento da Silvfa. O Conhecimento em Platão. 2003. Trabalho de Conclusão de Curso (Graduação em Filosifia) - Universidade Federal do Rio Grande do Norte.
7. MEDEIROS, M. P. N.. Participação em banca de Renata Bezerra da Costa. Pensando corretamente. 2003. Trabalho de Conclusão de Curso (Graduação em Filosifia) - Universidade Federal do Rio Grande do Norte.
8. MEDEIROS, M. P. N.; MOURA, J. E. A.; CRUZ, Angela Maria Paiva. Participação em banca de Jacira Palmeira. Reflexões sobre a ambiguidade na linguagem natural. 2002. Trabalho de Conclusão de Curso (Graduação em Filosifia) - Universidade Federal do Rio Grande do Norte.
Participação em bancas de comissões julgadoras
Concurso público
1. MEDEIROS, M. P. N.; ALVES, Daniel Durante Pereira; Queiroz, G. S.. Comissão Examinadora do Concurso público para professor adjunto das disciplinas lógica e filosofia da ciência. 2010. Universidade Federal do Rio Grande do Norte.
2. Antonio Jorge Soares; MEDEIROS, M. P. N.; MENDONCA, J. F.. Banca Examinadora da Área de Lógica e Filosofia da Ciência do Concurso Público de Provas e Títulos para Docentes. 2007. Universidade do Estado do Rio Grande do Norte.
3. MEDEIROS, M. P. N.; CRUZ, Angela Maria Paiva; ARAÚJJO, Ana Lêda de. Banca examinadora do Concurso Público de Professor Efetivo do Departamento de Filosofia na área de Lógica e e Epistemologia. 2003. Universidade Federal do Rio Grande do Norte.
4. MEDEIROS, M. P. N.; ANDRADE, Abrahão Costa; MOURA, J. E. A.. Banca Examinadora de Concurso Público para professor substituto. 2002. Universidade Federal do Rio Grande do Norte.

Eventos
Participação em eventos
1. XIX Encontro Brasileiro de Lógica.Uma Lógica modal intuicionista Intermediária. 2011. (Congresso).
2. XX Semana de Filosofia.A Concepção semântica da verdade de Tarski. 2010. (Encontro).
3. Logic Colloquium 2009.A reviewed syntactic proof of Gödel interpretation of intuitionist logic into S4. 2009. (Congresso).
4. XIX Semana de Filosofia.A narureza intuicionista da lógica modal. 2009. (Encontro).
5. XIV Latin-American Symposium on Mathematical Logic e XV EBL.Introdução a uma Proposta para Simular 'Positivamente' a negação. 2008. (Simpósio).
6. XIII Encontro Nacional de Filosofia.Uma prova sintática revisada da interpretação de Gödel da lógica intuicionista em S4. 2008. (Encontro).
7. XVIII Semana de filosofia.Logica e Ontologia. 2008. (Encontro).
8. I Seminário Internacional de Filosofia Analítica Contemporânea.Lógica e Filosofia Formal. 2007. (Seminário).
9. XVII Semana de Filosofia.Lógica: a arte de saber pensar. 2007. (Encontro).
10. Seminario Giochi, semantica, modalità.Aspetti intuizionisti della logica modale. 2006. (Seminário).
11. II Colóquio de Metafísica.Conexões entre os modelos de Kripke Modais e intuicionistas. 2006. (Simpósio).
12. XIV Semana de Humanidades.A Lógica Modal S4 em dedução Natural. 2006. (Encontro).
13. XIII encontro Nacional de Filosofia da ANPOF.Aspectos intuicionistas de sistemas modais proposicionais. 2006. (Encontro).
14. III Encontro Interinstitucional de Filosofia.Discussões acerca do aspecto intui-cionistas da lógica da provabilidade. 2005. (Encontro).
15. II Encontro Interinstitucional de Filosofia.Os operadores lineares multiplicativos. 2004. (Encontro).
16. XII Semana de Humanidades.A lógica Intuicionista. 2004. (Outra).
17. Logic Colloquium 2003.Modal Logic Systems in Natural Deduction. 2003. (Outra).
18. X Encontro Naciona de Filosia.O que devemos incentivar em nossos alunos a pesquisar em lógica no Brasil. 2002. (Encontro).
19. XI Semana de Filosofia.Questões sobre a verdade. 2001. (Encontro).
20. XI Semana de Filosofia.Investigações acerca de uma versão modal para lógica intermediária dos domínios constantes. 2001. (Encontro).
21. Logic Colloquium 2000.Translations and Normalization Procedures. 2000. (Congresso).
Organização de eventos
1. MEDEIROS, M. P. N. . Seminários de L[ogica e Filosofia Formal. 2010. (Outro).
2. MEDEIROS, M. P. N. . Seminarios de Logica e Filosofia formal. 2009. (Outro).
3. MEDEIROS, M. P. N. . XIV Latin-Amedeicam Symposium om Mathematical Logic e XV EBL. 2008. (Congresso).
4. MEDEIROS, M. P. N. ; ALVES, Daniel Durante Pereira ; João Marcos . Seminários de Lógica e Filosofia. 2007. (Outro).
5. MEDEIROS, M. P. N. . I Colóquio Internacional de Metafísica. 2003. (Congresso).
6. MEDEIROS, M. P. N. . XIII Semana de Filosofia. 2003. (Congresso).
7.   MEDEIROS, M. P. N. ; PEREIRA, L. C. P. D. . Natural Deduction Meeting. 2001. (Congresso).
8. MEDEIROS, M. P. N. . Encontros com Ernst Tugendhat. 2001. (Outro).

Orientações
Supervisões e orientações concluídas
Dissertação de mestrado
1. David Gomes Costa. Sistemas de lógica Modal em dedução natural. 2010. Dissertação (Mestrado em Filosofia) - Universidade Federal do Rio Grande do Norte, . Orientador: Maria da Paz Nunes de Medeiros.
Trabalho de conclusão de curso de graduação
1. Alberto Leopoldo Batista Neto. Questões sobre logica modal. 2004. Trabalho de Conclusão de Curso. (Graduação em Filosifia) - Universidade Federal do Rio Grande do Norte. Orientador: Maria da Paz Nunes de Medeiros.
2. Rosa Danielle Medeiros dos Santos. Do Método indutivista pra o método da refutabilidade de Popper. 2004. Trabalho de Conclusão de Curso. (Graduação em Filosifia) - Universidade Federal do Rio Grande do Norte. Orientador: Maria da Paz Nunes de Medeiros.
Página gerada pelo Sistema Currículo Lattes em 10/02/2012 às 22:57:28