CV Lattes
Universidade de São Paulo (USP). Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui graduação em Filosofia pela Universidade Federal de Pernambuco (1961), graduação em Bachelier En Philosophie - Universite Catholique de Louvain (1963), mestrado em Licencié En Philosophie - Universite Catholique de Louvain (1964) e doutorado em Filosofia pela Universidade Estadual de Campinas (1988). Atualmente é professora doutora da Universidade de São Paulo. Tem experiência na área de Filosofia, com ênfase em Lógica, atuando principalmente nos seguintes temas: lógica, semântica, valorações, quantificação, negações, modalidades e identidade. (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) |
Segundo Boolos & Jeffrey: o teorema da indefinibilidade de Tarski é um "negative result [...] poised, so to speak, between two positive results: on the one hand, that each of certain 'approximations' Vn to V is definible in arithmetic, and, on the other, that V itself is 'definible in second-order arithmetic'" [Computability and Logic, p. 207]. Pretendemos tomar tais 'approximations' como…
Visando apresentar uma interpretação para as "fórmulas de sexuação" usadas por Lacan em sua "lógica do fantasma", Profa. Dra. Andréa Laparic construiu duas semânticas de primeira ordem que diferem da clássica basicamente por não garantir que os valores possíveis de serem atribuídos às variáveis segundo uma interpretação sejam os elementos pertencentes ao domínio desta. Nosso objetivo nest…
Profa. Dra. Loparic, modificando a noção de interpretação e a definição de verdade clássicas e dando à relação de identidade uma definição classicamente equivalente, construiu semânticas de primeira ordem alternativas que, no entanto, encontram-se ainda numa versão simplificada. Cabe-nos, agora, estender essa versão, verificar o comportamento das principais leis clássicas nesses sistemas …
| 4 | Bolsas no país concluídas |
| Processos vinculados | |