Centro de Lógica e Epistemologia

Linhas de Pesquisa

  1. Auto-Organização e Teoria da Informação. Projetos de Auto-Organização em métodos (Aprovada pelo Departamento/Conselho Cientifico em 02/1986). [170]
  2. Teoria de Sistemas. (Aprovada pelo Departamento/Conselho Cientifico em 02/1986). [174]
  3. Teoria da Informação. Desenvolvimento de Teoria da informação (Aprovada pelo Departamento/Conselho Cientifico em 02/1986). [177]
  4. Teoria da Complexidade. Estudar teoremas complexos com aplicações na ciência da computação (Aprovada pelo Departamento/Conselho Cientifico em 02/1986). [178]
  5. Lógicas não-clássicas. Desenvolver atividades relacionadas as lógicas não clássicas (Aprovada pelo Departamento/Conselho Cientifico em 02/1993). [590]
  6. Traduções entre lógicas. Investigamos o problema das traduções entre lógicas sob o ponto de vista filosófico, metodológico e de aplicações (Aprovada pelo Departamento/Conselho Cientifico em 02/1993). [593]
  7. Fundamentos e aplicação de lógica. Lógica teórica e Aplicada (lógicas não-clássicas) (Aprovada pelo Departamento/Conselho Cientifico em 02/1993). [598]
  8. História da Ciência e da Filosofia da Idade Média até o século XVII. Investigar a história da ciência (astronomia, matemática, lógica, etc) e da filosofia da Idade Média até o século XVII (Aprovada pelo Departamento/Conselho Cientifico em 02/1993). [606]
  9. Lógicas polivalentes. Investigamos a possibilidade de obtenção de novos métodos de teoria da prova para lógicas polivalentes e para outros sistemas não clássicos (Aprovada pelo Departamento/Conselho Cientifico em 02/1991). [611]
  10. História da matemática antiga. Analise da matemática antiga com o objetivo de conhecer o referêncial matemático basico no interior do qual se desenvolveu a revolução cientifica do seculos XVI e XVII (Aprovada pelo Departamento/Conselho Cientifico em 02/1993). [631]
  11. História da Física Antiga. Analisar a física aristotélica e a crítica de Philoponos da Teoria de Movimento de Aristóteles (Aprovada pelo Departamento/Conselho Cientifico em 02/1993). [635]
  12. História da Cosmologia e Astronomia na Antiguidade. Analisar o pensamento cosmológico de Platão, Aristóteles e seus discipulos a fim de compreender a origem o alcance e a significação da revolução astronomico-cosmológica dos séculos XVI e XVII (Aprovada pelo Departamento/Conselho Cientifico em 02/1993). [638]
  13. História da Ciência na Idade Média. Analisar a crítica medieval à física aristotelica feita por Avicena , Avempace, Buridan e Oresme; e a evolução da teoria da força motriz incorpórea (Aprovada pelo Departamento/Conselho Cientifico em 02/1993). [643]
  14. História da ótica medieval. Refletir sobre as teorias óticas desenvolvidas durante a Idade Média por Alhazen, Witelo, Grosseteste, Pocklon, Roger Bacon, a fim de compreender o pano de fundo conceitual no qual Galileo estava inserido ao construir o seu telescópio. Será tambem objeto de análise o surgimento da metodologia experimental no século XIV (Aprovada pelo Departamento/Conselho Cientifico em 02/1993). [644]
  15. Revolução Científica do Século XVI e XVII. Analisar a revolução cosmológica e metodologia que se desenrola no interior da revolução científica do século XVII iniciada efetivamente por Galileo e Descartes (Aprovada pelo Departamento/Conselho Cientifico em 02/1993). [647]
  16. História da mecânica de Galileo Galilei. Analisar historicamente a ciência de Galileo e a crítica Galileana a teoria de movimento de Aritóteles (Aprovada pelo Departamento/Conselho Cientifico em 02/1993). [649]
  17. História da Lógica Medieval. Análise da lógica desenvolvida por Pedro Abelardo (Aprovada pelo Departamento/Conselho Cientifico em 02/1993). [651]
  18. História da Ciência e da Filosofia Moderna. Investigar a história das idéias e da filosofia visando faze. Um levantamento preliminar do neoplatonismo do Renascimento e uma avaliação do seu papel para a constituição de uma mentalidade leiga preparada para a revolução científica dos séculos VI e XVII (Aprovada pelo Departamento/Conselho Cientifico em 02/1993). [658]
  19. Lógicas não-Clássicas. Desenvolver atividades relacionadas a lógicas não-clássicas (Aprovada pelo Departamento/Conselho Cientifico em 02/1993). [2695]
  20. ÁLGEBRAS ASSOCIADAS ÀS LÓGICAS POLIVALENTES DE LUKASIEWICZ. ESTUDAR AS CATEGORIAS DE ESTRUTURAS ALGÉBRICAS ASSOCIADAS AOS CÁLCULOS POLIVALENTES DE LUKASIEWICS, TEOREMAS DE REPRESENTAçãO E COMPLETUDE E AS RECENTES APLICAÇÕES A DISTINTOS RAMOS DO CONHECIMENTO (Aprovada pelo Departamento/Conselho Cientifico em 03/1993). [2709]
  21. Traduções entre lógicas. Estuda o conceito da lógica e suas aplicações na educação (Aprovada pelo Departamento/Conselho Cientifico em 01/1991). [2839]
  22. Filosofia da Linguagem. Essa pesquisa procura desenvolver os temas selecionados explorando os escritos de Wittgenstein em geral, inclusive os ainda inéditos, através do material completo fornecido pela Cornell University e financiado pelo CNPq (Aprovada pelo Departamento/Conselho Cientifico em 10/1995). [2918]