Programa de internacionalização
Com o objetivo de fomentar a criação e consolidação de planos estratégicos de internacionalização, a formação de redes de pesquisas internacionais, promover a mobilidade de docentes, pesquisadores e discentes vinculados a programas de pós-graduação Stricto Sensu com cooperação internacional e, por fim, fomentar um ambiente internacional nas instituições de pesquisa, a CAPES criou o Programa Institucional de Internacionalização – CAPES - PrInt. Neste sentido, a Unicamp foi uma das universidades selecionadas para participar desse programa de internacionalização.
Aqui na Unicamp, o PrInt funciona de maneira descentralizada, onde foram formulados projetos institucionais de internacionalização, onde a estratégia foi desenvolvida a partir da elaboração de temáticas transversais que permitiria a integração de docentes e pesquisadores de um ou mais Programas de Pós-Graduação.
Neste sentido, nosso Programa de Pós-Graduação está inserido no PrInt através do engajamento e coordenação de projetos.
O PrInt é hoje uma das principais ferramentas de internacionalização de nosso Programa e tem sido peça fundamental para consolidar as redes e acordos de pesquisa internacionais presentes no Programa.
Ressaltamos ainda que os resultados obtidos no âmbito do PrInt, como produções, acordos formulados, redes de pesquisa, entre outros, podem ser consultados na aba Estatísticas de nossa página.
Abaixo relacionamos os dados dos projetos PrInt aos quais se inserem os docentes e discentes de nosso Programa:
EU project 101007627 - MOSAIC Sysmics #2 -Modal Non-Classical Logic
Responsáveis: Walter Alexandre Carnielli
Membros: Tommaso Flaminio
Projeto de pesquisa financiado pela União Européia em lógica modais com base não- clássica. Modal logics are a family of formal systems based on classical logic which aim at improving the expressive power of the classical calculus allowing to reason about “modes of truth”. The aim of the present proposal is to put forward a systematic study of substructural modal logics, understood as those modal logics in which the modal operators are based upon the general ground of substructural logics, weaker deductive systems than classical logic.
Formal Approaches to Natural Theology
Responsáveis: FABIO MAIA BERTATO
Membros: EVANDRO LUIS GOMES
Our main goal is to approach a small but very interesting portion of Natural Theology, including especially arguments for the existence of God, via the formal tools of the contemporary Logic. In order to achieve this, we will construct two formal systems, one Classical and the other Paraconsistent.
Formal approaches to philosophy of religion and analytic theology
Responsáveis: FABIO MAIA BERTATO
John Templeton Foundation Grant ID 61108 The Big Questions underlying this project are: How can the Formal Logic methods help us to understand and deep the metaphysical and theological truths? How and in which extent the conceptual framework provided by Neo Scholasticism can help us to address a number of interdependent problems in Philosophy of Religion, Analytic Theology, Formal Metaphysics, and Formal Epistemology?