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.

The proposed project aims to contribute to understanding the role of nutrient-CO2 interplay as well as heterogeneity in the resilience of tropical forests. The likely response of tropical forests to future climate change is subject of intensive research, using computer models in which vegetation processes are simulated either with prescribed climate (Dynamic Global Vegetation Models or DGVMs) or in a coupled mode, where a vegetation model is coupled to a climate model (so-called Earth System Models, ESM).

Ao considerarmos a centralidade do urbano na sociedade contemporânea, este projeto de pesquisa tem como recorte espacial a cidade de Campinas, no período que compreende os anos de 1890 a 1920. O intuito do projeto é problematizar o processo de educação das sensibilidades efetivado por determinados grupos da sociedade campineira por meio da análise de produções didáticas destinadas aos estudos dos conhecimentos históricos nos anos da escolarização primária.