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 Científico em 02/1986).
2. Teoria de Sistemas. (Aprovada pelo Departamento/Conselho Científico em 02/1986).
3. Teoria da Informação. Desenvolvimento de Teoria da informação (Aprovada pelo Departamento/Conselho Científico em 02/1986).
4. Teoria da Complexidade. Estudar teoremas complexos com aplicações na ciência da computação (Aprovada pelo Departamento/Conselho Científico em 02/1986).
5. História da matemática antiga. Analise da matematica antiga com o objetivo de conhecer o referencial matemático basico no interior do qual se desenvolveu a revolução cientifica do seculos XVI e XVII (Aprovada pelo Departamento/Conselho Científico em 02/1993).
6. 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 Científico em 02/1993).
7. 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 revolucao astronomico-cosmológica dos séculos XVI e XVII (Aprovada pelo Departamento/Conselho Científico em 02/1993).
8. História da Ciência na Idade Média. Analisar a crítica medieval à fisica aristotelica feita por Avicena , Avempace, Buridan e Oresme; e a evolução da teoria da força motriz incorpórea (Aprovada pelo Departamento/Conselho Científico em 02/1993).
9. 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 Científico em 02/1993).
10. 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 Científico em 02/1993).
11. 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 Científico em 02/1993).
12. Lógicas não-clássicas. Desenvolver atividades relacionadas as lógicas não clássicas (Aprovada pelo Departamento/Conselho Científico em 02/1993).
13. História da mecânica de Galileo Galilei. Analisar historicamente a ciência de Galileo e a critica Galileana a teoria de movimento de Aritóteles (Aprovada pelo Departamento/Conselho Científico em 02/1993).
14. Fundamentos e aplicação de lógica. Lógica teórica e Aplicada (lógicas não-clássicas) (Aprovada pelo Departamento/Conselho Científico em 02/1993).
15. 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 Científico em 02/1993).
16. 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 Científico em 02/1991).
17. História da Lógica Medieval. Análise da lógica desenvolvida por Pedro Abelardo (Aprovada pelo Departamento/Conselho Científico em 02/1993).
18. História da Ciência e da Filosofia Moderna. Investigar a história das idéias e da filosofia visando fazer 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 Científico em 02/1993).
19. Lógicas não-Clássicas. Desenvolver atividades relacionadas a lógicas não-clássicas (Aprovada pelo Departamento/Conselho Científico em 02/1993).
20. Álgebras Associadas às Logicas 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 Aplicacoes a Distintos Ramos do Conhecimento (Aprovada pelo Departamento/Conselho Científico em 03/1993).
21. Traduções entre lógicas. Estuda o conceito da lógica e suas aplicações na educação (Aprovada pelo Departamento/Conselho Científico em 01/1991).