Doutoranda em Filosofia na Universidade de Vienna (Universität Wien), parte do projeto de "The Formal Turn The Emergence of Formalism in Twentieth-Century Thought". Mestra em Filosofia na linha de Lógica e Filosofia da Ciência pela Universidade Estadual de Campinas (UNICAMP): Graduada em Filosofia pela Universidade Federal de Santa Catarina. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O uso de traduções entre lógicas é bastante apropriado para analisar como diferentes lógicasse relacionam e como podem ser interpretadas umas nas outras. Um clássico exemplo disso sãoas provas de consistência relativa da lógica clássica em relação à lógica intuicionista, que representam um importante marco na história da lógica. A possibilidade de encontrar um territóriocomum para discuti…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |
CV Lattes
ORCID