- 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]
- Teoria de Sistemas.
(Aprovada pelo Departamento/Conselho Cientifico em 02/1986). [174]
- Teoria da Informação.
Desenvolvimento de Teoria da informação (Aprovada pelo Departamento/Conselho Cientifico em 02/1986). [177]
- Teoria da Complexidade.
Estudar teoremas complexos com aplicações na ciência da computação (Aprovada pelo Departamento/Conselho Cientifico em 02/1986). [178]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- História da Lógica Medieval.
Análise da lógica desenvolvida por Pedro Abelardo (Aprovada pelo Departamento/Conselho Cientifico em 02/1993). [651]
- 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]
- 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]
- Á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]
- 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]
- 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]
