
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:
Arbitrariness and genericity: or on how to speak of the unspeakable
Responsáveis: Marcelo Esteban Coniglio
Membros: HUGO LUIZ MARIANO, Marco Antonio Caron Ruffino, MATTIA PETROLO, Sourav Tarafder
The project deals with the interplay of language, logic, and mathematics. The main theme of the project is the study of the expressivity of our language when applied to mathematics concepts. The chosen perspective is that of the notion of arbitrariness, specifically in the context of set theory. The goal of this project is to investigate how modern set theory, by means of the notion of genericity can formalize and capture the notion of arbitrariness. The project is divided in three main sections: historical, philosophical, and logical.
As Transformações da Filosofia
Responsáveis: MARCIO AUGUSTO DAMIN CUSTODIO
Membros: Anna Marmodor, Daniel Garber , DANIEL OMAR PEREZ, Enéias Júnior Forlin, Fátima Regina Rodrigues Évora, JOSÉ MEIRINHOS, LUCAS ANGIONI, Marcelo Esteban Coniglio, Marco Antonio Caron Ruffino, MARCOS SEVERINO NOBRE, MONIQUE FRAGELLI HULSHOF, OSWALDO GIACOIA JUNIOR, Silvio Seno Chibeni, TAISA HELENA PASCALE PALHARES, Walter Alexandre Carnielli, Yara Adario Frateschi
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.
Atos Ilocucionários na Matemática
Responsáveis: Marco Antonio Caron Ruffino
Membros: Eleonora Eva Orlando, IAGO MELLO BATISTELA, Luca San Mauro, LUDOVIC SOUTIF, LUIZ ARTHUR PAGANI, RENATO MIGUEL BASSO
O objetivo deste projeto é reunir um linguista, um filosofo da linguagem e três filósofos da matemática (dois dos quais também matemáticos) para um estudo da linguagem da matemática. Mais particularmente, será aplicada a teoria contemporânea dos atos ilocucionários (tomando como base os trabalhos de Austin (1962), Searle (1969, 1979) e Searle e Vanderveken (1985)) à linguagem da matemática. Nossa hipótese de trabalho é que a matemática como ciência contém, de maneira essencial, indicadores ilocucionários em sua linguagem (tanto informal quanto formal).