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 matematica 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 Fisica Antiga. Analisar a fisica Aristotelica e a critica de Philoponos da Teoria de Movimento de Aristoteles (Aprovada pelo Departamento/Conselho Científico em 02/1993).

7.

História da Cosmologia e Astronomia na Antiguidade. Analisar o pensamento cosmológico de platao, Aristóteles e seus discipulus a fim de compreender a origem o alcance e a significação da revolucao astronomico cosmológia do século XVI e XVII (Aprovada pelo Departamento/Conselho Científico em 02/1993).

8.

História da Ciência na Idade Média. Analisar a critica medieval à fisica Aristotelica feita por Avicena , Avempace, Buridan e oresme; e a evolucao da teoria da forca motriz incorporea (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, pPocklon, Rogen 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 analise 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 revolucao cosmologica 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ógica polivalentes e para outros sistema 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.

Algebras Associadas as Logicas Polivalentes de Lukasiewicz . Estudar as Categorias de Estruturas Algebras Associadas Aos Calculos Polivalentes de Lukasiewicz, Teoremas de Representacao e Completudes e as Recentes Aplicacoes a Distintos Ramos do Conhecimento (Aprovada pelo Departamento/Conselho Científico em 03/1993).