Este projeto integra pesquisas em andamento no PPG em Filosofia. O objetivo é investigar transformações da Filosofia em sua história, ou seja, a identidade ou permanência do projeto da Filosofia ao longo do tempo e seu lugar na ordem dos saberes em diferentes culturas. Estrutura-se em três marcos conceituais: (a) Metafísica, Predicação e Filosofia da Natureza em Aristóteles e sua recepção. Abrange a História da Filosofia Antiga, dedicada a autores clássicos da Filosofia Grega, e investiga, com o auxílio da análise filológica do texto grego, temas filosóficos fundamentais em torno dos quais se organiza a filosofia do período. Trata, na História da Filosofia Medieval, da recepção da antiguidade filosófica, com ênfase para o período da Escola de Alexandria e os séculos XIII e XIV, tratando especialmente da filosofia de língua latina e árabe. Por fim, alcança o início da História da Filosofia Moderna, o que compreende os séculos XVI e XVII, com ênfase para a tradição racionalista continental e o empirismo. b) A herança histórica da Ética e do pensamento político contemporâneo. Abrange a investigação sistemática de temas clássicos de Filosofia Prática. Prioriza as relações entre Ética e Política e sua referência à categoria de Estado. Abrange a Teoria do Estado, do Direito e da Democracia, tomando como partida os conceitos de soberania popular e de representação como categorias fundantes da democracia contemporânea. Investiga-se as contradições e complementaridades entre estas categorias, as referências aos direitos humanos e a revisão das doutrinas democrático-liberais, e a atualização da Filosofia Prática nos debates contemporâneos. (c) Lógica e linguagem. Abrange Linguagem, Epistemologia, e Fundamentos das Ciências Formais. Investiga-se a aplicação da teoria dos atos ilocucionários desenvolvida no séc. XX. Tem-se como hipótese que atos linguísticos desempenham papel pouco reconhecido na montagem do arsenal teórico da matemática, com possíveis implicações para a ontologia. Investiga-se a aplicação da lógica ao problema do conhecimento, com atenção para a análise das noções de crença e conhecimento feita por meio da lógica modal. Investiga-se a conexão entre lógica e teoria das probabilidades, ferramentas no estudo formal do raciocínio aplicadas em filosofia, inteligência artificial, matemática e ciência cognitiva. Por fim, desenvolve-se a área de fundamentos das ciências formais, combinando lógica com teoria das probabilidades, buscando generalização comum.