Projetos de Pesquisa

Logic is a discipline that studies correct reasoning and true statements in a formal environment. Languages, deductive systems, syntax and semantics are its basic tools. Classical modal logics form a family of logics that focus on modes of truth, that is to say, they analyse if a statement is 'necessarily' or 'possibly' true, in a given situation. The EU-funded MOSAIC project is taking a closer look at modal logics based on the general setting of substructural logics.

O projeto de pesquisa investiga a relação entre moral e política em Kant, buscando compreender, de um lado, as concepções de razão prática e de autonomia da vontade que Kant apresenta em seus textos de fundamentação da moral e, de outro lado, como a ideia de razão prática opera no contexto de auto-legislação ou autonomia política.

O presente projeto pretende investigar a discussão sobre o conceito de movimento ou processo (κίνησις) em Física III 1–3 e sua relação com as noções de capacidade ou potencialidade (δύναμις) e atualidade ou efetividade (ἐντελέχεια, ἐνέργεια). Nossa intenção é produzir uma tradução comentada para o português de Física III 1–3 e um artigo sobre a definição de movimento em Física III 1.